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.

ORCID iDs

Bujorianu, Manuela L., Wisniewski, Rafał and Boulougouris, Evangelos ORCID logoORCID: https://orcid.org/0000-0001-5730-007X;
  • Item type:Book Section
    ID code:78530
    Dates:
    Date
    Event
    28 July 2021
    Published
    28 May 2021
    Published Online
    24 January 2021
    Accepted
    Notes:© 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:11 Nov 2024 15:26
    Related URLs:
    URI:https://strathprints.strath.ac.uk/id/eprint/78530
CORE (COnnecting REpositories)