Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools
The goal of this project is to establish theoretical foundations and tools, grounded on mathematics, that will enable compositional design of synthetic biology circuits while accounting for context. These tools will substitute currently used ad hoc procedures that design systems in a monolithic fashion by brute force optimization of parameters, thereby allowing to scale up the complexity of systems that we can build, shorten the design cycle, and achieve quantitative performance.
Caltech is contributing to the following objectives for this project
- Establish tools to certify system behavior against a specification through scales of model complexity, with increased complexity required to account for undesired connectivity.
- Establish tools for subsystem specification decomposition, reducing the design problem of a multi-module system to that of its composing subsystems, thereby reducing the complexity of the parameter selection problem.
- Characterization of Integrase and Excisionase Activity in Cell-free Protein Expression System Using a Modeling and Analysis Pipeline. Ayush Pandey, Makena L. Rodriguez, William Poole, Richard M. Murray. Submitted, ACS Synthetic Biology, 2022.
- From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology. Ayush Pandey, Inigo Incer, Alberto Sangiovanni-Vincentelli, Richard M. Murray. To appear, 2022 International Workshop on Biodesign Automation (IWBDA).
This research is supported by the Air Force Office of Scientific Research (AFOSR) under MURI grant FA9550-22-1-0316.