Applications of an expressive statistical model checking approach to the analysis of genetic circuits - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 2015

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

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.
Fichier principal
Vignette du fichier
TCS_CMSB12_rev2.pdf (2.63 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01250521 , version 1 (04-01-2016)
hal-01250521 , version 2 (01-08-2018)

Identifiers

Cite

Paolo Ballarini, Marie Duflot. Applications of an expressive statistical model checking approach to the analysis of genetic circuits. Theoretical Computer Science, 2015, 599, p.4-33. ⟨10.1016/j.tcs.2015.05.018⟩. ⟨hal-01250521v2⟩
178 View
222 Download

Altmetric

Share

Gmail Facebook X LinkedIn More