1287 search results - page 2 / 258 » Reduction of Timed Hybrid Systems |
HYBRID
2011
Springer
12 years 5 months ago
2011
Springer
HYBRID
2001
Springer
13 years 10 months ago
2001
Springer
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...
CDC
2008
IEEE
14 years 6 days ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
FORMATS
2006
Springer
13 years 9 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...