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 条

[41] 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
[42] Stochastic model checking with stochastic comparison
Pekergin, N
Younès, S
FORMAL TECHNIQUES FOR COMPUTER SYSTEMS AND BUSINESS PROCESSES, PROCEEDINGS, 2005, 3670 : 109 - 123
[43] 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
[44] Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Fischer, Diana
Kaiser, Lukasz
AUTOMATA, LANGUAGES AND PROGRAMMING, ICALP, PT II, 2011, 6756 : 404 - 415
[45] MODEL CHECKING THE QUANTITATIVE μ-CALCULUS ON LINEAR HYBRID SYSTEMS
Fischer, Diana
Kaiser, Lukasz
LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)
[46] The image computation problem in hybrid systems model checking
Platzer, Andre
Clarke, Edmund M.
HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2007, 4416 : 473 - +
[47] 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 - +
[48] HyLTL : a temporal logic for model checking hybrid systems
Bresolin, Davide
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (124): : 73 - 84
[49] 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
[50] DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs
Ramesh, Yenda
Anand, Nikhil
Rao, M. V. Panduranga
PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS (PRIMA 2019), 2019, 11873 : 627 - 634

← 1 2 3 4 5 →