640 search results - page 7 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
VIS
2004
IEEE
14 years 8 months ago
2004
IEEE
We present a system for simulating and visualizing the propagation of dispersive contaminants with an application to urban security. In particular, we simulate airborne contaminan...
RT
2004
Springer
14 years 25 days ago
2004
Springer
Falling snow has the visual property that it is simultaneously a set of discrete moving particles as well as a dynamic texture. To capture the dynamic texture properties of fallin...
PADS
2000
ACM
13 years 12 months ago
2000
ACM
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
RTCSA
1997
IEEE
13 years 11 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we show how file sharing peer to peer systems can be modeled by hybrid systems with a continuous part corresponding to a fluid limit of files and a discrete part c...