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)
Gregor Gössler , INRIA Grenoble, Rhone-Alpes
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TCBB.2010.81
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.
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.81