Quantifying the Safety of Trajectories using Peak-Minimizing Control

Jared Miller,Mario Sznaier
2024-10-01
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.
Optimization and Control,Systems and Control
What problem does this paper attempt to address?