Statistical Model Checking for Stochastic Hybrid Systems

Alexandre David 1 Marius Mikučionis 1 Kim Guldstrand Larsen 1 Danny Bogsten Poulsen 1 Axel Legay 2 Sean Sedwards 2 Dehui Du 3
1 CISS - Center for Indlejrede Software Systemer
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3 Shanghai Key Laboratory of Trustworthy Computing
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 : Stochastic Hybrid Systems UPPAAL Statistical Model Checking
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 : vendredi 16 novembre 2018 - 01:39:29
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

Collections

INRIA | IRISA | IRISA-D4 | UR1-UFR-ISTIC | UNIV-RENNES

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

426

Téléchargements de fichiers

290

Contact


archive-ouverte@inria.fr