Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components

02/07/2022
by   Radu Calinescu, et al.
8

We present DEEPDECS, a new method for the synthesis of correct-by-construction discrete-event controllers for autonomous systems that use deep neural network (DNN) classifiers for the perception step of their decision-making processes. Despite major advances in deep learning in recent years, providing safety guarantees for these systems remains very challenging. Our controller synthesis method addresses this challenge by integrating DNN verification with the synthesis of verified Markov models. The synthesised models correspond to discrete-event controllers guaranteed to satisfy the safety, dependability and performance requirements of the autonomous system, and to be Pareto optimal with respect to a set of optimisation criteria. We use the method in simulation to synthesise controllers for mobile-robot collision avoidance, and for maintaining driver attentiveness in shared-control autonomous driving.

READ FULL TEXT

page 1

page 2

page 8

page 10

page 11

page 13

page 14

page 16

research
06/16/2020

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles

The use of autonomous vehicles in real-world applications is often precl...
research
09/21/2019

Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control

Deep neural network controllers for autonomous driving have recently ben...
research
09/11/2020

Synthesis of Run-To-Completion Controllers for Discrete Event Systems

A controller for a Discrete Event System must achieve its goals despite ...
research
04/23/2020

Hybrid Control from Scratch: A Design Methodology for Assured Robotic Missions

Robotic research over the last decades have lead us to different archite...
research
01/30/2022

A Safety-Critical Decision Making and Control Framework Combining Machine Learning and Rule-based Algorithms

While artificial-intelligence-based methods suffer from lack of transpar...
research
09/24/2021

Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers

Cyber-Physical Systems (CPSs) such as those found within autonomous vehi...
research
10/25/2021

Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems

Verified controller synthesis uses world models that comprise all potent...

Please sign up or login with your details

Forgot password? Click here to reset