Observability of Boolean control networks with input constraints

This paper investigates observability of Boolean control networks (BCNs) with state-dependent input constraints. The observability is defined as distinguishability of initial states by using input sequences satisfying the constraints. A BCN with constraints is interconnected with its duplication in parallel and the observability problem is transfer the problem of set reachability. In addition, the technique of input transformation is applied to transfer the parallel interconnected BCN with constraints into a BCN with free control input. With these techniques, a necessary and sufficient condition for observability of BCNs with constraints is proposed. Example are given to illustrate the proposed method and result.