Hybrid abstractions: A search and rescue case study

2001 European Control Conference, ECC 2001

Volumn , Issue , 2001, Pages 3864-3869

  Tabuada, Paulo ^a   Pappas, George J ^b   Lima, Pedro ^a  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

abstractions; Hybrid systems; scheduling; timed languages

Indexed keywords

ABSTRACTING; HYBRID SYSTEMS; SCHEDULING;

ABSTRACTIONS; CONTINUOUS CONTROL; HIGH-LEVEL MODELS; NATURAL APPROACHES; ORIGINAL SYSTEMS; REAL - TIME SCHEDULING; SEARCH AND RESCUE; TIMED LANGUAGES;

MULTI AGENT SYSTEMS;

EID: 84947461570     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/ecc.2001.7076537     Document Type: Conference Paper

References (13)

1. R. Abraham, J. Marsden, and T. Ratiu. Manifolds, Tensor Analysis and Applications. Applied Mathematical Sciences. Springer-Verlag, 1988.
2. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
3. P. E. Caines and Y. J. Wei. Hierarchical hybrid control systems. In S. Morse, editor, Control Using Logic Based Switching, volume 222 of Lecture Notes in Control and Information Sciences, pages 39-48. Springer Verlag, 1996.
4. J. E. R. Cury, B. H. Krogh, and T. Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control : Special Issue on Hybrid Systems, 43(4):564-568, April 1998.
5. A. Isidori. Nonlinear Control Systems. Springer-Verlag, second edition, 1989.
6. Velimir Jurdjevic. Geometric Control Theory. Cambridge University Press, 1997.
7. Gerardo Lafferriere, George J. Pappas, and Shankar Sastry. Subanalytic stratifications and bisimulations. In T. Henzinger and S. Sastry, editors, Hybrid Systems : Computation and Control, volume 1386 of Lecture Notes in Computer Science, pages 205-220. Springer Verlag, Berlin, 1998.
8. Gerardo Lafferriere, George J. Pappas, and Shankar Sastry. O-minimal hybrid systems. Mathematics of Control, Signals, and Systems, 13(1):1-21, 2000.
9. H. Nijmeijer and A. J. van der Schaft. Nonlinear Dynamical Control Systems. Springer-Verlag, 1990.
10. George J. Pappas, Gerardo Lafferriere, and Shankar Sastry. Hierarchically consistent control systems. IEEE Transactions on Automatic Control, 45(6):1144-1160, June 2000.
11. George J. Pappas and Slobodan Simic. Consistent hierarchies of nonlinear abstractions. In Proceedings of the 39th IEEE Conference in Decision and Control. Sydney, Australia, December 2000.
12. J. Raisch and S. D. O'Young. Discrete approximations and supervisory control of continuous systems. IEEE Transactions on Automatic Control : Special Issue on Hybrid Systems, 43(4):569-573, April 1998.
13. Paulo Tabuada and George J. Pappas. Hybrid abstractions of hybrid systems. In Hybrid Systems : Computation and Control, Lecture Notes in Computer Science. Springer Verlag, 2001.