Controllability and observability of Boolean networks arising from biology.

Boolean networks are currently receiving considerable attention as a computational scheme for system level analysis and modeling of biological systems. Studying control-related problems in Boolean networks may reveal new insights into the intrinsic control in complex biological systems and enable us to develop strategies for manipulating biological systems using exogenous inputs. This paper considers controllability and observability of Boolean biological networks. We propose a new approach, which draws from the rich theory of symbolic computation, to solve the problems. Consequently, simple necessary and sufficient conditions for reachability, controllability, and observability are obtained, and algorithmic tests for controllability and observability which are based on the Gröbner basis method are presented. As practical applications, we apply the proposed approach to several different biological systems, namely, the mammalian cell-cycle network, the T-cell activation network, the large granular lymphocyte survival signaling network, and the Drosophila segment polarity network, gaining novel insights into the control and/or monitoring of the specific biological systems.

[1]  S. Kauffman.  Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[2]  Eduardo Sontag.  On the Observability of Polynomial Systems, I: Finite-Time Problems , 1979 .

[3]  K. E. Kurten.  Correspondence between neural threshold networks and Kauffman Boolean cellular automata , 1988 .

[4]  E. D. Weinberger,et al.  The NK model of rugged fitness landscapes and its application to maturation of the immune response. , 1989, Journal of theoretical biology.

[5]  David A. Cox,et al.  Ideals, Varieties, and Algorithms , 1997 .

[6]  I. Mareels,et al.  Dead beat controllability of polynomial systems: symbolic computation approaches , 1998, IEEE Trans. Autom. Control..

[7]  Kim Sneppen,et al.  NEUTRAL MUTATIONS AND PUNCTUATED EQUILIBRIUM IN EVOLVING GENETIC NETWORKS , 1997, physics/9708026.

[8]  M. Stern,et al.  Emergence of homeostasis and "noise imprinting" in an evolution model. , 1999, Proceedings of the National Academy of Sciences of the United States of America.

[9]  S. Bornholdt,et al.  Topological evolution of dynamical networks: global criticality from local dynamics. , 2000, Physical review letters.

[10]  S. Huang,et al.  Shape-dependent control of cell growth, differentiation, and apoptosis: switching between attractors in cell regulatory networks. , 2000, Experimental cell research.

[11]  S Bornholdt,et al.  Robustness as an evolutionary principle , 2000, Proceedings of the Royal Society of London. Series B: Biological Sciences.

[12]  Edward R. Dougherty,et al.  From Boolean to probabilistic Boolean networks as models of genetic regulatory networks , 2002, Proc. IEEE.

[13]  Carsten Peterson,et al.  Random Boolean network models and the yeast transcriptional network , 2003, Proceedings of the National Academy of Sciences of the United States of America.

[14]  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.

[15]  Q. Ouyang,et al.  The yeast cell-cycle network is robustly designed. , 2003, Proceedings of the National Academy of Sciences of the United States of America.

[16]  R. Laubenbacher,et al.  A computational algebra approach to the reverse engineering of gene regulatory networks. , 2003, Journal of theoretical biology.

[17]  Qianchuan Zhao,et al.  A remark on "Scalar equations for synchronous Boolean networks with biological Applications" by C. Farrow, J. Heidel, J. Maloney, and J. Rogers , 2005, IEEE Transactions on Neural Networks.

[18]  Madalena Chaves,et al.  Robustness and fragility of Boolean models for genetic regulatory networks. , 2005, Journal of theoretical biology.

[19]  Steffen Klamt,et al.  A methodology for the structural and functional analysis of signaling and regulatory networks , 2006, BMC Bioinformatics.

[20]  M. Aldana,et al.  From Genes to Flower Patterns and Evolution: Dynamic Models of Gene Regulatory Networks , 2006, Journal of Plant Growth Regulation.

[21]  Abdul Salam Jarrah,et al.  Discrete Models of Biochemical Networks: The Toric Variety of Nested Canalyzing Functions , 2007, AB.

[22]  Janet Wiles,et al.  Robustness and state-space structure of Boolean gene regulatory models. , 2007, Journal of theoretical biology.

[23]  M. Ng,et al.  Control of Boolean networks: hardness results and algorithms for tree structured networks. , 2007, Journal of theoretical biology.

[24]  R. Albert,et al.  Network model of survival signaling in large granular lymphocyte leukemia , 2008, Proceedings of the National Academy of Sciences.

[25]  Sumit Kumar Jha,et al.  Symbolic Approaches for Finding Control Strategies in Boolean Networks , 2007, APBC.

[26]  Aniruddha Datta,et al.  Optimal Constrained Stationary Intervention in Gene Regulatory Networks , 2008, EURASIP J. Bioinform. Syst. Biol..

[27]  Daizhan Cheng,et al.  Controllability and observability of Boolean control networks , 2009, Autom..

[28]  I. Albert,et al.  Attractor analysis of asynchronous Boolean models of signal transduction networks. , 2010, Journal of theoretical biology.

