Online Fault Diagnosis in Discrete Event Systems with Partially Observed Petri Nets

This paper investigates the fault detection problem for Discrete Event Systems (DES) which can be modeled by Partially Observed Petri Nets (POPN). To overcome the problem of low diagnosability in the POPN online fault diagnoser in current use, we propose an improved online fault diagnosis algorithm that integrates Generalized Mutual Exclusion Constraints (GMEC) and Integer Linear Programming (ILP).We assume that the POPN structure and its initial markings are known, and the faults are modeled as unobservable transitions. First, the event sequence is observed and recorded. We use GMEC for elementary diagnosis of the system behavior,then the ILP problem of POPN is solved for further diagnosis. Finally, we modeled and analyzed an example of a real DES to test the new fault diagnoser. The proposed algorithm increased the diagnosability of the DES remarkably, and the effectiveness of the new algorithm integrating GMEC and ILP was verified.

[1]  Alessandro Giua,et al.  Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems , 2011 .

[2]  Walter Ukovich,et al.  On-line fault detection in discrete event systems by Petri nets and integer linear programming , 2009, Autom..

[3]  Dai Xuefeng.  Supervisory Control of a Class of Real Time DES Based on Neural Networks Algorithm , 1997 .

[4]  Guanjun Liu,et al.  Intermittent fault’s parameter framework and stochastic petri net based formalization model , 2016 .

[5]  João Carlos Basilio,et al.  A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata , 2015, IEEE Transactions on Automatic Control.

[6]  Dimitri Lefebvre.  On-Line Fault Diagnosis With Partially Observed Petri Nets , 2014, IEEE Transactions on Automatic Control.

[7]  Manuel Silva Suárez,et al.  Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement , 2009, Discret. Event Dyn. Syst..

[8]  Alessandro Giua,et al.  An Optimization Approach to Petri Net Monitor Design , 2007, IEEE Transactions on Automatic Control.

[9]  J. Prock.  A new technique for fault detection using Petri nets , 1991, Autom..

[10]  Gianmaria De Tommasi,et al.  On K-diagnosability of Petri nets via integer linear programming , 2012, Autom..

[11]  Xin Yang,et al.  Design and fault diagnosis of Petri net controllers for Petri nets with uncontrollable and unobservable transitions , 2009 .

[12]  Christoforos N. Hadjicostis,et al.  Fault model identification and synthesis in Petri nets , 2015, Discret. Event Dyn. Syst..

[14]  Alessandro Giua,et al.  Fault detection for discrete event systems using Petri nets with unobservable transitions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[15]  Lei Wang,et al.  Knowledge representation and general Petri net models for power grid fault diagnosis , 2015 .

[16]  Walter Ukovich,et al.  Fault Detection by Labeled Petri Nets in Centralized and Distributed Approaches , 2013, IEEE Transactions on Automation Science and Engineering.

[17]  Patrice Bonhomme.  Marking Estimation of P-Time Petri Nets With Unobservable Transitions , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[18]  Alessandro Giua,et al.  A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets , 2012, IEEE Transactions on Automatic Control.

[19]  Gianmaria De Tommasi,et al.  An Efficient Approach for Online Diagnosis of Discrete Event Systems , 2009, IEEE Transactions on Automatic Control.

[20]  Francesco Basile,et al.  State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions , 2015, IEEE Transactions on Automatic Control.

[21]  Dimitri Lefebvre,et al.  Diagnosis of DES With Petri Net Models , 2007, IEEE Transactions on Automation Science and Engineering.

[22]  Jiufu Liu,et al.  Online fault diagnosis in partially observed Petri nets , 2018 .

[23]  Roberto Cordone,et al.  Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models , 2013, Autom..

[24]  Antonio Ramírez-Treviño,et al.  Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach , 2007, IEEE Transactions on Automation Science and Engineering.