布尔网络作为一种用于系统级分析和生物系统建模的计算方案，目前正受到相当多的关注。 在布尔网络中研究与控制相关的问题可能会揭示出对复杂生物系统内在控制的新见解，并使我们能够开发利用外源输入来操纵生物系统的策略。 本文考虑了布尔生物网络的可控性和可观测性。 我们提出了一种新方法，该方法借鉴了丰富的符号计算理论来解决这些问题。 因此，获得了可达性，可控性和可观察性的简单必要条件和充分条件，并提出了基于Grobner基方法的可控性和可观察性的算法测试。 作为实际应用，我们将提出的方法应用于几种不同的生物

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