695 search results - page 125 / 139 » Symbolic Simulation of Hybrid Systems |
MOVEP
2000
13 years 11 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
—The European satellite navigation system Galileo is a highly promising technology with communication capabilities providing an enhanced Search-and-Rescue (SAR) service in combin...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
— Bayesian networks play a key role in decision support within health care. Physicians rely on Bayesian networks to give medical treatment, generate what-if scenarios, and other ...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— Distributed motion planning of multiple agents raises fundamental and novel problems in control theory and robotics. Recently, one such great challenge has been the development...
HCW
2000
IEEE
14 years 19 days ago
2000
IEEE
In this work we present the results of a project aimed at assembling an hybrid massively parallel machine, the PQE1 prototype, devoted to the simulation of complex physical models...