New Insights on p-safety of stochastic systems

Manuela L. Bujorianu; Rafael Wisniewski

doi:10.1109/CDC40024.2019.9029377

New Insights on p-safety of stochastic systems

Manuela L. Bujorianu, Rafael Wisniewski

Naval Architecture, Ocean And Marine Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

5 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 language	English
Title of host publication	2019 IEEE 58th Conference on Decision and Control (CDC)
Place of Publication	Piscataway, NJ
Publisher	IEEE
Number of pages	6
ISBN (Electronic)	9781728113982
DOIs	https://doi.org/10.1109/CDC40024.2019.9029377
Publication status	Published - 12 Mar 2020
Event	IEEE Conference on Decision and Control - Duration: 11 Dec 2019 → 13 Dec 2019 Conference number: 58

Conference

Conference	IEEE Conference on Decision and Control
Abbreviated title	CDC
Period	11/12/19 → 13/12/19

Keywords

safety
Lyapunov methods
time measurement
generators
kernel
Markov processes

Access to Document

10.1109/CDC40024.2019.9029377

Cite this

@inproceedings{10936fe4e2bb429f825c5b7861216bf0,

title = "New Insights on p-safety of stochastic systems",

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.",

keywords = "safety, Lyapunov methods, time measurement, generators, kernel, Markov processes",

author = "Bujorianu, {Manuela L.} and Rafael Wisniewski",

year = "2020",

month = mar,

day = "12",

doi = "10.1109/CDC40024.2019.9029377",

language = "English",

booktitle = "2019 IEEE 58th Conference on Decision and Control (CDC)",

publisher = "IEEE",

note = "IEEE Conference on Decision and Control, CDC ; Conference date: 11-12-2019 Through 13-12-2019",

}

TY - GEN

T1 - New Insights on p-safety of stochastic systems

AU - Bujorianu, Manuela L.

AU - Wisniewski, Rafael

N1 - Conference code: 58

PY - 2020/3/12

Y1 - 2020/3/12

N2 - 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.

AB - 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.

KW - safety

KW - Lyapunov methods

KW - time measurement

KW - generators

KW - kernel

KW - Markov processes

U2 - 10.1109/CDC40024.2019.9029377

DO - 10.1109/CDC40024.2019.9029377

M3 - Conference contribution book

BT - 2019 IEEE 58th Conference on Decision and Control (CDC)

PB - IEEE

CY - Piscataway, NJ

T2 - IEEE Conference on Decision and Control

Y2 - 11 December 2019 through 13 December 2019

ER -

New Insights on p-safety of stochastic systems

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this