布尔网络中的表型控制与变量消除

我们研究了变量消除如何影响布尔网络的渐近动力学和表型控制。特别地，我们关注对最小陷阱空间的影响，并识别出保证其保持的结构条件。我们考察了在三种最流行的控制方法（基于吸引子的控制、值传播和最小陷阱空间控制）以及不同更新方案（同步、异步、广义异步）下变量消除的可能影响。我们提供了关于约简应用的一些见解，以及丰富的示例和反例清单。