Statistical Safety and Robustness Guarantees for Feedback Motion Planning of Unknown Underactuated Stochastic Systems

12/13/2022
by   Craig Knuth, et al.
0

We present a method for providing statistical guarantees on runtime safety and goal reachability for integrated planning and control of a class of systems with unknown nonlinear stochastic underactuated dynamics. Specifically, given a dynamics dataset, our method jointly learns a mean dynamics model, a spatially-varying disturbance bound that captures the effect of noise and model mismatch, and a feedback controller based on contraction theory that stabilizes the learned dynamics. We propose a sampling-based planner that uses the mean dynamics model and simultaneously bounds the closed-loop tracking error via a learned disturbance bound. We employ techniques from Extreme Value Theory (EVT) to estimate, to a specified level of confidence, several constants which characterize the learned components and govern the size of the tracking error bound. This ensures plans are guaranteed to be safely tracked at runtime. We validate that our guarantees translate to empirical safety in simulation on a 10D quadrotor, and in the real world on a physical CrazyFlie quadrotor and Clearpath Jackal robot, whereas baselines that ignore the model error and stochasticity are unsafe.

READ FULL TEXT

page 1

page 6

research
04/18/2021

Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems

We present a method for contraction-based feedback motion planning of lo...
research
10/18/2020

Planning with Learned Dynamics: Guaranteed Safety and Reachability via Lipschitz Constants

We present an approach for feedback motion planning of systems with unkn...
research
06/14/2022

Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory

We present a motion planning algorithm for a class of uncertain control-...
research
08/02/2018

Robust Tracking with Model Mismatch for Fast and Safe Planning: an SOS Optimization Approach

In the pursuit of real-time motion planning, a commonly adopted practice...
research
09/19/2023

Guarantees on Robot System Performance Using Stochastic Simulation Rollouts

We provide finite-sample performance guarantees for control policies exe...
research
11/25/2020

Learning Certified Control using Contraction Metric

In this paper, we solve the problem of finding a certified control polic...
research
01/15/2016

Funnel Libraries for Real-Time Robust Feedback Motion Planning

We consider the problem of generating motion plans for a robot that are ...

Please sign up or login with your details

Forgot password? Click here to reset