CaltechAUTHORS
  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. https://resolver.caltech.edu/CaltechAUTHORS:20181025-102440078

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

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20181025-102440078

Abstract

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
https://doi.org/10.1007/978-3-319-51532-8_28DOIArticle
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.
Funders:
Funding AgencyGrant Number
NSFUNSPECIFIED
Office of Naval Research (ONR)N00014-09-1-1031
Office of Naval Research (ONR)N00014-09-1051
Boeing CompanyUNSPECIFIED
TerraSwarmUNSPECIFIED
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:https://resolver.caltech.edu/CaltechAUTHORS:20181025-102440078
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:90411
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:25 Oct 2018 18:14
Last Modified:03 Oct 2019 20:25

Repository Staff Only: item control page