New Insights on p-safety of stochastic systems

Manuela L. Bujorianu, Rafael Wisniewski

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

2 Citations (Scopus)

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)
Place of PublicationPiscataway, NJ
PublisherIEEE
Number of pages6
ISBN (Electronic)9781728113982
DOIs
Publication statusPublished - 12 Mar 2020
EventIEEE Conference on Decision and Control -
Duration: 11 Dec 201913 Dec 2019
Conference number: 58

Conference

ConferenceIEEE Conference on Decision and Control
Abbreviated titleCDC
Period11/12/1913/12/19

Keywords

  • safety
  • Lyapunov methods
  • time measurement
  • generators
  • kernel
  • Markov processes

Fingerprint

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

Cite this