14190 search results - page 36 / 2838 » Abstractions for hybrid systems |
116
click to vote
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
Given a deterministic, non-blocking hybrid system, we introduce the notion of its hybrid manifold (or hybrifold) with the associated hybrid
ow on it. This enables us to study hyb...
HYBRID
1998
Springer
15 years 4 months ago
1998
Springer
HYBRID
1992
Springer
15 years 3 months ago
1992
Springer
HYBRID
2009
Springer
15 years 3 months ago
2009
Springer
105
click to vote
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...