A timed discrete-event abstraction of continuous-variable systems

International Journal of Control

Volumn 72, Issue 13, 1999, Pages 1147-1164

  Lunze, Jan ^a  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DIFFERENTIAL EQUATIONS; MARKOV PROCESSES; MATHEMATICAL MODELS; PROBLEM SOLVING;

CONTINUOUS VARIABLE SYSTEMS; QUANTIZED SYSTEM; TIMED DISCRETE EVENT ABSTRACTION;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0033322622     PISSN: 00207179     EISSN: 13665820     Source Type: Journal    
DOI: 10.1080/002071799220317     Document Type: Article

References (19)

1. Aur, R., HenzingEr, T A., and Sonag, E. D. (Eds), 1996, Hybrid Systems III (Lecture Notes in Computer Science, vol. 1066) (Berlin: Springer-Verlag).
2. AntsakLis, P., Kohn, W, Nerode, A., and SAsTRy, S. (Eds), 1995, Hybrid Systems II (Lecture Notes in Computer Science, vol. 999) (Berlin: Springer-Verlag).
3. Antsaklis, P., Kohn, W, Nerode, A., and SAsTRy, S. (Eds), 1997, Hybrid Systems IV (Lecture Notes in Computer Science, vol. 1273) (Berlin: Springer-Verlag).
4. Antsaklis, P., Stiver, J. A., and Lemmon, M, 1993, Hybrid system modelling and autonomous control systems (in Grossman et al. 1993), pp. 366-392.
5. Grossman, R. L, Nerode, A., Ravn, A. P., and Rischel, H. (Eds), Hybrid Systems (Lecture Notes in Computer Science, vol. 736) (Berlin: Springer-Verlag).
6. LicHTENbERg, G, and Lunze, J., 1997, Observation of qualitative states by means of a qualitative model. International Journal of Control, 66, 885-903.
7. Lunze, J., 1992, A Petri net approach to qualitative modelling of continuous dynamical systems. Systems Analysis, Modelling, Simulation, 9, 89-111.
8. Lunze, J., 1994, Qualitative modelling of linear dynamical systems with quantized state measurements. Automatica, 30, 417-431.
9. Lunze, J., 1995 a, Kunstliche Intelligenz fur Ingenieure, Band 2 (Munchen: Oldenbourg-Verlag).
10. Lunze, J., 1995 b, Stabilisation of nonlinear systems by qualitative feedback controllers. International Journal of Control, 62, 109-128.
11. Lunze, J., 1998 a, On the Markov property of quantised state measurement sequences. Automatica, 34, 1439-1444.
12. Lunze, J., 1998 b, Process diagnosis by means of a timed dis-crete-event representation of continuous-variable systems. IEEE Transactions on System, Man and Cybernetics (Submitted for publication in October 1998).
13. Lunze, J., NixDORf, B., and Schroder, J., 1999, On the nondeterminism of discrete-event representations of continuous-variable systems. Automatica, 35, 395-408.
14. PREisig, H. A., PijpERs, ML J. EL, and Weiss, ML, 1997, A discrete modelling procedure for continuous processes based on state-discretisation. 2nd MATHMOD, Vienna, pp. 189-194.
15. Raisch, J., and OYouNg, S., 1997, A totally ordered set of discrete abstractions for a given hybrid or continuous system (In: Antsaklis, Kohn, Nerode and Sastry, 1997) pp. 342-360.
16. RAMADGE, P. J., and Wonham, WM, 1987, Supervisorycon-trol of a class of discrete event processes. SIAM Journal of Control and Optimization, 25, 206-230.
17. Stormer, EL, 1970, Semi-Markov-Prozesse mit endlich vielen Zustanden (Berlin: Springer-Verlag).
18. StuRSBERg, O., Kowalewski, S., and ENGELL, S., 1997, Generating timed discrete models. 2nd MATHMOD, Vienna, pp. 203-207.
19. Tichonov, V. I., and Mironov, ML A, 1977, Markov Processes (in Russian) (Moscow: Sovietskie Radio)