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 条

[41] 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,

[42] Bisimulation for general stochastic hybrid systems [J].

Bujorianu, ML ;

Lygeros, J ;

Bujorianu, MC .

HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2005, 3414 :198-214

[43] Approximate Abstractions of Stochastic Hybrid Systems [J].

Abate, Alessandro ;

D'Innocenzo, Alessandro ;

Di Benedetto, Maria D. .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (11) :2688-2694

[44] EM algorithm for stochastic hybrid systems [J].

Masaaki Fukasawa .

Statistical Inference for Stochastic Processes, 2021, 24 :223-239

[45] Stochastic Hybrid Systems with Renewal Transitions [J].

Antunes, Duarte ;

Hespanha, Joao P. ;

Silvestre, Carlos .

2010 AMERICAN CONTROL CONFERENCE, 2010, :3124-3129

[46] Particle filtering for stochastic hybrid systems [J].

Blom, HAP ;

Bloem, EA .

2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, :3221-3226

[47] Probabilistic Testing for Stochastic Hybrid Systems [J].

Julius, A. Agung ;

Pappas, George J. .

47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, :4030-4035

[48] Towards a theory of stochastic hybrid systems [J].

Hu, JH ;

Lygeros, J ;

Sastry, S .

HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2000, 1790 :160-173

[49] EM algorithm for stochastic hybrid systems [J].

Fukasawa, Masaaki .

STATISTICAL INFERENCE FOR STOCHASTIC PROCESSES, 2021, 24 (01) :223-239

[50] Mean reversal for stochastic hybrid systems [J].

Korzeniowski, Andrzej .

NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2008, 2 (02) :613-625

← 1 2 3 4 5 →