Abstract | ||
---|---|---|
We present a computational framework for automatic synthesis of decentralized communication and control strategies for a robotic team from global specifications 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 invariance and facet reachability for dynamical system in environments with polyhedral partitions, the framework from this paper can be directly implemented for robots with nontrivial dynamics. While providing 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 off-line before the deployment. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/ROBOT.2008.4543239 | Pasadena, CA |
Keywords | Field | DocType |
decentralised control,invariance,mobile robots,motion control,reachability analysis,temporal logic,automatic synthesis,computational framework,control strategy,decentralized communication,dynamical system,facet reachability,global temporal logic motion specifications,graph vertices,invariance,nontrivial dynamics,polyhedral partitions,robotic team,specification language | Specification language,Motion control,Control theory,Computer science,Correctness,Control engineering,Reachability,Temporal logic,Robot,AND gate,Mobile robot | Conference |
Volume | Issue | ISSN |
2008 | 1 | 1050-4729 E-ISBN : 978-1-4244-1647-9 |
ISBN | Citations | PageRank |
978-1-4244-1647-9 | 11 | 0.78 |
References | Authors | |
10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marius Kloetzer | 1 | 476 | 29.21 |
Calin Belta | 2 | 2197 | 153.54 |