Analysis of slope-parametric hybrid automata

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

Volumn 1201, Issue , 1997, Pages 75-80

  Boniol, Frédéric ^a   Burgueño, Augusto ^a   Roux, Olivier ^b   Rusu, Vlad ^b  

^a ONERA   (France)

^b UNIVERSITÉ DE NANTES   (France)

Author keywords

Hybrid automata; Parametric polyhedra; Real time system

Indexed keywords

AUTOMATA THEORY; GEOMETRY; INTERACTIVE COMPUTER SYSTEMS;

HYBRID AUTOMATONS; PARAMETRIC POLYHEDRA; REAL-TIME APPLICATION; RESOLUTION TECHNIQUES; RUNNING SPEED; SAFETY PROPERTY; SYMBOLIC ANALYSIS;

REAL TIME SYSTEMS;

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

References (7)

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, T. A. Henzinger, and P-H. Ho. Automatic symbolic verification of embedded systems. In Proc. 15th Annual Real-time Systems Symposium, RTSS'93, pages 2-11. IEEE Computer Society Press, 1993.
3. R. Alur, T. A. Henzinger, and M. Y. Vardi. Parametric real-time reasoning. In Proc. of the 25th Annual ACM Symposium on Theory of Computing, STOC'93, pages 592-601, 1993.
4. T. A. Henzinger and P.-H. Ho. HyTech: the cornell HYbrid TECHnology tool. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems II, volume 999 of Lecture Notes in Computer Science, pages 265-294. Springer-Verlag, 1994.
5. T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? In Proc. of the 27th Annual ACM Symposium on Theory of Computing, STOC'95, pages 373-382, 1995.
6. O. Roux and V. Rusu. Uniformity for the decidability of hybrid automata. In Internat. Static Analysis Symposium, LNCS 1155, pages 301-316, 1996.
7. G. M. Ziegler. Lectures on Polytopes, volume 152 of Graduate Texts in Mathematics. Springer-Verlag, 1995.