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] Using Statistical Model Checking for Measuring Systems
Grosu, Radu
Peled, Doron
Ramakrishnan, C. R.
Smolka, Scott A.
Stoller, Scott D.
Yang, Junxing
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 223 - 238
[22] 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
[23] 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
[24] Improving HyLTL model checking of hybrid systems
Bresolin, Davide
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (119): : 79 - 92
[25] Model checking hybrid multiagent systems for the RoboCup
Furbach, Ulrich
Murray, Jan
Schmidsberger, Falk
Stolzenburg, Frieder
ROBOCUP 2007: ROBOT SOCCER WORLD CUP XI, 2008, 5001 : 262 - +
[26] Bounded Model Checking of Hybrid Systems for Control
Kwon, YoungMin
Kim, Eunhee
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (11) : 2961 - 2976
[27] 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
[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] 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
[30] Symbolic model checking of stochastic systems: Theory and implementation
Kuntz, M
Siegle, M
MODEL CHECKING SOFTWARE, PROCEEDINGS, 2006, 3925 : 89 - 107

← 1 2 3 4 5 →