Discrete-event models of quantized systems for diagnosis

International Journal of Control

Volumn 74, Issue 7, 2001, Pages 690-700

  FÖrstner, Dirk ^a   Lunze, Jan ^b  

^a ROBERT BOSCH GMBH   (Germany)

^b HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; DIFFERENTIAL EQUATIONS; IDENTIFICATION (CONTROL SYSTEMS); MARKOV PROCESSES; TIME VARYING CONTROL SYSTEMS;

QUANTIZED SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0035837937     PISSN: 00207179     EISSN: None     Source Type: Journal    
DOI: 10.1080/00207170010025276     Document Type: Article

References (27)

1. Baroni, P., Lamperti, G., Pogliano, P., and Zanella, M., 1999, Diagnosis of large active systems. Artificial Intelligence, 110, 135-183.
2. Blanke, M., 1996, Consistent design of dependable control systems. Control Engineering Practice, 4, 1305-1312.
3. Dousson, C., Gaborit, P., and Ghallab, M., 1993, Situation recognition: representation and algorithms. 13th International Joint Conference on Artificial Intelligence (IJCAI'93), 166-172.
4. Förstner, D., and Lunze, J., 1999, Qualitative modelling of a power stage for diagnosis. 13th International Workshop on Qualitative Reasoning (QR99), Loch Awe, Scotland, pp. 105-112.
5. Frank, P. M., 1996, Analytical and qualitative model-based fault diagnosis-a survey and some new results. European Journal of Control, 2, 6-28.
6. Hamscher, W., Console, L., and De Kleer, J. (Eds), 1992, Readings in Model-based Diagnosis (Morgan Kaufmann).
7. Isermann, R., 1984, Process fault detection based on modeling and estimation methods-a survey. Automatics, 20, 387-404.
8. Kuipers, B., 1994, Qualitative Reasoning-Modeling and Simulation with Incomplete Knowledge (London: The MIT Press).
9. Lee, W.S., Gross, D.L., Tillman, F.A., and Lie, C.H., 1985, Fault tree analysis, methods and applications-a review. IEEE Transactions on Reliability, 34, 194-203.
10. Lichtenberg, G., and Lunze, J., 1996, Identification of discrete event models for continuous-variable systems. International Conference on Control, Exeter, UK, IEE Conference Publication 427, pp. 711-715.
11. Lichtenberg, G., and Steele, A., 1996, An approach to fault diagnosis using parallel qualitative observers. Workshop on Discrete Event Systems, Edinburgh, UK, 290-295.
12. Lin, F., 1994, Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems, 4, 197-212.
13. Lunze, J., 1992, A Petri net approach to qualitative modeling of continuous dynamical systems. Systems Analysis, Modelling, Simulation, 9, 89-111.
14. Lunze, J., 1994, Qualitative modelling of linear dynamical systems with quantized state measurements. Automatics, 30, 417-431.
15. Lunze, J., 1995, Künstliche Intelligenz für Ingenieure (München: Oldenbourg-Verlag).
16. Lunze, J., 1998, On the Markov property of quantised state measurement sequences. Automatica, 34, 1439-1444.
17. Lunze, J., 2000a, Diagnosis of quantised systems. IFAC-Symposium SAFEPROCESS, Budapest, pp. 28-39.
18. Lunze, J., 2000 b, Diagnosis of quantised systems based on a timed discrete-event model. IEEE Transactions on Systems, Man and Cybernetics, 30, 322-335.
19. Lunze, J., Nixdorf, B., and Schröder, J., 1999, Deterministic discrete-event representations of linear continuous-variable systems. Automatica, 35, 395-406.
20. Lunze, J., and Schrod̈er, J., 1999, Process diagnosis based on a discrete-event description. Automatisierungstechnik, 47, 358-365.
21. Patton, R., Frank, P.M., and Clark, R. (Eds), 1989, Fault Diagnosis in Dynamic Systems (Prentice Hall).
22. Raisch, J., and O'young, S.D., 1997, A totally ordered set of discrete abstractions for a given hybrid or continuous system. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (Eds), Hybrid Systems IV, (Springer Verlag: Berlin), pp. 342-360.
23. Raisch, J., and O'Young, S.D., 1998, Discrete approximation and supervisory control of continuous systems. IEEE Transactions on Automatic Control, AC-43.
24. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D., 1995, Diagnosability of discrete event systems. IEEE Transactions, AC-40, 1555-1575.
25. Schiller, F., Schröder, J., and Lunze, J., 2000, Diagnosis of transient faults in quantised systems. IFAC-Symposium SAFEPROCESS, Budapest.
26. Staroswiecki, M., Attouche, S., and Assas, M.L., 1999, A graphic approach for reconfigurability analysis, 10th International Workshop on Principles of Diagnosis (DX99), Loch Awe, Scotland, pp. 250-256.
27. Struss, P., 1988, Mathematical aspects of qualitative reasoning. Artificial Intelligence in Engineering, 3, 156-169.