布尔控制网络的可控性和可观察性

研究了布尔控制网络的可控性和可观测性。 在简要回顾了使用转换矩阵将逻辑动力学转换为离散时间线性动力学之后,获得了一些公式,用于从该网络转换矩阵检索网络及其逻辑动力学方程。 基于离散时间动力学,通过精确提供相应的可达集,揭示了通过两种输入的可控性。 然后,通过给出必要和充分的条件也解决了可观察性问题。