Component-Based Modeling and Reachability Analysis of Genetic Networks - Laboratoire d'Informatique de Grenoble Accéder directement au contenu
Article Dans Une Revue IEEE/ACM Transactions on Computational Biology and Bioinformatics Année : 2011

Component-Based Modeling and Reachability Analysis of Genetic Networks

Résumé

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.
Fichier non déposé

Dates et versions

hal-00665209 , version 1 (01-02-2012)

Identifiants

Citer

Gregor Gössler. Component-Based Modeling and Reachability Analysis of Genetic Networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2011, 8 (3), pp.672-682. ⟨10.1109/TCBB.2010.81⟩. ⟨hal-00665209⟩
42 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More