Work

Quantifying the Safety of Trajectories using Peak-Minimizing Control

Year: 2023

Type: preprint

Abstract: This work quantifies the safety of trajectories of a dynamical system by the perturbation intensity required to render a system unsafe (crash into the unsafe set). Computation of this measure of safety is posed as a peak-minimizing optimal control problem. Convergent lower bounds on the minimal peak value of controller effort are computed using polynomial optimization and the moment-Sum-of-Squares hierarchy. The crash-safety framework is extended towards data-driven safety analysis by measuring safety as the maximum amount of data corruption required to crash into the unsafe set.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2303.11896

Authors: Miller, Jared, Sznaier, Mario

Institution: Northeastern University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: National Science Foundation, Centre National de la Recherche Scientifique, Office of Naval Research, Division of Electrical, Communications and Cyber Systems, Air Force Office of Scientific Research

Awards: G1523888516, G2855079135, G4516736450, CPS:Medium: Safe Learning-Enabled Cyberphysical Systems, G6098521345, Collaborative Research: Data Driven Control of Switched Systems with Applications to Human Behavioral Modification, G6562578720, G8876996369

OpenAlex ID: W4353116165

Cites:

Cited by: 1

Related to: 10