828 search results - page 11 / 166 » Modularity for Timed and Hybrid Systems |
IM
1993
13 years 10 months ago
1993
A hybrid Expert System / Neural Network Traffic Advice system has been developed to aid traffic management in the Southern Californian telephone network. The system has been worki...
HYBRID
1999
Springer
14 years 28 days 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...
EXACT
2007
13 years 11 months ago
2007
In the past five years, we have designed and evolved an interlingua for sharing explanations generated by various automated systems such as hybrid web-based question answering sys...
HYBRID
2003
Springer
14 years 1 months 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
2005
Springer
14 years 2 months ago
2005
Springer
Under standard Lipschitz conditions, trajectories of systems described by ordinary differential equations are well defined in both forward and reverse time. (The flow map is inv...