Failure diagnosis of discrete event systems: the case of intermittent faults

The diagnosis of "intermittent" faults in dynamic systems modeled as discrete event systems is considered. In many systems, faulty behavior often occurs intermittently, with fault events followed by corresponding "reset" events for these faults, followed by new occurrences of fault events, and so forth. Since these events are usually unobservable, it is necessary to develop diagnostic methodologies for intermittent faults. This paper addresses this issue by: (1) proposing a modeling methodology for discrete event systems with intermittent faults; (2) introducing new notions of diagnosability associated with fault and reset events; and (3) developing necessary and sufficient conditions, in terms of the system model and the set of observable events, for these notions of diagnosability. The associated necessary and sufficient conditions are based upon the technique of "diagnosis" introduced in earlier work, albeit the structure of the diagnosis needs to be enhanced to capture the dynamic nature of faults in the system model. The diagnosability conditions are verifiable in polynomial time in the number of states of the diagnosis.

[1]  Peerasan Supavatanakul.  Diagnosis of Timed Discrete-Event Systems , 2002 .

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

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

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

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

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

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

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

[9]  Antonio Correcher Salvador,et al.  Modular Fault Diagnosis Based on Discrete Event Systems , 1999, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467).

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

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

[12]  Claudia Picardi,et al.  Diagnosis and diagnosability analysis using Process , 2000 .

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

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

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

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

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

[18]  Marie-Odile Cordier,et al.  A Decentralized Model-Based Diagnostic Tool for Complex Systems , 2002, Int. J. Artif. Intell. Tools.

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

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

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

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

[23]  Benjamin Kuipers,et al.  Model-Based Monitoring of Dynamic Systems , 1989, IJCAI.

[24]  Suk Lee,et al.  Failure Diagnosis of Discrete Event Systems , 2001 .

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

[26]  Shengbing Jiang,et al.  Diagnosis of repeated failures in discrete event systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

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

[28]  Gregory ProvanRockwell.  Exploiting System Structure in Model-Based Diagnosis of Discrete-Event Systems , 1996 .

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

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

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

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