Hybrid automata with finite bisimulations

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

Volumn 944, Issue , 1995, Pages 324-335

  Henzinger, Thomas A ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL LINGUISTICS; FAULT TOLERANCE; HYBRID SYSTEMS;

BISIMULATIONS; CONTINUOUS DYNAMICS; DISCRETE DYNAMICS; FINITE BISIMULATION; FINITE STATE SPACES; HYBRID AUTOMATONS; INFINITE STATE SPACE; PHASE PORTRAIT;

AUTOMATA THEORY;

EID: 84958045872     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60084-1_85     Document Type: Conference Paper

References (24)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. R. Alur, C. Courcoubetis, T.A. Henzinger, P.-H. No. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems, Springer LNCS 736, pp. 209-229, 1993.
3. R. Alur, D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
4. R. Alur, T.A. Henzinger, P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Real-time Systems Syrup., pp. 2-11, 1993.
5. P. Abdulla, B. Jonsson. Verifying programs with unreliable channels. IEEE Syrup. Logic in Computer Science, pp. 160-170, 1993.
6. A. Bouajjani, R. Echahed, R. Robbana. Verifying invariance properties of timed systems with duration variables. Formal Techniques in Real-time and Fault-tolerant Systems, Springer LNCS 863, pp. 193-210, 1994.
7. A. Bouajjani, J.-C. Fernandez, N. Halbwachs. Minimal model generation. Computer-aided Verification, Springer LNCS 531, pp. 197-203, 1990.
8. A. Bouajjani, R. Robbana. Verifiying w-regular properties for subclasses of linear hybrid systems. Computer-aided Verification, Springer LNCS, 1995.
9. Z. Chaochen, C.A.R. Hoaxe, A.P. Ravn. A calculus of durations. Information Processing Letters, 40:269-276, 1991.
10. T.A. Henzinger, P.-H. Ho. Model-checking strategies for linear hybrid systems. Workshop on Hybrid Systems and Autonomous Control (Ithaca, NY), 1994.
11. T.A. Henzinger, P.-H. Ho. Algorithmic analysis of nonlinear hybrid systems. Computer-aided Verification, Springer LNCS, 1995.
12. T.A. Henzinger, P. Kopkei A. Putt, P. Varaiya. What's decidable about hybrid automata? ACM Syrup. Theory of Computing, 1995.
13. T.A. ttenzinger, X. Nicollin, J. Sifakis, S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111:193-244, 1994.
14. N. Halbwachs, P. Raymond, and Y.-E. Proy. Verification of linear hybrid systems by means of convex approximation. Static Analysis Syrup., Springer LNCS 864, 1994.
15. Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine. Integration graphs: a class of decidable hybrid systems. Hybrid Systems, Springer LNCS 736, pp. 179-208, 1993.
16. P.C. Kanellakis, S.A. Smolka. CCS expressions, finite-state processes, and three problems of equivalence. Information and Computation, 86:43-68, 1990.
17. D. Lee, M. Yannakakis. Online minimization of transition systems. ACM Syrup. Theory of Computing, pp. 264-274, 1992.
18. O. Maler, A. Pnueli. Reachability analysis of planar multi-linear systems. Computer-aided Verification, Springer LNCS 697, pp. 194-209, 1993.
19. O. Maler, A. Pnueli, J. Sifakis. On the synthesis of discrete controllers for timed systems. Theoretical Aspects of Computer Science, Springer LNCS, 1995.
20. J. McManis, P. Varaiya. Suspension automata: a decidable class of hybrid automata. Computer-aided Verification, Springer LNCS 818, pp. 105-117, 1994.
21. X. Nicollin, A. Olivero, J. Sifakis, S. Yovme. An approach to the description and analysis of hybrid systems. Hybrid Systems, Springer LNCS 736, pp. 149-178, 1993.
22. A. Olivero, J. Sifakis, S. Yovine. Using abstractions for the verification of linear hybrid systems. Computer-aided Verification, Springer LNCS 818, pp. 81-94, 1994.
23. R. Paige, R.E. Tarjan. Three partition-refinement algorithms. SIAM J. Computzng, 16:973-989, 1987.
24. A. Puri, P. Varaiya. Decidability of hybrid systems with rectangular differential inclusions. Computer-aided Verification, Springer LNCS 818, pp. 95-104, 1994.