提出了控制布尔网络的输入状态关联矩阵。 结果表明,该矩阵包含输入状态映射的完整信息。 使用它,可以获得布尔控制网络的可控制性的容易验证的必要和充分条件。 设计了将点驱动到给定可到达点的相应控件。 此外,还研究了某些拓扑属性,例如布尔控制网络的固定点和循环。 然后,作为另一个应用,提出了可观察性的充分条件。 最后,将结果扩展到混合值逻辑控制系统。