Attractor computation using interconnected Boolean networks: Testing growth rate models in E. Coli

Boolean networks are applied as a tool for model testing and discrimination.A large network is analyzed as an interconnection of two Boolean models.The cost of computing the attractors of the large network is greatly reduced.The method is applied to test dynamical models for growth rate in bacteria. Boolean networks provide a useful tool to address questions on the structure of large biochemical interactions since they do not require kinetic details and, in addition, a wide range of computational tools and algorithms is available to exactly compute and study the dynamical properties of these models. A recently developed method has shown that the attractors, or asymptotic behavior, of an asynchronous Boolean network can be computed at a much lower cost if the network is written as an interconnection of two smaller modules. We have applied this methodology to study the interconnection of two Boolean models to explore bacterial growth and its interactions with the cellular gene expression machinery, with a focus on growth dynamics as a function of ribosomes, RNA polymerase and other "bulk" proteins inside the cell. The discrete framework permits easier testing of different combinations of biochemical interactions, leading to hypotheses elimination and model discrimination, and thus providing useful insights for the construction of a more detailed dynamical growth model.

[1]  Jean-Luc Gouzé,et al.  A Class of Switched Piecewise Quadratic Systems for Coupling Gene Expression with Growth Rate in Bacteria , 2013, NOLCOS.

[2]  L. Glass,et al.  The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.

[3]  Frédéric Grognard,et al.  Piecewise-Linear Models of Genetic Regulatory Networks: Theory and Example , 2007 .

[4]  Denis Thieffry,et al.  Mathematical Modelling of Cell-Fate Decision in Response to Death Receptor Engagement , 2010, PLoS Comput. Biol..

[5]  V. Fromion,et al.  Bacterial growth rate reflects a bottleneck in resource allocation. , 2011, Biochimica et biophysica acta.

[6]  A. G. Marr,et al.  Growth rate of Escherichia coli. , 1991, Microbiological reviews.

[7]  Jean-Luc Gouzé,et al.  Hierarchical analysis of piecewise affine models of gene regulatory networks , 2008, Theory in Biosciences.

[8]  François Fages,et al.  Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM , 2002 .

[9]  Jean-Luc Gouzé,et al.  A Simple Model to Control Growth Rate of Synthetic E. coli during the Exponential Phase: Model Analysis and Parameter Estimation , 2012, CMSB.

[10]  D Thieffry,et al.  GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks. , 2006, Bio Systems.

[11]  Aurélien Naldi,et al.  Dynamically consistent reduction of logical regulatory graphs , 2011, Theor. Comput. Sci..

[12]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[13]  D. Schneider,et al.  Qualitative simulation of the carbon starvation response in Escherichia coli. , 2006, Bio Systems.

[14]  D. Thieffry,et al.  A logical analysis of the Drosophila gap-gene system. , 2001, Journal of theoretical biology.

[15]  J. Geiselmann,et al.  Shared control of gene expression in bacteria by transcription factors and global physiology of the cell , 2013, Molecular systems biology.

[16]  Laurent Trilling,et al.  A declarative constraint-based method for analyzing discrete genetic regulatory networks , 2009, Biosyst..

[17]  R. Thomas,et al.  Boolean formalization of genetic control circuits. , 1973, Journal of theoretical biology.

[18]  Madalena Chaves,et al.  Interconnection of asynchronous Boolean networks, asymptotic and transient dynamics , 2013, Autom..

[19]  Rui-Sheng Wang,et al.  Boolean modeling in systems biology: an overview of methodology and applications , 2012, Physical biology.

[20]  Madalena Chaves,et al.  Predicting the asymptotic dynamics of large biological networks by interconnections of Boolean modules , 2011, IEEE Conference on Decision and Control and European Control Conference.

[21]  Steffen Klamt,et al.  A Logical Model Provides Insights into T Cell Receptor Signaling , 2007, PLoS Comput. Biol..

[22]  Jean-Luc Gouzé,et al.  Comparing Boolean and Piecewise Affine Differential Models for Genetic Networks , 2010, Acta biotheoretica.

[23]  Andreas Kremling,et al.  Correlation between Growth Rates, EIIACrr Phosphorylation, and Intracellular Cyclic AMP Levels in Escherichia coli K-12 , 2007, Journal of bacteriology.

[24]  Matthias Reuss,et al.  Topology of the global regulatory network of carbon limitation in Escherichia coli. , 2007, Journal of biotechnology.

[25]  Alexander Bockmayr,et al.  Comparing Discrete and Piecewise Affine Differential Equation Models of Gene Regulatory Networks , 2012, IPCAT.

[26]  Volkan Sevim,et al.  Reliability of Transcriptional Cycles and the Yeast Cell-Cycle Oscillator , 2010, PLoS Comput. Biol..

[27]  P. V. Ham,et al.  How to deal with variables with more than two levels , 1979 .

[28]  H. Othmer,et al.  The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster. , 2003, Journal of theoretical biology.

[29]  Alexander Bockmayr,et al.  Analysis and Characterization of Asynchronous State Transition Graphs Using Extremal States , 2013, Bulletin of mathematical biology.

[30]  Richard E. Grandy,et al.  Orlando, Florida, USA , 2011 .

[31]  U. Alon,et al.  Cost of unneeded proteins in E. coli is reduced after several generations in exponential growth. , 2010, Molecular cell.