Integrated Fault Diagnosis Based on Petri Net Models

This paper extends an existing sensor mapping procedure, defines compatibility of models and proposes an integrated methodology based on existing methodologies for the construction of diagnosers for discrete event systems modeled by Petri Nets. An industrial application is used as a case study to illustrate the theoretical results of the paper.

[1]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[3]  Meera Sampath.  A hybrid approach to failure diagnosis of industrial systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[4]  Stéphane Lafortune,et al.  Failure diagnosis of dynamic systems: an approach based on discrete event systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[5]  Rolf Isermann,et al.  Supervision, fault-detection and fault-diagnosis methods — An introduction , 1997 .

[6]  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).

[7]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[8]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[9]  MuDer Jeng,et al.  Diagnosability of Petri nets , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[10]  Eugenius Kaszkurewicz,et al.  A fault detection and diagnosis module for oil production plants in offshore platforms , 1997 .

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

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

[13]  Javier Esparza,et al.  The mathematics of Petri Nets , 1990 .

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