Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems
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.
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.Additional details
- Eprint ID
- 90411
- Resolver ID
- CaltechAUTHORS:20181025-102440078
- NSF
- N00014-09-1-1031
- Office of Naval Research (ONR)
- N00014-09-1051
- Office of Naval Research (ONR)
- Boeing Company
- TerraSwarm
- Microelectronics Advanced Research Corporation (MARCO)
- Defense Advanced Research Projects Agency (DARPA)
- Created
-
2018-10-25Created from EPrint's datestamp field
- Updated
-
2021-11-16Created from EPrint's last_modified field
- Series Name
- Springer Proceedings in Advanced Robotics