Abstract | ||
---|---|---|
In this paper, we develop a computational framework for fully automatic deployment of a team of unicycles from a global specification given as an LTL formula over some regions of interest. Our hierarchical approach consists of four steps: (i) the construction of finite abstractions for the motions of each robot, (ii) the parallel composition of the abstractions, (iii) the generation of a satisfying motion of the team; (iv) mapping this motion to individual robot control and communication strategies. The main result of the paper is an algorithm to reduce the amount of inter-robot communication during the fourth step of the procedure. |
Year | Venue | Keywords |
---|---|---|
2011 | 2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC) | motion control,path planning,satisfiability,formal specification,temporal logic,robot control,region of interest |
DocType | Volume | ISSN |
Journal | abs/1108.3240 | 0743-1546 |
Citations | PageRank | References |
16 | 0.80 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marius Kloetzer | 1 | 476 | 29.21 |
Xu Chu Ding | 2 | 324 | 18.62 |
Calin Belta | 3 | 2197 | 153.54 |