Solvability and control design for synchronization of Boolean networks

This paper addresses the synchronization problem of Boolean networks. Based on the matrix expression of logic, solvability conditions and design procedures of the synchronization of Boolean networks with outputs are given for both open-loop and feedback control. Necessary and sufficient conditions on open-loop control are proposed first with a constructive design procedure. Then sufficient condition for the feedback control case is obtained, and corresponding design procedure is proposed with the help of algorithms to solve logic matrix equations. Numerical examples are also provided to illustrate the proposed control design.

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

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

[3]  Guanrong Chen,et al.  Adaptive Synchronization of Chaotic Systems via State or output Feedback Control , 2001, Int. J. Bifurc. Chaos.

[4]  L. Tsimring,et al.  A synchronized quorum of genetic clocks , 2009, Nature.

[5]  Yao-Chen Hung,et al.  Stochastic coupling of two random Boolean networks , 2005 .

[6]  C. Huepe,et al.  Dynamical Phase Transition in a Neural Network Model with Noise: An Exact Solution , 2002, cond-mat/0202411.

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

[8]  M. Margaliot.  Controllability and observability of Boolean control networks , 2012 .

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

[10]  Jie Huang,et al.  3. Nonlinear Output Regulation , 2004 .

[11]  Yiguang Hong,et al.  Solvability and control design for dynamic synchronization of Boolean networks , 2010, Proceedings of the 29th Chinese Control Conference.

[12]  Dominik Stoffel,et al.  Reasoning in Boolean Networks - Logic Synthesis and Verification Using Testing Techniques , 1997, Frontiers in electronic testing.

[13]  Daizhan Cheng,et al.  Optimal Control of Logical Control Networks , 2011, IEEE Transactions on Automatic Control.

[14]  Guanrong Chen,et al.  Adaptive synchronization of chaotic systems via state and measured-output feedback controls 1 , 1999 .

[15]  D. Cheng,et al.  Stability and stabilization of Boolean networks , 2011 .

[16]  François Robert,et al.  Discrete iterations - a metric study , 1986, Springer series in computational mathematics.

[17]  Gilles Millerioux,et al.  Self-Synchronizing Stream Ciphers and Dynamical Systems: State of the Art and Open Issues , 2010, Int. J. Bifurc. Chaos.

[18]  John Maloney,et al.  Scalar equations for synchronous Boolean networks with biological applications , 2004, IEEE Transactions on Neural Networks.

[19]  W. T. Tutte.  Graph Theory , 1984 .

[20]  L. Glass.  Synchronization and rhythmic processes in physiology , 2001, Nature.

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

[22]  D. Cheng,et al.  Analysis and control of Boolean networks: A semi-tensor product approach , 2010, 2009 7th Asian Control Conference.

[23]  B. Luque,et al.  Random Boolean networks response to external periodic signals , 2002 .

[24]  H. Kitano.  Cancer as a robust system: implications for anticancer therapy , 2004, Nature Reviews Cancer.

[25]  Sun Yuanzhang,et al.  ON COMPLEXITY OF POWER SYSTEMS , 2003 .

[26]  Yao-Chen Hung,et al.  Chaos synchronization of two stochastically coupled random Boolean networks , 2006 .

[27]  D H Zanette,et al.  Synchronization of Kauffman networks. , 2000, Physical review. E, Statistical, nonlinear, and soft matter physics.

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