231 search results - page 17 / 47 » Continuity controlled hybrid automata |
CAV
2009
Springer
16 years 9 days ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
HYBRID
1995
Springer
15 years 3 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
— A hybrid controller that induces stable running gaits on a monopedal robot is developed. The robot features a rigid leg with a revolute knee and a heavy torso with center of ma...
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...