Decentralized Diagnosis by Petri Nets and Integer Linear Programming

This paper proposes a novel decentralized on-line fault diagnosis approach based on the solution of some integer linear programming problems for discrete event systems in a Petri net framework. The decentralized architecture consists of a set of local sites communicating with a coordinator that decides whether the system behavior is normal or subject to some possible faults. To this aim, some results allow defining the rules applied by the coordinator and the local sites to provide the global diagnosis results. Moreover, two protocols for the detection and diagnosis of faults are proposed: they differ for the information exchanged between local sites and coordinator and the diagnostic capability. In addition, a sufficient and necessary condition under which the second presented protocol can successfully diagnose a fault in the decentralized architecture is proved. Finally, some examples are presented to show the efficiency of the proposed approach.

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

[2]  Zhan Li,et al.  An Approach to Fault Detection for Multirate Sampled-Data Systems With Frequency Specifications , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[3]  Cristian Mahulea,et al.  Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

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

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

[6]  Alessandro Giua,et al.  Diagnosability of Discrete-Event Systems Using Labeled Petri Nets , 2014, IEEE Transactions on Automation Science and Engineering.

[7]  Alessandro Giua,et al.  Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[8]  Louise Travé-Massuyès,et al.  Fault Isolation on Request Based on Decentralized Residual Generation , 2016, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[9]  Shigemasa Takai,et al.  Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions , 2017, Discret. Event Dyn. Syst..

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

[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]  Gianmaria De Tommasi,et al.  An Efficient Approach for Online Diagnosis of Discrete Event Systems , 2009, IEEE Transactions on Automatic Control.

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

[14]  Stéphane Lafortune,et al.  Overview of fault diagnosis methods for Discrete Event Systems , 2013, Annu. Rev. Control..

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

[16]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete event systems, a net unfolding approach , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[17]  Antonio Ramírez-Treviño,et al.  Optimal communication distributed Petri net based diagnosers of Discrete event systems , 2011, 2011 8th International Conference on Electrical Engineering, Computing Science and Automatic Control.

[18]  Franck Cassez.  The Complexity of Codiagnosability for Discrete Event and Timed Systems , 2012, IEEE Trans. Autom. Control..

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

[20]  Gianmaria De Tommasi,et al.  Decentralized κ-diagnosability of Petri nets , 2012, WODES.

[21]  Kunihiko Hiraishi,et al.  Analysis and control of discrete event systems represented by petri nets , 1988 .

[22]  Stéphane Lafortune,et al.  Codiagnosability and coobservability under dynamic observations: Transformation and verification , 2015, Autom..

[23]  Alessandro Giua,et al.  Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[24]  Ratnesh Kumar,et al.  Distributed diagnosis under bounded-delay communication of immediately forwarded local observations , 2005, Proceedings of the 2005, American Control Conference, 2005..

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

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

[27]  Shigemasa Takai,et al.  Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions , 2012, IEEE Transactions on Automatic Control.

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

[29]  Stéphane Lafortune,et al.  Coordinated decentralized protocols for failure diagnosis of discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[30]  Zhiwu Li,et al.  Decentralized Supervision of Petri Nets With a Coordinator , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

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