Fault diagnosis of discretely controlled continuous systems by means of discrete-event models

Discrete Event Dynamic Systems: Theory and Applications

Volumn 18, Issue 2, 2008, Pages 181-210

  Lunze, Jan ^a  

^a RUHR UNIVERSITY BOCHUM   (Germany)

Author keywords

Completeness; Embedded map; Fault diagnosis; Hybrid system; Model abstraction; Nondeterministic automaton; Semi Markov process; Timed automaton

Indexed keywords

ALGORITHMS; FAILURE ANALYSIS; FEEDBACK CONTROL; MARKOV PROCESSES; MATHEMATICAL MODELS; SWITCHING SYSTEMS;

DIAGNOSTIC ALGORITHMS; EMBEDDED MAPS; NONDETERMINISTIC AUTOMATON; SWITCHING SEQUENCE; TIMED AUTOMATON;

DISCRETE EVENT SIMULATION;

EID: 43149087561     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-007-0022-3     Document Type: Article

References (26)

1. Alur R, Henzinger TA, Lafferriere G, Pappas GJ (2000) Discrete abstractions of hybrid systems. Proceedings of the IEEE 88:971-984
2. Ashley J, Holloway LE (2004) Qualitative diagnosis of condition systems. Discret Event Dyn Syst: Theory Appl 14:395-412
3. Blanke M, Kinnaert M, Lunze J, Staroswiecki M (2006) Diagnosis and fault-tolerant control, 2nd edn. Springer, Heidelberg
4. Böker G, Lunze J (2002) Stability and performance of switching Kalman filters. Int J Control 75:1269-1281
5. Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer, Boston
6. Förstner D, Lunze J (2001) Discrete-event models of quantized systems for diagnosis. Int J Control 74:690-700
7. Gertler J (1998) Fault detection and diagnosis in enginnering systems. Marcel Dekker, New York
8. Krupar J, Mögel A, Schwarz W (2004) Continuous-discrete systems - modelling and statistical analysis. Intern. Symposium on Nonlinear Theory and its Applications (NOLTA), Fukuoka, pp55-58
9. Lamperti G, Zanella M (2003) Diagnosis of active systems. Kluwer, Dordrecht
10. Lunze J (1994) Qualitative modelling of linear dynamical systems with quantised state measurements. Automatica 30(3):417-432
11. Lunze J (1999) A timed discrete-event abstraction of continuous-variable systems. Int J Control 72:1147-1164
12. Lunze J (2000) Ein Beispiel für den Entwurf schaltender Beobachter. Automatisierungstechnik 48:556-562
13. Lunze J (2000) Diagnosis of quantized systems based on a timed discrete-event model. IEEE Trans SMC-30:322-335
14. Lunze J (2006a) Ereignisdiskrete Systeme. Oldenbourg-Verlag, München
15. Lunze J (2006b) Discrete-event modelling and fault diagnosis of discretely controlled continuous systems. IFAC-symposium on analysis and design of hybrid systems, Alghero
16. Lunze J (2006c) Diagnosis of discretely controlled continuous systems. Automatisierungstechnik 54:385-395
17. Pappas G (2003) Bisimilar linear systems. Automatica 39:2035-2047
18. Patton RJ, Frank PM, Clark RN (eds) (1999) Issues of fault diagnosis for dynamical systems. Springer-Verlag, London
19. Polderman JW, Willems JC (1998) Introduction to mathematical systems theory: a behavioural approach. Springer
20. Raisch J, O'Young, S (1997) A totally ordered set of discrete abstractions for a given hybrid or continuous system. In: Antsaklis P, Kohn W, Nerode A, Sastry S (eds) Hybrid systems IV, Springer, Berlin, pp342-360
21. Sampath M, Sengupta R, Lafortune S, Sinnamohedeen K, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans AC-40:1555-1575
22. Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1996) Failure diagnosis using discrete event models. IEEE Trans CST-4
23. Schröder J (2003) Modelling, state observation and diagnosis of quantised systems. Springer, Heidelberg
24. Srinivasan VS, Jafari MA (1993) Fault detection/monitoring using timed Petri nets. IEEE Trans SMC-23
25. Supavatanakul P (2004) Modelling and diagnosis of timed discrete-event systems. Shaker, Aachen
26. Tse CK (2003) Complex behaviour of switching power converters. CRC Press, Boca Raton