3 search results - page 1 / 1 » Symbolic Parametric Safety Analysis of Linear Hybrid Systems... |
CAV
2004
Springer
14 years 2 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
CAV
1997
Springer
14 years 1 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
EMSOFT
2008
Springer
13 years 11 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...