Fault diagnosis in timed discrete-event systems

A framework is introduced for passive online fault diagnosis in timed discrete-event systems (TDES). It extends the previous work of the authors (1999) on a state-based approach to fault diagnosis by incorporating timing information. This enhances the accuracy of diagnosis. In this methodology instead of directly extending the existing framework to TDES, an alternative approach is taken which, in many cases, leads to significant reduction in online computing requirements and the size of the diagnoser at the expense of more off-line design calculations.

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

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

[3]  R. H. Kwong,et al.  Fault Diagnosis in Finite-State Automata and Timed Discrete-Event Systems , 1999 .

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

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

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

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

[8]  C. H. Lie,et al.  Fault Tree Analysis, Methods, and Applications ߝ A Review , 1985, IEEE Transactions on Reliability.