Stochastic safety for random dynamical systems

Bujorianu, Manuela L. and Wisniewski, Rafał and Boulougouris, Evangelos; (2021) Stochastic safety for random dynamical systems. In: 2021 American Control Conference (ACC). Proceedings of the American Control Conference . IEEE, USA, pp. 1340-1345. ISBN 9781665441971 (https://doi.org/10.23919/ACC50511.2021.9483422)

[thumbnail of Bujorianu-etal-ACC-2021-Stochastic-safety-for-random-dynamical-systems]
Preview
Text. Filename: Bujorianu_etal_ACC_2021_Stochastic_safety_for_random_dynamical_systems.pdf
Accepted Author Manuscript

Download (279kB)| Preview

Abstract

In the paper, we study the so-called p-safety of a random dynamical system. We generalize the existing results for safety barrier certificates for deterministic dynamical systems and Markov processes. Moreover, we consider the case of random obstacles, modelled as random sets. This leads to the necessity of using integrals with respect to lower and upper distributions. We prove that if there exists at least one barrier certificate then the random dynamical system is safe. The barrier certificates are also defined using such nonlinear distributions. Furthermore, when the family of stochastic Koopman operators has the semigroup property, the barrier certificates are solutions for some type of Dirichlet problems.