Task-system analysis using slope-parametric hybrid automata

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

Volumn 1300 LNCS, Issue , 1997, Pages 1262-1273

  Burgueño, Augusto ^a   Rusu, Vlad ^b  

^a ONERA   (France)

^b UNIVERSITÉ DE NANTES   (France)

Author keywords

Hybrid automata; Parametric polyhedra; Real time systems

Indexed keywords

AUTOMATA THEORY; INTERACTIVE COMPUTER SYSTEMS;

HYBRID AUTOMATONS; MODELING TASK; PARAMETRIC -ANALYSIS; PARAMETRIC POLYHEDRA; PROTOTYPE VERIFICATION TOOL; SAFETY REQUIREMENTS;

REAL TIME SYSTEMS;

EID: 84882734187     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0002882     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. TCS, 138:3-34, 1995.
2. R. Alur, T. A. Henzinger, and P-H. Ho. Automatic symbolic verification of embedded systems. In Proc, IEEE RTSS'93, pages 2-11, 1993.
3. R. Alur, T. A. Henzinger, and M. Y. Vardi. Parametric real-time reasoning. In Proc. ACM STOC'93, pages 592-601, 1993.
4. F. Boniol, A. Burgueno, O. Roux, and V. Rusu. Analysis of slope-parametric hybrid automata. In Proc. HART'97, volume 1201 of LNCS, pages 75-80, 1997.
5. J. Bengtsson, D. Griffioen, K. Kristoffersen, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Verification of an audio protocol with bus collision using UPPAAL. In Proc. CAV'96, volume 1102 of LNCS, 1996.
6. R. A. Brooks. Symbolic reasoning among 3-D models and 2-D images. Art. Int., 17:285-348, 1981.
7. W. Chan, R. Anderson, P. Beame, and D. Notkin. Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints. In Proc. CAV'97, 1997.
8. C. Courcoubetis and M. Yannakakis. Minimum and maximun delay problems in real-time systems. In Proc. CAV'91, volume 575 of LNCS, pages 399-409, 1991.
9. C. Daws and S. Yovine. Two examples of verification of multirate timed automata with Kronos. In Proc. IEEE RTSS'95, 1995.
10. T. A. Henzinger and P.-H. Ho. HyTech; the Cornell HYbrid TECHnology tool. In Hybrid Systems II, volume 999 of LNCS, pages 265-294, 1994.
11. M. Heymann, F. Lin, and G. Meyer. Control synthesis for a class of hybrid systems subject to configuration-based constraints. In Proc. HART'97, volume 1201 of LNCS, pages 376-390, 1997.
12. T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Inf. and Comp., 111(2):193-244, 1994.
13. D. Kapur and R. K. Shyamasundar. Synthesizing controllers for hybrid systems. In Proc. HART'97, volume 1201 of LNCS, pages 361-375, 1997.
14. E. Sacks. Hierarchical reasoning about inequalities. In Proc. AAAI'87, volume 2, pages 649-654, 1987.
15. F. Wang. Parametric timing analysis for real-time systems. Inf. and Comp., 130(2):131-150, 1996.
16. G. M. Ziegler. Lectures on Polytopes, volume 152 of Graduate Texts in Mathematics. Springer-Verlag, 1995.