125
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
120
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
133
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
In this article, we show how a behavior based control system for autonomous robots can be modeled as a hybrid automaton, where each node corresponds to a distinct robot behavior. T...
119
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
96
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer