Abstract
The use of orthogonal ribosomes in combination with dynamic resource allocation controllers is a promising approach for relieving the negative effects of cellular resource limitations on the modularity of synthetic gene circuits. Here, we develop a detailed mechanistic model of gene expression and resource allocation, which when simplified to a tractable level of complexity, allows the rational design of translational resource allocation controllers. Analysis of this model reveals a fundamental design trade-off; that reducing coupling acts to decrease gene expression. Through a sensitivity analysis of the experimentally tuneable controller parameters, we identify how each controller design parameter affects the overall closed-loop behaviour of the system, leading to a detailed set of design guidelines for optimally managing this trade-off. Based on our designs, we evaluated a number of alternative potential experimental implementations of the proposed system using commonly available biological components. Finally, we show that the controller is capable of dynamically allocating ribosomes as needed to restore modularity in a number of more complex synthetic circuits, such as the repressilator, and activation cascades composed of multiple interacting modules.