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
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.
86 ms
(Ver 3.3 (11022016))