117 search results - page 9 / 24 » Approximate Simulation Relations for Hybrid Systems |
RTAS
2010
IEEE
13 years 6 months ago
2010
IEEE
Recent research in compositional real-time systems has focused on determination of a component’s real-time interface parameters. An important objective in interface-parameter de...
TWC
2010
13 years 2 months ago
2010
Abstract--Free-space optical (FSO) transmission systems enable high-speed communication with relatively small deployment costs. However, FSO suffers a critical disadvantage, namely...
FDL
2007
IEEE
14 years 1 months ago
2007
IEEE
Transaction level models (TLMs) can be constructed at t levels of abstraction, denoted as untimed (UT), cycle-approximate (CX), and cycle accurate (CA) in this paper. The choice o...
ICML
2006
IEEE
14 years 8 months ago
2006
IEEE
In the model-based policy search approach to reinforcement learning (RL), policies are found using a model (or "simulator") of the Markov decision process. However, for ...
ISER
2000
Springer
13 years 11 months ago
2000
Springer
: This paper describes a virtual collaborative world simulator, DVECS (Distributed Virtual Environment Collaborative Simulator), for underwater robots and its underwater vehicle, S...