Abstract
This paper proposes a new framework to compute finite-horizon safety guarantees for discrete-time piece-wise affine systems with stochastic noise of unknown distributions. The approach is based on a novel approach to synthesise a stochastic barrier function (SBF) from noisy data and rely on the scenario optimization theory. In particular, we show that the stochastic program to synthesize a SBF can be relaxed into a chance-constrained optimisation problem on which scenario approach theory applies. We further show that the resulting program can be reduced to a linear programming problem, thus guaranteeing efficiency. In contrast to existing approaches, this method is data efficient as it only requires the number of data to be proportional to the logarithm in the negative inverse of the confidence level and is computationally efficient due to its reduction to linear programming. The efficacy of the method is empirically evaluated on various verification benchmarks. Experiments show a significant improvement with respect to state-of-the-art, obtaining tighter certificates with a confidence that is several orders of magnitude higher.
Original language | English |
---|---|
Title of host publication | Proceedings of the 62nd IEEE Conference on Decision and Control (CDC 2023) |
Publisher | IEEE |
Pages | 3073-3080 |
Number of pages | 8 |
ISBN (Electronic) | 979-8-3503-0124-3 |
DOIs | |
Publication status | Published - 2023 |
Event | 62nd IEEE Conference on Decision and Control, CDC 2023 - Singapore, Singapore Duration: 13 Dec 2023 → 15 Dec 2023 |
Publication series
Name | Proceedings of the IEEE Conference on Decision and Control |
---|---|
ISSN (Print) | 0743-1546 |
ISSN (Electronic) | 2576-2370 |
Conference
Conference | 62nd IEEE Conference on Decision and Control, CDC 2023 |
---|---|
Country/Territory | Singapore |
City | Singapore |
Period | 13/12/23 → 15/12/23 |
Bibliographical note
Green Open Access added to TU Delft Institutional Repository 'You share, we take care!' - Taverne project https://www.openaccess.nl/en/you-share-we-take-careOtherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.