14190 search results - page 80 / 2838 » Abstractions for hybrid systems |
EUROPAR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. With the prevalence of multi-core processors and cloud computing, the server consolidation using virtualization has increasingly expanded its territory, and the degree of...
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
IGPL
2008
14 years 12 months ago
2008
WOLLIC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
We present a hybrid systems solution to the problem of trajectory tracking for a four-wheel steered four-wheel driven mobile robot. The robot is modelled as a non-holonomic dynamic...