Component-Based Modeling and Reachability Analysis of Genetic Networks - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles IEEE/ACM Transactions on Computational Biology and Bioinformatics Year : 2011

Component-Based Modeling and Reachability Analysis of Genetic Networks

Abstract

Genetic regulatory networks usually encompass a multitude of complex, interacting feedback loops. Being able to model and analyze their behavior is crucial for understanding their function. However, state space explosion is becoming a limiting factor in the formal analysis of genetic networks. This paper explores a modular approach for verification of reachability properties. A framework for component-based modeling of genetic regulatory networks, based on a modular discrete abstraction, is introduced. Then a compositional algorithm to efficiently analyze reachability properties of the model is proposed. A case study on embryonic cell differentiation involving several hundred cells shows the potential of this approach.

Dates and versions

hal-00665209 , version 1 (01-02-2012)

Identifiers

Cite

Gregor Gössler. Component-Based Modeling and Reachability Analysis of Genetic Networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2011, 8 (3), pp.672-682. ⟨10.1109/TCBB.2010.81⟩. ⟨hal-00665209⟩
41 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More