4693 search results - page 21 / 939 » Verifying Hybrid Systems |
80
Voted
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
102
Voted
HYBRID
1997
Springer
15 years 4 months ago
1997
Springer
In this paper we outline the derivation of a hybrid Hamilton-JacobiBellman equation for our Multiple Agent Hybrid Control Architecture (MACHA) [5, 4] and a hybrid system dynamic p...
122
Voted
HYBRID
2000
Springer
15 years 4 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...
67
Voted
HYBRID
1998
Springer
15 years 4 months ago
1998
Springer
HYBRID
1992
Springer
15 years 4 months ago
1992
Springer