Disturbance Decoupling of Boolean Control Networks

Disturbance decoupling problem (DDP) of Boolean control networks is considered. Using semi-tensor product of matrices and the matrix expression of logical functions, a working procedure is proposed to solve the problem. This procedure consists of two key design steps. First, how to convert a system into an output-friendly coordinate frame. An algorithm is provided to calculate the output-friendly subspaces. Secondly, it was shown how to find proper controllers to solve the problem if it is solvable. A state variable separation form is introduced to guide the design of controllers. Based on the design technique, necessary and sufficient conditions are obtained for the solvability of DDP.