论文标题
关于布尔控制网络的商
On quotients of Boolean control networks
论文作者
论文摘要
在本文中，我们专注于对布尔控制网络（BCN）商的研究，他们的动机可能是较小的模型，这些模型仍然具有足够的有关原始网络的信息。给定BCN和状态集的等价关系，我们考虑了由BCN生成的标记过渡系统。然后，由此产生的商转换系统自然捕获了有关BCN的商动力学。因此，我们开发了一种构建布尔系统的方法，该系统表现等效于产生的商转换系统。讨论了获得的商系统用于控制设计的使用，我们表明，对于BCN，可以通过首先设计控制器的控制器来完成控制器的合成，然后将其提升为原始模型。我们最终证明了所提出的技术在生物学示例上的适用性。
In this paper, we focus on the study of quotients of Boolean control networks (BCNs) with the motivation that they might serve as smaller models that still carry enough information about the original network. Given a BCN and an equivalence relation on the state set, we consider a labeled transition system that is generated by the BCN. The resulting quotient transition system then naturally captures the quotient dynamics of the BCN concerned. We therefore develop a method for constructing a Boolean system that behaves equivalently to the resulting quotient transition system. The use of the obtained quotient system for control design is discussed and we show that for BCNs, controller synthesis can be done by first designing a controller for a quotient and subsequently lifting it to the original model. We finally demonstrate the applicability of the proposed techniques on a biological example.
