On Pinning Controllability of Boolean Control Networks

This technical note presents analytical investigations of reachability and controllability of Boolean control networks (BCNs) with pinning controllers. Based on semi-tensor product (STP) of matrices, BCNs with pinning controllers are converted into a discrete-time algebraic system. A formula is derived to calculate the number of different control sequences steering BCNs between two states in a given step, and then several necessary and sufficient criteria are derived for reachability and controllability of BCNs with pinning controllers. Moreover, we make a comparison among three forms of BCNs, which have similar algebraic representations. Finally, we obtain some efficient conditions to judge the dynamic structure of BCNs.

[1]  Wen-Xu Wang,et al.  Modeling and controlling the two-phase dynamics of the p53 network: a Boolean network approach , 2014 .

[2]  F. Müller,et al.  Few inputs can reprogram biological networks , 2011, Nature.

[3]  Robert J. Plemmons,et al.  Nonnegative Matrices in the Mathematical Sciences , 1979, Classics in Applied Mathematics.

[4]  Bernhard M. Schuldt,et al.  A bioinformatic assay for pluripotency in human cells , 2011, Nature Methods.

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

[6]  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.

[7]  B. Drossel,et al.  Number and length of attractors in a critical Kauffman model with connectivity one. , 2004, Physical review letters.

[8]  Masaki Ieda,et al.  Direct reprogramming of fibroblasts into functional cardiomyocytes by defined factors. , 2010, Cell.

[9]  Fangfei Li,et al.  Minimum energy control and optimal-satisfactory control of Boolean control network , 2013 .

[10]  Luis G. Vargas,et al.  An optimization-based approach for the design of Bayesian networks , 2008, Math. Comput. Model..

[11]  Eckehard Schöll,et al.  Control of synchronization patterns in neural-like Boolean networks. , 2012, Physical review letters.

[12]  Hidde de Jong,et al.  Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..

[13]  John Maloney,et al.  Scalar equations for synchronous Boolean networks with biological applications , 2004, IEEE Transactions on Neural Networks.

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

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

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

[17]  H. Parkinson,et al.  A global map of human gene expression , 2010, Nature Biotechnology.

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

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

[20]  Denis Thieffry,et al.  Dynamical behaviour of biological regulatory networks—II. Immunity control in bacteriophage lambda , 1995 .

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

[22]  Michael Margaliot,et al.  Minimum-Time Control of Boolean Networks , 2013, SIAM J. Control. Optim..

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

[24]  Michael Margaliot,et al.  Observability of Boolean networks: A graph-theoretic approach , 2013, Autom..

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

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

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

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