Failure diagnosis of dynamic systems: an approach based on discrete event systems

We present the salient features of a methodology for failure diagnosis of dynamic systems that can be modeled as discrete event systems. This methodology was introduced by Sampath et al. for centralized systems and subsequently extended by Debouk et al. (2000) for certain classes of decentralized systems. We discuss how to perform detection and identification of unobservable fault events using diagnosers, which are finite-state automata that are built from the discrete-event model of the system under consideration. Examples of diagnosers are given. Comparisons with other methodologies for diagnosing dynamic systems are given.

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

[2]  Paul M. Frank,et al.  Analytical and Qualitative Model-based Fault Diagnosis - A Survey and Some New Results , 1996, Eur. J. Control.

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

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

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

[6]  Meera Sampath.  A hybrid approach to failure diagnosis of industrial systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[7]  Feng Lin,et al.  Design and test of mixed signal circuits: a discrete-event approach , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[8]  R. C. de Vries.  An automated methodology for generating a fault tree , 1990 .

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

[10]  Amit Anil Nanavati,et al.  Designing Diagnosable Distributed Programs. , 1996 .

[11]  Datta N. Godbole,et al.  Tools for the design of fault management systems [automated highway systems] , 1997, Proceedings of Conference on Intelligent Transportation Systems.

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

[13]  Meera Sampath.  A discrete event systems approach to failure diagnosis. , 1995 .

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

[15]  Gregory Provan,et al.  Model-based diagnosis and control reconfiguration for discrete event systems: an integrated approach , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[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]  Janos Gertler,et al.  Fault detection and diagnosis in engineering systems , 1998 .

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

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

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

[21]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[22]  W. Wonham,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[23]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

[24]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

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

[26]  K. Sinnamohideen.  Discrete-event diagnostics of heating, ventilation, and air-conditioning systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[27]  S. Yovine,et al.  Fault diagnosis for intra-platoon communications , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[28]  Stéphane Lafortune,et al.  On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems , 2003, Discret. Event Dyn. Syst..

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

[30]  Jan Lunze,et al.  Diagnosis of Quantised Systems , 2000 .

[31]  Demosthenis Teneketzis,et al.  Active diagnosis of discrete-event systems , 1998 .

[32]  John P. Hayes,et al.  Testing ICs: Getting to the Core of the Problem , 1996, Computer.

[33]  N. Viswanadham,et al.  Fault detection and diagnosis of automated manufacturing systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

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

[35]  Edwin K. P. Chong,et al.  Automated fault diagnosis using a discrete event systems framework , 1994, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control.

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

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

[38]  Meera Sampath,et al.  Combining Qualitative & Quantitative Reasoning - A Hybrid Approach to Failure Diagnosis of Industrial Systems , 2000 .