Counterexample-Guided Synthesis of Perception Models and Control

11/04/2019
by   Shromona Ghosh, et al.
0

We consider the problem of synthesizing safe and robust controllers for real world robotic systems like autonomous vehicles, which rely on complex perception modules. We propose a counterexample-guided synthesis framework which iteratively learns perception models that enable finding safe control policies. We use counterexamples to extract information relevant for modeling the errors in perception modules. Such models then can be used to synthesize controllers robust to errors in perception. If the resulting policy is not safe, we gather new counterexamples. By repeating the process, we eventually find a controller which can keep the system safe even when there is perception failure. Finally, we show that our framework computes robust controllers for autonomous vehicles in two different simulated scenarios: (i) lane keeping, and (ii) automatic braking.

READ FULL TEXT

page 1

page 6

research
09/22/2022

Learning Certifiably Robust Controllers Using Fragile Perception

Advances in computer vision and machine learning enable robots to percei...
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
07/08/2019

Robust Guarantees for Perception-Based Control

Motivated by vision based control of autonomous vehicles, we consider th...
research
01/31/2020

Modeling Sensing and Perception Errors towards Robust Decision Making in Autonomous Vehicles

Sensing and Perception (S P) is a crucial component of an autonomous s...
research
08/03/2022

Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos

Modern autonomous vehicle systems use complex perception and control com...
research
03/09/2021

Entropy-Guided Control Improvisation

High level declarative constraints provide a powerful (and popular) way ...

Please sign up or login with your details

Forgot password? Click here to reset