Statistical Model Checking for Stochastic Hybrid Systems

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

51 Citations (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.
Original languageEnglish
Title of host publicationProceedings First International Workshop on Hybrid Systems and Biology
EditorsEzio Bartocci, Luca Bortolussi
Number of pages15
Place of PublicationNewcastle Upon Tyne
Publication date3 Sept 2012
Publication statusPublished - 3 Sept 2012
EventHybrid Systems and Biology - Newcastle Upon Tyne, United Kingdom
Duration: 3 Sept 20127 Sept 2012


ConferenceHybrid Systems and Biology
Country/TerritoryUnited Kingdom
CityNewcastle Upon Tyne
SeriesElectronic Proceedings in Theoretical Computer Science


  • Hybrid systems
  • Stochastic Models
  • statistical model checking


Dive into the research topics of 'Statistical Model Checking for Stochastic Hybrid Systems'. Together they form a unique fingerprint.

Cite this