Statistical Model Checking for Stochastic Hybrid Systems

被引：44
|
作者：
David, Alexandre [1 ]
Larsen, Kim G. [1 ]
Mikucionis, Marius [1 ]
Poulsen, Danny Bogsted [1 ]
Legay, Axel [2 ]
Sedwards, Sean [2 ]
Du, Dehui [3 ]
机构：
[1] Aalborg Univ, Dept Comp Sci, Aalborg, Denmark
[2] INRIA Rennes, Bretagne Atlant, Rennes, France
[3] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 20062, Peoples R China
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2012年 / 92期
关键词：
D O I：
10.4204/EPTCS.92.9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how our race-based stochastic semantics extends to networks of hybrid systems, and indicate the integration technique applied for implementing this semantics in the UPPAAL-SMC simulation engine. We report on two applications of the resulting tool-set coming from systems biology and energy aware buildings.
引用
收藏
页码：122 / 136
页数：15
相关论文
共 50 条
  • [1] On statistical model checking of stochastic systems
    Sen, K
    Viswanathan, M
    Agha, G
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 266 - 280
  • [2] Approximate Model Checking of Stochastic Hybrid Systems
    Abate, Alessandro
    Katoen, Joost-Pieter
    Lygeros, John
    Prandini, Maria
    [J]. EUROPEAN JOURNAL OF CONTROL, 2010, 16 (06) : 624 - 641
  • [3] Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains
    Ellen, Christian
    Gerwinn, Sebastian
    Fraenzle, Martin
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (04) : 485 - 504
  • [4] Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains
    Christian Ellen
    Sebastian Gerwinn
    Martin Fränzle
    [J]. International Journal on Software Tools for Technology Transfer, 2015, 17 : 485 - 504
  • [5] Statistical model checking of stochastic component-based systems
    Zhang, Lianyi
    Lo, Kueiming
    Qing, Duzheng
    Wang, Weijing
    Yu, Lixin
    [J]. JOURNAL OF STATISTICAL COMPUTATION AND SIMULATION, 2017, 87 (13) : 2509 - 2525
  • [6] Bayesian Statistical Model-Checking for Complex Stochastic Systems
    He, Jia
    Zhang, Min
    He, Kangli
    Guo, Yannan
    Lei, Yusi
    [J]. 2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2016, : 38 - 41
  • [7] Statistical Model Checking for Verification of Rare Properties of Stochastic Hybrid System
    Fang, Bing-Wu
    Huang, Zhi-Qiu
    Xie, Jian
    [J]. Ruan Jian Xue Bao/Journal of Software, 2022, 33 (10): : 3717 - 3731
  • [8] Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems
    Abate, Alessandro
    Katoen, Joost-Pieter
    Mereacre, Alexandru
    [J]. HSCC 11: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2011, : 83 - 92
  • [9] Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia
    Pranevicius, Henrikas
    Naujokaitis, Darius
    Pilkauskas, Vytautas
    Pranevicius, Osvaldas
    Pranevicius, Mindaugas
    [J]. ELEKTRONIKA IR ELEKTROTECHNIKA, 2017, 23 (06) : 10 - 18
  • [10] Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems
    Soudjani, Sadegh Esmaeil Zadeh
    Majumdar, Rupak
    Nagapetyan, Tigran
    [J]. QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2017), 2017, 10503 : 351 - 367
12345