Fast-Time Stability of Temporal Boolean Networks

In real systems, most of the biological functionalities come from the fact that the connections are not active all the time. Based on the fact, temporal Boolean networks (TBNs) are proposed in this paper, and the fast-time stability is analyzed via semi-tensor product (STP) of matrices and incidence matrices. First, the algebraic form of a TBN is obtained based on the STP method, and one necessary and sufficient condition for global fast-time stability is presented. Moreover, incidence matrices are used to obtain several sufficient conditions, which reduce the computational complexity from <inline-formula> <tex-math notation="LaTeX">$\mathcal {O}(n2^{n})$ </tex-math></inline-formula> (exponential type) to <inline-formula> <tex-math notation="LaTeX">$\mathcal {O}(n^{4})$ </tex-math></inline-formula> (polynomial type) compared with the STP method. In addition, the global fast-time stabilization of TBNs is considered, and pinning controllers are designed based on the neighbors of controlled nodes rather than all the nodes. Finally, the local fast-time stability of TBNs is considered based on the incidence matrices as well. Several examples are provided to illustrate the effectiveness of the obtained results.

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

[2]  Xiang Li,et al.  Structural Controllability of Temporally Switching Networks , 2016, IEEE Transactions on Circuits and Systems I: Regular Papers.

[3]  Zhi-Dan Zhao,et al.  Empirical Analysis on the Human Dynamics of a Large-Scale Short Message Communication System , 2011 .

[4]  Guanrong Chen,et al.  Pinning control of scale-free dynamical networks , 2002 .

[5]  Yuzhen Wang,et al.  Lyapunov-Based Stability and Construction of Lyapunov Functions for Boolean Networks , 2017, SIAM J. Control. Optim..

[6]  Yi Pan,et al.  Construction and application of dynamic protein interaction network based on time course gene expression data , 2013, Proteomics.

[7]  Yang Liu,et al.  The equivalence issue of two kinds of controllers in Boolean control networks , 2018, Appl. Math. Comput..

[8]  D. Koller,et al.  Activity motifs reveal principles of timing in transcriptional control of the yeast metabolic network , 2008, Nature Biotechnology.

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

[10]  Cecilia Mascolo,et al.  Analysing information flows and key mediators through temporal centrality metrics , 2010, SNS '10.

[11]  A. Barabasi,et al.  Global organization of metabolic fluxes in the bacterium Escherichia coli , 2004, Nature.

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

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

[14]  Jinde Cao,et al.  Observability of Boolean control networks , 2018, Science China Information Sciences.

[15]  Yuzhen Wang,et al.  Further results on feedback stabilization control design of Boolean control networks , 2017, Autom..

[16]  Yuzhen Wang,et al.  Stability Analysis for Switched Boolean Networks Under Arbitrary Switching Signals , 2014, IEEE Transactions on Automatic Control.

[17]  Mads Haahr,et al.  Social Network Analysis for Information Flow in Disconnected Delay-Tolerant MANETs , 2009, IEEE Transactions on Mobile Computing.

[18]  Daizhan Cheng,et al.  Nonsingularity of feedback shift registers , 2015, Autom..

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

[20]  Yang Liu,et al.  Set Stability and Stabilization of Switched Boolean Networks With State-Based Switching , 2018, IEEE Access.

[21]  Jinde Cao,et al.  The transformation between the Galois NLFSRs and the Fibonacci NLFSRs via semi-tensor product of matrices , 2018, Autom..

[22]  Jinde Cao,et al.  Delayed Feedback Control for Stabilization of Boolean Control Networks With State Delay , 2018, IEEE Transactions on Neural Networks and Learning Systems.

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

[24]  Y.-Y. Liu,et al.  The fundamental advantages of temporal networks , 2016, Science.

[25]  Lihua Xie,et al.  Output Regulation of Boolean Control Networks , 2017, IEEE Transactions on Automatic Control.

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

[27]  Daizhan Cheng,et al.  Control of Large-Scale Boolean Networks via Network Aggregation , 2016, IEEE Transactions on Neural Networks and Learning Systems.

[28]  James Lam,et al.  Stability and Guaranteed Cost Analysis of Time-Triggered Boolean Networks , 2018, IEEE Transactions on Neural Networks and Learning Systems.

[29]  Tianping Chen,et al.  Pinning Complex Networks by a Single Controller , 2007, IEEE Transactions on Circuits and Systems I: Regular Papers.

[30]  Tielong Shen,et al.  Policy Iteration Algorithm for Optimal Control of Stochastic Logical Dynamical Systems , 2018, IEEE Transactions on Neural Networks and Learning Systems.

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

[32]  Mona Singh,et al.  Toward the dynamic interactome: it's about time , 2010, Briefings Bioinform..

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

[34]  Fangfei Li,et al.  On stabilization and set stabilization of multivalued logical systems , 2017, Autom..

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

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

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

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

[39]  Daniel W. C. Ho,et al.  Global robust stability and stabilization of Boolean network with disturbances , 2017, Autom..

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

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

[42]  François Robert,et al.  Discrete iterations - a metric study , 1986, Springer series in computational mathematics.

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

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