Diagnosis of quantized systems based on a timed discrete-event model

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 30, Issue 3, 2000, Pages 322-335

  Lunze, Jan ^a  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BATCH DATA PROCESSING; COMPUTER SIMULATION; CONTROL SYSTEM ANALYSIS; FAULT TREE ANALYSIS; MARKOV PROCESSES; MATHEMATICAL MODELS; PROBABILITY DENSITY FUNCTION; VECTOR QUANTIZATION;

CONTINUOUS VARIABLE SYSTEMS; DISCRETE EVENT SYSTEMS; HYBRID SYSTEMS; PROCESS DIAGNOSIS; QUANTIZED SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0033685257     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.844356     Document Type: Article

References (21)

1. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, and C. Jard, "Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets," Discrete Event Dyn. Syst., vol. 8, pp. 203-231, 1998.
2. W. Hamscher, L. Console, and J. de Kleer, Eds., Readings in Model-Based Diagnosis. San Mateo, CA: Morgan Kaufmann, 1992.
3. G. Lichtenberg and A. Steele, "An approach to fault diagnosis using parallel qualitative observers," in Workshop on Discrete Event Systems, 1996, pp. 290-295.
4. F. Lin, "Diagnosability of discrete event systems and its applications," Discrete Event Dyn. Syst., vol. 4, pp. 197-212, 1994.
5. J. Lunze, "Qualitative modeling of linear dynamical systems with quantized state measurements," Automatica, vol. 30, pp. 417-431, 1994.
6. J. Lunze, Künstliche Intelligenz für Ingenieure, Band 2: Technische Anwendungen. München, Germany: R. Oldenbourg Verlag, 1995.
7. J. Lunze, "On the Markov property of quantised state measurement sequences," Automatica, vol. 34, pp. 1439-1444, 1998.
8. J. Lunze, "A timed discrete-event abstraction of continuous-variable systems," Int. J. Control, vol. 72, pp. 1147-1164, 1999.
9. J. Lunze, B. Nixdorf, and B. J. Schröder, "On the nondeterminism of discrete-event representations of continuous-variable systems," Automatica, vol. 35, pp. 395-408, 1999.
10. J. Lunze and F. Schiller, "Qualitative Prozeßdiagnose auf wahrscheinlichkeitstheoretischer Grundlage," Automatisierungstechnik, vol. 45, 1997.
11. J. Lunze and F. Schiller, "An example of fault diagnosis by means of probabilistic logic reasoning," Control Eng. Practice, vol. 7, pp. 271-278, 1999.
12. J. Lunze and J. Schröder, "Process diagnosis based on a discrete-event description," Automatisierungstechnik, vol. 47, pp. 358-365, 1999.
13. K. R. Pattipati and M. G. Alexandridis, "Application of heuristic search and information theory to sequential fault diagnosis," IEEE Trans. Syst., Man, Cybern., vol. 20, pp. 872-887, 1990.
14. R. Patton, P. M. Frank, and R. Clark, Eds., Fault Diagnosis in Dynamic Systems. Englewood Cliffs, NJ: Prentice-Hall, 1989.
15. G. Provan and Y.-L. Chen, "Modeling and diagnosis of timed discrete-event systems - A factory automation example," in American Control Conf., 1997, pp. 31-36.
16. J. Raisch and S. O'Young, "A totally ordered set of discrete abstractions for a given hybrid or continuous system," in Hybrid Systems IV, Lecture Notes in Computer Science, P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds, Berlin: Springer-Verlag, 1997, vol. 1273, pp. 342-360.
17. M. Sampath, R. Sengupta, S. Lafurtune, K. Sinnamohideen, and D. Teneketzis, "Failure diagnosis using discrete event models," Proc. Conf. Decision Control, pp. 3110-3116, 1994.
18. extended version in IEEE Trans. vol. CST-4, no. 2, 1996.
19. M. Sampath, R. Sengupta, S. Lafurtune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems," IEEE Trans. Automat. Cont, vol. 40, pp. 1555-1575, 1995.
20. F. F. Schiller, Diagnose dynamischer Systeme auf der Grundlage einer qualitativen Prozeßbeschreibung. Düsseldorf, Germany: VDI-Verlag, 1997, vol. 8, VDI-Fortschnttbenchte, Reihe.
21. V. S. Srinivasan and M. A. Jafari, "Fault detection/monitoring using timed Petn nets," IEEE Trans. Syst., Man, Cybern., vol. 23, 1993.