马可

MARCO:多仿射系统的可达性算法及其在生物系统中的应用。提出了一种新的多仿射混合系统可达性分析算法。在我们之前的可达性分析和我们的合作者的工作中,我们利用了多仿射函数的凸性以及矩形不变量模式下的向量场是由其在矩形顶点处的值唯一确定的事实。在本文中,我们显式地计算了可达集在每个模的不变量下的圆锥过逼近。我们用圆锥过逼近(MARCO)描述了我们的多仿射可达性分析,并表明它的结果优于现有的多仿射混合系统的方法。最后,我们展示了MARCO在蚂蚁寻屋模型分析中的应用,包括群体感应和葡萄糖和乳糖调节的乳糖诱导系统的双稳定性分析