Polynomial time verification of decentralized diagnosability of discrete event systems

Failure diagnosis is an important task in large complex systems and as such this problem has received in the last years considerable attention in the literature. The first step to diagnose failure occurrences in discrete event systems is the verification of the system diagnosability. Several works in the literature have addresses this problem using either diagnosers or verifiers for the centralized and decentralized architectures. In this paper a new polynomial time algorithm to verify the decentralized diagnosability property of a discrete event system is proposed. The algorithm has lower computational complexity than other methods proposed in the literature and can also be applied to the centralized case.

[1]  Stavros Tripakis,et al.  Fault Diagnosis for Timed Automata , 2002, FTRTFT.

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

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

[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]  N. Viswanadham,et al.  Fault detection and diagnosis of automated manufacturing systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[6]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[7]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[8]  Shigemasa Takai,et al.  Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems , 2006, IEEE Transactions on Automation Science and Engineering.

[9]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

[10]  Eleftheria Athanasopoulou,et al.  Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations , 2010, IEEE Transactions on Automatic Control.

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

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

[13]  Alan S. Willsky,et al.  A survey of design methods for failure detection in dynamic systems , 1976, Autom..

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

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

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

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

[18]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

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

[20]  Stephane Lafortune,et al.  Robust codiagnosability of discrete event systems , 2009, 2009 American Control Conference.

[21]  Demosthenis Teneketzis,et al.  Diagnosability of stochastic discrete-event systems , 2005, IEEE Transactions on Automatic Control.

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