Observability of Boolean Networks via Set Controllability Approach

TL;DR

This paper introduces a novel approach to verify the observability of Boolean control networks by transforming the problem into a set controllability problem, providing necessary and sufficient conditions.

Contribution

It proposes the set controllability concept and develops a method to convert observability verification into a set controllability problem for BCNs.

Findings

Set controllability is defined with necessary and sufficient conditions.

Observability verification is transformed into a set controllability problem.

The approach simplifies the verification process for BCN observability.

Abstract

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.