Abstraction-based verification of codiagnosability for discrete event systems

In this paper, we investigate the verification of codiagnosability for discrete event systems (DES). That is, it is desired to ascertain if the occurrence of system faults can be detected based on the information of multiple local sites that partially observe the overall DES. As an improvement of existing codiagnosability tests that resort to the original DES with a potentially computationally infeasible state space, we propose a method that employs an abstracted system model on a smaller state space for the codiagnosability verification. Furthermore, we show that this abstraction can be computed without explicitly evaluating the state space of the original model in the practical case where the DES is composed of multiple subsystems.

[1]  Klaus Schmidt.  Abstraction-based failure diagnosis for discrete event systems , 2010, Syst. Control. Lett..

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

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

[4]  Stéphane Lafortune,et al.  Coordinated decentralized protocols for failure diagnosis of discrete event systems , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[5]  S. Laurie Ricker,et al.  Decentralized failure diagnosis with asynchronous communication between supervisors , 2001, 2001 European Control Conference (ECC).

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

[7]  R. Malik,et al.  A modular architecture for diagnosis of discrete event systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[8]  Stéphane Lafortune,et al.  Safe diagnosability for fault-tolerant supervision of discrete-event systems , 2005, Autom..

[9]  Klaus Werner Schmidt.  Computation of projections for the abstraction-based diagnosability verification , 2010, WODES.

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

[11]  L. Grigorov.  Hierarchical control of discrete-event systems , 2005 .

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

[13]  Klaus Werner Schmidt,et al.  Nonblocking hierarchical control of decentralized DES , 2005 .

[14]  Walter Murray Wonham,et al.  Hierarchical control of discrete-event systems , 1996, Discret. Event Dyn. Syst..

[15]  R. Kumar,et al.  Decentralized modular diagnosis of concurrent discrete event systems , 2008, 2008 9th International Workshop on Discrete Event Systems.

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

[17]  Thomas Moor,et al.  Nonblocking Hierarchical Control of Decentralized Discrete Event Systems , 2008, IEEE Transactions on Automatic Control.

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

[19]  S. Lafortune.  Supervisory Control Of Discrete Event Systems , 2011 .

[20]  Kai C. Wong,et al.  On the Complexity of Projections of Discrete-Event Systems , 1998 .

[21]  Shigemasa Takai.  A Sufficient Condition for Diagnosability of Large-Scale Discrete Event Systems , 2008 .

[22]  Antonio Correcher Salvador,et al.  Modular Fault Diagnosis Based on Discrete Event Systems , 2005, Discret. Event Dyn. Syst..

[23]  Humberto E. Garcia,et al.  Diagnosis of behaviors of interest in partially-observed discrete-event systems , 2008, Syst. Control. Lett..

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