卢卡·博托卢西;阿尔贝托,Policriti;西蒙·西尔维蒂 基于逻辑的化学反应网络多目标设计。 (英语) Zbl 1428.92035号 Cinquemani,Eugenio(编辑)等人,《混合系统生物学》。第五届国际研讨会,HSB 2016,法国格勒诺布尔,2016年10月20日至21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9957, 164-178 (2016). 摘要:设计满足给定行为规范的遗传或蛋白质网络是合成生物学的主要挑战之一。在这方面,基于模型的设计是一种自然的选择。在这里,我们考虑调整随机模型的参数以迫使一个或多个行为目标保持不变的问题。特别地,我们考虑由信号时序逻辑公式指定的几个目标,并寻找使其满足概率尽可能大的参数集。这种形式化导致了多目标优化问题,我们通过考虑一种结合STL属性的满足概率和平均鲁棒性的优化方案,利用最先进的多目标优化例程来解决该问题。关于整个系列,请参见[Zbl 1425.92005年]. 引用于1文件 MSC公司: 92立方厘米 系统生物学、网络 92C40型 生物化学、分子生物学 92天30分 流行病学 93B35型 灵敏度(稳健性) 03B44号 时间逻辑 关键词:系统设计;稳健性;多目标优化;时序逻辑 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人,Lect。注释计算。科学。9957164--178(2016;Zbl 1428.92035) 全文: 内政部 链接