Browse wiki

From MurrayWiki
Jump to: navigation, search
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
Abstract The prolific rise in autonomous systems ha …
The prolific rise in autonomous systems has led to questions regarding their safe instantiation in real-world scenarios. Failures in safety-critical contexts such as human-robot interactions or even autonomous driving can ultimately lead to loss of life. In this context, this paper aims to provide a method by which one can algorithmically test and evaluate an autonomous system. Given a black-box autonomous system with some operational specifications, we construct a minimax problem based on control barrier functions to generate a family of test parameters designed to optimally evaluate whether the system can satisfy the specifications. To illustrate our results, we utilize the Robotarium as a case study for an autonomous system that claims to satisfy waypoint navigation and obstacle avoidance simultaneously. We demonstrate that the proposed test synthesis framework systematically finds those sequences of events (tests) that identify points of system failure.
s) that identify points of system failure.  +
Authors Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames  +
Funding Formal Methods for V&V and T&E of Autonomous Systems +
ID 2020a  +
Source To appear, 2020 Conference on Decision and Control (CDC)  +
Tag AAMA20-cdc  +
Title Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions +
Type Conference paper  +
Categories Papers
Modification date
This property is a special property in this wiki.
10 August 2020 17:56:46  +
URL
This property is a special property in this wiki.
https://arxiv.org/abs/2004.04227  +
hide properties that link here 
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions + Title
 

 

Enter the name of the page to start browsing from.