Fault Detection by Labeled Petri Nets in Centralized and Distributed Approaches

This paper addresses the problem of online fault detection and diagnosis in discrete event systems modeled by labeled Petri nets and using Integer Linear Programming Problem (ILPP) solutions. In particular, unobservable (silent) transitions model faults and both observable and unobservable transitions model the nominal system behavior. Furthermore, observable transitions exhibit a kind of non determinism since several different transitions may share the same event label. This paper proposes two diagnosers that work in two different system settings. The first one is a centralized fault detection strategy: the diagnoser waits for an observable event and an algorithm defines and solves some ILPPs to decide whether the system behavior is normal or may exhibit some faults. In the second setting, the system consists of a set of interacting PN modules and each module is monitored by a diagnoser that has local information on the module structure. Moreover, each diagnoser observes and detects the faults of the module it is attached to and shares information in some of its places that are shared with other modules of the system. Some case studies show the two different approaches and point out the peculiarities of the proposed strategies.

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

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

[3]  V. S. Srinivasan,et al.  Fault detection/monitoring using time Petri nets , 1993, IEEE Trans. Syst. Man Cybern..

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

[5]  Stéphane Lafortune,et al.  Active diagnosis of discrete event systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

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

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

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

[9]  MengChu Zhou,et al.  Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems , 2001, IEEE Trans. Robotics Autom..

[10]  J.H. van Schuppen,et al.  Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[11]  W. M. Wonham,et al.  Distributed diagnosis for qualitative systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

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

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

[14]  Alessandro Giua,et al.  Marking Estimation of Petri Nets With Silent Transitions , 2007, IEEE Transactions on Automatic Control.

[15]  Alessandro Giua,et al.  Marking estimation of Petri nets with silent transitions , 2004 .

[16]  Jan Lunze,et al.  Sensor and actuator fault diagnosis of systems with discrete inputs and outputs , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

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

[18]  Michel Bigand,et al.  A MONITORING APPROACH FOR DISCRETE EVENT SYSTEMS BASED ON A TIME PETRI NET MODEL , 2005 .

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

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

[21]  W. Qiu,et al.  Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[22]  Stéphane Lafortune,et al.  Diagnosability of Discrete Event Systems with Modular Structure , 2006, Discret. Event Dyn. Syst..

[23]  MengChu Zhou,et al.  Deadlock Resolution in Automated Manufacturing Systems With Robots , 2007, IEEE Transactions on Automation Science and Engineering.

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

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

[26]  Stéphane Lafortune,et al.  Diagnosis of Discrete Event Systems Using Decentralized Architectures , 2007, Discret. Event Dyn. Syst..

[27]  G. De Tommasi,et al.  An efficient approach for on-line diagnosis of discrete event systems , 2007, 2007 Mediterranean Conference on Control & Automation.

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

[29]  Behzad Bordbar,et al.  On-Line Monitoring of Large Petri Net Models Under Partial Observation , 2008, Discret. Event Dyn. Syst..

[30]  Naiqi Wu,et al.  System Modeling and Control with Resource-Oriented Petri Nets , 2009 .

[31]  Ratnesh Kumar,et al.  Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures , 2009, IEEE Transactions on Automation Science and Engineering.

[32]  ZhiWu Li,et al.  Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior , 2009, IEEE Transactions on Automation Science and Engineering.

[33]  Leyuan Shi,et al.  IEEE Transactions on Automation Science and Engineering , 2009, IEEE Transactions on Automation Science and Engineering.

[34]  Andrea Paoli,et al.  Rule-based Composable Modelling of Industrial Automation Automata under Nominal and Faulty Conditions , 2009 .

[35]  Jean-Jacques Lesage,et al.  An FDI Method for Manufacturing Systems Based on an Identified Model , 2009 .

[36]  Walter Ukovich,et al.  On-line fault diagnosis in a Petri Net framework , 2009, 2009 IEEE International Conference on Automation Science and Engineering.

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

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

[39]  MengChu Zhou,et al.  Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets , 2010, IEEE Transactions on Automation Science and Engineering.

[40]  Shengbing Jiang,et al.  Diagnosis of Dense-Time Systems Under Event and Timing Masks , 2010, IEEE Transactions on Automation Science and Engineering.

[41]  Alessandro Giua,et al.  A new protocol for the decentralized diagnosis of labeled Petri nets , 2010, WODES.

[42]  MengChu Zhou,et al.  Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets , 2010, IEEE Transactions on Automation Science and Engineering.

[43]  MengChu Zhou,et al.  Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[44]  MengChu Zhou,et al.  Schedulability Analysis of Short-Term Scheduling for Crude Oil Operations in Refinery With Oil Residency Time and Charging-Tank-Switch-Overlap Constraints , 2011, IEEE Transactions on Automation Science and Engineering.

[45]  Christoforos N. Hadjicostis,et al.  Least-Cost Transition Firing Sequence Estimation in Labeled Petri Nets With Unobservable Transitions , 2011, IEEE Transactions on Automation Science and Engineering.

[46]  A. Giua,et al.  Decentralized Diagnosability Analysis of Discrete Event Systems using Petri Nets , 2011 .

[47]  MengChu Zhou,et al.  Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets , 2011, IEEE Transactions on Automation Science and Engineering.