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

Control Engineering Practice

Volumn 14, Issue 6 SPEC. ISS., 2006, Pages 609-619

  Supavatanakul, Peerasan ^a   Lunze, J ^b   Puig, Vicenc ^c   Quevedo, Joseba ^c  

^a SIEMENS AG   (Germany)

^b RUHR UNIVERSITY BOCHUM   (Germany)

^c UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

DAMADICS actuator; Discrete event systems; Fault diagnosis; Timed automata

Indexed keywords

ACTUATORS; ALGORITHMS; BENCHMARKING; CONTROL SYSTEM ANALYSIS; DISCRETE TIME CONTROL SYSTEMS;

ACTUATOR BENCHMARK; FAULT DIAGNOSIS; TIMED AUTOMATA;

AUTOMATA THEORY;

ACTUATORS; ALGORITHMS; AUTOMATA THEORY; BENCHMARKING; CONTROL SYSTEM ANALYSIS; DISCRETE TIME CONTROL SYSTEMS;

EID: 33644635255     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.conengprac.2005.03.028     Document Type: Article

References (33)

1. R. Alur D. Dill A theory of timed automata Theoretical Computer Science 126 1994 183-235
2. P. Baroni G. Lamperti P. Pogliano M. Zanella Diagnosis of large active systems Artificial Intelligence 110 1 1999 135-183
3. Bartyś, M., Patton, R., Syfert, M., de las Heras, S., & Quevedo, J. (2005). Introduction to the DAMADICS actuator FDI benchmark study. Control Engineering Practice, this issue.
4. A. Benveniste A. Aghasaryan E. Fabre R. Boubour C. Jard Fault detection and diagnosis in distributed systems: An approach by partially stochastic petri nets Discrete Event Dynamic Systems: Theory and Applications 8 1998 203-231
5. M. Blanke M. Kinnaert J. Lunze M. Staroswiecki Diagnosis and fault-tolerant control 2003 Springer Berlin
6. Förstner, D., Lunze, J. (2000). Qualitative model-based fault detection of a fuel injection system. In Safeprocess 2000, pp. 88-93.
7. P.M. Frank Analytical and qualitative model-based fault diagnosis - a survey and some new results European Journal of Control 2 1 1996 6-28
8. Haar, S., Simonot-Lion, F., Kaiser, L., Toussaint, J. (2002). Equivalence of timed state machines and safe tpn. In WODES'02 (pp. 119-124).
9. W. Hamscher L. Console J. de Kleer Readings in model-based diagnosis 1992 Morgan Kaufmann Los Altos, LA
10. Holloway, L., Chand, S., 1994. Time templates for discrete event fault monitoring in manufacturing systems. In Proceedings of the 1994 American control conference.
11. Hristov, I., Lunze, J., Supavatanakul, P. (2001). Timed discrete-event approach to the diagnosis of actuator benchmark. In 4th DAMADICS Workshop, 2001
12. R. Isermann Process fault detection based on modeling and estimation methods - a survey Automatica 20 1984 387-404
13. G. Lamperti M. Zanella Diagnosis of active systems principles and techniques 2003 Kluwer Academic Publishers Dordrecht
14. F. Lin Diagnosability of discrete event systems and its applications Discrete Event Dynamic Systems: Theory and Applications 4 1994 197-212
15. Lunze, J. (1995). Künstliche Intelligenz für Ingenieure, Band 2. Munich (Vienna): Oldenbourg.
16. Lunze, J. (2000). Diagnosis of quantised systems. In Safeprocess 2000, Safeprocess.
17. J. Lunze J. Schröder State observation and diagnosis of discrete-event systems described by stochastic automata Discrete Event Dynamic Systems: Theory and Applications 11 4 2001 319-369
18. Lunze, J., Supavatanakul, P. (2002). Diagnosis of discrete-event system described by timed automata. In IFAC 15th world congress.
19. Lunze, J., & Supavatanakul, P. (2003). Application of timed automata to the diagnosis of DAMADICS benchmark problem. In Safeprocess 2003, pp. 1185-1190.
20. R.J. Patton P.M. Frank R.N. Clark Fault diagnosis in dynamic systems theory and application 1989 Prentice-Hall New york
21. Puig, V., Quevedo, J., Stancu, A., Lunze, J., Neidig, J., Planchon, P., & Supavatanakul, P. (2003). Comparison of interval models and quantised systems in fault detection with application to the DAMADICS actuator benchmark problem. In Safeprocess 2003, pp. 1191-1196.
22. M. Sampath R. Sengupta S. Lafortune K. Sinnamohideen D. Teneketzis Diagnosability of discrete event systems IEEE Transactions on Automatic Control 40 1995 1555-1575
23. J. Schröder Modelling, state observation and diagnosis of quantised systems 2003 Springer Berlin
24. Schullerus, G., Krebs, V. (2001). Diagnosis of a class of discrete event systems based on parameter estimations of a modular algebraic model. In 12th international workshop on principle of diagnosis (pp. 189-195).
25. Schullerus, G., Supavatanakul, P., Krebs, V., Lunze, J. (2003). Relations of timed event graphs and timed automata in fault diagnosis. In Safeprocess 2003 (pp. 819-824).
26. Srinivasan, V., & Jafari, M. (1993). Fault detection/monitoring using timed petri nets. IEEE Transactions on Systems Man and Cybernetics, 23(4), 1155-1162.
27. Supavatanakul, P. (2004). Modelling and diagnosis of timed discrete-event systems. Aachen: Shaker Verlag.
28. Supavatanakul, P., Falkenberg, C., Lunze, J. (2003). Identification of timed discrete-event models for diagnosis. In Proceeding of the 14th international workshop on principles of diagnosis (pp. 193-198).
29. Syfert, M., Patton, R., Bartyś, M., & Quevedo, J. (2003). Development and application of methods for actuator diagnosis in industrial control systems (DAMADICS): A benchmark study. In Safeprocess 2003, pp. 939-950.
30. D. Teneketzis K. Sinnamohideen M. Sampath R. Sengupta S. Lafortune Failure diagnosis using discrete event models IEEE Transactions on Control System Technology 4 2 1996 105-124
31. Tripakis, S. (2002). Fault diagnosis for timed automata (pp. 205-221). LNCS 2469 Lecture Notes in Computer Sciences, Springer-Verlag, 2002.
32. Ushio, T., Onishi, I., & Okuda, K. (1998). Fault detection based on petri net models with faulty behaviors. In IEEE international conference on systems, man, and cybernetics (Vol. 1) (pp. 113-118). October 1998.
33. S.H. Zad R. Kwong W. Wonham Fault diagnosis in discrete-event systems: Framework and model reduction IEEE Transactions on Automatic Control 48 7 2003 1199-1212