Simultaneous stabilization for a set of Boolean control networks

Abstract This paper investigates simultaneous stabilization of a collection of Boolean control networks (BCNs) by using the semi-tensor product method, and presents a number of new results. First, an algebraic expression of the BCNs is obtained by the semi-tensor product, based on which some necessary and sufficient conditions are presented to solve the simultaneous stabilization problem by a free control sequence, a state-feedback control, and an output-feedback control, respectively. Second, using the column stacking form of matrices, a new procedure is established to design both state-feedback and output-feedback controllers for the simultaneous stabilization problem. The study of two illustrative examples shows that the new results obtained in this paper are very effective in solving simultaneous stabilization of a collection of BCNs.

[1]  Yeng Chai Soh,et al.  Synthesis of simultaneous stabilizing H∞ Controller controller , 2005 .

[2]  Yuzhen Wang,et al.  A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems , 2012, Autom..

[3]  Kuize Zhang,et al.  L2 stability, H∞ control of switched homogeneous nonlinear systems and their semi‐tensor product of matrices representation , 2013 .

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

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

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

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

[8]  Yuzhen Wang,et al.  Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method , 2012, Autom..

[9]  Jenq-Lang Wu,et al.  Simultaneous stabilization for a collection of single-input nonlinear systems , 2005, IEEE Transactions on Automatic Control.

[10]  Peng Cui,et al.  Singular Boolean networks: Semi-tensor product approach , 2012, Science China Information Sciences.

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

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

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

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

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

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

[17]  Edward R. Dougherty,et al.  The impact of function perturbations in Boolean networks , 2007, Bioinform..

[18]  Daizhan Cheng,et al.  Simultaneous stabilization of a set of nonlinear port-controlled Hamiltonian systems , 2007, Autom..

[19]  Fangfei Li,et al.  Stability and stabilization of Boolean networks with impulsive effects , 2012, Syst. Control. Lett..

[20]  Yiguang Hong,et al.  Matrix expression and reachability analysis of finite automata , 2012 .

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

[22]  J. Murray,et al.  Fractional representation, algebraic geometry, and the simultaneous stabilization problem , 1982 .

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

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

[25]  M. Vidyasagar,et al.  Algebraic design techniques for reliable stabilization , 1982 .

[26]  Tianqiu Yu.  The transitivity in simultaneous stabilization , 2011, Syst. Control. Lett..

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

[28]  Daizhan Cheng,et al.  Identification of Boolean control networks , 2011, Autom..

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