基于布尔网络动力学的线性表达式,定义了布尔变量的坐标变换。 因此,揭示了布尔网络动力学的状态空间坐标变换。 使用它,可以定义布尔控制网络的不变子空间。 然后分析了布尔控制网络的结构,并给出了可控和可观测的正规形式以及卡尔曼分解形式。 最后研究了布尔控制网络的实现问题,包括最小实现。