1064 search results - page 93 / 213 » Disjoint Systems (Extended Abstract) |
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Pursuit strategies (formulated using constantspeed particle models) provide a means for achieving cohesive behavior in systems of multiple mobile agents. In the present...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— In this paper, we consider a discrete-time stochastic system, where sensor measurements are sent over a network to the controller. The design objective is a non-classic...
SPIN
2000
Springer
14 years 1 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
AGTIVE
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
CLIMA
2007
13 years 11 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...