CaltechAUTHORS
  A Caltech Library Service

Formal Verification of Safety Critical Autonomous Systems via Bayesian Optimization

Akella, Prithvi and Rosolia, Ugo and Singletary, Andrew and Ames, Aaron D. (2020) Formal Verification of Safety Critical Autonomous Systems via Bayesian Optimization. . (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20201109-140925178

[img] PDF - Submitted Version
See Usage Policy.

15Mb

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20201109-140925178

Abstract

As control systems become increasingly more complex, there exists a pressing need to find systematic ways of verifying them. To address this concern, there has been significant work in developing test generation schemes for black-box control architectures. These schemes test a black-box control architecture's ability to satisfy its control objectives, when these objectives are expressed as operational specifications through temporal logic formulae. Our work extends these prior, model based results by lower bounding the probability by which the black-box system will satisfy its operational specification, when subject to a pre-specified set of environmental phenomena. We do so by systematically generating tests to minimize a Lipschitz continuous robustness measure for the operational specification. We demonstrate our method with experimental results, wherein we show that our framework can reasonably lower bound the probability of specification satisfaction.


Item Type:Report or Paper (Discussion Paper)
Related URLs:
URLURL TypeDescription
http://arxiv.org/abs/2009.12909arXivDiscussion Paper
ORCID:
AuthorORCID
Rosolia, Ugo0000-0002-1682-0551
Singletary, Andrew0000-0001-6635-4256
Ames, Aaron D.0000-0003-0848-3177
Additional Information:This work was supported by the Air Force Office of Scientific Research.
Funders:
Funding AgencyGrant Number
Air Force Office of Scientific Research (AFOSR)UNSPECIFIED
Record Number:CaltechAUTHORS:20201109-140925178
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20201109-140925178
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:106544
Collection:CaltechAUTHORS
Deposited By: George Porter
Deposited On:09 Nov 2020 23:53
Last Modified:09 Nov 2020 23:53

Repository Staff Only: item control page