Application of timed automata to the diagnosis of the DAMADICS benchmark problem

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 36, Issue 5, 2003, Pages 1083-1088

  Lunze, J ^a   Supavatanakul, P ^a  

^a RUHR UNIVERSITY BOCHUM   (Germany)

Author keywords

Consistency based diagnosis; DAMADICS benchmark problem; Discrete event systems; Timed automata

Indexed keywords

AUTOMATA THEORY; BENCHMARKING; DISCRETE EVENT SIMULATION; PLANT MANAGEMENT; SUGAR FACTORIES;

CORRESPONDING STATE; DAMADICS BENCHMARK PROBLEMS; DIAGNOSTIC ALGORITHMS; DIAGNOSTIC PERFORMANCE; FAULT IDENTIFICATIONS; STATES AND TRANSITIONS; TEMPORAL INFORMATION; TIMED AUTOMATA;

FAULT DETECTION;

EID: 85064444862     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/S1474-6670(17)36637-5     Document Type: Conference Paper

References (8)

1. R. Alur, and D. Dill A theory of timed automata. Theoretical Computer Science 126 1994 183 235
2. M. Bartyś, and M. Syfert Using DAMADICS Actuator Benchmark Library. 2002 http://diag.mchtr.pw.edu.pl/damadics/
3. W. Hamscher, L. Console, and J. de Kleer Readings in Model-Based Diagnosis. 1992 Morgan Kaufmann
4. J. Lunze, and D. Förstner Discrete-event models of quantised systems for diagnosis. International Journal of Control 74 7 2001 690 700
5. J. Lunze, and P. Supavatanakul Diagnosis of discrete-event system described by timed automata. IFAC 15th World Congress 2002 Barcelona
6. thDAMADICS Workshop Bochum 2002
7. R.J. Patton, P.M. Frank, and R.N. Clark Fault Diagnosis in Dynamic Systems Theory and Application. 1989 Prentice Hall New York
8. M. Syfert, M. Bartys, J. Quevedo, and R.J. Patton Development and application of methods for actuator diagnosis in industrial control systems (DAMADICS): A benchmark study. SAFEPROCESS 2003 2003 Washington D.C.