Structural Diagnosability of DES and Design of Reduced Petri Net Diagnosers

This paper deals with diagnosis of permanent and operational faults of partially observed discrete event systems modeled by interpreted Petri nets capturing both normal and faulty behaviors. Two main results are presented: a structural characterization of the diagnosability property and a method for designing reduced model diagnosers for online fault detection and location. Sufficient conditions for diagnosability are provided based on the analysis of the influence area of every fault fi in the model and the relative distance between pairs of transitions; polynomial algorithms are proposed for determining diagnosability. The diagnoser includes two reduced models that monitor the system; one for tracking the actual behavior and the other for establishing the expected behavior; the difference of markings in such models, called residue, provides enough information for the immediate location of faults, even if they occur simultaneously.

[1]  George C. Verghese,et al.  Power system monitoring using Petri net embeddings , 2000 .

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

[3]  Mariagrazia Dotoli,et al.  A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism , 2011 .

[4]  Sheng-Luen Chung,et al.  Failure diagnosis: a case study on modeling and analysis by Petri nets , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[5]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[6]  B. De Schutter,et al.  Fault Diagnosis for Time Petri Nets , 2006, 2006 8th International Workshop on Discrete Event Systems.

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

[8]  Stéphane Lafortune,et al.  Distributed Diagnosis of Discrete-Event Systems Using Petri Nets , 2003, ICATPN.

[9]  Simon Peck,et al.  Practice of Petri Nets in Manufacturing , 1993 .

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

[11]  I. Koh,et al.  Transformation methods for generalized Petri nets and their applications to flexible manufacturing systems , 1990, [1990] Proceedings. Rensselaer's Second International Conference on Computer Integrated Manufacturing.

[12]  Antonio Ramírez-Treviño,et al.  Observability of discrete event systems modeled by interpreted Petri nets , 2003, IEEE Trans. Robotics Autom..

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

[14]  Dimitri Lefebvre,et al.  Stochastic Petri Net Identification for the Fault Detection and Isolation of Discrete Event Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[15]  Antonio Ramírez-Treviño,et al.  A Structural Characterization of Diagnosable Petri Net Models , 2007, 2007 IEEE International Conference on Automation Science and Engineering.

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

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

[18]  W. Wonham,et al.  Supervisory control of timed discrete-event systems under partial observation , 1995, IEEE Trans. Autom. Control..

[19]  Christoforos N. Hadjicostis,et al.  Structured redundancy for fault tolerance in state-space models and Petri nets , 1999, Kybernetika.

[20]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[21]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..

[22]  Antonio Ramírez-Treviño,et al.  Geometrical characterization of observability in Interpreted Petri Nets , 2005, Kybernetika.

[23]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete-event systems: a net unfolding approach , 2003, IEEE Trans. Autom. Control..

[24]  E. Ruiz-Beltran,et al.  Fault diagnosis based on Petri net reduced models , 2006, 2006 3rd International Conference on Electrical and Electronics Engineering.

[25]  Frank DiCesare,et al.  Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems , 1991, IEEE Trans. Syst. Man Cybern..

[26]  Antonio Ramírez-Treviño,et al.  Building diagnosable Petri net models for distributed fault location of DES , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[27]  Antonio Ramírez-Treviño,et al.  Petri net based fault diagnosis of discrete event systems , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[28]  Antonio Ramírez-Treviño,et al.  Fault detection and location in DES using Petri nets , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

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

[30]  Shengbing Jiang,et al.  A polynomial algorithm for testing diagnosability of discrete-event systems , 2001, IEEE Trans. Autom. Control..

[31]  MuDer Jeng,et al.  Synthesis using resource control nets for modeling shared-resource systems , 1995, IEEE Trans. Robotics Autom..

[32]  YuanLin Wen,et al.  Diagnosability analysis based on T-invariants of Petri nets , 2005, Proceedings. 2005 IEEE Networking, Sensing and Control, 2005..

[33]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

[34]  George Jiroveanu,et al.  A distributed approach for fault detection and diagnosis based on Time Petri Nets , 2006, Math. Comput. Simul..

[35]  Antonio Ramírez-Treviño,et al.  Identification in discrete event systems , 1998, SMC.

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