Computation Tree Regular Logic for Genetic Regulatory Networks - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2008

Computation Tree Regular Logic for Genetic Regulatory Networks


Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (GRNs) that govern the functioning of living cells. The applications of model checking in systems biology have revealed that temporal logics should be able to capture both branching-time and fairness properties (needed for specifying multistability and oscillation properties, respectively). At the same time, they should have a user-friendly syntax easy to employ by non-experts. In this report, we define Computation Tree Regular Logic (CTRL), an extension of CTL with regular expressions and fairness operators that attempts to match these criteria. CTRL subsumes both CTL and LTL, and has a reduced set of temporal operators indexed by regular expressions, inspired from the modalities of Propositional Dynamic Logic (PDL). We also develop a translation of CTRL into Hennessy-Milner Logic with Recursion (HMLR), an equational variant of the modal mu-calculus. This has allowed us to obtain an on-the-fly model checker with diagnostic for CTRL by directly reusing the verification technology available in the CADP toolbox. We illustrate the application of the CTRL model checker by analyzing the GRN controlling the carbon starvation response of Escherischia coli.
Fichier principal
Vignette du fichier
RR-6521.pdf (548.29 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00277995 , version 1 (07-05-2008)
inria-00277995 , version 2 (14-05-2008)


  • HAL Id : inria-00277995 , version 2


Radu Mateescu, Pedro Monteiro, Estelle Dumas, Hidde de Jong. Computation Tree Regular Logic for Genetic Regulatory Networks. [Research Report] RR-6521, INRIA. 2008, pp.53. ⟨inria-00277995v2⟩
134 View
413 Download


Gmail Facebook Twitter LinkedIn More