Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics

Résumé

The recently introduced Hybrid Automata Stochastic Logic (HASL) [8] establishes a powerful framework for the analysis of a broad class of stochastic processes, namely Discrete Event Stochastic Processes (DESPs). Here we demonstrate the potential of HASL based verification in the context of genetic circuits. To this aim we consider the analysis of a model of gene expression with delayed stochastic dynamics, a class of systems whose dynamics includes both Markovian and non-Markovian events. We identify a number of relevant properties related to this model, formally express them in HASL terms and, assess them with COSMOS, a statistical model checker for HASL model checking. We demonstrate that this allows assessing the "performances" of a biological system beyond the capability of other stochastic logics.
Fichier principal
Vignette du fichier
cmsb12.pdf (463.71 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00832096 , version 1 (10-06-2013)

Identifiants

  • HAL Id : hal-00832096 , version 1

Citer

Paolo Ballarini, Jarno Makela, Andre Ribeiro. Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. Computational Methods in Systems Biology, Oct 2012, United Kingdom. pp.29-48. ⟨hal-00832096⟩

Collections

EC-PARIS MAS MICS
95 Consultations
382 Téléchargements

Partager

Gmail Facebook X LinkedIn More