Diagnosability of discrete-event systems

Fault detection and isolation is a crucial and challenging task in the automatic control of large complex systems. We propose a discrete-event system (DES) approach to the problem of failure diagnosis. We introduce two related notions of diagnosability of DES's in the framework of formal languages and compare diagnosability with the related notions of observability and invertibility. We present a systematic procedure for detection and isolation of failure events using diagnosers and provide necessary and sufficient conditions for a language to be diagnosable. The diagnoser performs diagnostics using online observations of the system behavior; it is also used to state and verify off-line the necessary and sufficient conditions for diagnosability. These conditions are stated on the diagnoser or variations thereof. The approach to failure diagnosis presented in this paper is applicable to systems that fall naturally in the class of DES's; moreover, for the purpose of diagnosis, most continuous variable dynamic systems can be viewed as DES's at a higher level of abstraction. >

[1]  Michèle Basseville,et al.  Detection of abrupt changes: theory and application , 1993 .

[2]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

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

[4]  Venkat Venkatasubramanian,et al.  Model-based reasoning in diagnostic expert systems for chemical process plants , 1987 .

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

[6]  Paul M. Frank,et al.  Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy: A survey and some new results , 1990, Autom..

[7]  Peter E. Caines,et al.  Classical and Logic-Based Dynamic Observers for Finite Automata , 1991 .

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

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

[10]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

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

[12]  Robert F. Stengel,et al.  Combining expert system and analytical redundancy concepts for fault-tolerant flight control , 1989 .

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

[14]  Alan S. Willsky,et al.  Invertibility of Discrete-Event Dynamic Systems , 1992, Math. Control. Signals Syst..

[15]  Alan S. Willsky,et al.  A survey of design methods for failure detection in dynamic systems , 1976, Autom..

[16]  A. Willsky,et al.  Observability of discrete event dynamic systems , 1990 .

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

[18]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[19]  Yongseok Park,et al.  On the eventual invertibility of discrete event systems and its applications , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

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