Title | ||
---|---|---|
Automatic deployment of distributed teams of robots from temporal logic motion specifications |
Abstract | ||
---|---|---|
We present a computational framework for automatic synthesis of decentralized communication and control strategies for a robotic team from global specifications, which are given as temporal and logic statements about visiting regions of interest in a partitioned environment. We consider a purely discrete scenario, where the robots move among the vertices of a graph. However, by employing recent results on invarianec and facet reachability for dynamical systems in environments with polyhedral partitions, the framework from this paper can be directly implemented for robots with continuous dyrtamics. While allowing tor a rich specification language and guaranteeing the correctness of the solution, our approach is conservative in the sense that we might not find a solution, even if one exists. The overall amount of required computation is large. However, most of it is performed offline before the deployment. Illustrative simulations and experimental results are included. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/TRO.2009.2035776 | IEEE Transactions on Robotics |
Keywords | Field | DocType |
Robotics and automation,Automatic logic units | Specification language,Graph theory,Decentralised system,Control theory,Computer science,Correctness,Control engineering,Reachability,Artificial intelligence,Temporal logic,Robot,Robotics | Journal |
Volume | Issue | ISSN |
26 | 1 | 1552-3098 |
Citations | PageRank | References |
58 | 2.12 | 21 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marius Kloetzer | 1 | 476 | 29.21 |
Calin Belta | 2 | 2197 | 153.54 |