Partially Observed System Design Method Realizing Unambiguous Fault Diagnosis

Abstract

Abstract: The construction methodology of partially observed system realizing unambiguous fault diagnosis was studied. The observable places determination algorithm OPD was proposed, and the necessary and sufficient condition for solution existence of the algorithm with polynomial time complexity was presented, then it is proved that all transitions in the modeled system could be distinguished by setting S_O. The system operating state determination algorithm SOSD was presented based on the OPD algorithm. The proposed SOSD algorithm was realized by 1-step forward marking computation of observable places set $S_O$, it doesn't rely on the initial marking $M_0$ of the controlled system while judging system status. It is proved that the proposed construction method for partially observed system satisfies the optimum supervisory condition, which achieves the optimal supervisory purpose.

Key words: partially observed system, system design method, fault diagnosis, Petri nets, Event Based System

CLC Number:

TP301

Fang Huan, Lu Yang, Yue Feng, Guan Junming. Partially Observed System Design Method Realizing Unambiguous Fault Diagnosis[J]. Journal of System Simulation, 2015, 27(3): 470-479.

References

[1] P J Ramadge, W M Wonham. Supervisory Control of a Class of Discrete Event Processes [J]. Siam Journal on Control and Optimization (S0363-0129), 1987, 25(1):206-230.
[2] P J Ramadge, W M Wonham. Modular Feedback Logic for Discrete Event System [J]. Siam Journal on Control and Optimization (S0363-0129), 1987, 25(5): 1202-1218.
[3] M Dotoli, M P Fanti, A M Mangini, W Ulkovich. On-line Fault Detection in Discrete Event Systems by Petri Nets and Integer Linear Programming [J]. Automatica (S0005-1098), 2009, 45(11): 2665-2672.
[4] A V Ramesh, D W Twigg, U R Sandadi, et al. Reliability Analysis of Systems with Operation-time Management [J]. IEEE Transactions on Reliability (S0018-9529), 2002, 51(1): 39-48.
[5] J Jorge, R K Boel. A continuous Petri Net Approach for Model Predictive Control of Traffic Systems [J]. IEEE Transactions on Systems, Man, and Cybernetics, A (S1083-4427), 2010, 40(4): 686-697.
[6] 古天龙, 周衿畅, 周春晖. 离散事件系统的一种 N 步在线监控策略 [J]. 自动化学报, 1997, 23(3): 404-407.
[7] 王飞, 胡奇英. 离散事件系统的混合分散监控 [J]. 控制理论与应用, 2005, 22(2): 277-280.
[8] S Z Hashtrudi, R H Kwong, W M Wonham. Fault Detection in Discrete-event Systems: Framework and Model Reduction [J]. IEEE Transaction on Automatic Control (S0018-9286), 2003, 48(7): 1199-1212.
[9] D Lefebvre, C Delherm. Diagnosis of DES with Petri Net Models [J]. IEEE Transactions on Automation Science and Engineering (S1545-5955), 2007, 4(1): 114-118.
[10] M P Cabasino, A Giua, C Seatzu. Fault detection for discrete event systems using Petri nets with unobservable transitions [J]. Automatica (S0005-1098), 2010, 46(9): 1531-1539.
[11] Yu Ru, C N Hadjicostis. Fault Detection in Discrete Event Systems Modeled by Partially Observed Petri Nets [J]. Discrete Event Dynamic Systems (S1573-7594), 2009, 19(4): 551-575.
[12] C Mahulea, C Seatzu, M P Cabasino, et al. Fault Diagnosis of Discrete-event Systems Using Continuous Petri Nets [J]. IEEE Transactions on Systems, Man and Cybernetics A (S1083-4427), 2012, 42(4): 970-984.
[13] S Jiang, R Kumar. Failure Diagnosis of Discrete-event Systems with Linear-time Temporal Logical Specifications [J]. IEEE Transaction on Automatic and Control (S0018-9286), 2004, 49(6): 934-945.
[14] C. N. Hadjicostis, G. C Verghese. Monitoring Discrete Event Systems Using Petri Net Embeddings [J]. Lecture Notes in Computer Science, 1999, 1639(1): 188-208.
[15] Y Wu, C N Hadjicostis. Algebraic Approaches for Fault Identification in Discrete-event Systems [J]. IEEE Transactions on Automatic Control (S0018-9286), 2005, 50(12): 2048-2055.
[16] A Aghasaryan, E Fabre, A Benveniste, et al. Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets [J]. Discrete Event Dynamic System: Theory and Applications (S0924-6703), 1998, 8(2): 203-231.
[17] A Benveniste, E Fabre, S Harr, et al. Diagnosis of Asynchronous Discrete-event Systems: A Net Unfolding Approach [J]. IEEE Transactions on Automatic Control (S0018-9286), 2003, 48(5): 714-727.
[18] M Sampath, R Sengupta, S Lafortune, et al. Diagnosability of Discrete Event Systems [J]. IEEE Transactions on Automatic Control (S0018-9286), 1995, 40(9): 1555-1575.
[19] S H Zad, R H Kwong, W M Wonham. Diagnosis in Discrete-event Systems: Incorporating Timing Information [J]. IEEE Transactions on Automatic Control (S0018-9286), 2005, 50(7): 1010-1015.
[20] A Ramírez-Treviňo, E Ruiz-Beltrăn, I Rivera-Rangel, et al. Online Fault Diagnosis of Discrete Event Systems: A Petri Net-based Approach [J]. IEEE Transactions on Automation Science and Engineering (S1545-5955), 2007, 4(1): 31-39.
[21] D Lefebvre, E Leclercq. Stochastic Petri Net Identification for the Fault Detection and Isolation of Discrete Event Systems [J]. IEEE Transactions on System, Man and Cybernetic A (S1083-4427), 2011, 41(2): 213-225.
[22] G Jiroveanu, R K Boel. A Distributed Approach for Fault Detection and Diagnosis based on Time Petri Nets [J]. Mathematics and Computers in Simulation (S1998-0159), 2006, 70(3): 287-313.
[23] S Genc, S Lafortune. Distributed Diagnosis of Place- bordered Petri Nets [J]. IEEE Transactions on Automation Science and Engineering (S1545-5955), 2007, 4(2): 206-219.
[24] F Basil, P Chiacchio, G De Tommasi. On K-diagnosability of Petri Nets via Integer Linear Programming [J]. Automatica (S0005-1098), 2012, 48(9): 2047-2058.
[25] J Lunze, J Schroder. State Observation and Diagnosis of Discrete-event Systems Described by Stochastic Automata [J]. Discrete Event Dynamic Systems (S1573-7594), 2001, 11(4): 319-369.
[26] R Debouk, S Lafortune, D Teneketzis. Coordinated decentralized protocols for failure diagnosis of discrete event systems [J]. Discrete Event Dynamic Systems (S1573-7594), 2000, 10(1): 33-86.
[27] A Paoli, S Lafortune. Safe Diagnosability for Fault-tolerant Supervision of Discrete-event Systems [J]. Automatica (S0005-1098), 2005, 41(8): 1335-1347.
[28] Yu Ru, C N Hadjicostis. Sensor Selection for Structural Observability in Discrete Event Systems Modeled by Petri Nets [J]. IEEE Transactions on Automatic Control (S0018-9286), 2010, 55(8): 1751-1764.
[29] 吴哲辉. Petri 网导论 [M]. 北京: 机械工业出版社,2006: 1-108.
[30] J Sun, S Y Qin, Y H Song. Fault Diagnosis of Electric Power Systems based on Fuzzy Petri Nets [J]. IEEE Transactions on Power Systems (S0885-8950), 2004, 19(4): 2053-2059.
[31] M Zhou, F Dicesare. Petri Net Synthesis for Discrete Event Control of Manufacturing System [M]. Norwell, MA, USA: Kluwer, 1993.
[32] F Basile, A Giua, C Seatzu. Petri Net Control Using Event Observers and Timing Information [C]// Proceedings of 41th IEEE Conference on Decision Control (S1573-2878). USA: IEEE, 2002: 787-792.
[33] M P Cabasino, A Giua, M Pocci, C Seatzu. Discrete Event Diagnosis Using Labeled Petri Nets: An Application to Manufacturing Systems [J]. Control Engineering and Practice (S0967-0661), 2011, 19(9): 989-1001.