View source for From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology

{{Paper
|Title=From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology
|Authors=Ayush Pandey, Inigo Incer, Alberto Sangiovanni-Vincentelli, Richard M. Murray
|Source=2022 International Workshop on Biodesign Automation (IWBDA)
|Abstract=We provide a new perspective on using formal methods to model specifications and synthesize implementations for the design of biological circuits. In synthetic biology, design objectives are rarely described formally. We present an assume-guarantee contract framework to describe biological circuit design objectives as formal specifications. In our approach, these formal specifications are implemented by circuits modeled by ordinary differential equations, yielding a design framework that can be used to design complex synthetic biological circuits at scale. We describe our approach using the design of a biological AND gate as a motivating, running example.
|URL=https://www.biorxiv.org/content/10.1101/2022.04.08.487709v1
|Type=Conference paper
|ID=2022b
|Tag=PISM22-IWBDA
|Funding=AFOSR Syn Bio MURI
}}