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)
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.
-
-
Item type: Book Section ID code: 78530 Dates: DateEvent28 July 2021Published28 May 2021Published Online24 January 2021AcceptedNotes: © 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting /republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. Subjects: Technology > Electrical engineering. Electronics Nuclear engineering Department: Faculty of Engineering > Naval Architecture, Ocean & Marine Engineering Depositing user: Pure Administrator Date deposited: 11 Nov 2021 14:21 Last modified: 20 Aug 2024 00:34 Related URLs: URI: https://strathprints.strath.ac.uk/id/eprint/78530