Skip to Main content Skip to Navigation
Reports

Component-based Modeling and Reachability Analysis of Genetic Networks

Gregor Goessler 1, *
* Corresponding author
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the analysis of discrete transition systems. However, most of these techniques do not scale up well. In this article, we explore a modular approach for the analysis of genetic regulatory networks. We present a framework for modeling genetic regulatory networks in a modular yet faithful manner based on the mathematically well-founded formalism of piecewise linear differential inclusions. We then propose a compositional algorithm to efficiently analyze reachability properties of the model. A case study on embryonic cell differentiation involving several hundred cells shows the potential of this approach.
Complete list of metadata

https://hal.inria.fr/inria-00344856
Contributor : Gregor Gössler <>
Submitted on : Friday, December 5, 2008 - 7:46:09 PM
Last modification on : Tuesday, February 9, 2021 - 3:24:16 PM
Long-term archiving on: : Monday, June 7, 2010 - 11:49:51 PM

Files

RR-6755.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00344856, version 1

Collections

Citation

Gregor Goessler. Component-based Modeling and Reachability Analysis of Genetic Networks. [Research Report] RR-6755, INRIA. 2008. ⟨inria-00344856⟩

Share

Metrics

Record views

244

Files downloads

287