Reconstructibility of singular Boolean control networks via automata approach

State Estimation for Probabilistic Boolean Networks via Outputs Observation

This article studies the state estimation for probabilistic Boolean networks via observing output sequences. Detectability describes the ability of an observer to uniquely estimate system states. By defining the probability of an observed output sequence, a new concept called detectability measure is proposed. The detectability measure is defined as the limit of the sum of probabilities of all detectable output sequences when the length of output sequences goes to infinity, and it can be regarded as a quantitative assessment of state estimation. A stochastic state estimator is designed by defining a corresponding nondeterministic stochastic finite automaton, which combines the information of state estimation and probability of output sequences. The proposed concept of detectability measure further performs the quantitative analysis on detectability. Furthermore, by defining a Markov chain, the calculation of detectability measure is converted to the calculation of the sum of probabilities of certain specific states in Markov chain. Finally, numerical examples are given to illustrate the obtained theoretical results.