Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements

We extend and verify diagnosability for a class of set intersection refinement strategies, which can be used for distributed state estimation and fault diagnosis in nondeterministic finite automata that are observed at multiple observation sites. These strategies allow observation sites to (periodically) communicate their diagnostic information (i.e., possible states along with corresponding status, such as normal operation and/or fault type) to other observation sites, which subsequently fuse all available diagnostic information (via set intersection operations), and continue operation based on the refined diagnostic information. We verify diagnosability using the proposed distributed protocol, with polynomial complexity, via compositions of (extended versions of) local verifiers, which are capable of capturing the refinement of information under the set intersection operations, as well as the influence of the refinement process on immediate or future diagnosis decisions.

[1]  Feng Lin,et al.  Detectability of discrete event systems with dynamic event observation , 2010, Syst. Control. Lett..

[2]  Christoforos Keroglou,et al.  Distributed diagnosis using predetermined synchronization strategies , 2014, 53rd IEEE Conference on Decision and Control.

[3]  João Carlos Basilio,et al.  Polynomial time verification of decentralized diagnosability of discrete event systems , 2010, ACC 2010.

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

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

[6]  D. West.  Introduction to Graph Theory , 1995 .

[7]  Shigemasa Takai,et al.  Comments on “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” versus “Decentralized Failure Diagnosis of Discrete Event Systems”: Complexity Clarification , 2014, IEEE Transactions on Automatic Control.

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

[9]  Edwin K. P. Chong,et al.  Automated fault diagnosis using a discrete event systems framework , 1994, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control.

[10]  Stéphane Lafortune,et al.  Minimal communication in a distributed discrete-event system , 2003, IEEE Trans. Autom. Control..

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

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

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

[14]  Christoforos Keroglou,et al.  Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints , 2015, 2015 IEEE International Conference on Automation Science and Engineering (CASE).

[15]  Christoforos N. Hadjicostis,et al.  Decentralized state estimation in discrete event systems under partially ordered observation sequences , 2016, 2016 13th International Workshop on Discrete Event Systems (WODES).

[16]  Christoforos N. Hadjicostis,et al.  Intersection based decentralized diagnosis: Implementation and verification , 2013, 52nd IEEE Conference on Decision and Control.

[17]  Rong Su,et al.  Global and local consistencies in distributed fault diagnosis for discrete-event systems , 2005, IEEE Transactions on Automatic Control.

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

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

[20]  Stéphane Lafortune,et al.  Polynomial-time verification of diagnosability of partially observed discrete-event systems , 2002, IEEE Trans. Autom. Control..

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

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

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

[24]  Stéphane Lafortune,et al.  On Codiagnosability and Coobservability With Dynamic Observations , 2011, IEEE Transactions on Automatic Control.

[25]  Albert Benveniste,et al.  Distributed state reconstruction for discrete event systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[26]  João Carlos Basilio,et al.  Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems , 2011, IEEE Transactions on Automatic Control.