121 search results - page 2 / 25 » Controllers for reachability specifications for hybrid syste... |
HYBRID
2010
Springer
13 years 11 months ago
2010
Springer
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
HYBRID
2000
Springer
13 years 10 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
HYBRID
2009
Springer
13 years 4 months ago
2009
Springer
We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [21], which have natural specifications, allow rich continuous dynamics and admit various proper...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...