Work

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications

Year: 2024

Type: article

Abstract: We propose an adversarial, time-varying test-synthesis procedure for safety-critical systemswithout requiring specific knowledge of the underlying controller steering the system. Specifically, our approach codifies the system objective as a timed reach-avoid specification. Then, by coupling control barrier functions with this class of specifications, we construct an instantaneous difficulty metric whose minimizer corresponds to the most difficult test at that system state. By defining tests as the minimizer of this difficulty metric over the space of allowable tests, we provably identify realizable and maximally difficult tests of system behavior. Finally, we develop this test-synthesis procedure for both continuous and discrete-time systems and showcase our test-synthesis procedure on simulated and hardware examples.

Source: IEEE Transactions on Automatic Control

DOI: 10.1109/tac.2024.3505817

Authors: Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames

Institutions: California Institute of Technology, Tusimple (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Air Force Office of Scientific Research

Award: G1901829485