生物鲁棒性属性的形式化描述与高效验证
摘要：鲁棒性是一种可观察的属性，化学反应网络能够在受到不同扰动的影响下保持其功能。通常，为了验证网络的鲁棒性，需要考虑所有可能的参数配置。这是一个可能需要大量计算工作的过程。在Rizk等人的工作中，作者们通过线性时间逻辑（LTL）提出了鲁棒性的定义，通过考虑不同参数配置下获得的多个数值时序跟踪，验证了反应网络的鲁棒性。在本文中，我们专注于一种初始浓度鲁棒性（α-鲁棒性）的概念，该概念与一种物种的初始浓度（输入）对另一种物种的浓度（输出）在稳态时的影响有关。我们在Rizk等人提出的框架中对这种鲁棒性概念进行了描述，并且我们证明，在单调反应网络中，这可以大大减少验证反应网络鲁棒性所需的跟踪数量。
作者：Lucia Nasti, Roberta Gori, Paolo Milazzo
论文ID：2104.13831
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-04-29