Stability and stabilization of Boolean networks

The stability of Boolean networks and the stabilization of Boolean control networks are investigated. Using semi‐tensor product of matrices and the matrix expression of logic, the dynamics of a Boolean (control) network can be converted to a discrete time linear (bilinear) dynamics, called the algebraic form of the Boolean (control) network. Then the stability can be revealed by analyzing the transition matrix of the corresponding discrete time system. Main results consist of two parts: (i) Using logic coordinate transformation, the known sufficient condition based on incidence matrix has been improved. It can also be used in stabilizer design. (ii) Based on algebraic form, necessary and sufficient conditions for stability and stabilization, respectively, are obtained. Copyright © 2010 John Wiley & Sons, Ltd.

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

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

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

[4]  Stuart A. Kauffman,et al.  At Home in the Universe , 1995 .

[5]  L. Råde,et al.  Mathematics handbook for science and engineering , 1995 .

[6]  Hiroaki Kitano,et al.  The DBRF Method for Inferring a Gene Network from Large-scale Steady-state Gene Expression Data , 2000 .

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

[8]  L. Hood,et al.  A Genomic Regulatory Network for Development , 2002, Science.

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

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

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

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

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

[14]  D. Cheng,et al.  Semi-tensor Product of Matrices , 2011 .