title: Component-based modeling and reachability analysis of genetic networks.
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.
authors.affiliation: INRIA Grenoble-Rhône-Alpes, 38334 Montbonnot St., Ismier, France. gregor.goessler@inria.fr
authors.forename: Gregor
authors.initials: G
authors.lastname: Gössler
mesh_terms: D000465:Algorithms; D000818:Animals; D002450:Cell Communication / Q000235:genetics; D002478:Cells, Cultured; D004330:Drosophila; D053263:Gene Regulatory Networks / Q000235:genetics*; D016014:Linear Models; D008957:Models, Genetic; D009474:Neurons / Q000166:cytology; D012867:Skin / Q000166:cytology / Q000196:embryology; D049490:Systems Biology / Q000379:methods*; D014981:Xenopus