New Insights on p-safety of Stochastic Systems

Luminita Manuela Bujorianu, Rafal Wisniewski

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Abstract

The concept of p-safety is a specialization of the stochastic reach-avoidance problem with probability threshold constraints in a barrier certificate manner for stochastic processes. All in all, the objective of p-safety is to identify the set of initial states, from which the probability to reach an unsafe region before reaching a desired target, is small enough (less then p). Identification of the set of these initial states is the core of the safety problem. In this paper, we develop further the theory of p-safety focusing on mathematical characterizations and approximation methods for the associated p-safety function and measure.

Original languageEnglish
Title of host publication2019 IEEE 58th Conference on Decision and Control (CDC)
Number of pages6
PublisherIEEE
Publication date20 Mar 2020
Pages4433-4438
Article number9029377
ISBN (Print)978-1-7281-1399-9
ISBN (Electronic)978-1-7281-1398-2
DOIs
Publication statusPublished - 20 Mar 2020
Event2019 IEEE 58th Conference on Decision and Control (CDC) - Nice, France
Duration: 11 Dec 201913 Dec 2019

Conference

Conference2019 IEEE 58th Conference on Decision and Control (CDC)
CountryFrance
CityNice
Period11/12/201913/12/2019
SeriesI E E E Conference on Decision and Control. Proceedings
ISSN0743-1546

Keywords

  • Markov models
  • hitting operator
  • infinitesimal generator
  • martingale problem
  • occupation measure
  • p-safety
  • symmetry reduction

Fingerprint Dive into the research topics of 'New Insights on p-safety of Stochastic Systems'. Together they form a unique fingerprint.

  • Cite this

    Bujorianu, L. M., & Wisniewski, R. (2020). New Insights on p-safety of Stochastic Systems. In 2019 IEEE 58th Conference on Decision and Control (CDC) (pp. 4433-4438). [9029377] IEEE. I E E E Conference on Decision and Control. Proceedings https://doi.org/10.1109/CDC40024.2019.9029377