121 search results - page 4 / 25 » Controllers for reachability specifications for hybrid syste... |
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
RP
2009
Springer
14 years 1 months ago
2009
Springer
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
HYBRID
1995
Springer
13 years 10 months ago
1995
Springer
Abstract. In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state spa...