@inproceedings{38aeba4991f948e98c8e8489801228e2,
title = "Stochastic Safety for Random Dynamical Systems",
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.",
keywords = "Koopman operator, barrier certificates, hitting measure, occupation measure, p-safety, random dynamical system, random set, supermedian function",
author = "Manuela Bujorianu and Rafal Wisniewski and Evangelos Boulougouris",
year = "2021",
month = may,
day = "28",
doi = "10.23919/ACC50511.2021.9483422",
language = "English",
isbn = "978-1-7281-9704-3",
series = "American Control Conference",
publisher = "IEEE",
pages = "1340--1345",
booktitle = "2021 American Control Conference (ACC)",
address = "United States",
note = "2021 American Control Conference (ACC) ; Conference date: 25-05-2021 Through 28-05-2021",
}