Minimum-Time Control of Boolean Networks

Boolean networks (BNs) are discrete-time dynamical systems with Boolean state variables. BNs have recently been attracting considerable interest as computational models for biological systems and, in particular, gene regulating networks. Boolean control networks (BCNs) are Boolean networks with Boolean inputs. We consider the problem of steering a BCN from a given state to a desired state in minimal time. Using the algebraic state-space representation (ASSR) of BCNs we derive several necessary conditions, stated in the form of maximum principles (MPs), for a control to be time-optimal. In the ASSR every state and input vector is a canonical vector. Using this special structure yields an explicit state-feedback formula for all time-optimal controls. To demonstrate the theoretical results, we develop a BCN model for the genetic switch controlling the lambda phage development upon infection of a bacteria. Our results suggest that this biological switch is designed in a way that guarantees minimal time respon...

[1]  H. Bolouri.  Computational Modeling of Gene Regulatory Networks - A Primer , 2008 .

[2]  Edward R. Dougherty,et al.  Effect of Function Perturbation on the Steady-State Distribution of Genetic Regulatory Networks: Optimal Structural Intervention , 2008, IEEE Transactions on Signal Processing.

[3]  Aniruddha Datta,et al.  External Control in Markovian Genetic Regulatory Networks , 2004, Machine Learning.

[4]  Michael Margaliot,et al.  Analysis of Discrete-Time Linear Switched Systems: A Variational Approach , 2011, SIAM J. Control. Optim..

[5]  R. Laubenbacher,et al.  Boolean models of bistable biological systems , 2009, 0912.2089.

[6]  M. Ptashne.  A Genetic Switch , 1986 .

[7]  Daizhan Cheng,et al.  State–Space Analysis of Boolean Networks , 2010, IEEE Transactions on Neural Networks.

[8]  Nikola Kasabov,et al.  COMPUTATIONAL MODELLING OF GENE REGULATORY NETWORKS , 2005 .

[9]  M. Aldana.  Boolean dynamics of networks with scale-free topology , 2003 .

[10]  T. Zhou,et al.  Optimal control for probabilistic Boolean networks. , 2010, IET systems biology.

[11]  Michael Margaliot,et al.  A second-order maximum principle for discrete-time bilinear control systems with applications to discrete-time linear switched systems , 2011, Autom..

[12]  Michael Margaliot,et al.  Lie-algebraic stability conditions for nonlinear switched systems and differential inclusions , 2006, Syst. Control. Lett..

[13]  Michael Margaliot,et al.  Mathematical modeling of the lambda switch: a fuzzy logic approach. , 2009, Journal of theoretical biology.

[14]  Michael Margaliot,et al.  A Maximum Principle for the Stability Analysis of Positive Bilinear Control Systems with Applications to Positive Linear Switched Systems , 2012, SIAM J. Control. Optim..

[15]  Yin Zhao.  A Floyd-like algorithm for optimization of mix-valued logical control networks , 2011, Proceedings of the 30th Chinese Control Conference.

[16]  Stefan Bornholdt,et al.  Boolean network models of cellular regulation: prospects and limitations , 2008, Journal of The Royal Society Interface.

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

[18]  Grzegorz Wegrzyn,et al.  Genetic switches during bacteriophage lambda development. , 2005, Progress in nucleic acid research and molecular biology.

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

[20]  Z. Szallasi,et al.  Modeling the normal and neoplastic cell cycle with "realistic Boolean genetic networks": their application for understanding carcinogenesis and assessing therapeutic strategies. , 1998, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[21]  Daizhan Cheng,et al.  Disturbance Decoupling of Boolean Control Networks , 2011, IEEE Transactions on Automatic Control.

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

[23]  Michael Margaliot,et al.  On the Stability of Positive Linear Switched Systems Under Arbitrary Switching Laws , 2009, IEEE Transactions on Automatic Control.

[24]  A. Wagner,et al.  Multifunctionality and robustness trade-offs in model genetic circuits. , 2008, Biophysical journal.

[25]  Stuart A. Kauffman,et al.  The origins of order , 1993 .

[26]  Michael Margaliot,et al.  A Maximum Principle for Single-Input Boolean Control Networks , 2011, IEEE Transactions on Automatic Control.

[27]  A. Arkin,et al.  Stochastic kinetic analysis of developmental pathway bifurcation in phage lambda-infected Escherichia coli cells. , 1998, Genetics.

[28]  Joel L. Schiff,et al.  Cellular Automata: A Discrete View of the World (Wiley Series in Discrete Mathematics & Optimization) , 2007 .

[29]  E. Gilbert,et al.  Computation of minimum-time feedback control laws for discrete-time systems with state-control constraints , 1987 .

[30]  Yoav Sharon,et al.  Third-Order Nilpotency, Finite Switchings and Asymptotic Stability , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[31]  B. Samuelsson,et al.  Superpolynomial growth in the number of attractors in Kauffman networks. , 2003, Physical review letters.

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

[33]  E. Dougherty,et al.  Gene perturbation and intervention in probabilistic Boolean networks. , 2002, Bioinformatics.

