HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Modeling and Compositional Analysis of Genetic Regulatory Networks

Gregor Gössler 1
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 : Proteins fulfil a huge number of functions in any living organism. The dynamics of the protein concentrations in a cell is defined by a regulatory network which usually encompasses a multitude of highly complex feedback loops. Being able to model and analyze its structure and behavior is crucial for understanding the functions of the proteins and their interactions. For a modeling framework to be useful in practice, two factors are crucial: the model must faithfully represent the actual behavior of the network, and it must be supported by analysis algorithms that are efficient enough to cope with complex models, and scale up well. Therefore, this paper makes two different contributions. First, we present a framework for modeling genetic regulatory networks in a modular yet faithful manner based on the mathematically well-founded formalism of differential inclusions. In our approach, the different components of the system (proteins or sets proteins) and the way they constrain each other, are modeled separately and modularly. Second, we propose efficient algorithms to analyze the behavior of the model. The algorithms are compositional in the sense that they verify local properties on the individual components. Sufficient conditions on these local properties and on the constraints between the components then allow to efficiently infer properties of the whole system, such as reachability and existence of equilibrium states. Two case studies show the potential of this approach.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 2:36:51 PM
Last modification on : Friday, February 4, 2022 - 3:24:00 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:01:26 PM


  • HAL Id : inria-00071211, version 1



Gregor Gössler. Modeling and Compositional Analysis of Genetic Regulatory Networks. [Research Report] RR-5801, INRIA. 2006. ⟨inria-00071211⟩



Record views


Files downloads