A totally ordered set of discrete abstractions for a given hybrid or continuous system

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

Volumn 1273, Issue , 1997, Pages 342-360

  Raisch, Jörg ^a   O’Young, Siu ^b  

^a UNIVERSITY OF STUTTGART   (Germany)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FEEDBACK; HYBRID SYSTEMS; SET THEORY;

APPROXIMATION ACCURACY; CONTINUOUS SYSTEM; DISCRETE ABSTRACTION; MODELING BEHAVIOUR; NONDETERMINISTIC AUTOMATA; OBSERVER CANONICAL FORM; QUANTIZED MEASUREMENTS; SYMBOLIC CONTROLS;

ABSTRACTING;

EID: 84947929785     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0031568     Document Type: Conference Paper

References (19)

1. R. Alur, T. A. Henzinger, and E. D. Sontag, editors. Hybrid Systems III, Lecture Notes in Computer Science, Vol. 1066. Springer-Verlag, 1996.
2. P. J. Antsaklis, J. A. Stiver, and M. Lemmon. Hybrid system modelling and autonomous control systems. In [6], pages 366-392.
3. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems II, Lecture Notes in Computer Science, Vol. 999. Springer-Verlag, 1995.
4. P. E. Caines and Y.-J. Wei. On dynamically consistent hybrid systems. In [3].
5. P. E. Caines and Y.-J. Wei. Hierarchical hybrid control systems: a lattice theoretic formulation. 1996. Submitted for publication.
6. R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science, Vol. 736. Springer-Verlag, 1993.
7. T. Kailath, Linear Systems. Prentice-Hall, 1980.
8. J. Lunze. Ein Ansatz zur qualitativen Modellierung und Regelung dynamischer Systeme, at-Automatisierungstechnik, 41:451-460, 1993.
9. J. Lunze. Qualitative modelling of linear dynamical systems with quantized state measurements. Automatica, 30:417-431, 1994.
10. J. Lunze. Stabilization of nonlinear systems by qualitative feedback controllers. International Journal of Control, 62:109-128, 1995.
11. G.J. Pappas and S. Sastry. Towards continuous abstractions of dynamical and control systems. Technical Report UCB/ERL M96/53, University of California at Berkeley, October 1996.
12. T. Niinomi, B. H. Krogh, and J. E. R. Cury. Synthesis of Supervisory Controllers for Hybrid Systems Based on Approximating Automata. In Proc. S4th IEEE Conference on Decision and Control, 1995.
13. J. Raisch and S. D. O'Young. A DES approach to control of hybrid dynamical systems. In [1], pages 563-574.
14. J. Raisch and S. D. O' Young. Time-driven supervisory control of hybrid dynamical systems. Proc. 5th International Conference on CONTROL'96, IEE, Exeter, UK. 1996, pages 716-721.
15. J. Raisch and S. D. O'Young. Discrete approximation and supervisory control of continuous systems. Report 96-5, Institut fïir Systemdynamik und Regelungstechnik, Universität Stuttgart, 1996. Submitted for publication.
16. J. Raisch. Nondeterministic automata as approximations for continuous systems-an approach with an adjustable degree of accuracy. Proc. 2nd MATHMOD (International Symposium on Mathematical Modelling), pp. 195-202. IMACS, Vienna, Austria. February 1997.
17. P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event systems. SIAM J. Control and Optimization, 25:206-230 1987.
18. J. A. Stiver and P. Antsaklis. Modeling and analysis of hybrid control systems. In Proc. 31st IEEE Conference on Decision and Control, 1992.
19. J. C. Willems. Paradigms and puzzles in the theory of dynamical systems. IEEE Transactions on Automatic Control, 36:259-294, 1991.