Observability of Probabilistic Boolean Networks via Matrix Approach

In this article, the observability of probabilistic Boolean networks (PBNs) is investigated. First, the distinguishable state pairs are obtained by constructing a matrix sequence, based on which a novel criterion for examining the observability of PBNs is given. Then, an algorithm is proposed to verify the observability of PBNs. Finally, some numerical examples are presented to illustrate the proposed method.