8190 search results - page 3 / 1638 » From Timed to Hybrid Systems |
HYBRID
1997
Springer
13 years 11 months ago
1997
Springer
HYBRID
2003
Springer
14 years 19 days ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
HYBRID
1999
Springer
13 years 11 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...
EMSOFT
2005
Springer
14 years 29 days ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
HYBRID
2001
Springer
13 years 12 months ago
2001
Springer
