Computing Hierarchical Transition Graphs of Asynchronous Genetic Regulatory Networks
In the field of theoretical biology the study of the dynamics of the so-called gene regulatory networks is useful to follow the relationship between the expression of a gene and its dynamic regulatory effect on the cell fate. To date, most of the models developed for this purpose, applies the synchronous update schedule while reality is far from being so. On the other hand, the more realistic asynchronous update requires to compute all possible updates at each single instant, thus bearing a much greater computational load.
In the present work, we describe a novel method that addresses the problem of efficiently exploring the dynamics of a gene regulatory network with the asynchronous update.
KeywordsSAT solver Discrete dynamical systems Tarjan’s algorithm Gene regulatory networks Strongly connected components
- [BFG+93]Bahar, R.I., Frohm, E.A., Gaona, C.M., Hachtel, G.D., Macii, E., Pardo, A., Somenzi, F.: Algebraic decision diagrams and their applications. In: 1993 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1993, Digest of Technical Papers, pp. 188–191. IEEE (1993)Google Scholar
- [HB97]Harvey, I., Bossomaier, T.: Time out of joint: attractors in asynchronous random Boolean networks. In: Proceedings of the Fourth European Conference on Artificial Life, pp. 67–75. MIT Press, Cambridge (1997)Google Scholar
- [Kau93]Kauffman, S.A.: The Origins of Order: Self-organization and Selection in Evolution. Oxford University Press, Oxford (1993)Google Scholar
- [PBC+10]Pedicini, M., Barrenäs, F., Clancy, T., Castiglione, F., Hovig, E., Kanduri, K., Santoni, D., Benson, M.: Combining network modeling and gene expression microarray analysis to explore the dynamics of Th1 and Th2 cell regulation. PLoS Comput. Biol. 6(12), e1001032 (2010)MathSciNetCrossRefGoogle Scholar