| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [35 references]
https://hal.inria.fr/hal-01088197
Contributor : Sean Sedwards <>
Submitted on : Thursday, November 27, 2014 - 3:27:58 PM
Last modification on : Tuesday, June 15, 2021 - 4:27:30 PM
Long-term archiving on: : Monday, March 2, 2015 - 9:25:00 AM
Contributor : Sean Sedwards <>
Submitted on : Thursday, November 27, 2014 - 3:27:58 PM
Last modification on : Tuesday, June 15, 2021 - 4:27:30 PM
Long-term archiving on: : Monday, March 2, 2015 - 9:25:00 AM
File
David-et-al2012.pdf
Files produced by the author(s)