Analysis of Slope-Parametric Hybrid Automata

Authors:
Frédéric Boniol;Augusto Burgueño;Olivier Roux;Vlad Rusu
Affiliations:
-;-;-;-
Venue:
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Year:
1997

Application of Partial-Order Methods to Reactive Programswith Event Memorization

Real-Time Systems
A Class of Decidable Parametric Hybrid Systems

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata

FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Analysis of Slope-Parametric Rectangular Automata

Hybrid Systems V

Hi-index	0.00