Observability of Boolean Control Networks Using Parallel Extension and Set Reachability

This brief reviews various definitions of observability for Boolean control networks (BCNs) and proposes a new one: output-feedback observability. This new definition applies to all BCNs whose initial states can be identified from the history of output measurements. A technique called parallel extension is then proposed to facilitate observability analysis. Furthermore, a technique called state transition graph reconstruction is proposed for analyzing the set reachability of BCNs, based on which new criteria for observability, single-input sequence observability, and arbitrary-input observability, are obtained. Using the proposed techniques, this brief proves that the problem of output-feedback observability can be recast as that of stabilizing a logic dynamical system with output feedback. Then, a necessary and sufficient condition for static output feedback observability is proposed. The relationships between the different definitions of observability are discussed, and the main results are illustrated with examples.