CSDL Home IEEE/ACM Transactions on Computational Biology and Bioinformatics 2011 vol.8 Issue No.03 - May/June

Issue No.03 - May/June (2011 vol.8)

pp: 672-682

Gregor Gössler , INRIA Grenoble, Rhone-Alpes

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TCBB.2010.81

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.

INDEX TERMS

Genetic regulatory network, discrete abstraction, component model, formal verification, reachability, modularity.

CITATION

Gregor Gössler, "Component-Based Modeling and Reachability Analysis of Genetic Networks",

*IEEE/ACM Transactions on Computational Biology and Bioinformatics*, vol.8, no. 3, pp. 672-682, May/June 2011, doi:10.1109/TCBB.2010.81REFERENCES