Discrete reachability of hybrid systems

International Journal of Control

Volumn 76, Issue 14, 2003, Pages 1453-1468

  Lunze, Jan ^a   Nixdorf, Bernhard ^b  

^a RUHR UNIVERSITY BOCHUM   (Germany)

^b ROBERT BOSCH GMBH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; DYNAMIC PROGRAMMING; STOCHASTIC CONTROL SYSTEMS;

HYBRID SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0142168476     PISSN: 00207179     EISSN: None     Source Type: Journal    
DOI: 10.1080/0020717031000151309     Document Type: Article

References (16)

1. ASARIN, E., DANG, T., MALER, O., and BOURNEZ, O., 2000, Approximate reachability analysis of piecewise-linear dynamical systems. In Hybrid Systems V: Computation and Control, LNCS vol. 1790 (Berlin: Springer-Verlag), pp. 20-31.
2. BELLMAN, R., 1957, Dynamic Programming (Princeton: Princeton University Press).
3. BERTSEKAS, D. P., 1987, Dynamic Programming: Deterministic and Stochastic Models (Englewood Cliffs: Prentice-Hall).
4. KROGH, B., and CHUTINAN, A., 1999, Hybrid systems: Modelling and supervisory control. In P. M. Frank (Ed.) Advances in Control (London: Springer-Verlag).
5. KUSHNER, H., 1971, Introduction to Stochastic Control (New York: Holt, Rinehart and Winston).
6. LUNZE, J., 1994, Qualitative modelling of linear dynamical systems with quantised state measurements. Automatica, 30, 417-431.
7. LUNZE, J., 1998, On the Markov property of quantised state measurement sequences. Automatica, 34, 1439-1444.
8. LUNZE, J., and NIXDORF, B., 2002, Representation of hybrid systems by means of stochastic automata. Mathematical and Computer Modelling of Dynamical Systems, 7, 383-422.
9. LUNZE, J., NIXDORF, B., and SCHRÖDER, J., 1999, Deterministic discrete-event representations of linear continuous-variable systems, Automatica, 35, 395-406.
10. NENNINGER, G., NIXDORF, B., KREBS, V., and LUNZE, J., 2001, Erreichbarkeitsanalyse hybrider Systeme. Automatisie-rungstechnik, 49, 75-85.
11. NENNINGER, G., SCHNABEL, M., and KREBS, V., 1999, Control of hybrid systems based on net state models. Proceedings of the European Control Conference, Karlsruhe, Germany.
12. NIXDORF, B., 2003, Discrete-event modelling and control of hybrid systems. PhD thesis, TU Hamburg-Harburg, Germany.
13. PHILIPS, P. P. H. H., 2001, Discrete-event models of continuous systems and their use for control and fault detection., PhD thesis, TU Eindhoven, The Netherlands.
14. PREUSSIG, J., STURSBBRG, O., and KOWALEWSKI, S., 1999, Reachability analysis of a class of switched continuous systems by integrating rectangular approximation and rectangular analysis. In F. W. Vandraager, and J. H. van Schuppen (Eds) Hybrid Systems: Computation and Control (Berlin: Springer-Verlag), pp. 209-222.
15. RAISCH, J., 1995, Control of continuous plants by symbolic output feedback. In P. Antsaklis, W. Kohn, A. Nerode and S. Sastry (Eds) Hybrid Systems II (Berlin: Springer-Verlag), pp. 370-390.
16. STEWART, W. J., 1994, Introduction to the Numerical Solution of Markov Chains (Princeton: Princeton University Press).