Statistical Model Checking for Stochastic Hybrid Systems

被引：45

作者：

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 条

[21] Statistical Model Checking of Complex Robotic Systems
Foughali, Mohammed
Ingrand, Felix
Seceleanu, Cristina
MODEL CHECKING SOFTWARE, SPIN 2019, 2019, 11636 : 114 - 134
[22] Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
Jha, Sumit Kumar
Langmead, Christopher James
THEORETICAL COMPUTER SCIENCE, 2011, 412 (21) : 2162 - 2187
[23] STL Model Checking of Continuous and Hybrid Systems
Roehm, Hendrik
Oehlerking, Jens
Heinz, Thomas
Althoff, Matthias
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2016, 2016, 9938 : 412 - 427
[24] Bounded Model Checking of Hybrid Systems for Control
Kwon, YoungMin
Kim, Eunhee
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (11) : 2961 - 2976
[25] Improving HyLTL model checking of hybrid systems
Bresolin, Davide
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (119): : 79 - 92
[26] Dara: Hybrid Model Checking of Distributed Systems
Anand, Vaastav
ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2018, : 977 - 979
[27] Symbolic model checking of stochastic systems: Theory and implementation
Kuntz, M
Siegle, M
MODEL CHECKING SOFTWARE, PROCEEDINGS, 2006, 3925 : 89 - 107
[28] Bounded model checking of hybrid dynamical systems
Giorgetti, Nicolo
Pappas, George J.
Beraporad, Alberto
2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, 2005, : 672 - 677
[29] Automated Model Checking of Stochastic Graph Transformation Systems
Rafe, Vahid
Rafeh, Reza
Miralvand, Mohamad Reza Zand
Alavizadeh, Alavie Sadat
PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT, VOL 1, 2009, : 211 - +
[30] Symbolic model checking for rectangular hybrid systems
Henzinger, TA
Majumdar, R
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 142 - 156

← 1 2 3 4 5 →