State equivalences for rectangular hybrid automata

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

Volumn 1119, Issue , 1996, Pages 530-545

  Henzinger, Thomas A ^a   Kopke, Peter W ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CLOCKS; HYBRID SYSTEMS; MODEL CHECKING; SET THEORY;

AUTOMATIC VERIFICATION; BISIMULATION EQUIVALENCES; COMMUNICATIONS PROTOCOLS; CONTINUOUS VARIABLES; CONTROLLER SYNTHESIS; EQUIVALENCE RELATIONS; INFINITE STATE SPACE; SYNTHESIS ALGORITHMS;

EQUIVALENCE CLASSES;

EID: 84955588655     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61604-7_74     Document Type: Conference Paper

References (20)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Ho. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems I, Lecture Notes in Computer Science 736, pages 209-229. Springer-Verlag, 1993.
3. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
4. 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. S. Bensalem, A. Bouajjani, C. Loiseaux, and J. Sifakis. Property- preserving simulations. In G. von Bochmann and D.K. Probst, editors, CAV 92: Computer-aided Verification, Lecture Notes in Computer Science 663, pages 260-273. Springer-Verlag, 1992.
6. M.C. Browne, E.M. Clarke, and O. Griimberg. Characterizing finite Kripke structures in propositional temporal logic. Theoretical Computer Science, 59:115-131, 1988.
7. C. Daws and S. Yovine. Two examples of verification of multirate timed automata with Kronos. In Proceedings of the 16th Annual Real-time Systems Symposium, pages 66-75. IEEE Computer Society Press, 1995.
8. R. Graham, D. Knuth, and O. Patashnik. Concrete Mathematics. Addison-Wesley Publishing Company, 1989.
9. T.A. Henzinger. Hybrid automata with finite bisimulations. In Z. Fülöp and F. Gécseg, editors, ICALP 95: Automata, Languages, and Programming, Lecture Notes in Computer Science 944, pages 324-335. Springer- Verlag, 1995.
10. T.A. Henzinger. The theory of hybrid automata. In Proceedings of the Eleventh Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, 1996.
11. T.A. Henzinger and P.-H. Ho. Algorithmic analysis of nonlinear hybrid systems. In P. Wolper, editor, CAV 95: Computer-aided Verification, Lecture Notes in Computer Science 939, pages 225-238. Springer-Verlag, 1995.
12. M.R. Henzinger, T.A. Henzinger, and P.W. Kopke. Computing simulations on finite and infinite graphs. In Proceedings of the 36rd Annual Symposium on Foundations of Computer Science, pages 453-462. IEEE Computer Society Press, 1995.
13. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: the next generation. In Proceedings of the 16th Annual Real-time Systems Symposium, pages 56-65. IEEE Computer Society Press, 1995.
14. T.A. Henzinger and P.W. Kopke. State equivalences for rectangular hybrid automata. Technical Report CSD-TR-96-1588, Cornell University, 1996.
15. T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What’s decidable about hybrid automata? In Proceedings of the 27th Annual Symposium on Theory of Computing, pages 373-382. ACM Press, 1995.
16. P.-H. Ho and H. Wong-Toi. Automated analysis of an audio control protocol. In P. Wolper, editor, CAV 95: Computer-aided Verification, Lecture Notes in Computer Science 939, pages 381-394. Springer-Verlag, 1995.
17. K.G. Larsen, P. Pettersson, and W. Yi. Compositional and symbolic model checking of real-time systems. In Proceedings of the 16th Annual Real-time Systems Symposium, pages 76-87. IEEE Computer Society Press, 1995.
18. X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An approach to the description and analysis of hybrid systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems I, Lecture Notes in Computer Science 736, pages 149-178. Springer-Verlag, 1993.
19. A. Puri and P. Varaiya. Decidability of hybrid systems with rectangular differential inclusions. In D.L. Dill, editor, CAV 94: Computer-aided Verification, Lecture Notes in Computer Science 818, pages 95-104. Springer- Verlag, 1994.
20. S. Tripakis and S. Yovine. Analysis of timed systems based on time- abstracting bisimulations. In CAV 96: Computer-aided Verification, Lecture Notes in Computer Science. Springer-Verlag, 1996.