Pandey, Ayush and Incer, Inigo and Sangiovanni-Vincentelli, Alberto and Murray, Richard M. (2022) From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology. . (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20220412-265499000
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_pdf.png) |
PDF
- Submitted Version
Creative Commons Attribution Non-commercial No Derivatives. 541kB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20220412-265499000
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.
| Item Type: | Report or Paper (Discussion Paper) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Related URLs: |
| |||||||||
| ORCID: |
| |||||||||
| Additional Information: | The copyright holder for this preprint is the author/funder, who has granted bioRxiv a license to display the preprint in perpetuity. It is made available under a CC-BY-NC-ND 4.0 International license. The authors have declared no competing interest. | |||||||||
| DOI: | 10.1101/2022.04.08.487709 | |||||||||
| Record Number: | CaltechAUTHORS:20220412-265499000 | |||||||||
| Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20220412-265499000 | |||||||||
| Official Citation: | From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology Ayush Pandey, Inigo Incer, Alberto Sangiovanni-Vincentelli, Richard M Murray bioRxiv 2022.04.08.487709; doi: https://doi.org/10.1101/2022.04.08.487709 | |||||||||
| Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | |||||||||
| ID Code: | 114241 | |||||||||
| Collection: | CaltechAUTHORS | |||||||||
| Deposited By: | George Porter | |||||||||
| Deposited On: | 12 Apr 2022 19:47 | |||||||||
| Last Modified: | 12 Apr 2022 19:47 |
Repository Staff Only: item control page
