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] Modeling stochastic hybrid systems
    Ghosh, MK
    Bagchi, A
    SYSTEM MODELING AND OPTIMIZATION, 2005, 166 : 269 - 280
  • [22] Approximations of Stochastic Hybrid Systems
    Julius, A. Agung
    Pappas, George J.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2009, 54 (06) : 1193 - 1203
  • [23] Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
    Abate, Alessandro
    Prandini, Maria
    Lygeros, John
    Sastry, Shankar
    AUTOMATICA, 2008, 44 (11) : 2724 - 2734
  • [24] Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates
    Huang, Chao
    Chen, Xin
    Lin, Wang
    Yang, Zhengfeng
    Li, Xuandong
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 16
  • [25] Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems
    Lesser, Kendra
    Oishi, Meeko
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (01) : 81 - 96
  • [26] Stochastic models for chemically reacting systems using polynomial stochastic hybrid systems
    Hespanha, JP
    Singh, A
    INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2005, 15 (15) : 669 - 689
  • [27] Modeling and analysis of networked control systems using stochastic hybrid systems
    Hespanha, Joao P.
    ANNUAL REVIEWS IN CONTROL, 2014, 38 (02) : 155 - 170
  • [28] On Hybrid State Estimation for Stochastic Hybrid Systems
    Liu, Weiyi
    Hwang, Inseok
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (10) : 2615 - 2628
  • [29] Reachability analysis for controlled discrete time stochastic hybrid systems
    Amin, Saurabh
    Abate, Alessandro
    Prandini, Maria
    Lygeros, John
    Sastry, Shankar
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 49 - 63
  • [30] Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System
    Riley, Derek
    Riley, Kasandra
    Koutsoukos, Xenofon
    EUROPEAN JOURNAL OF CONTROL, 2010, 16 (06) : 609 - 623
12345