A Caltech Library Service

Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems

DeCastro, Jonathan A. and Alonso-Mora, Javier and Raman, Vasumathi and Rus, Daniela and Kress-Gazit, Hadas (2017) Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems. In: Robotics Research. Springer Proceedings in Advanced Robotics. Vol.2. Springer , Cham, Switzerland, pp. 459-476. ISBN 978-3-319-51531-1.

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item:


This paper describes a holistic method for automatically synthesizing controllers for a team of robots operating in an environment shared with other agents. The proposed approach builds on recent advances in Reactive Mission Planning using Linear Temporal Logic, and Local Motion Planning using convex optimization. A local planner enforces the dynamic constraints of the robot and guarantees collision avoidance in 2D and 3D workspaces. A reactive mission planner takes a high-level specification that captures complex motion sequencing, and generates a correct-by-construction controller guaranteed to achieve the specified behavior and be reactive to sensor events. If there is no controller that fulfills the specification because of possible deadlock in the local planner, a minimal set of human-readable assumptions is generated as a certificate of the conditions on deadlock where the task is guaranteed. This is truly a synergistic method: the low-level motion planner enables scalability of the high-level plan synthesis with respect to dynamic obstacles, and the high-level mission planner enforces correctness of the low-level motion. We provide formal guarantees for our approach and demonstrate it via physical experiments with ground robots and simulations with a team of quadrotors.

Item Type:Book Section
Related URLs:
URLURL TypeDescription
Additional Information:© 2018 Springer International Publishing AG. First Online: 27 July 2017. Jonathan DeCastro and Javier Alonso-Mora contributed equally to this work. This work was supported in part by NSF Expeditions in Computer Augmented Program Engineering (ExCAPE), ONR MURI Antidote N00014-09-1-1031, SMARTS N00014-09-1051, the Boeing Company and TerraSwarm, one of six centers of STARnet, a Semiconductor Research Corporation program sponsored by MARCO and DARPA.
Funding AgencyGrant Number
Office of Naval Research (ONR)N00014-09-1-1031
Office of Naval Research (ONR)N00014-09-1051
Microelectronics Advanced Research Corporation (MARCO)UNSPECIFIED
Defense Advanced Research Projects Agency (DARPA)UNSPECIFIED
Series Name:Springer Proceedings in Advanced Robotics
Record Number:CaltechAUTHORS:20181025-102440078
Persistent URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:90411
Deposited By: Tony Diaz
Deposited On:25 Oct 2018 18:14
Last Modified:16 Nov 2021 03:32

Repository Staff Only: item control page