Learning Certifiably Robust Controllers Using Fragile Perception

09/22/2022
by   Dawei Sun, et al.
0

Advances in computer vision and machine learning enable robots to perceive their surroundings in powerful new ways, but these perception modules have well-known fragilities. We consider the problem of synthesizing a safe controller that is robust despite perception errors. The proposed method constructs a state estimator based on Gaussian processes with input-dependent noises. This estimator computes a high-confidence set for the actual state given a perceived state. Then, a robust neural network controller is synthesized that can provably handle the state uncertainty. Furthermore, an adaptive sampling algorithm is proposed to jointly improve the estimator and controller. Simulation experiments, including a realistic vision-based lane-keeping example in CARLA, illustrate the promise of the proposed approach in synthesizing robust controllers with deep-learning-based perception.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/04/2019

Counterexample-Guided Synthesis of Perception Models and Control

We consider the problem of synthesizing safe and robust controllers for ...
research
07/08/2020

Evaluating Robust, Perception Based Control with Quadrotors

Traditionally, controllers and state estimators in robotic systems are d...
research
11/10/2021

Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions

Convolutional Neural Networks (CNN) for object detection, lane detection...
research
09/04/2022

Data-Assisted Vision-Based Hybrid Control for Robust Stabilization with Obstacle Avoidance via Learning of Perception Maps

We study the problem of target stabilization with robust obstacle avoida...
research
01/04/2022

Learning Safe, Generalizable Perception-based Hybrid Control with Certificates

Many robotic tasks require high-dimensional sensors such as cameras and ...
research
07/08/2019

Robust Guarantees for Perception-Based Control

Motivated by vision based control of autonomous vehicles, we consider th...
research
04/03/2018

Provably Robust Learning-Based Approach for High-Accuracy Tracking Control of Lagrangian Systems

Inverse dynamics control and feedforward linearization techniques are ty...

Please sign up or login with your details

Forgot password? Click here to reset