Diagnosis of timed discrete event systems;Diagnose zeitbewerteter ereignisdiskreter systeme

At-Automatisierungstechnik

Volumn 52, Issue 4, 2004, Pages 164-173

  Schullerus, Gernot ^a   Supavatanakul, Peerasan ^b   Krebs, Volker ^a   Lunze, Jan ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b RUHR UNIVERSITY BOCHUM   (Germany)

Author keywords

Consistency based diagnosis; Discrete event systems; Parameter estimation; Petri nets; Timed automata

Indexed keywords

EID: 84892217249     PISSN: 01782312     EISSN: None     Source Type: Journal    
DOI: 10.1524/auto.52.4.164.29415     Document Type: Article

References (15)

1. R. Alur, D. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126: 183-235, 1994.
2. F. Baccelli, G. Cohen, G. J. Olsder, J.-P. Quadrat. Synchronization and Linearity. John Wiley & Sons, Chichester, 1992.
3. R. Cuninghame-Green. Minimax Algebra, Band 166 von Lecture Notes in Economics and Mathematical Systems. Springer-Verlag, Berlin, 1979.
4. P. M. Frank. Analytical and Qualitative Model-Based Fault Diagnosis - A Survey and Some New Results. European Journal of Control, 2(l): 6-28, 1996.
5. W. Hamscher, L. Console, J. de Kleer. Readings in Model-Based Diagnosis. Morgan Kaufmann, San Mateo, 1992.
6. R. Isermann. Process Fault Detection Based on Modeling and Estimation Methods - A Survey. Automatica, 20(4): 387-404, 1984.
7. J. Lunze. Künstliche Intelligenz fiir Ingenieure, Band 2. Oldenbourg-Verlag, München, 1995.
8. J. Lunze. Ein Diagnoseverfahren für kontinuierliche Systeme mit quantisierten Messgrößen. Automatisierungstechnik, 48(7): 351-359, 2000.
9. D. Teneketzis, K. Sinnamohideen, M. Sampath, R. Sengupta, S. Lafortune. Failure Diagnosis using Discrete Event Models. IEEE Transactions on Control Systems Technology, 4(2): 105-124, 1996.
10. G. Schullerus, V. Krebs. Diagnosis of Batch Processes Based on Parameter Estimation of Discrete Event Models. In Proceedings of the 6th European Control Conference, Seiten 1612-1617, Porto, 2001.
11. G. Schullerus, V. Krebs. A Method for Estimating the Holding Times in Timed Event Graphs. In Proceedings of the 6th International Workshop on Discrete Event Systems (WODES’ 02), Seiten 209-216, Zaragoza, 2002.
12. G. Schullerus, V. Krebs. Parameteridentifikation in zeitbewerteten Synchronisationsgraphen. Automatisierungstechnik, 51(l): 39-47, 2003.
13. G. Schullerus, P. Supavatanakul, V. Krebs, J. Lunze. Relations of Timed Event Graphs and Timed Automata in Fault Diagnosis. In Proceedings of the 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS’03), Seiten 819-824, Washington D.C., 2003.
14. J. Fox, G. Schullerus, M. Schwaiger, V. Krebs. Discrete Event System Diagnosis Using Parameter Estimation Methods. In Proceedings of the 14th International Workshop on Principles of Diagnosis, Washington D.C., 2003.
15. P. Supavatanakul, C. Falkenberg, J. Lunze. Identification of Timed Discrete-Event Model for Diagnosis. In Proceedings of the 14th International Workshop on Principles of Diagnosis, Washington D.C., 2003.