Statistical Model Checking for Stochastic Hybrid Systems

Alexandre David; Kim G. Larsen; Marius Mikučionis; Danny Bøgsted Poulsen; Axel Legay; Sean Sedwards; Dehui Du

doi:10.4204/EPTCS.92.9

Statistical Model Checking for Stochastic Hybrid Systems

Alexandre David
, Kim G. Larsen
, Marius Mikučionis
, Danny Bøgsted Poulsen
, Axel Legay
, Sean Sedwards
, Dehui Du

软件工程学院

Aalborg University
Institut national de recherche en informatique et en automatique

科研成果: 期刊稿件 › 会议文章 › 同行评审

56 引用（Scopus）

摘要

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
期刊	Electronic Proceedings in Theoretical Computer Science, EPTCS
卷	92
DOI	https://doi.org/10.4204/EPTCS.92.9
出版状态	已出版 - 15 8月 2012
活动	1st International Workshop on Hybrid Systems and Biology, HSB 2012 - Newcastle Upon Tyne, 英国期限: 3 9月 2012 → …

访问文件

10.4204/EPTCS.92.9

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{2dc8def04d124fa092b8df0f3bd98e50,

title = "Statistical Model Checking for Stochastic Hybrid Systems",

abstract = "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.",

author = "Alexandre David and Larsen, \{Kim G.\} and Marius Miku{\v c}ionis and Poulsen, \{Danny B{\o}gsted\} and Axel Legay and Sean Sedwards and Dehui Du",

note = "Publisher Copyright: {\textcopyright} David, Du, Larsen, Legay, Miku{\v c}ionis, Poulsen, Sedwards; 1st International Workshop on Hybrid Systems and Biology, HSB 2012 ; Conference date: 03-09-2012",

year = "2012",

month = aug,

day = "15",

doi = "10.4204/EPTCS.92.9",

language = "英语",

volume = "92",

pages = "122--136",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Statistical Model Checking for Stochastic Hybrid Systems

AU - David, Alexandre

AU - Larsen, Kim G.

AU - Mikučionis, Marius

AU - Poulsen, Danny Bøgsted

AU - Legay, Axel

AU - Sedwards, Sean

AU - Du, Dehui

PY - 2012/8/15

Y1 - 2012/8/15

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85122001498

U2 - 10.4204/EPTCS.92.9

DO - 10.4204/EPTCS.92.9

M3 - 会议文章

AN - SCOPUS:85122001498

SN - 2075-2180

VL - 92

SP - 122

EP - 136

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 1st International Workshop on Hybrid Systems and Biology, HSB 2012

Y2 - 3 September 2012

ER -

Statistical Model Checking for Stochastic Hybrid Systems

摘要

访问文件

其它文件与链接

指纹

引用此