320 search results - page 3 / 64 » Constructing Invariants for Hybrid Systems |
HYBRID
2010
Springer
14 years 4 days ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
CAV
2008
Springer
13 years 7 months ago
2008
Springer
HYBRID
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
HYBRID
2009
Springer
14 years 3 days ago
2009
Springer
Abstract. This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodical...
FORMATS
2006
Springer
13 years 9 months ago
2006
Springer
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...