Finite-Time Stabilizers for Large-Scale Stochastic Boolean Networks

This article presents a distributed pinning control strategy aimed at achieving global stabilization of Markovian jump Boolean control networks. The strategy relies on network matrix information to choose controlled nodes and adopts the algebraic state space representation approach for designing pinning controllers. Initially, a sufficient criterion is established to verify the global stability of a given Markovian jump Boolean network (MJBN) with probability one at a specific state within finite time. To stabilize an unstable MJBN at a predetermined state, the selection of pinned nodes involves removing the minimal number of entries, ensuring that the network matrix transforms into a strictly lower (or upper) triangular form. For each pinned node, two types of state feedback controllers are developed: 1) mode-dependent and 2) mode-independent, with a focus on designing a minimally updating controller. The choice of controller type is determined by the feasibility condition of the mode-dependent pinning controller, which is articulated through the solvability of matrix equations. Finally, the theoretical results are illustrated by studying the T cell large granular lymphocyte survival signaling network consisting of 54 genes and 6 stimuli.