Analysis of Slope-Parametric Hybrid Automata - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Frédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu. Analysis of Slope-Parametric Hybrid Automata. In Oded Maler, editor, Hybrid and Real-Time Systems, International Workshop. HART 97, Grenoble, France, March 26-28, 1997, Proceedings. Volume 1201 of Lecture Notes in Computer Science, pages 75-80, Springer, 1997.

The following publications are possibly variants of this publication:

Task-System Analysis Using Slope-Parametric Hybrid AutomataAugusto Burgueño, Vlad Rusu. europar 1997: 1262-1273

Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid AutomataMichaël Adélaïde, Olivier Roux. ftrtft 2000: 252-263 [doi]

runs on WebDSL