Decentralized failure diagnosis with asynchronous communication between supervisors

Decentralized failure diagnosis problems arise in communication networks. Network operators require automated tools to isolate failures that need immediate attention. Failure notification is often accompanied with local timing information, although the presence of a global clock is not guaranteed. A timed discrete-event system for decentralized failure diagnosis is proposed. Additionally, the model allows asynchronous communication between decentralized diagnosers. The problem is treated whether an observor map of a diagnoser factors over a timed discrete-event system with a finite state set.

[1]  H. Witsenhausen.  Separation of estimation and control for discrete time systems , 1971 .

[2]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

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

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

[5]  K. C. Wong,et al.  Decentralized supervisory control of discrete-event systems with communication , 1996 .

[6]  Gregory Provan,et al.  Modeling and diagnosis of timed discrete event systems-a factory automation example , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[7]  Karen Rudie,et al.  Know means no: incorporating knowledge into decentralized discrete-event control , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[8]  M. Larsson.  Diagnosis and analysis of diagnosis properties using discrete event dynamic systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[9]  Albert Benveniste,et al.  Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets , 1998, Discret. Event Dyn. Syst..

[10]  Stéphane Lafortune,et al.  On the synthesis of communicating controllers with decentralized information structures for discrete-event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

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

[12]  Shahin Hashtrudi Zad.  Fault diagnosis in discrete-event and hybrid systems , 1999 .

[13]  Thomas A. Henzinger,et al.  Event-Clock Automata: A Determinizable Class of Timed Automata , 1999, Theor. Comput. Sci..

[14]  Karen Rudie,et al.  Incorporating communication and knowledge into decentralized discrete-event systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[15]  Feng Lin,et al.  Minimal communication in a distributed discrete-event control system , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[16]  Yannick Pencolé.  Decentralized diagnoser approach: application to telecommunication networks , 2000 .

[17]  Rami I. Debouk.  Failure diagnosis of decentralized discrete event systems. , 2000 .