An Efficient Method for Dynamic Analysis of Gene Regulatory Networks and in silico Gene Perturbation Experiments

With the increasing availability of experimental data on gene-gene and protein-protein interactions, modeling of gene regulatory networks has gained a special attention lately. To have a better understanding of these networks it is necessary to capture their dynamical properties, by computing its steady states. Various methods have been proposed to compute steady states but almost all of them suffer from the state space explosion problem with the increasing size of the networks. Hence it becomes difficult to model even moderate sized networks using these techniques. In this paper, we present a new representation of gene regulatory networks, which facilitates the steady state computation of networks as large as 1200 nodes and 5000 edges. We benchmarked and validated our algorithm on the T helper model from [8] and performed in silico knock out experiments: showing both a reduction in computation time and correct steady state identification.

[1]  Guanyu Wang,et al.  Growth factors, cytokines, chemokines and neuropeptides in the modeling of T-cells. , 2002, In vivo.

[2]  S. Szabo,et al.  Molecular mechanisms regulating Th1 immune responses. , 2003, Annual review of immunology.

[3]  Denis Thieffry,et al.  Alternative Epigenetic States Understood in Terms of Specific Regulatory Structures , 2002, Annals of the New York Academy of Sciences.

[4]  Martine Labbé,et al.  Identification of all steady states in large networks by logical analysis , 2003, Bulletin of mathematical biology.

[5]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[6]  Giovanni De Micheli,et al.  Synthesis and Optimization of Digital Circuits , 1994 .

[7]  R Thomas,et al.  Dynamical behaviour of biological regulatory networks--I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. , 1995, Bulletin of mathematical biology.

[8]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[9]  Denis Thieffry,et al.  Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis , 1999, Bioinform..

[10]  Denis Thieffry,et al.  Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module. , 2003, Journal of theoretical biology.

[11]  J. Hemmen,et al.  Cytokine-modulated regulation of helper T cell populations. , 2000, Journal of theoretical biology.

[12]  Edmund M. Clarke,et al.  Symbolic model checking for sequential circuit verification , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[13]  Kenneth M. Murphy,et al.  Decision making in the immune system: The lineage decisions of helper T cells , 2002, Nature Reviews Immunology.

[14]  Fabio Somenzi,et al.  CUDD: CU Decision Diagram Package Release 2.2.0 , 1998 .

[15]  A S Perelson,et al.  Localized memories in idiotypic networks. , 1990, Journal of theoretical biology.

[16]  Enrico Macii,et al.  Markovian analysis of large finite state machines , 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[17]  Pierre Hansen,et al.  Identification Of All Steady States In Large Biological Systems By Logical Analysis , 2007 .

[18]  Robert K. Brayton,et al.  Implicit state enumeration of finite state machines using BDD's , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[19]  Adrien Richard,et al.  Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic. , 2004, Journal of theoretical biology.

[20]  Massimo Gadina,et al.  Cytokines and Transcription Factors That Regulate T Helper Cell Differentiation: New Players and New Insights , 2003, Journal of Clinical Immunology.

[21]  Ioannis Xenarios,et al.  A method for the generation of standardized qualitative dynamical systems of regulatory networks , 2005, Theoretical Biology and Medical Modelling.

[22]  Peter A. Beerel,et al.  Efficient state classification of finite state Markov chains , 1998, DAC.

[23]  G. Sharp,et al.  IFN-gamma-deficient mice develop severe granulomatous experimental autoimmune thyroiditis with eosinophil infiltration in thyroids. , 1998, Journal of immunology.

[24]  E. Fikrig,et al.  Inhibition of Th1 differentiation by IL-6 is mediated by SOCS1. , 2000, Immunity.

[25]  Luis Mendoza,et al.  A network model for the control of the differentiation process in Th cells. , 2006, Bio Systems.

[26]  L. Segel,et al.  Th1 or Th2: How an appropriate T helper response can be made , 2001, Bulletin of mathematical biology.

[27]  René Thomas Regulatory networks seen as asynchronous automata: A logical description , 1991 .

[28]  Thomas A. Henzinger,et al.  MOCHA: Modularity in Model Checking , 1998, CAV.