121 search results - page 1 / 25 » Controllers for reachability specifications for hybrid syste... |
AUTOMATICA
1999
13 years 5 months ago
1999
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
HYBRID
2001
Springer
13 years 10 months ago
2001
Springer
HYBRID
2009
Springer
13 years 9 months ago
2009
Springer
HYBRID
2007
Springer
13 years 9 months ago
2007
Springer
We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1