Local set stability and target control of probabilistic Boolean networks

This paper analyzes the local set stability of probabilistic Boolean networks (PBNs), including local finite-time set stability with probability one (FSSPO) and local asymptotic set stability with probability one (ASSPO). Firstly, a necessary and sufficient condition is proposed for the local FSSPO of PBNs. Then, a reachable set with probability one is constructed, based on which, the largest domain of attraction for the local FSSPO of PBNs is determined. Secondly, by constructing two parameterized sets, the transition probability matrix of PBNs is properly partitioned, and the largest domain of attraction for the ASSPO is depicted. Finally, for PBNs which are locally stable, the target control is introduced to achieve the global FSSPO and global ASSPO of PBNs, respectively.