Stabilization of Boolean Control 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. They provide a framework for this study. Main results consist of two parts: (i) Using logic coordinate transformation, the known sufficient condition based on incidence matrix has been improved. It is also used in stabilizer design. (ii) Based on algebraic form, necessary and sufficient conditions for stability of Boolean networks and stabilization of Boolean control networks respectively are obtained.