On algorithms for state feedback stabilization of Boolean control networks

Abstract This paper deals with the algorithms for state feedback stabilization of Boolean control networks (BCNs). By resorting to the semi-tensor product (STP) technique, the labelled digraph that can be used to completely characterize the dynamics of BCNs is derived, which leads to an equivalent graphical description for the stabilization of BCNs. What is more interesting is the fact that the existence of a state feedback control law stabilizing the BCN to some given equilibrium point can be characterized in terms of its spanning in-tree. Consequently, two in-tree search algorithms, namely, the breadth-first search and the depth-first search, are proposed to design the state feedback stabilizing law when global stabilization is feasible. Besides, some basic properties about the tree-search algorithms are addressed. A biological example is employed to illustrate the applicability and usefulness of the developed algorithms.

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

[2]  Kuize Zhang,et al.  Observability of Boolean control networks: A unified approach based on the theories of finite automata and formal languages , 2014, CCC 2014.

[3]  Fangfei Li,et al.  Pinning Control Design for the Stabilization of Boolean Networks , 2016, IEEE Transactions on Neural Networks and Learning Systems.

[4]  Ettore Fornasini,et al.  Optimal Control of Boolean Control Networks , 2014, IEEE Transactions on Automatic Control.

[5]  S. Bornholdt,et al.  Boolean Network Model Predicts Cell Cycle Sequence of Fission Yeast , 2007, PloS one.

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

[7]  Sui Huang.  Gene expression profiling, genetic networks, and cellular states: an integrating concept for tumorigenesis and drug discovery , 1999, Journal of Molecular Medicine.

[8]  B. Stigler,et al.  Boolean Models Can Explain Bistability in the lac Operon , 2008, J. Comput. Biol..

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

[10]  Denis Thieffry,et al.  Logical modelling of cell cycle control in eukaryotes: a comparative study. , 2009, Molecular bioSystems.

[11]  Xin Liu,et al.  Dynamical and Structural Analysis of a T Cell Survival Network Identifies Novel Candidate Therapeutic Targets for Large Granular Lymphocyte Leukemia , 2011, PLoS Comput. Biol..

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

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

[14]  Lihua Xie,et al.  On robust control invariance of Boolean control networks , 2016, at - Automatisierungstechnik.

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

[16]  Lijun Zhang,et al.  Controllability and Observability of Boolean Control Networks With Time-Variant Delays in States , 2013, IEEE Transactions on Neural Networks and Learning Systems.

[17]  Jiandong Zhu,et al.  System decomposition with respect to inputs for Boolean control networks , 2014, Autom..

[18]  Fangfei Li.  Synchronization of coupled large-scale Boolean networks. , 2014, Chaos.

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

[20]  Jinde Cao,et al.  Synchronization of Arbitrarily Switched Boolean Networks , 2017, IEEE Transactions on Neural Networks and Learning Systems.

[21]  Lijun Zhang,et al.  Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata , 2014, IEEE Transactions on Automatic Control.

[22]  Tianguang Chu,et al.  State feedback stabilization for probabilistic Boolean networks , 2014, Autom..

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

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

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

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

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

[28]  Ettore Fornasini,et al.  Output feedback stabilization of Boolean control networks , 2015, Autom..

[29]  Yurong Liu,et al.  Passivity analysis for discrete-time neural networks with mixed time-delays and randomly occurring quantization effects , 2016, Neurocomputing.

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