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

Software Engineering Institute

Aalborg University
Institut national de recherche en informatique et en automatique

Research output: Contribution to journal › Conference article › peer-review

56 Scopus citations

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.

Original language	English
Pages (from-to)	122-136
Number of pages	15
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	92
DOIs	https://doi.org/10.4204/EPTCS.92.9
State	Published - 15 Aug 2012
Event	1st International Workshop on Hybrid Systems and Biology, HSB 2012 - Newcastle Upon Tyne, United Kingdom Duration: 3 Sep 2012 → …

Access to Document

10.4204/EPTCS.92.9

Cite this

@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

Abstract

Access to Document

Other files and links

Fingerprint

Cite this