Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations

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

Volumn 1569, Issue , 1999, Pages 76-90

  Chutinan, Alongkrit ^a   Krogh, Bruce H ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; BENCHMARKING; MAPPING;

COMPUTATIONAL PROCEDURES; COMPUTATIONAL TECHNIQUE; CONTINUOUS DYNAMICS; CONTINUOUS STATE; CONTINUOUS SYSTEM; HYBRID AUTOMATONS; INTERSECTING FLOWS; TRANSITION SYSTEM;

HYBRID SYSTEMS;

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

References (12)

1. R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Trans. on Software Engineering, 22(3):181-201, Mar 1996.
2. A. Chutinan and B.H. Krogh. Computing approximating automata for a class of hybrid systems. submitted to Mathematical Modeling of Systems: Special Issue on Discrete Event Models of Continuous Systems, 1997.
3. A. Chutinan and B.H. Krogh. Computing approximating automata for a class of linear hybrid systems. In Hybrid Systems V, Lecture Notes in Computer Science. Springer-Verlag, 1998.
4. th IEEE Conference on Decision and Control: Invited Session on Synthesis and Verification of Controllers for Hybrid Systems, 1998.
5. E. Clarke, O. Grumberg, and D. Long. Verification tools for finite-state concurrent systems. In Proceedings of A Decade of Concurrency: Reflections and Perspectives, pages 124-75, REX School/Symposium, Noordwijkerhout, The Netherlands, 1-4 June 1993. Springer-Verlag, Berlin, Germany, 1994.
6. T.A. Henzinger. Hybrid automata with finite bimulations. In Z. Fulop and F. Gecseg, editors, ICALP 95: Automata, Languages, and Programming, pages 324-335. Springer-Verlag, 1995.
7. T.A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual Symposium on Logic in Computer Science, pages 278-292. IEEE Computer Society Press, 1996. Invited tutorial.
8. S. Kowalewski and O. Stursberg. The batch evaporator: A benchmark example for safety analysis of processing systems under logic control. submitted to: 4th Int. Workshop on Discrete Event Systems (WODES '98), Cagliari (Italy), August 1998.
9. B.H. Krogh and A. Chutinan. Hybrid systems: Modeling and control. In P.M. Frank, editor, Advances in Control. Springer-Verlag, 1999. To appear.
10. G. Lafferriere, G. J. Pappas, and S. Sastry. Hybrid systems with finite bisimulations. Technical Report UCB/ERL M98/15, University of California at Berkeley, April 1998.
11. G. Lafferriere, G. J. Pappas, and S. Yovine. Decidable hybrid systems. Technical Report UCB/ERL M98/39, University of California at Berkeley, June 1998.
12. Feng Zhao. Automatic Analysis and Synthesis of Controllers for Dynamical Systems Based on Phase-Space Knowledge. PhD thesis, MIT Artificial Intelligence Laboratory, 1992.