[34]  Ashish Choudhury,et al.  Control approaches for probabilistic gene regulatory networks - What approaches have been developed for addreassinig the issue of intervention? , 2007, IEEE Signal Processing Magazine.

[35]  G. K. Ackers,et al.  Quantitative model for gene regulation by lambda phage repressor. , 1982, Proceedings of the National Academy of Sciences of the United States of America.

[36]  Daizhan Cheng,et al.  Input-State Approach to Boolean Networks , 2009, IEEE Transactions on Neural Networks.

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

[38]  A. Agrachev,et al.  Control Theory from the Geometric Viewpoint , 2004 .

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

[40]  B. Drossel,et al.  Number and length of attractors in a critical Kauffman model with connectivity one. , 2004, Physical review letters.

[41]  M. Hestenes.  Calculus of variations and optimal control theory , 1966 .

[42]  Abraham Kandel,et al.  Foundations of Digital Logic Design , 1998 .

[43]  Daizhan Cheng,et al.  Realization of Boolean control networks , 2010, Autom..

[44]  R. Shorten,et al.  Some results on the stability of positive switched linear systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[45]  Aniruddha Datta,et al.  Optimal infinite horizon control for probabilistic Boolean networks , 2006, 2006 American Control Conference.

[46]  M. Margaliot,et al.  A Pontryagin Maximum Principle for Multi – Input Boolean Control Networks ⋆ , 2011 .

[47]  M.H. Hassoun,et al.  Fundamentals of Artificial Neural Networks , 1996, Proceedings of the IEEE.

[48]  Daizhan Cheng,et al.  A Linear Representation of Dynamics of Boolean Networks , 2010, IEEE Transactions on Automatic Control.

[49]  R. Albert,et al.  Predicting Essential Components of Signal Transduction Networks: A Dynamic Model of Guard Cell Abscisic Acid Signaling , 2006, PLoS biology.

[50]  Albert,et al.  Dynamics of complex systems: scaling laws for the period of boolean networks , 2000, Physical review letters.

[51]  Tania G. Leishman,et al.  The Emergence of Social Consensus in Boolean Networks , 2007, 2007 IEEE Symposium on Artificial Life.

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

[53]  Michael Margaliot,et al.  Nice reachability for planar bilinear control systems with applications to planar linear switched systems , 2009, IEEE Transactions on Automatic Control.

[54]  Edward R. Dougherty,et al.  Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks , 2002, Bioinform..

[55]  D. Court,et al.  Switches in bacteriophage lambda development. , 2005, Annual review of genetics.

[56]  J. Vohradský.  Neural Model of the Genetic Network* , 2001, The Journal of Biological Chemistry.

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

[58]  Michael Margaliot,et al.  Stability analysis of switched systems using variational principles: An introduction , 2006, Autom..

[59]  S. Brahmachari,et al.  Boolean network analysis of a neurotransmitter signaling pathway. , 2007, Journal of theoretical biology.

[60]  G. B. Pierce,et al.  Differentiation of malignant to benign cells. , 1971, Cancer research.

[61]  Uri Alon,et al.  An Introduction to Systems Biology , 2006 .

[62]  M. Chyba,et al.  Singular Trajectories and Their Role in Control Theory , 2003, IEEE Transactions on Automatic Control.

[63]  Ettore Fornasini,et al.  Reachability of a class of discrete-time positive switched systems , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[64]  Michael Margaliot,et al.  Mathematical Modeling of the Λ Switch --a Fuzzy Logic Approach , 2009 .

[65]  R. Thomas,et al.  Dynamical behaviour of biological regulatory networks--II. Immunity control in bacteriophage lambda. , 1995, Bulletin of mathematical biology.

[66]  N. Barabanov.  Lyapunov exponent and joint spectral radius: some known and new results , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[67]  P. Berck,et al.  Calculus of variations and optimal control theory , 1993 .

[68]  Tomáš Helikar,et al.  Boolean modeling of biochemical networks , 2011 .

[69]  Daizhan Cheng,et al.  Analysis and Control of Boolean Networks , 2011 .

[70]  B. Derrida,et al.  Random networks of automata: a simple annealed approximation , 1986 .

[71]  Sui Huang,et al.  Regulation of Cellular States in Mammalian Cells from a Genomewide View , 2002, Gene Regulations and Metabolism.

[72]  R. Solé,et al.  Lyapunov exponents in random Boolean networks , 1999, adap-org/9907001.

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

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

[75]  Paul Cull,et al.  Control of switching nets , 1975, Biological Cybernetics.

[76]  Matthew S Turner,et al.  Functionality and metagraph disintegration in boolean networks. , 2011, Journal of theoretical biology.

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

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

[79]  Paul Cull.  Linear analysis of switching nets , 2004, Kybernetik.

[80]  R. Hughes,et al.  Cold Spring Harbor , 2014 .

[81]  Robert Shorten,et al.  On the Stability of Switched Positive Linear Systems , 2007, IEEE Transactions on Automatic Control.

[82]  D. Cheng,et al.  SEMI-TENSOR PRODUCT OF MATRICES AND ITS SOME APPLICATIONS TO PHYSICS , 2003 .