695 search results - page 14 / 139 » Control in o-minimal Hybrid Systems |
HYBRID
2000
Springer
14 years 1 months ago
2000
Springer
HYBRID
2001
Springer
14 years 2 months ago
2001
Springer
HYBRID
1994
Springer
14 years 1 months ago
1994
Springer
This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that hav...
HYBRID
2010
Springer
14 years 4 months ago
2010
Springer
HYBRID
2000
Springer
14 years 1 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...