Linear phase-portrait approximations for nonlinear hybrid systems

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

Volumn 1066, Issue , 1996, Pages 377-388

  Henzinger, Thomas A ^a   Wong Toi, Howard ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; MODEL CHECKING; PREDATOR PREY SYSTEMS;

HYBRID AUTOMATONS; LINEAR APPROXIMATIONS; LINEAR HYBRID AUTOMATA; LINEAR PHASE; NONLINEAR HYBRID SYSTEMS; PHASE PORTRAIT; SYMBOLIC MODEL CHECKERS;

HYBRID SYSTEMS;

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

References (16)

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. Hybrid Systems I, LNCS 736, pp. 209-229. Springer-Verlag, 1993.
3. R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. 14th Annual Real-time Systems Symposium, pp. 2-11. IEEE Computer Society Press, 1993.
4. V. I. Arnol’d. Geometric Methods in the Theory of Ordinary Differential Equations. Springer-Verlag, New York, 1983.
5. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for the static analysis of programs by construction or approximation of fixpoints. 4th Annual Symposium on Principles of Programming Languages. ACM Press, 1977.
6. T.A. Henzinger. Hybrid automata with finite bisimulations. ICALP 95: Automata, Languages, and Programming, LNCS 944, pp. 324-335. Springer-Verlag, 1995.
7. T.A. Henzinger and P.-H. Ho. Algorithmic analysis of nonlinear hybrid systems. CAV 95: Computer-aided Verification, LNCS 939, pp. 225-238. Springer-Verlag, 1995.
8. T.A. Henzinger and P.-H. Ho. HYTECH: The Cornell Hybrid Technology Tool. Hybrid Systems II, LNCS 999, pp. 265-293. Springer-Verlag, 1995.
9. T.A. Henzinger and P.-H. Ho. A note on abstract-interpretation strategies for hybrid automata. Hybrid Systems II, LNCS 999, pp. 252-264. Springer-Verlag, 1995.
10. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HYTECH: the next generation. 16th Annual Real-time Systems Symposium, pp. 56-65. IEEE Computer Society Press, 1995.
11. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. A user guide to HYTECH. TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1019, pp. 41-71. Springer-Verlag, 1995. Full version available as Technical Report CSD-TR-95-1532, Cornell University (write to hytech@cs.comell.edu, or check http://www.cs.cornell.edu/Info/People/tah/hytech.html).
12. T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What’s decidable about hybrid automata? 21th Annual Symposium on Theory of Computing, pp. 373-382. ACM Press, 1995.
13. N. Halbwachs, P. Raymond, and Y.-E. Proy. Verification of linear hybrid systems by means of convex approximation. SAS 94: Static Analysis Symposium, LNCS 864, pp. 223-237. Springer-Verlag, 1994.
14. M.W. Hirsch and S. Smale. Differential Equations, Dynamical Systems, and Linear Algebra. Academic Press, 1974.
15. P.-H. Ho and H. Wong-Toi. Automated analysis of an audio control protocol. CAV95: Computer-aided Verification, LNCS 939, pp. 381-394. Springer-Verlag, 1995.
16. A.J. Lotka. Analytical note on certain rhythmic relations in organic systems. Proceedings of the National Academy of Sciences of the United States of America, 6:410-415, 1920.