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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Abstrakt

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.
OriginalsprogEngelsk
TitelProceedings First International Workshop on Hybrid Systems and Biology
RedaktørerEzio Bartocci, Luca Bortolussi
Antal sider15
UdgivelsesstedNewcastle Upon Tyne
Publikationsdato3 sep. 2012
Sider122-136
DOI
StatusUdgivet - 3 sep. 2012
BegivenhedHybrid Systems and Biology - Newcastle Upon Tyne, Storbritannien
Varighed: 3 sep. 20127 sep. 2012

Konference

KonferenceHybrid Systems and Biology
LandStorbritannien
ByNewcastle Upon Tyne
Periode03/09/201207/09/2012
NavnElectronic Proceedings in Theoretical Computer Science
Nummer92
ISSN2075-2180

Fingeraftryk Dyk ned i forskningsemnerne om 'Statistical Model Checking for Stochastic Hybrid Systems'. Sammen danner de et unikt fingeraftryk.

Citationsformater