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 条
[21]   Stochastic approximations of hybrid systems [J].
Abate, A ;
Ames, AD ;
Sastry, SS .
ACC: Proceedings of the 2005 American Control Conference, Vols 1-7, 2005, :1557-1562
[22]   Approximations of Stochastic Hybrid Systems [J].
Julius, A. Agung ;
Pappas, George J. .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2009, 54 (06) :1193-1203
[23]   Stochastic Safety of Hybrid Markov Chains [J].
Bujorianu, Manuela L. ;
Wisniewski, Rafal ;
Mazumdar, Abhijit .
IFAC PAPERSONLINE, 2024, 58 (17) :320-325
[24]   Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems [J].
Abate, Alessandro ;
Prandini, Maria ;
Lygeros, John ;
Sastry, Shankar .
AUTOMATICA, 2008, 44 (11) :2724-2734
[25]   Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates [J].
Huang, Chao ;
Chen, Xin ;
Lin, Wang ;
Yang, Zhengfeng ;
Li, Xuandong .
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 16
[26]   Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems [J].
Lesser, Kendra ;
Oishi, Meeko .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (01) :81-96
[27]   Stochastic models for chemically reacting systems using polynomial stochastic hybrid systems [J].
Hespanha, JP ;
Singh, A .
INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2005, 15 (15) :669-689
[28]   Modeling and analysis of networked control systems using stochastic hybrid systems [J].
Hespanha, Joao P. .
ANNUAL REVIEWS IN CONTROL, 2014, 38 (02) :155-170
[29]   On Hybrid State Estimation for Stochastic Hybrid Systems [J].
Liu, Weiyi ;
Hwang, Inseok .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (10) :2615-2628
[30]   Reachability analysis for controlled discrete time stochastic hybrid systems [J].
Amin, Saurabh ;
Abate, Alessandro ;
Prandini, Maria ;
Lygeros, John ;
Sastry, Shankar .
HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 :49-63
12345