Hybrid abstractions that preserve timed languages

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

Volumn 2034, Issue , 2001, Pages 501-514

  Tabuada, Paulo ^a   Pappas, George J ^b  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

CONTINUOUS STATE; CONTROLLER SYNTHESIS; DISCRETE STATE; HYBRID CONTROL SYSTEMS; LEVEL MODEL; NATURAL CONDITIONS; TIMED LANGUAGES; TWO-HYBRID SYSTEM;

ABSTRACTING;

EID: 80052897021     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45351-2_40     Document Type: Conference Paper

References (15)

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. Rajeev Alur, Tom Henzinger, Gerardo Lafferriere, and George J. Pappas. Discrete Abstractions of Hybrid Systems. Proceedings of the IEEE, 88(7):971-984, July 2000.
4. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, C. Pinello, and A. L. Sangiovanni- Vicentelli. Automotive engine control and hybrid systems: Challenges and oppor- tunities. Proceedings of the IEEE, 88(7):888-912, July 2000.
5. T. A. Henzinger, P. H. Ho, and H. Wong-Toi. A user guide to HyTech. In E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, and B. Steffen, editors, TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems, volume 1019 of Lecture Notes in Computer Science, pages 41-71. Springer-Verlag, 1995.
6. A. Isidori. Nonlinear Control Systems. Springer-Verlag, second edition, 1989.
7. Velimir Jurdjevic. Geometric Control Theory. Cambridge University Press, 1997.
8. 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.
9. John Lygeros, Claire Tomlin, and Shankar Sastry. Controllers for Reachability Specifications for Hybrid Systems. Automatica, 35(3):349-370, 1999.
10. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
11. George J. Pappas, Gerardo Lafferriere, and Shankar Sastry. Hierarchically Consistent Control Systems. IEEE Transactions on Automatic Control, 45(6):1144-1160, June 2000.
12. George J. Pappas and Shankar Sastry. Towards Continuous Abstractions of Dynamical and Control Systems. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems IV, volume 1273 of Lecture Notes in Computer Science, pages 329-341. Springer-Verlag, Berlin, Germany, 1997.
13. 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.
14. Paulo Tabuada, George J. Pappas, and Pedro Lima. Hybrid abstractions: A search and rescue case study. In Proceedings of the 2001 European Control Conference. Porto, September 2001. Submitted.
15. Claire Tomlin, George J. Pappas, and Shankar Sastry, Conflict Resolution for Air Traffic Management: A Study in Muti-Agent Hybrid Systems. IEEE Transactions on Automatic Control, 43(4):509-521, April 1998.