Applications of an expressive statistical model checking approach to the analysis of genetic circuits

Paolo Ballarini 1 Marie Duflot 2
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Stochastic temporal logics have demonstrated their efficiency in the analysis of discrete-state stochastic models. In this paper we consider the application of a recently introduced formalism, namely the Hybrid Automata Stochastic Language (HASL), to the analysis of biological models of genetic circuits. In particular we demonstrate the potential of HASL by focusing on two aspects: first the analysis of a genetic oscillator and then the analysis of gene expression. With respect to oscillations, we formalize a number of HASL based measures which we apply on a realistic model of a three-gene repressilator. With respect to gene expression, we consider a model with delayed stochastic dynamics, a class of systems whose dynamics includes both Markovian and non-Markovian events, and we identify a number of relevant and sophisticated measures. To assess the HASL defined measures we employ the COSMOS tool, a statistical model checker designed for HASL model checking.
Type de document :
Article dans une revue
Journal of Theoretical Computer Science (TCS), Elsevier, 2015, 599, pp.30. 〈10.1016/j.tcs.2015.05.018〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01250521
Contributeur : Marie Duflot <>
Soumis le : lundi 4 janvier 2016 - 23:28:45
Dernière modification le : mardi 13 décembre 2016 - 15:45:51
Document(s) archivé(s) le : vendredi 15 avril 2016 - 16:20:57

Fichier

TCS_CMSB12.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Paolo Ballarini, Marie Duflot. Applications of an expressive statistical model checking approach to the analysis of genetic circuits. Journal of Theoretical Computer Science (TCS), Elsevier, 2015, 599, pp.30. 〈10.1016/j.tcs.2015.05.018〉. 〈hal-01250521〉

Partager

Métriques

Consultations de
la notice

182

Téléchargements du document

61