2171 search results - page 125 / 435 » Cooperative Validation in Distributed Control Systems Design |
133
click to vote
SIGOPS
2011
14 years 8 months ago
2011
Secure, fault-tolerant distributed systems are difficult to build, to validate, and to operate. Conservative design for such systems dictates that their security and fault toleran...
112
click to vote
SAB
2004
Springer
15 years 7 months ago
2004
Springer
This paper provides an overview of the SWARM-BOTS project, a robotic project sponsored by the Future and Emerging Technologies program of the European Commission. The paper illustr...
123
click to vote
TROB
2002
15 years 1 months ago
2002
Abstract--The key to utilizing the potential of multirobot systems is cooperation. How can we achieve cooperation in systems composed of failure-prone autonomous robots operating i...
117
click to vote
SPATIALCOGNITION
2004
Springer
15 years 7 months ago
2004
Springer
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
121
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...