@inproceedings{bb9d8b0093d14e089e780f451a253719,
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.",
keywords = "Hybrid systems, Stochastic Models, statistical model checking",
author = "Alexandre David and Dehui Du and Larsen, {Kim Guldstrand} and Axel Legay and Marius Miku{\v c}ionis and Poulsen, {Danny B{\o}gsted} and Sean Sedwards",
year = "2012",
month = sep,
day = "3",
doi = "10.4204/EPTCS.92.9",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
number = "92",
pages = "122--136",
editor = "Ezio Bartocci and Luca Bortolussi",
booktitle = "Proceedings First International Workshop on Hybrid Systems and Biology",
note = "Hybrid Systems and Biology, HSB ; Conference date: 03-09-2012 Through 07-09-2012",
}