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.
Type de document :
Communication dans un congrès
Bartocci, Ezio and Bortolussi, Luca. Proceedings First International Workshop on Hybrid Systems and Biology, Sep 2012, Newcastle Upon Tyne, United Kingdom. 92, pp.122 - 136, 2012, Electronic Proceedings in Theoretical Computer Science. 〈10.4204/EPTCS.92.9〉
Liste complète des métadonnées

Littérature citée [35 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01088197
Contributeur : Sean Sedwards <>
Soumis le : jeudi 27 novembre 2014 - 15:27:58
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : lundi 2 mars 2015 - 09:25:00

Fichier

David-et-al2012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Alexandre David, Marius Mikučionis, Kim Guldstrand Larsen, Danny Bogsten Poulsen, Axel Legay, et al.. Statistical Model Checking for Stochastic Hybrid Systems. Bartocci, Ezio and Bortolussi, Luca. Proceedings First International Workshop on Hybrid Systems and Biology, Sep 2012, Newcastle Upon Tyne, United Kingdom. 92, pp.122 - 136, 2012, Electronic Proceedings in Theoretical Computer Science. 〈10.4204/EPTCS.92.9〉. 〈hal-01088197〉

Partager

Métriques

Consultations de la notice

392

Téléchargements de fichiers

269