Stochastic safety analysis of stochastic hybrid systems

@article{Wisniewski2017StochasticSA,
  title={Stochastic safety analysis of stochastic hybrid systems},
  author={Rafael Wisniewski and Manuela L. Bujorianu},
  journal={2017 IEEE 56th Annual Conference on Decision and Control (CDC)},
  year={2017},
  pages={2390-2395}
}
This work establishes an optimisation scheme for computing safety of stochastic hybrid systems. Specifically, the scheme computes the probability of reaching the set of unsafe states from a set of initial states. We address hybrid systems with both sporadic and state dependent switches. The method combines two approaches: the barrier certificate method and potential theory. 

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 20 references

Stochastic Reachability Analysis of Hybrid Systems, ser. Communications and Control Engineering

L. M. Bujorianu
2012
View 4 Excerpts
Highly Influenced

Stochastic safety verification using barrier certificates

2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) • 2004
View 6 Excerpts
Highly Influenced

Stochastic Differential Equations: An Introduction with Applications, 5th ed

B. Øksendal
2000
View 4 Excerpts
Highly Influenced

Markov Models and Optimization (M. H. A. Davis)

SIAM Review • 1995
View 4 Excerpts
Highly Influenced

Feynman-Kac formula for switching diffusions: connections of systems of partial differential equations and stochastic differential equations

N. A. Baran, G. Yin, C. Zhu
Adv. Difference Equ., pp. 2013:315, 13, 2013. • 2013
View 4 Excerpts
Highly Influenced

Metastability, ser. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences

A. Bovier, F. den Hollander
a potentialtheoretic approach. [Online]. Available: • 2015
View 1 Excerpt

On a problem of stochastic reach-avoid set characterization

IEEE Conference on Decision and Control and European Control Conference • 2011
View 1 Excerpt

Similar Papers

Loading similar papers…