Stability of hybrid systems

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

Volumn 1066, Issue , 1996, Pages 413-423

  Kourjanski, Mikhail ^a   Varaiya, Pravin ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GEOMETRY;

DISCRETE STATE; FIXED POINTS; LIMIT-CYCLE; STABILITY OF HYBRID SYSTEMS;

HYBRID SYSTEMS;

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

References (8)

1. R. Alur, L. Fix and T.A. Henzinger. A Determinizable Class of Timed Automata. Proc. 6th Workshop Computer-Aided Verification 1994, LNCS 818, Springer-Verlag, 1994. pp. 1-13.
2. J.-P. Aubin. Viability Theory, Birkhäuser, 1991.
3. A. Deshpande and P. Varaiya. Viable Control of Hybrid Systems, to appear.
4. T.A. Henzinger, P. Kopka, A. Puri and P. Varaiya. What’s decidable about hybrid automata?. STOCS, 1995.
5. A. Katok and B. Hasselblatt. Introduction to the Modern Theory of Dynamical Systems. Cambridge University Press, 1995.
6. J.L. Nazareth. Computer Solution of Linear Programs. Oxford University Press, 1987.
7. A. Olivero, J. Sifakis and S. Yovine. Using Abstractions for the Verification of Linear Hybrid Systems. Proc. 6th Workshop Computer-Aided Verification 1994, LNCS 818, Springer-Verlag, 1994. pp. 81-94.
8. A. Puri and P. Varaiya. Decidability of Hybrid Systems with Rectangular Differential Inclusions. Proc. 6th Workshop Computer-Aided Verification 1994, LNCS 818, Springer-Verlag, 1994. pp. 95-104.