Diagnosis of quantised systems by means of timed discrete-event representations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1790, Issue , 2000, Pages 258-271

  Lunze, Jan ^a  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BATCH DATA PROCESSING; DISCRETE EVENT SIMULATION; MARKOV PROCESSES; NUMERICAL METHODS;

CONTINUOUS VARIABLES; DIAGNOSTIC METHODS; DIAGNOSTIC PROBLEM; INPUT AND OUTPUTS; ON-LINE INFORMATION; PROBABILISTIC INFORMATION; SEMI MARKOV PROCESS; TEMPORAL INFORMATION;

HYBRID SYSTEMS;

EID: 84974707438     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46430-1_23     Document Type: Conference Paper

References (13)

1. G. Lichtenberg, A. Steele: “An approach to fault diagnosis using parallel qualitative observers”, Workshop on Discrete Event Systems, Edinburgh 1996, pp. 290-295.
2. J. Lunze: A Petri-net approach to qualitative modeling of continuous dynamical systems, Systems Analysis, Modelling, Simulation, 9 (1992), pp 88-111.
3. J. Lunze, “Qualitative modelling of linear dynamical systems with quantized state measurements”, automatica 30 (1994), pp. 417-431.
4. J. Lunze, “A timed discrete-event abstraction of continuous-variable systems”, Intern. J. Control 72 (1999), pp. 1147-1164.
5. J. Lunze, “Diagnosis fo quantised systems based on a timed discrete-event model”, IEEE Trans. SMC-30 (2000), No. 5.
6. J. Lunze, B. Nixdorf, B J Schröder, “On the nondeterminism of discrete-event representations of continuous-variable systems,” automatica 35 (1999), 395-408.
7. J. Lunze, F. Schiller, “An example of fault diagnosis by means of probabilistic logic reasoning”, SAFEPROCESS, Hull 1997; extended version to appear in Control Engineering Practice 7 (1999), pp. 271-278.
8. J. Lunze; J. Schröder: Process diagnosis based on a discrete-event description, Automatisierungstechnik 47 (1999), 358-365.
9. J. Lunze; T. Serbesow: Logikbasierte Prozeßdiagnose unter Berücksichtigung der Prozeßdynamik, Messen, Steuern, Regeln 34 (1991), 163-165 und 253-257.
10. J. Raisch, S. O’Young, “A totally ordered set of discrete abstractions for a given hybrid or continuous system”, In: P. Antsaklis, W. Kohn, A. Nerode, S. Sastry, Eds., Hybrid Systems IV, Lecture Notes in Computer Science, vol. 1273, pp. 342-360 Berlin: Springer-Verlag, 1997.
11. M. Sampath, R. Sengupta, S. Lafurtune, K. Sinnamohideen, D. Teneketzis, “Diagnosability of discrete event systems”, IEEE Trans., vol. AC-40, pp. 1555-1575, 1995.
12. V.S. Srinivasan, M.A. Jafari, “Fault detection/monitoring using timed Petri nets”, IEEE Trans., vol. SMC-23, 1993.
13. O. Stursberg; S. Kowalewski; S. Engell: Generating timed discrete models, 2-nd MATHMOD, Vienna 1997, pp. 203-207.