A class of rectangular hybrid systems with computable reach set

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

Volumn 1273, Issue , 1997, Pages 228-234

  Kourjanski, Mikhail ^a   Varaiya, Pravin ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONTROLLABILITY CONDITION;

HYBRID SYSTEMS;

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

References (7)

1. R. Alur, L. Fix and T.A. Henzinger. A Determinizable Class of Timed Automata. Proc. 6th Workshop Computer-Aided Verification 1994, LNCS 818, SpringerVerlag, 1994. pp. 1-13.
2. 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.
3. 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.
4. T.A. Henzinger, P. Kopka, A. Puri and P. Varaiya. What's decidable about hybrid automata?. STOCS, 1995.
5. A. Puri, V. Borkar and P. Varaiya. e-approximation of differential inclusions. Hybrid Systems III: verification and control, LNCS 1066, Springer-Verlag, 1996.
6. A. Deshpande and P. Varaiya. Viable Control of Hybrid Systems, Hybrid Systems II, Springer-Verlag, 1995. pp. 128-147.
7. M. Kourjanski and P. Varaiya. Stability of Hybrid Systems. Hybrid Systems III: verification and control, LNCS 1066, Springer-Verlag, 1996. pp. 413-423.