665 search results - page 9 / 133 » The Theory of Hybrid Automata |
LATA
2009
Springer
14 years 3 months ago
2009
Springer
LATA
2009
Springer
14 years 3 months ago
2009
Springer
LATA
2009
Springer
14 years 3 months ago
2009
Springer
CORR
2011
Springer
13 years 3 months ago
2011
Springer
This paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target locat...
HYBRID
2000
Springer
14 years 6 days ago
2000
Springer
This paper studies the existence of solutions to a class of hybrid automata in which the underlying continuous dynamics are represented by inhomogeneous linear time-invariant syste...