Sequence-of-Constraints MPC: Reactive Timing-Optimal Control of Sequential Manipulation
Marc Toussaint, Jason Harris, Jung-Su Ha, Danny Driess, Wolfgang, H\"onig

TL;DR
This paper introduces a reactive, timing-optimal control method for sequential manipulation tasks, bridging the gap between task planning and control for robust, real-time execution of complex manipulation sequences.
Contribution
It proposes a novel model predictive control approach that decomposes the control problem into sub-problems for online solving, enabling reactive, timing-aware execution of TAMP plans.
Findings
Effective reactive control for sequential manipulation demonstrated.
Robustness to perturbations through phase backtracking.
Timing-optimal transitions between constraints achieved.
Abstract
Task and Motion Planning has made great progress in solving hard sequential manipulation problems. However, a gap between such planning formulations and control methods for reactive execution remains. In this paper we propose a model predictive control approach dedicated to robustly execute a single sequence of constraints, which corresponds to a discrete decision sequence of a TAMP plan. We decompose the overall control problem into three sub-problems (solving for sequential waypoints, their timing, and a short receding horizon path) that each is a non-linear program solved online in each MPC cycle. The resulting control strategy can account for long-term interdependencies of constraints and reactively plan for a timing-optimal transition through all constraints. We additionally propose phase backtracking when running constraints of the current phase cannot be fulfilled, leading to a…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsOptimization and Search Problems · Distributed systems and fault tolerance · Formal Methods in Verification
