121 search results - page 3 / 25 » Controllers for reachability specifications for hybrid syste... |
HYBRID
2001
Springer
13 years 11 months ago
2001
Springer
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
The aim of this paper is twofold. On one hand we present an approach to the general problem of nonlinear control in the framework of (differentiable) groupoids, which, in our opin...
HYBRID
2000
Springer
13 years 10 months ago
2000
Springer
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
HYBRID
2000
Springer
13 years 10 months ago
2000
Springer
