121 search results - page 1 / 25 » Controllers for reachability specifications for hybrid syste... |
AUTOMATICA
1999
14 years 9 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
15 years 3 months ago
2007
Springer
HYBRID
2001
Springer
15 years 2 months ago
2001
Springer
79
Voted
HYBRID
2009
Springer
15 years 1 months ago
2009
Springer
HYBRID
2007
Springer
15 years 1 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