Model-input-state matrix of Switched Boolean Control Networks and its applications

The model-input-state matrix of a Switched Boolean Control Network (SBCN) is introduced for the first time. This matrix contains all information of the model-input-state mapping. A necessary and sufficient condition for the controllability of SBCN is obtained. The corresponding control and switching law which drive a point to a given reachable point is designed. One sufficient condition for the observability of a SBCN is obtained. Under the assumption of controllability, one necessary and sufficient condition is derived for the observability.