320 search results - page 1 / 64 » Constructing Invariants for Hybrid Systems |
HYBRID
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
HYBRID
2005
Springer
13 years 10 months ago
2005
Springer
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
