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 条
  • [1] Hybrid stochastic approach for the modelling and analysis of fire safety systems
    Villani, Emilia
    Kaneshiro, Percy Igei
    Miyagi, Paulo Eigi
    NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2006, 65 (06) : 1123 - 1149
  • [2] Measurability and Safety Verification for Stochastic Hybrid Systems
    Fraenzle, Martin
    Hahn, Ernst Moritz
    Hermanns, Holger
    Wolovick, Nicolas
    Zhang, Lijun
    HSCC 11: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2011, : 43 - 52
  • [3] Safety Barrier Certificates for Stochastic Hybrid Systems
    Lavaei, Abolfazl
    Soudjani, Sadegh
    Frazzoli, Emilio
    2022 AMERICAN CONTROL CONFERENCE, ACC, 2022, : 880 - 885
  • [4] Safety analysis of sugar cataract development using stochastic hybrid systems
    Riley, Derek
    Koutsoukos, Xenofon
    Riley, Kasandra
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2007, 4416 : 758 - +
  • [5] Modelling and analysis of stochastic hybrid systems
    Hespanha, J. P.
    IEE PROCEEDINGS-CONTROL THEORY AND APPLICATIONS, 2006, 153 (05): : 520 - 535
  • [6] Safety of stochastic hybrid systems based on discrete approximations
    Koutsoukos, Xenofon
    Riley, Derek
    PROCEEDINGS OF THE THIRTY-EIGHTH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2004, : 333 - 337
  • [7] Incremental stability analysis of stochastic hybrid systems
    Zhang, Ben-gong
    Chen, Luonan
    Aihara, Kazuyuki
    NONLINEAR ANALYSIS-REAL WORLD APPLICATIONS, 2013, 14 (02) : 1225 - 1234
  • [8] Stability analysis for stochastic hybrid systems: A survey
    Teel, Andrew R.
    Subbaraman, Anantharaman
    Sferlazza, Antonino
    AUTOMATICA, 2014, 50 (10) : 2435 - 2456
  • [9] Perturbation Analysis and Optimization of Stochastic Hybrid Systems
    Cassandras, Christos G.
    Wardi, Yorai
    Panayiotou, Christos G.
    Yao, Chen
    EUROPEAN JOURNAL OF CONTROL, 2010, 16 (06) : 642 - 661
  • [10] Conventional correlation factors in the safety analysis of stochastic systems
    Lukoseviciene, O.
    Kudzys, A.
    SAFETY AND RELIABILITY: METHODOLOGY AND APPLICATIONS, 2015, : 1741 - 1747
12345