Observability of Boolean networks via set controllability approach

Controllability and observability of Boolean control networks (BCNs) are two fundamental properties. But verification of the latter is much harder than the former. This paper considers the observability of BCNs via controllability. First, set controllability is proposed, and a necessary and sufficient condition is obtained. Then a technique is developed to convert observability into an equivalent set controllability problem. Using the result for set controllability, a necessary and sufficient condition is also obtained for the observability of BCNs.