1087 search results - page 3 / 218 » Achieving Distributed Control through Model Checking |
INFOCOM
2006
IEEE
13 years 11 months 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 24 days 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
13 years 11 months 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 9 days ago
2009
Springer
ROBOCOMM
2007
IEEE
14 years 1 days 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 ...