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)

[img] PDF - Submitted Version
See Usage Policy.


Use this Persistent URL to link to this item:


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 Paper
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.
Funding AgencyGrant Number
Air Force Office of Scientific Research (AFOSR)UNSPECIFIED
Record Number:CaltechAUTHORS:20201109-140925178
Persistent URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:106544
Deposited By: George Porter
Deposited On:09 Nov 2020 23:53
Last Modified:15 Jul 2021 20:45

Repository Staff Only: item control page