On-Line Fault Diagnosis With Partially Observed Petri Nets

This technical note concerns fault detection and diagnosis for discrete event systems modeled with partially observed Petri nets. The proposed method provides diagnosis decisions via the analysis of observation sequences that include some observable events and the partial measurement of the successive states visited by the system. To this end, the observation sequences are decomposed into elementary observation sequences, linear matrix inequalities are used to compute the firing sequences consistent with each elementary observation sequence and an algorithm of linear complexity with respect to the length of the observation sequences is proposed to provide on-line diagnosis decisions.

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

[2]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[3]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[4]  Feng Lin,et al.  Diagnosability of discrete event systems and its applications , 1994, Discret. Event Dyn. Syst..

[5]  Dimitri Lefebvre.  Diagnosis with Petri Nets According to Partial Events and States Observation , 2012 .

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

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

[8]  Toshimitsu Ushio,et al.  Fault detection based on Petri net models with faulty behaviors , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[9]  Robert J. Vanderbei,et al.  Linear Programming: Foundations and Extensions , 1998, Kluwer international series in operations research and management service.

[10]  Christoforos N. Hadjicostis,et al.  Monitoring Discrete Event Systems Using Petri Net Embeddings , 1999, ICATPN.

[11]  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.

[12]  Mariagrazia Dotoli,et al.  Real time identification of discrete event systems using Petri nets , 2008, Autom..

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

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

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

[16]  Christoforos N. Hadjicostis,et al.  Algebraic approaches for fault identification in discrete-event systems , 2005, IEEE Transactions on Automatic Control.

[17]  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.

[18]  Stéphane Lafortune,et al.  Distributed Diagnosis of Place-Bordered Petri Nets , 2007, IEEE Transactions on Automation Science and Engineering.

[19]  Fernando García Vallés.  Contributions to the structural and symbolic analysis of place/transition nets, with applications to flexible manufacturing systems and asynchronous circuits , 1999 .

[20]  Christoforos N. Hadjicostis,et al.  Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets , 2009, Discret. Event Dyn. Syst..

[21]  René David,et al.  Petri nets and grafcet - tools for modelling discrete event systems , 1992 .

[22]  Jiantao Zhou,et al.  On reachability graphs of Petri nets , 2003, Comput. Electr. Eng..