Observability of Boolean Networks via Set Controllability Approach

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