Stochastic Safety Analysis of Stochastic Hybrid Systems

被引：0

作者：

Wisniewski, Rafael ^{[1
]}

Bujorianu, Manuela L. ^{[2
]}

机构：

[1] Aalborg Univ, Sect Automat & Control, DK-9220 Aalborg, Denmark

[2] Univ Strathclyde, Maritime Safety Res Ctr, Dept Naval Architecture Ocean & Marine Engn, Glasgow, Lanark, Scotland

来源：

2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC) | 2017年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页数：6

共 50 条

[31] Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System [J].

Riley, Derek ;

Riley, Kasandra ;

Koutsoukos, Xenofon .

EUROPEAN JOURNAL OF CONTROL, 2010, 16 (06) :609-623

[32] Analysis of Discrete and Hybrid Stochastic Systems by Nonlinear Contraction Theory [J].

Pham, Quang-Cuong .

2008 10TH INTERNATIONAL CONFERENCE ON CONTROL AUTOMATION ROBOTICS & VISION: ICARV 2008, VOLS 1-4, 2008, :1054-1059

[33] Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting [J].

Riley, Derek ;

Koutsoukos, Xenofon ;

Riley, Kasandra .

HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2009, 5469 :460-+

[34] Moment analysis of stochastic hybrid systems using semidefinite programming [J].

Ghusinga, Khem Raj ;

Lamperski, Andrew ;

Singh, Abhyudai .

AUTOMATICA, 2020, 112

[35] Probabilistic reachability analysis for large scale stochastic hybrid systems [J].

Blom, Henk A. P. ;

Bakker, G. J. Bert ;

Krystul, Jaroslav .

PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, :545-552

[36] A Stochastic Hybrid Systems framework for analysis of Markov reward models [J].

Dhople, S. V. ;

De Ville, L. ;

Dominguez-Garcia, A. D. .

RELIABILITY ENGINEERING & SYSTEM SAFETY, 2014, 123 :158-170

[37] Stability analysis for nonautonomous impulsive hybrid stochastic delay systems [J].

Chen, Huabin ;

Shi, Peng ;

Lim, Cheng-Chew .

SYSTEMS & CONTROL LETTERS, 2024, 187

[38] Almost Sure Safety Analysis and Safety-Critical Control of Stochastic Systems [J].

Luo, Shixian ;

Liu, Jiangpeng ;

Jiang, Yan .

2024 14TH ASIAN CONTROL CONFERENCE, ASCC 2024, 2024, :1068-1073

[39] Stochastic Safety for Random Dynamical Systems [J].

Bujorianu, Manuela L. ;

Wisniewski, Rafal ;

Boulougouris, Evangelos .

2021 AMERICAN CONTROL CONFERENCE (ACC), 2021, :1340-1345

[40] Combining Analytical Technique and Randomized Algorithm in Safety Verification of Stochastic Hybrid Systems [J].

Julius, A. Agung ;

D'Innocenzo, Alessandro .

2014 AMERICAN CONTROL CONFERENCE (ACC), 2014,

← 1 2 3 4 5 →