Realization of Boolean control networks

Based on the linear expression of the dynamics of Boolean networks, the coordinate transformation of Boolean variables is defined. It follows that the state space coordinate transformation for the dynamics of Boolean networks is revealed. Using it, the invariant subspace for a Boolean control network is defined. Then the structure of a Boolean control network is analyzed, and the controllable and observable normal forms and the Kalman decomposition form are presented. Finally the realization problem, including minimum realization, of Boolean control networks is investigated.