Polyhedral flows in hybrid automata

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

Volumn 1569, Issue , 1999, Pages 5-18

  Alur, Rajeev ^a   Kannan, Sampath ^a   La Torre, Salvatore ^a,b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF SALERNO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

GEOMETRY; HYBRID SYSTEMS; TOPOLOGY;

BOOLEAN COMBINATIONS; CURRENT CONTROL MODES; DIFFERENTIAL CONSTRAINTS; FIRST DERIVATIVE; FIXPOINT COMPUTATIONS; HYBRID AUTOMATONS; LINEAR CONSTRAINTS; LINEAR HYBRID AUTOMATA;

AUTOMATA THEORY;

EID: 84949430415     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48983-5_5     Document Type: Conference Paper

References (12)

1. ACD93. R. Alur, C. Courcoubetis, and D.L. Dill. Model-checking in dense real-time. Information and Computation, 104(1):2-34, 1993.
2. ACH+95. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
3. AD94. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
4. AHH96. R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22(3):181-201, 1996.
5. 20 states and beyond. Information and Computation, 98(2):142-170, 1992.
6. CE81. E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logic of Programs, LNCS 131, pages 52-71. Springer-Verlag, 1981.
7. CK96. E.M. Clarke and R.P. Kurshan. Computer-aided verification. IEEE Spectrum, 33(6):61-67, 1996.
8. HHW97. T.A. Henzinger, P. Ho, and H. Wong-Toi. HyTech: a model checker for hybrid systems. Software Tools for Technology Transfer, 1, 1997.
9. HKPV95. T.A. Henzinger, P. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata. In Proceedings of the 27th ACM Symposium on Theory of Computing, pages 373-382, 1995.
10. HW95. P.H. Ho and H. Wong-Toi. Automated analysis of an audio control protocol. In Proceedings of the Seventh Conference on Computer-Aided Verification, LNCS 939, pages 381-394. Springer-Verlag, 1995.
11. HW96. T.A. Henzinger and H. Wong-Toi. Linear phase-portrait approximations of nonlinear hybrid systems. In Hybrid Systems III: Verification and Control, LNCS 1066, pages 377-388. Springer-Verlag, 1996.
12. LPS98. G. Lafferriere, G. Pappas, and S. Sastry. O-minimal hybrid systems. 1998.