Finite-Time Stability of Probabilistic Logical Networks: A Topological Sorting Approach

This brief presents some further results on the finite-time stability of probabilistic logical networks (PLNs). By semi-tensor product technique routinely, the dynamic behavior of a PLN is characterized by its corresponding state transition graph (STG). Then, an irradiative result is found. That is, a PLN is globally stable within finite time, if and only if, its STG is acyclic, except for the self loop at the pre-designated vertex. Based on this observation, some properties of STG, which is associated with a finite-time stable PLN, are formulated. The most significant finding is that the determinant of its anti-adjacency matrix is compactly related to the existence of a Hamilton path and is only equal to 0 or 1. Afterwards, the topological sort of all the vertices in STG is defined. As a consequence, two topological sorting algorithms are presented to analyze the stability of PLNs applicably and efficiently. Finally, a simulation example is employed to illustrate the applicability of the obtained results.

[1]  Haitao Li,et al.  Constrained Sampled-Data Reachability and Stabilization of Logical Control Networks , 2019, IEEE Transactions on Circuits and Systems II: Express Briefs.

[2]  Jinde Cao,et al.  Stabilization of Boolean Control Networks Under Aperiodic Sampled-Data Control , 2018, SIAM J. Control. Optim..

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

[4]  Fangfei Li,et al.  Pinning Control Design for the Synchronization of Two Coupled Boolean Networks , 2016, IEEE Transactions on Circuits and Systems II: Express Briefs.

[5]  Daizhan Cheng,et al.  On controllability and stabilizability of probabilistic Boolean control networks , 2012, Science China Information Sciences.

[6]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[7]  Tielong Shen,et al.  A Finite Convergence Criterion for the Discounted Optimal Control of Stochastic Logical Networks , 2018, IEEE Transactions on Automatic Control.

[8]  Jiajing Wu,et al.  Complex-Network-Inspired Design of Traffic Generation Patterns in Communication Networks , 2017, IEEE Transactions on Circuits and Systems II: Express Briefs.

[9]  Yang Liu,et al.  On algorithms for state feedback stabilization of Boolean control networks , 2017, Autom..

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

[11]  Xi Chen,et al.  Optimal Robustness in Power Grids From a Network Science Perspective , 2019, IEEE Transactions on Circuits and Systems II: Express Briefs.

[12]  Daizhan Cheng,et al.  Modeling, Analysis and Control of Networked Evolutionary Games , 2015, IEEE Transactions on Automatic Control.

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

[14]  Jiajing Wu,et al.  Robustness of Interdependent Power Grids and Communication Networks: A Complex Network Perspective , 2018, IEEE Transactions on Circuits and Systems II: Express Briefs.

[15]  Tamer Basar,et al.  Stability structures of conjunctive Boolean networks , 2016, Autom..

[16]  Liqing Wang,et al.  Stabilization and Finite-Time Stabilization of Probabilistic Boolean Control Networks , 2019, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

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

[18]  Jinde Cao,et al.  Robust Output Tracking of Delayed Boolean Networks Under Pinning Control , 2018, IEEE Transactions on Circuits and Systems II: Express Briefs.

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

[20]  Jinde Cao,et al.  Function perturbations on singular Boolean networks , 2017, Autom..

[21]  Bowen Li,et al.  The Local Convergence of Boolean Networks With Disturbances , 2019, IEEE Transactions on Circuits and Systems II: Express Briefs.

[22]  Gang Feng,et al.  Stability and $l_1$ Gain Analysis of Boolean Networks With Markovian Jump Parameters , 2017, IEEE Transactions on Automatic Control.

[23]  Weihua Gui,et al.  Stability and Set Stability in Distribution of Probabilistic Boolean Networks , 2019, IEEE Transactions on Automatic Control.

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

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

[26]  Jinde Cao,et al.  On the ensemble controllability of Boolean control networks using STP method , 2019, Appl. Math. Comput..

[27]  Liang Chen,et al.  A Stochastic Model of Cascading Failure Dynamics in Communication Networks , 2018, IEEE Transactions on Circuits and Systems II: Express Briefs.

[28]  Changyun Wen,et al.  Global Exponential/Finite-Time Stability of Nonlinear Adaptive Switching Systems With Applications in Controlling Systems With Unknown Control Direction , 2018, IEEE Transactions on Automatic Control.

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

[30]  Yuanyuan Li,et al.  On Robust Synchronization of Drive-Response Boolean Control Networks with Disturbances , 2018, Mathematical Problems in Engineering.

[31]  Edward R. Dougherty,et al.  From Boolean to probabilistic Boolean networks as models of genetic regulatory networks , 2002, Proc. IEEE.