Modeling and Analysis of Qualitative Behavior of Gene Regulatory Networks
We describe a hybrid system based framework for modeling gene regulation and other biomolecular networks and a method for analysis of the dynamic behavior of such models. A particular feature of the proposed framework is the focus on qualitative experimentally testable properties of the system. With this goal in mind we introduce the notion of the frame of a hybrid system, which allows for the discretisation of the state space of the network. We propose two different methods for the analysis of this state space. The result of the analysis is a set of attractors that characterize the underlying biological system.
Whilst in the general case the problem of finding attractors in the state space is algorithmically undecidable, we demonstrate that our methods work for comparatively complex gene regulatory network model of \(\lambda \)-phage. For this model we are able to identify attractors corresponding to two known biological behaviors of \(\lambda \)-phage: lysis and lysogeny and also to show that there are no other stable behavior regions for this model.
KeywordsGene Regulatory Network Hybrid Automaton Transition Constant Strongly Connect Component Outgoing Transition
- 3.Bartocci, E., Liò, P., Merelli, E., Paoletti, N.: Multiple verification in complex biological systems: the bone remodelling case study. In: Priami, C., Petre, I., de Vink, E. (eds.) Transactions on Computational Systems Biology XIV. LNCS, vol. 7625, pp. 53–76. Springer, Heidelberg (2012) CrossRefGoogle Scholar
- 5.Brazma, A., Schlitt, T.: Reverse engineering of gene regulatory networks: a finite state linear model. Genome Biol. 4(P5), 1–31 (2003)Google Scholar
- 8.Fromentin, J., Eveillard, D., Roux, O.: Hybrid modeling of biological networks: mixing temporal and qualitative biological properties. BMC Syst. Biol. 4(79), 11 (2010)Google Scholar
- 12.Ruklisa, D., Brazma, A., Viksna, J.: Reconstruction of gene regulatory networks under the finite state linear model. Genome Inform. 16, 225–236 (2005)Google Scholar