3 search results - page 1 / 1 » Hybrid Acceleration Using Real Vector Automata (Extended Abs... |
CAV
2003
Springer
13 years 10 months ago
2003
Springer
HYBRID
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...
CADE
2009
Springer
14 years 5 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...