The equivalence issue of two kinds of controllers in Boolean control networks

Abstract In this paper, the equivalence issue between state feedback controller and free sequence controller in Boolean control network (BCN) is investigated. Based on the algebraic representation of Boolean networks, we prove that a Boolean control network can be stabilized to a cycle or a fixed point via free sequence controller if and only if there is a state feedback controller which can derive the Boolean control network to the cycle or the fixed point. Then, two algorithms are provided to find the state feedback controller. After that, we prove that a BCN can be globally controllable by free sequence controller, while the BCN is not necessarily globally controllable by state feedback controller. At last, an example is given to illustrate the results.

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

[2]  Jinde Cao,et al.  On Pinning Controllability of Boolean Control Networks , 2016, IEEE Transactions on Automatic Control.

[3]  Yang Liu,et al.  Controllability of Boolean control networks with impulsive effects and forbidden states , 2014 .

[4]  Yuzhen Wang,et al.  Controllability Analysis and Control Design for Switched Boolean Networks with State and Input Constraints , 2015, SIAM J. Control. Optim..

[5]  Ettore Fornasini,et al.  Observability, Reconstructibility and State Observers of Boolean Control Networks , 2013, IEEE Transactions on Automatic Control.

[6]  Lihua Xie,et al.  Output tracking control of Boolean control networks via state feedback: Constant reference signal case , 2015, Autom..

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

[8]  Sumit Kumar Jha,et al.  Symbolic Approaches for Finding Control Strategies in Boolean Networks , 2007, APBC.

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

[10]  Yang Liu,et al.  Survey on semi-tensor product method with its applications in logical networks and other finite-valued systems , 2017 .

[11]  Guodong Zhao,et al.  A survey on applications of semi-tensor product method in engineering , 2017, Science China Information Sciences.

[12]  Jianquan Lu,et al.  Some necessary and sufficient conditions for the output controllability of temporal Boolean control networks , 2014 .

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

[14]  Pan Wang,et al.  Set stability and set stabilization of Boolean control networks based on invariant subsets , 2015, Autom..

[15]  Yuzhen Wang,et al.  Output feedback stabilization control design for Boolean control networks , 2013, Autom..

[16]  Jinde Cao,et al.  Pinning Control for the Disturbance Decoupling Problem of Boolean Networks , 2017, IEEE Transactions on Automatic Control.

[17]  Tingwen Huang,et al.  Controllability and Synchronization Analysis of Identical-Hierarchy Mixed-Valued Logical Control Networks , 2017, IEEE Transactions on Cybernetics.

[18]  Min Meng,et al.  Controllability and Observability of Singular Boolean Control Networks , 2015, Circuits Syst. Signal Process..

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

[20]  Yang Liu,et al.  Feedback Controller Design for the Synchronization of Boolean Control Networks , 2016, IEEE Transactions on Neural Networks and Learning Systems.

[21]  Yuqian Guo.  Controllability of Boolean control networks with state-dependent constraints , 2015, Science China Information Sciences.

[22]  Yang Liu,et al.  Controllability of probabilistic Boolean control networks based on transition probability matrices , 2015, Autom..

[23]  R. Fox.  Review of Stuart Kauffman, The Origins of Order: Self-Organization and Selection in Evolution , 1993 .

[24]  M. Stern,et al.  Emergence of homeostasis and "noise imprinting" in an evolution model. , 1999, Proceedings of the National Academy of Sciences of the United States of America.

[25]  Jinde Cao,et al.  Synchronization in an Array of Output-Coupled Boolean Networks With Time Delay , 2014, IEEE Transactions on Neural Networks and Learning Systems.

[26]  E. D. Weinberger,et al.  The NK model of rugged fitness landscapes and its application to maturation of the immune response. , 1989, Journal of theoretical biology.

[27]  Yang Liu,et al.  Strategy optimization for static games based on STP method , 2018, Appl. Math. Comput..

[28]  Jiandong Zhu,et al.  On cycles of periodically time-variant Boolean networks , 2013, Proceedings of the 32nd Chinese Control Conference.

[29]  Jinde Cao,et al.  On Controllability of Delayed Boolean Control Networks , 2016, SIAM J. Control. Optim..

[30]  Yang Liu,et al.  Nonsingularity of Grain-like cascade FSRs via semi-tensor product , 2017, Science China Information Sciences.

[31]  S Bornholdt,et al.  Robustness as an evolutionary principle , 2000, Proceedings of the Royal Society of London. Series B: Biological Sciences.

[32]  Ettore Fornasini,et al.  On the periodic trajectories of Boolean control networks , 2013, Autom..

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