Abstract
In this paper, we investigate the static output feedback set stabilization for context-sensitive probabilistic Boolean control networks (CS-PBCNs) via the semi-tensor product of matrices. An algorithm for finding the largest control invariant set with probability one is obtained by the algebraic representations of logical dynamics. Based on the analysis of the set stabilization, necessary and sufficient conditions for S-stabilization are obtained. Static output feedback controllers are designed to achieve S-stabilization for a CS-PBCN. At last, examples to study metastatic melanoma are given to show the effectiveness of our main results.