基于时间Petri网的部分可观系统故障诊断
|
摘要
研究了Petri网在双组元推进气路系统中的故障诊断问题。针对气路系统故障率相对较高且部分关键信息无法通过传感器获取的问题,利用时间Petri网在实时系统中的重要作用,把部分可观时间Petri网和状态类图(SCG)结合,提出构建修正状态类图(MSCG)的方法。首先根据执行机构是否可观,分为可观测变迁和不可观测变迁,并结合变迁触发关系(同步、异步)修正各变迁时间区间,建立系统的修正状态类图(MSCG)。然后根据所提的故障诊断算法,寻找所有满足可观测变迁触发时间和序列信息的路径,判断所有路径组成的集合是否包含故障变迁,诊断系统是否发生故障。最后以双组元推进气路系统为例,结合气路系统各执行机构可观测状态,建立Petri网模型,对系统不可观部分进行故障诊断,验证了算法的有效性。
The fault diagnosis of gas path system in integral bipropellant propulsion is investigated. Aiming at the problems that the failure rate of gas path system is relatively high and some key information can't be obtained through the sensors, a method of building Modified State Class Graph( MSCG) based on Partially Observed Time Petri Nets( POTPN) and State Class Graph( SCG) is presented. Firstly, the transitions are divided into observable and unobservable transitions according to the observability of the actuators, and the time intervals are modified based on the different relationships of the transitions( synchronous and asynchronous). The MSCG is then built with time Petri nets. Based on the proposed fault diagnosis method,all the effective paths that satisfy the observable transition triggering time and sequence information are found out, and it is determined whether the effective paths have fault transitions. Finally, taking the gas path system in integral bipropellant propulsion as an example, and based on the observability of the actuators, a Petri net is built for making fault diagnosis to the unobservable part of the system, which verifies the effectiveness of the algorithm.
The fault diagnosis of gas path system in integral bipropellant propulsion is investigated. Aiming at the problems that the failure rate of gas path system is relatively high and some key information can't be obtained through the sensors, a method of building Modified State Class Graph( MSCG) based on Partially Observed Time Petri Nets( POTPN) and State Class Graph( SCG) is presented. Firstly, the transitions are divided into observable and unobservable transitions according to the observability of the actuators, and the time intervals are modified based on the different relationships of the transitions( synchronous and asynchronous). The MSCG is then built with time Petri nets. Based on the proposed fault diagnosis method,all the effective paths that satisfy the observable transition triggering time and sequence information are found out, and it is determined whether the effective paths have fault transitions. Finally, taking the gas path system in integral bipropellant propulsion as an example, and based on the observability of the actuators, a Petri net is built for making fault diagnosis to the unobservable part of the system, which verifies the effectiveness of the algorithm.
引文
[1]KRISTIANSEN R,NICKLASSON P J.Spacecraft formation flying:a review and new results on state feedback control[J].Acta Astronautica,2009,65(11/12):1537-1552.
[2]YANG H,JIANG B,COCQUEMPOT V,et al.Spacecraft formation stabilization and fault tolerance:a state-varying switched system approach[J].Systems&Control Letters,2013,62(9):715-722.
[3]HWANG I,KIM S,KIM Y,et al.A survey of fault detection,isolation,and reconfiguration methods[J].IEEE Transactions on Control Systems Technology,2010,18(3):636-653.
[4]李勇,曹东.基于解析模型的飞控系统执行机构的故障诊断[J].电光与控制,2016,23(10):104-107,111.
[5]蔡宗平,汤正平,王跃钢,等.控制系统故障诊断浅析[J].电光与控制,2007,14(4):19-22,26.
[6]LEFEBVRE D.On-line fault diagnosis with partially observed Petri nets[J].IEEE Transactions on Automatic Control,2013,59(7):1919-1924.
[7]CABASINO M P,GIUA A,SEATZU C.Diagnosability of discrete event systems using labeled Petri nets[J].IEEE Transactions on Automation Science&Engineering,2014,11(1):144-153.
[8]DECLERCK P,BONHOMME P.State estimation of timed labeled Petri nets with unobservable transitions[J].IEEE Transactions on Automation Science&Engineering,2014,11(1):103-110.
[9]BERNARDI S,CAMPOS J,MERSEGUER J.Timing-failure risk assessment of UML design using time Petri net bound techniques[J].IEEE Transactions on Industrial Informatics,2011,7(1):90-104.
[10]CABASINO M P,LAFORTUNE S,SEATZU C.Optimal sensor selection for ensuring diagnosability in labeled Petri nets[J].Automatica,2013,49(8):2373-2383.
[11]LIME D,ROUX O H.Model checking of time Petri nets using the state class timed automaton[J].Discrete Event Dynamic Systems,2006,16(2):179-205.
[12]刘君,袁化成,郭荣伟.内并联式TBCC进气道模态转换过程流动特性分析[J].宇航学报,2016,37(4):461-469.
[13]DARBY R.The dynamic response of pressure relief valves in vapor or gas service[J].Journal of Loss Prevention in the Process Industries,2013,26(6):1262-1268.
[14]鲁峰,黄金泉,吕怡秋,等.基于非线性自适应滤波的发动机气路部件健康诊断方法[J].航空学报,2013,34(11):2529-2538.
[15]ZAFER N,LUECKE G R.Stability of gas pressure regulators[J].Applied Mathematical Modeling,2008,32(1):61-82.
[16]徐志鹏,王宣银,罗语溪.滑阀先导式高压气动减压阀结冰特性[J].航空学报,2009,30(5):819-824.
[17]叶丹丹,罗继亮.部分可观Petri网结构信息在故障诊断中的应用[J].控制理论与应用,2015,32(3):366-373.
[2]YANG H,JIANG B,COCQUEMPOT V,et al.Spacecraft formation stabilization and fault tolerance:a state-varying switched system approach[J].Systems&Control Letters,2013,62(9):715-722.
[3]HWANG I,KIM S,KIM Y,et al.A survey of fault detection,isolation,and reconfiguration methods[J].IEEE Transactions on Control Systems Technology,2010,18(3):636-653.
[4]李勇,曹东.基于解析模型的飞控系统执行机构的故障诊断[J].电光与控制,2016,23(10):104-107,111.
[5]蔡宗平,汤正平,王跃钢,等.控制系统故障诊断浅析[J].电光与控制,2007,14(4):19-22,26.
[6]LEFEBVRE D.On-line fault diagnosis with partially observed Petri nets[J].IEEE Transactions on Automatic Control,2013,59(7):1919-1924.
[7]CABASINO M P,GIUA A,SEATZU C.Diagnosability of discrete event systems using labeled Petri nets[J].IEEE Transactions on Automation Science&Engineering,2014,11(1):144-153.
[8]DECLERCK P,BONHOMME P.State estimation of timed labeled Petri nets with unobservable transitions[J].IEEE Transactions on Automation Science&Engineering,2014,11(1):103-110.
[9]BERNARDI S,CAMPOS J,MERSEGUER J.Timing-failure risk assessment of UML design using time Petri net bound techniques[J].IEEE Transactions on Industrial Informatics,2011,7(1):90-104.
[10]CABASINO M P,LAFORTUNE S,SEATZU C.Optimal sensor selection for ensuring diagnosability in labeled Petri nets[J].Automatica,2013,49(8):2373-2383.
[11]LIME D,ROUX O H.Model checking of time Petri nets using the state class timed automaton[J].Discrete Event Dynamic Systems,2006,16(2):179-205.
[12]刘君,袁化成,郭荣伟.内并联式TBCC进气道模态转换过程流动特性分析[J].宇航学报,2016,37(4):461-469.
[13]DARBY R.The dynamic response of pressure relief valves in vapor or gas service[J].Journal of Loss Prevention in the Process Industries,2013,26(6):1262-1268.
[14]鲁峰,黄金泉,吕怡秋,等.基于非线性自适应滤波的发动机气路部件健康诊断方法[J].航空学报,2013,34(11):2529-2538.
[15]ZAFER N,LUECKE G R.Stability of gas pressure regulators[J].Applied Mathematical Modeling,2008,32(1):61-82.
[16]徐志鹏,王宣银,罗语溪.滑阀先导式高压气动减压阀结冰特性[J].航空学报,2009,30(5):819-824.
[17]叶丹丹,罗继亮.部分可观Petri网结构信息在故障诊断中的应用[J].控制理论与应用,2015,32(3):366-373.