Diagnosis of timed automata : Theory and application to the DAMADICS actuator benchmark problem

This paper concerns the problem of fault diagnosis in discrete-event systems which are represented by timed automata. The diagnostic algorithm for timed automata detects and identifies faults in the system based on the investigation whether the measured input and output sequences are consistent with the timed automaton. This diagnostic approach can be applied spontaneously to the discrete-event system since no a priori information about the initial state of the system is required. It is shown in the paper how the timed automaton which represents the DAMADICS actuator can be obtained and how the diagnostic algorithm based on the timed automaton is applied to detect and identify actuator faults. A representative diagnostic result is presented and discussed to illustrate the effectiveness of the method. r 2005 Elsevier Ltd. All rights reserved.

[1]  Charles Falkenberg,et al.  IDENTIFICATION OF TIMED DISCRETE-EVENT MODELS FOR DIAGNOSIS , 2003 .

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

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

[4]  W. Godwin.  Article in Press , 2000 .

[5]  Jan Lunze,et al.  Diagnosis of discrete-event system described by timed automata , 2002 .

[6]  Paul M. Frank,et al.  Fault diagnosis in dynamic systems: theory and application , 1989 .

[7]  Jan Lunze,et al.  State Observation and Diagnosis of Discrete-Event Systems Described by Stochastic Automata , 2001, Discret. Event Dyn. Syst..

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

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

[10]  J. Lunze,et al.  Qualitative Model-Based Fault Detection of a Fuel Injection System , 2000 .

[11]  Jan Lunze,et al.  Relations of Timed Event Graphs and Timed Automata in Fault Diagnosis , 2003 .

[12]  Rolf Isermann,et al.  Process Fault Detection Based on Modeling and Estimation Methods , 1982 .

[13]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[14]  V. S. Srinivasan,et al.  Fault detection/monitoring using time Petri nets , 1993, IEEE Trans. Syst. Man Cybern..

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

[16]  Stavros Tripakis,et al.  Fault Diagnosis for Timed Automata , 2002, FTRTFT.

[17]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[18]  Rolf Isermann,et al.  Process fault detection based on modeling and estimation methods - A survey , 1984, Autom..

[19]  M. V. Iordache,et al.  Diagnosis and Fault-Tolerant Control , 2007, IEEE Transactions on Automatic Control.

[20]  Gianfranco Lamperti,et al.  Diagnosis of active systems : principles and techniques , 2003 .

[21]  Joseba Quevedo,et al.  Introduction to the DAMADICS actuator FDI benchmark study , 2006 .

[22]  L. Kaiser,et al.  Equivalence of timed state machines and safe TPN , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[23]  Joseba Quevedo,et al.  Development and Application of Methods for Actuator Diagnosis in Industrial Control Systems (DAMADICS): A Benchmark Study , 2003 .

[24]  Toshimitsu Ushio,et al.  Fault detection based on Petri net models with faulty behaviors , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[25]  Jochen Schroder,et al.  Modelling, State Observation, and Diagnosis of Quantised Systems , 2002 .

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

[27]  Jan Lunze,et al.  Application of Timed Automata to the Diagnosis of the DAMADICS Benchmark Problem , 2003 .

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

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

[30]  Vicenç Puig,et al.  Comparison of Interval Models and Quantised Systems in Fault Detection with Application to the DAMADICS Actuator Benchmark Problem , 2003 .