Paper Info
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.
Year
DOI
Venue
2011
10.1109/TCBB.2010.81
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Keywords
Field
DocType
genetic networks,reachability property,compositional algorithm,modular discrete abstraction,embryonic cell differentiation,genetic regulatory network,case study,genetic network,formal analysis,component-based modeling,modular approach,reachability analysis,component model,limiting factor,linear systems,mathematical model,linear system,computational modeling,molecular biophysics,formal verification,modularity,genetics,computer model,reachability,cell differentiation,feedback loop,proteins,switches
Linear system,Computer science,Systems biology,Theoretical computer science,Reachability,Bioinformatics,Modular design,Gene regulatory network,State space,Modularity,Formal verification
Journal
Volume
Issue
ISSN
8
3
1545-5963
Citations 
PageRank 
References 
5
0.54
20
Authors
1
Name
Order
Citations
PageRank
Gregor Goessler1664.25