Observability of Boolean Control Networks with State-dependent Input Constraints

In this paper, under the framework of the semi-tensor product of matrices, the observability of Boolean control networks (BCNs) with state-dependent input constraints is investigated. In order to avoid unnecessary repeated computation, an algorithm is proposed to check the observability. Furthermore, more effective necessary and sufficient conditions for the observability of Boolean control networks with state-dependent input constraints have been derived. Finally, an example is given to illustrate the effectiveness of the obtained results.