Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems
Not on the map. Why?
Abstract (arXiv)
We present a method for contraction-based feedback motion planning of locally incrementally exponentially stabilizable systems with unknown dynamics that provides probabilistic safety and reachability guarantees. Given a dynamics dataset, our method learns a deep control-affine approximation of the dynamics. To find a trusted domain where this model can be used for planning, we obtain an estimate of the Lipschitz constant of the model error, which is valid with a given probability, in a region around the training data, providing a local, spatially-varying model error bound. We derive a trajectory tracking error bound for a contraction-based controller that is subjected to this model error, and then learn a controller that optimizes this tracking bound. With a given probability, we verify the correctness of the controller and tracking error bound in the trusted domain. We then use the trajectory error bound together with the trusted domain to guide a sampling-based planner to return trajectories that can be robustly tracked in execution. We show results on a 4D car, a 6D quadrotor, and a 22D deformable object manipulation task, showing our method plans safely with learned models of high-dimensional underactuated systems, while baselines that plan without considering the tracking error bound or the trusted domain can fail to stabilize the system and become unsafe.
Key facts. Cited by 13 papers in the map (data through 7 Oct 2026). Builds on 17 of its 29 references that are in the map. First posted on arXiv 18 Apr 2021.
Builds on
17 of 29 references.
References · 17
- 2019Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networkscited by 290
- 2018Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approachcited by 181
- 2018Learning-based Model Predictive Control for Safe Explorationcited by 116
- 2020Learning Stable Deep Dynamics Modelscited by 110
- 2020Exactly Computing the Local Lipschitz Constant of ReLU Networkscited by 102
- 2020Learning Certified Control using Contraction Metriccited by 48
- 2020Learning Stability Certificates from Datacited by 45
- 2015Control Contraction Metrics: Convex and Intrinsic Criteria for Nonlinear Feedback Designcited by 38
- 2016Safe Learning of Regions of Attraction for Uncertain, Nonlinear Systems with Gaussian Processescited by 38
- 2019Learning Stabilizable Nonlinear Dynamics with Contraction-Based Regularizationcited by 32
- 2020Planning with Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constantscited by 25
- 2020Neural Contraction Metrics for Robust Estimation and Control: A Convex Optimization Approachcited by 22
5 more
- 2020Deep Learning Tubes for Tube MPCcited by 14
- 2020Safe Feedback Motion Planning: A Contraction Theory and L1-Adaptive Control Based Approachcited by 11
- 2019GuSTO: Guaranteed Sequential Trajectory Optimization via Sequential Convex Programmingcited by 9
- 2015Asymptotically Optimal Planning by Feasible Kinodynamic Planning in State-Cost Spacecited by 8
- 2016Nonlinear Stabilization via Control Contraction Metrics: a Pseudospectral Approach for Computing Geodesicscited by 3
Built on by
Citing papers per year: 2021: 1; 2022: 4; 2023: 2; 2024: 0; 2025: 0; 2026: 6.
13 papers.
Sort:
By area:
- 2022Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theorycited by 18
- 2023Fighting Uncertainty with Gradients: Offline Reinforcement Learning via Diffusion Score Matchingcited by 17
- 2022Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertaintycited by 11
- 2022Statistical Safety and Robustness Guarantees for Feedback Motion Planning of Unknown Underactuated Stochastic Systemscited by 11
- 2023Synthesizing Stable Reduced-Order Visuomotor Policies for Nonlinear Systems via Sums-of-Squares Optimizationcited by 7
- 2026Safety Beyond the Training Data: Robust Out-of-Distribution MPC via Conformalized System Level Synthesiscited by 7
- 2026Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPUcited by 7
- 2022Bridging Model-based Safety and Model-free Reinforcement Learning through System Identification of Low Dimensional Linear Modelscited by 3
- 2026VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesiscited by 3
- 2026Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllerscited by 2
- 2026Pixels to Proofs: Probabilistically-Safe Latent World Model Control via Parallel Conformal Robust MPCcited by 2
- 2026Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guaranteescited by 1
- 2026Pixels to Proofs: Probabilistically-Safe Latent World Model Control via Parallel Conformal Robust MPC14 Jun 2026
- 2026Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers25 May 2026
- 2026VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesis27 Apr 2026
- 2026Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU8 Apr 2026
- 2026Safety Beyond the Training Data: Robust Out-of-Distribution MPC via Conformalized System Level Synthesis12 Feb 2026
- 2026Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees3 Jan 2026
- 2023Fighting Uncertainty with Gradients: Offline Reinforcement Learning via Diffusion Score Matching24 Jun 2023
- 2023Synthesizing Stable Reduced-Order Visuomotor Policies for Nonlinear Systems via Sums-of-Squares Optimization24 Apr 2023
- 2022Statistical Safety and Robustness Guarantees for Feedback Motion Planning of Unknown Underactuated Stochastic Systems13 Dec 2022
- 2022Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty12 Oct 2022
- 2022Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory14 Jun 2022
- 2022Bridging Model-based Safety and Model-free Reinforcement Learning through System Identification of Low Dimensional Linear Models11 May 2022
- 2022Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theorycited by 18
- 2022Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertaintycited by 11
- 2022Statistical Safety and Robustness Guarantees for Feedback Motion Planning of Unknown Underactuated Stochastic Systemscited by 11
- 2023Synthesizing Stable Reduced-Order Visuomotor Policies for Nonlinear Systems via Sums-of-Squares Optimizationcited by 7
- 2026Safety Beyond the Training Data: Robust Out-of-Distribution MPC via Conformalized System Level Synthesiscited by 7
- 2026Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPUcited by 7
- 2022Bridging Model-based Safety and Model-free Reinforcement Learning through System Identification of Low Dimensional Linear Modelscited by 3
- 2026VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesiscited by 3
- 2026Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllerscited by 2
- 2026Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guaranteescited by 1
- 2021Guaranteed Trajectory Tracking under Learned Dynamics with Contraction Metrics and Disturbance Estimationcited by 0
- 2026Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers25 May 2026
- 2026VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesis27 Apr 2026
- 2026Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU8 Apr 2026
- 2026Safety Beyond the Training Data: Robust Out-of-Distribution MPC via Conformalized System Level Synthesis12 Feb 2026
- 2026Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees3 Jan 2026
- 2023Synthesizing Stable Reduced-Order Visuomotor Policies for Nonlinear Systems via Sums-of-Squares Optimization24 Apr 2023
- 2022Statistical Safety and Robustness Guarantees for Feedback Motion Planning of Unknown Underactuated Stochastic Systems13 Dec 2022
- 2022Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty12 Oct 2022
- 2022Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory14 Jun 2022
- 2022Bridging Model-based Safety and Model-free Reinforcement Learning through System Identification of Low Dimensional Linear Models11 May 2022
- 2021Guaranteed Trajectory Tracking under Learned Dynamics with Contraction Metrics and Disturbance Estimation15 Dec 2021