The Community for Technology Leaders
Green Image
Issue No. 03 - May/June (2011 vol. 8)
ISSN: 1545-5963
pp: 672-682
Gregor Gössler , INRIA Grenoble, Rhone-Alpes
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. , pp. 672-682, May/June 2011, doi:10.1109/TCBB.2010.81
106 ms
(Ver 3.1 (10032016))