Abstract | ||
---|---|---|
We present a computational framework for automatic synthesis of control and communication strategies for a robotic team from task specifications given as regular expressions about servicing requests in an environment. Our approach is based on two main ideas. First, we extend recent results from formal synthesis of distributed systems to check for the distributability of the task specification and to generate local specifications, while accounting for the service and communication capabilities of the robots. Second, by using a technique inspired from LTL model checking, we generate individual control and communication strategies. We illustrate the method with experimental results in our Robotic Urban-Like Environment. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-32723-0_23 | Springer Tracts in Advanced Robotics |
Field | DocType | Volume |
Formal synthesis,Regular expression,Software deployment,Model checking,Computer science,Simulation,Linear temporal logic,Regular language,Robot,Distributed computing | Conference | 83 |
ISSN | Citations | PageRank |
1610-7438 | 3 | 0.38 |
References | Authors | |
10 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yushan Chen | 1 | 98 | 5.32 |
Xu Chu Ding | 2 | 324 | 18.62 |
Alin Stefanescu | 3 | 209 | 17.79 |
Calin Belta | 4 | 2197 | 153.54 |