Component-based Modeling and Reachability Analysis of Genetic Networks - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2008

Component-based Modeling and Reachability Analysis of Genetic Networks

Résumé

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.
Fichier principal
Vignette du fichier
RR-6755.pdf (333.85 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00344856 , version 1 (05-12-2008)

Identifiants

  • HAL Id : inria-00344856 , version 1

Citer

Gregor Goessler. Component-based Modeling and Reachability Analysis of Genetic Networks. [Research Report] RR-6755, INRIA. 2008. ⟨inria-00344856⟩
81 Consultations
144 Téléchargements

Partager

Gmail Facebook X LinkedIn More