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 条

[41] Stochastic model checking
Kwiatkowska, Marta
Norman, Gethin
Parker, David
FORMAL METHODS FOR PERFORMANCE EVALUATION, 2007, 4486 : 220 - +
[42] On the degradation of forest ecosystems by extreme events: Statistical Model Checking of a hybrid model
Cantin, Guillaume
Delahaye, Benoit
Funatsu, Beatriz M.
ECOLOGICAL COMPLEXITY, 2023, 53
[43] Stochastic model checking with stochastic comparison
Pekergin, N
Younès, S
FORMAL TECHNIQUES FOR COMPUTER SYSTEMS AND BUSINESS PROCESSES, PROCEEDINGS, 2005, 3670 : 109 - 123
[44] Optimizing bounded model checking for linear hybrid systems
Abrahám, E
Becker, B
Klaedtke, F
Steffen, M
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 396 - 412
[45] Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Fischer, Diana
Kaiser, Lukasz
AUTOMATA, LANGUAGES AND PROGRAMMING, ICALP, PT II, 2011, 6756 : 404 - 415
[46] MODEL CHECKING THE QUANTITATIVE μ-CALCULUS ON LINEAR HYBRID SYSTEMS
Fischer, Diana
Kaiser, Lukasz
LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)
[47] The image computation problem in hybrid systems model checking
Platzer, Andre
Clarke, Edmund M.
HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2007, 4416 : 473 - +
[48] Model Checking of Hybrid Systems Using Shallow Synchronization
Bu, Lei
Cimatti, Alessandro
Li, Xuandong
Mover, Sergio
Tonetta, Stefano
FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2010, 6117 : 155 - +
[49] HyLTL : a temporal logic for model checking hybrid systems
Bresolin, Davide
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (124): : 73 - 84
[50] Statistical Model Checking for hybrid Petri nets with multiple general transitions
Pilch, Carina
Remke, Anne
2017 47TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2017, : 475 - 486

← 1 2 3 4 5 →