Diagnosis of discrete-event system described by timed automata

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 15, Issue 1, 2002, Pages 77-82

  Lunze, Jan ^a   Supavatanakul, Peerasan ^a  

^a RUHR UNIVERSITY BOCHUM   (Germany)

Author keywords

Consistency based diagnosis; Discrete event systems; Modelling; Timed automata

Indexed keywords

AUTOMATA THEORY; AUTOMATION; MODELS;

CHEMICAL PROCESS; DIAGNOSTIC ALGORITHMS; DISCRETE EVENTS; MODEL BASED DIAGNOSIS; TIME SEQUENCES; TIMED AUTOMATA;

DISCRETE EVENT SIMULATION;

EID: 84945560333     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20020721-6-es-1901.00744     Document Type: Conference Paper

References (11)

1. Förstner, D. (2001). Qualitative Modellierung für die Prozeßdiagnose und deren Anwendung auf Dieseleinspritzsysteme. PhD thesis. TU Hamburg-Harburg.
2. Hamscher, W., L. Console and J. (eds) de Kleer (1992). Readings in Model-Based Diagnosis. Morgan Kaufmann.
3. Hanisch, H. (1992). Petri-Netze in der Verfahrentechnik: Modellierung und Steuerung verfahrenstechnischer Systeme. Oldenbourg.
4. Isermann, R. (1984). Process fault detection based on modeling and estimation methods - a survey. Automatica 20, 387-404.
5. Lunze, J. (1994). Qualitative modelling of linear dynamical systems with quantised state measurements. Automatica 30(3), 417-431.
6. Lunze, J. (2000). Diagnosis of quantised systems based on a timed discrete-event model. IEEE Transactions on Systems, Man, and Cybernetics Part A SMC-30(3), 322-335.
7. Lunze, J. and J. Schröder (2001). State observation and diagnosis of discrete-event systems described by stochastic automata. Discrete Event Dynamic Systems: Theory and Applications.
8. Lunze, J., J. Schröder and P. Supavatanakul (2001). Diagnosis of discrete event systems: the method and an example. In: Proceedings of the Workshop on Principles of Diagnosis, DX'01. pp. 111-118.
9. Patton, R. J., P. M. Frank and R. N. Clark (1989). Fault Diagnosis in Dynamic Systems Theory and Application. Prentice Hall New York.
10. Sampath, M., R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis (1995). Diagnosability of discrete event systems. IEEE Transactions on Automatic Control 40, 1555-1575.
11. Teneketzis, D., K. Sinnamohideen, M. Sampath, R. Sengupta and S. Lafortune (1994). Failure diagnosis using discrete event models. In: Proceeding Conference on Decision and Control. pp. 3110-3116.