1087 search results - page 3 / 218 » Achieving Distributed Control through Model Checking |
INFOCOM
2006
IEEE
14 years 29 days ago
2006
IEEE
— In this paper, we propose a new protocol, named DDA (Distributed Delay Allocation), which provides average delay guarantees to real-time multimedia applications in wireless ad ...
CDC
2010
IEEE
13 years 1 months ago
2010
IEEE
We present new insights into how to achieve higher frequencies in large-scale nonlinear predictive control using truncated-like schemes. The basic idea is that, instead of solving ...
ICAISC
2004
Springer
14 years 9 days ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
SSS
2009
Springer
14 years 1 months ago
2009
Springer
ROBOCOMM
2007
IEEE
14 years 1 months ago
2007
IEEE
—Coalescence is the problem of isolated mobile robots independently searching for peers with the goal of forming a single connected network. This paper analyzes coalescence time ...