Issue No. 03 - May/June (2011 vol. 8)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TCBB.2010.81
Gregor Gössler , INRIA Grenoble, Rhone-Alpes
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.
Genetic regulatory network, discrete abstraction, component model, formal verification, reachability, modularity.
G. Gössler, "Component-Based Modeling and Reachability Analysis of Genetic Networks," in IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 8, no. , pp. 672-682, 2010.