合成生物电路模块化设计的时序逻辑方法
计算机科学中的逻辑
2013-06-20 v1 新兴技术
定量方法
摘要
我们提出了一种新的合成生物电路设计方法，其行为由信号时序逻辑 (STL) 公式指定。我们首先展示如何用 STL 公式刻画模仿经典逻辑门（AND、NOT、OR）的生物模块的输入/输出行为。因此，我们提供了满足这些规范的参数空间区域。给定待设计目标电路的 STL 规范及其组成组件的网络，我们提出了一种约束每个模块行为的方法，进而识别满足这些约束的参数空间子集，并为目标电路设计提供鲁棒性度量。这种方法利用了关于信号时序逻辑定量语义的最新成果，并通过综合一个半加器的生物实现进行了说明。
引用
@article{arxiv.1306.4493,
title = {A temporal logic approach to modular design of synthetic biological circuits},
author = {Ezio Bartocci and Luca Bortolussi and Laura Nenzi},
journal= {arXiv preprint arXiv:1306.4493},
year = {2013}
}