[29]  Per-Olof Berggren,et al.  Novel aspects on pancreatic beta-cell signal-transduction. , 2010, Biochemical and biophysical research communications.

[30]  Daizhan Cheng,et al.  Input-state incidence matrix of Boolean control networks and its applications , 2010, Syst. Control. Lett..

[31]  Abdul Salam Jarrah,et al.  Polynomial algebra of discrete models in systems biology , 2010, Bioinform..

[32]  Jun-ichi Imura,et al.  Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks , 2010, EURASIP J. Bioinform. Syst. Biol..

[33]  Fangfei Li,et al.  Controllability of Boolean control networks with time delays in states , 2011, Autom..

[34]  Fangfei Li,et al.  Observability of Boolean Control Networks With State Time Delays , 2011, IEEE Transactions on Neural Networks.

[35]  Albert-László Barabási,et al.  Controllability of complex networks , 2011, Nature.

[36]  A. Motter,et al.  Rescuing ecosystems from extinction cascades through compensatory perturbations. , 2011, Nature communications.

[37]  Yuzhen Wang,et al.  On reachability and controllability of switched Boolean control networks , 2012, Autom..

[38]  Albert-László Barabási,et al.  Control Centrality and Hierarchical Structure in Complex Networks , 2012, PloS one.

[39]  K Kobayashi,et al.  Symbolic approach to verification and control of deterministic/probabilistic Boolean networks. , 2012, IET systems biology.

[40]  Adilson E Motter,et al.  Network observability transitions. , 2012, Physical review letters.

[41]  Alan Veliz-Cuba,et al.  An Algebraic Approach to Reverse Engineering Finite Dynamical Systems Arising from Biology , 2012, SIAM J. Appl. Dyn. Syst..

[42]  T. Chu,et al.  Synchronization in an array of coupled Boolean networks , 2012 .

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

[44]  Lequn Zhang,et al.  Controllability and observability of switched Boolean control networks , 2012 .

[45]  Tianguang Chu,et al.  Evaluation of attractors and basins of asynchronous random Boolean networks. , 2012 .

[46]  Michael Margaliot,et al.  Controllability of Boolean control networks via the Perron-Frobenius theory , 2012, Autom..

[47]  Tianguang Chu,et al.  Complete Synchronization of Boolean Networks , 2012, IEEE Transactions on Neural Networks and Learning Systems.

[48]  Yuzhen Wang,et al.  Consistent stabilizability of switched Boolean networks , 2013, Neural Networks.

[49]  Fangfei Li,et al.  Minimum energy control and optimal-satisfactory control of Boolean control network , 2013 .

[50]  Ettore Fornasini,et al.  Observability, Reconstructibility and State Observers of Boolean Control Networks , 2013, IEEE Transactions on Automatic Control.

[51]  Xingyuan Wang,et al.  Dynamics of Random Boolean Networks under Fully Asynchronous Stochastic Update Based on Linear Representation , 2013, PloS one.

[52]  Tianguang Chu,et al.  State Feedback Stabilization for Boolean Control Networks , 2013, IEEE Transactions on Automatic Control.

[53]  Jie Sun,et al.  Controllability transition and nonlocality in network control. , 2013, Physical review letters.

[54]  Albert-László Barabási,et al.  Observability of complex systems , 2013, Proceedings of the National Academy of Sciences.

[55]  Michael Margaliot,et al.  Observability of Boolean networks: A graph-theoretic approach , 2013, Autom..

[56]  Yiguang Hong,et al.  Solvability and control design for synchronization of Boolean networks , 2013, Journal of Systems Science and Complexity.

[57]  S. P. Cornelius,et al.  Realistic control of network dynamics , 2013, Nature Communications.

[58]  Endre Csóka,et al.  Emergence of bimodality in controlling complex networks , 2013, Nature Communications.

[59]  Xingyuan Wang,et al.  Controllability of asynchronous Boolean multiplex control networks. , 2014, Chaos.

[60]  Jiandong Zhu,et al.  System decomposition with respect to inputs for Boolean control networks , 2014, Autom..

[61]  Derek Ruths,et al.  Control Profiles of Complex Networks , 2014, Science.

[62]  Fangfei Li.  Synchronization of coupled large-scale Boolean networks. , 2014, Chaos.

[63]  Réka Albert,et al.  Comment on “Control profiles of complex networks” , 2014, Science.

[64]  Colin Campbell,et al.  Stabilization of perturbed Boolean network attractors through compensatory interactions , 2014, BMC Systems Biology.

[65]  Hao Zhang,et al.  Synchronization of Boolean Networks with Different Update Schemes , 2014, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[66]  Tianguang Chu,et al.  Construction of a Boolean model of gene and protein regulatory network with memory , 2014, Neural Networks.

[67]  T. Chu,et al.  Observability conditions of Boolean control networks , 2014 .

[68]  Reinhard Laubenbacher,et al.  Algebraic Models and Their Use in Systems Biology , 2014, Discrete and Topological Models in Molecular Biology.