Decentralized failure diagnosis of discrete event systems

By decentralized diagnosis we mean diagnosis using multiple diagnosers, each possessing its own set of sensors, without involving any communication among diagnosers or to any coordinators. The notion of decentralized diagnosis is formalized by introducing the notion of codiagnosability that requires that a failure be detected by one of the diagnosers within a bounded delay. Algorithms of complexity polynomial in the size of the system and the nonfault specification are provided for: 1) testing codiagnosability, 2) computing the bound in delay of diagnosis, 3) offline synthesis of individual diagnosers, and 4) online diagnosis using them. The notion of codiagnosability and the above algorithms are initially presented in a setting of a specification language (violation of which represents a fault) and are later specialized to the case where faults are modeled as the occurrences of certain events. The notion of strong codiagnosability is also introduced to capture the ability of being certain about both the failure as well as the nonfailure conditions in a system within a bounded delay.

[1]  M. Heymann,et al.  On stabilization of discrete-event processes , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[2]  M. Heymann,et al.  Stabilization of discrete-event processes , 1990 .

[3]  Panos J. Antsaklis,et al.  Stability and stabilizability of discrete event dynamic systems , 1991, JACM.

[4]  A. Willsky,et al.  Stability and stabilization of discrete event dynamic systems , 1991 .

[5]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[6]  Mischa Schwartz,et al.  Simple finite-state fault detectors for communication networks , 1992, IEEE Trans. Commun..

[7]  S. Marcus,et al.  Language stability and stabilizability of discrete event dynamical systems , 1993 .

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

[9]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

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

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

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

[13]  M. Heymann,et al.  Language convergence in controlled discrete-event systems , 1995, IEEE Trans. Autom. Control..

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

[15]  Charles E. Stroud,et al.  Discrete event system approach for delay fault analysis in digital circuits , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[16]  W.M. Wonham,et al.  Fault diagnosis in timed discrete-event systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[17]  John Lygeros,et al.  A fault tolerant control architecture for automated highway systems , 2000, IEEE Trans. Control. Syst. Technol..

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

[19]  John Lygeros,et al.  Communication protocols for a fault-tolerant automated highway system , 2000, IEEE Trans. Control. Syst. Technol..

[20]  S. R. Das,et al.  Characterizing a confidence space for discrete event timings for fault monitoring using discrete sensing and actuation signals , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[21]  Lawrence E. Holloway,et al.  Template languages for fault monitoring of timed discrete event processes , 2000, IEEE Trans. Autom. Control..

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

[23]  Christoforos N. Hadjicostis,et al.  Power system monitoring based on relay and circuit breaker information , 2001, ISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems (Cat. No.01CH37196).

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

[25]  Raymond E. Miller,et al.  Fault identification in networks by passive testing , 2001, Proceedings. 34th Annual Simulation Symposium.

[26]  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..

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

[28]  W. M. Wonham,et al.  Distributed diagnosis for qualitative systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[29]  Shengbing Jiang,et al.  Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

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

[31]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete-event systems: a net unfolding approach , 2003, IEEE Trans. Autom. Control..

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

[33]  Shengbing Jiang,et al.  Diagnosis of repeated/intermittent failures in discrete event systems , 2003, IEEE Trans. Robotics Autom..

[34]  S. Tripakis.  Decentralized control of discrete-event Systems With bounded or Unbounded Delay communication , 2004, IEEE Transactions on Automatic Control.

[35]  Shengbing Jiang,et al.  Failure diagnosis of discrete-event systems with linear-time temporal logic specifications , 2004, IEEE Transactions on Automatic Control.

[36]  H. Garcia,et al.  Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays , 2004, Proceedings of the 2004 American Control Conference.

[37]  Ratnesh Kumar,et al.  Distributed diagnosis under bounded-delay communication of immediately forwarded local observations , 2005 .

[38]  Shengbing Jiang,et al.  Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications , 2006, IEEE Transactions on Automation Science and Engineering.