A Coordinated Decentralized Protocol For Failure Diagnosis Of Discrete Event Systems

We address the problem of failure diagnosis in discrete event systems with decentralized information. We propose a coordinated decentralized architecture consisting of two local sites communicating with a coordinator that is responsible for diagnosing the failures occurring in the system. We extend the notion of diagnosability, originally introduced in [1] for centralized systems, to the proposed coordinated decentralized architecture. We specify one protocol that realizes the proposed architecture. We analyze the diagnostic properties of this protocol. The key feature of the proposed protocol is that it achieves the same diagnostic performance as the centralized diagnoser.

[1]  Stéphane Lafortune,et al.  Active diagnosis of discrete event systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[2]  A. D. Pouliezos,et al.  Real time fault monitoring of industrial processes , 1994 .

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

[4]  A. Benveniste,et al.  A Petri net approach to fault detection and diagnosis in distributed systems. I. Application to telecommunication networks, motivations, and modelling , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[5]  Sujeet Chand,et al.  Time templates for discrete event fault monitoring in manufacturing systems , 1994, Proceedings of 1994 American Control Conference - ACC '94.

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

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

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