New Results on Decentralized Diagnosis of Discrete Event Systems

The past decade has witnessed the development of a body of theory, with associated applications, for fault diagnosis of dynamic systems that can be modeled in a discrete event systems framework. This paper presents several new notions of diagnosability, together with on-line diagnosis decision rules, in the context of a general decentralized architecture that allows for the use of “conditional decisions” by local diagnosers. The properties of these new notions of diagnosability are presented and their relationship with existing work discussed. Verification algorithms and local diagnoser synthesis methods are briefly outlined.

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

[2]  S. Tripakis,et al.  Decentralized diagnosability of regular languages is undecidable , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[3]  Stéphane Lafortune,et al.  A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems , 2002, Discret. Event Dyn. Syst..

[4]  博明 向谷.  2005 American Control Conference , 2005, IEEE Control Systems.

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

[6]  Stéphane Lafortune,et al.  Failure diagnosis of dynamic systems: an approach based on discrete event systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[7]  W. Murray Wonham,et al.  Think Globally, Act Locally: Decentralized Supervisory Control , 1991, 1991 American Control Conference.

[8]  Stéphane Lafortune,et al.  Decentralized supervisory control with conditional decisions: supervisor existence , 2004, IEEE Transactions on Automatic Control.

[9]  Raja Sengupta.  Diagnosis and Communication in Distributed Systems , 1999 .

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

[11]  Jan C. WillemsInstitute.  The Computational Complexity of Decentralized Discrete-Event Control Problems , 1993 .

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

[13]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

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