Decidable hybrid systems

Mathematical and Computer Modelling

Volumn 23, Issue 11-12, 1996, Pages 191-202

  Puri, A ^a   Varaiya, P ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Decidable systems; Hybrid systems; Real time systems

Indexed keywords

EID: 0030162099     PISSN: 08957177     EISSN: None     Source Type: Journal    
DOI: 10.1016/0895-7177(96)00072-6     Document Type: Article

References (7)

1. th ICALP, Lecture Notes in Computer Science, Vol. 443, Springer-Verlag, (1990).
2. 2. P. Kopke, T. Henzinger, A. Puri and P. Varaiya, What's decidable about hybrid automata, STOCS (1995).
3. th Workshop on Computer-Aided Verification, LNCS, Vol. 818, Springer-Verlag, (1994).
4. 4. R. Milner, Communication and Concurrency, Prentice Hall, (1989).
5. 5. R. Alur, C. Courcoubetis, T.A. Henzinger and P.-H. Ho, Hybrid automata: An algorithmic approach to the specification and analysis of hybrid systems, In Hybrid Systems, LNCS, Vol. 736, Springer-Verlag, (1993).
6. 6. X. Nicollin, A. Olivero, J. Sifakis and S. Yovine, An approach to the description and analysis of hybrid systems, In Hybrid Systems, LNCS, Vol. 736, Springer-Verlag, (1993).
7. 7. A. Puri and P. Varaiya, Verification of hybrid systems using abstractions, In Hybrid Systems II, LNCS, Vol. 999, Springer-Verlag, (1995).