Multidimensional Characterization of Parts Enhances Modeling Accuracy in Genetic Circuits

Developing, Characterizing, and Modeling CRISPR-Based Point-of-Use Pathogen Diagnostics

Recent years have seen intense interest in the development of point-of-care nucleic acid diagnostic technologies to address the scaling limitations of laboratory-based approaches. Chief among these are combinations of isothermal amplification approaches with CRISPR-based detection and readouts of target products. Here, we contribute to the growing body of rapid, programmable point-of-care pathogen tests by developing and optimizing a one-pot NASBA-Cas13a nucleic acid detection assay. This test uses the isothermal amplification technique NASBA to amplify target viral nucleic acids, followed by the Cas13a-based detection of amplified sequences. We first demonstrate an in-house formulation of NASBA that enables the optimization of individual NASBA components. We then present design rules for NASBA primer sets and LbuCas13a guide RNAs for the fast and sensitive detection of SARS-CoV-2 viral RNA fragments, resulting in 20-200 aM sensitivity. Finally, we explore the combination of high-throughput assay condition screening with mechanistic ordinary differential equation modeling of the reaction scheme to gain a deeper understanding of the NASBA-Cas13a system. This work presents a framework for developing a mechanistic understanding of reaction performance and optimization that uses both experiments and modeling, which we anticipate will be useful in developing future nucleic acid detection technologies.

Predictive genetic circuit design for phenotype reprogramming in plants

Plants, with intricate molecular networks for environmental adaptation, offer groundbreaking potential for reprogramming with predictive genetic circuits. However, realizing this goal is challenging due to the long cultivation cycle of plants, as well as the lack of reproducible, quantitative methods and well-characterized genetic parts. Here, we establish a rapid (~10 days), quantitative, and predictive framework in plants. A group of orthogonal sensors, modular synthetic promoters, and NOT gates are constructed and quantitatively characterized. A predictive model is developed to predict the designed circuits' behavior accurately. Our versatile and robust framework, validated by constructing 21 two-input circuits with high prediction accuracy (R2 = 0.81), enables multi-state phenotype control in both Arabidopsis thaliana and Nicotiana benthamiana in response to chemical inducers. Our study achieves predictable design and application of synthetic circuits in plants, offering valuable tools for the rapid engineering of plant traits in biotechnology and agriculture.

Developing, characterizing and modeling CRISPR-based point-of-use pathogen diagnostics

Recent years have seen intense interest in the development of point-of-care nucleic acid diagnostic technologies to address the scaling limitations of laboratory-based approaches. Chief among these are combinations of isothermal amplification approaches with CRISPR-based detection and readouts of target products. Here, we contribute to the growing body of rapid, programmable point-of-care pathogen tests by developing and optimizing a one-pot NASBA-Cas13a nucleic acid detection assay. This test uses the isothermal amplification technique NASBA to amplify target viral nucleic acids, followed by Cas13a-based detection of amplified sequences. We first demonstrate an in-house formulation of NASBA that enables optimization of individual NASBA components. We then present design rules for NASBA primer sets and LbuCas13a guide RNAs for fast and sensitive detection of SARS-CoV-2 viral RNA fragments, resulting in 20 - 200 aM sensitivity without any specialized equipment. Finally, we explore the combination of high-throughput assay condition screening with mechanistic ordinary differential equation modeling of the reaction scheme to gain a deeper understanding of the NASBA-Cas13a system. This work presents a framework for developing a mechanistic understanding of reaction performance and optimization that uses both experiments and modeling, which we anticipate will be useful in developing future nucleic acid detection technologies.

Genetic circuitry boosts cell longevity

Reprogramming cellular dynamics is used to study and delay the onset of aging in yeast.

Context-Aware Technology Mapping in Genetic Design Automation

Genetic design automation (GDA) tools hold promise to speed-up circuit design in synthetic biology. Their widespread adoption is hampered by their limited predictive power, resulting in frequent deviations between the in silico and in vivo performance of a genetic circuit. Context effects, i.e., the change in overall circuit functioning, due to the intracellular environment of the host and due to cross-talk among circuits components are believed to be a major source for the aforementioned deviations. Incorporating these effects in computational models of GDA tools is challenging but is expected to boost their predictive power and hence their deployment. Using fine-grained thermodynamic models of promoter activity, we show in this work how to account for two major components of cellular context effects: (i) crosstalk due to limited specificity of used regulators and (ii) titration of circuit regulators to off-target binding sites on the host genome. We show how we can compensate the incurred increase in computational complexity through dedicated branch-and-bound techniques during the technology mapping process. Using the synthesis of several combinational logic circuits based on Cello's device library as a case study, we analyze the effect of different intensities and distributions of crosstalk on circuit performance and on the usability of a given device library.

A Closed Form Model for Molecular Ratchet-Type Chemically Induced Dimerization Modules

Chemical-induced dimerization (CID) modules enable users to implement ligand-controlled cellular and biochemical functions for a number of problems in basic and applied biology. A special class of CID modules occur naturally in plants and involve a hormone receptor that binds a hormone, triggering a conformational change in the receptor that enables recognition by a second binding protein. Two recent reports show that such hormone receptors can be engineered to sense dozens of structurally diverse compounds. As a closed form model for molecular ratchets would be of immense utility in forward engineering of biological systems, here we have developed a closed form model for these distinct CID modules. These modules, which we call molecular ratchets, are distinct from more common CID modules called molecular glues in that they engage in saturable binding kinetics and are characterized well by a Hill equation. A defining characteristic of molecular ratchets is that the sensitivity of the response can be tuned by increasing the molar ratio of the hormone receptor to the binding protein. Thus, the same molecular ratchet can have a pico- or micromolar EC₅₀ depending on the concentration of the different receptor and binding proteins. Closed form models are derived for a base elementary reaction rate model, for ligand-independent complexation of the receptor and binding protein, and for homodimerization of the hormone receptor. Useful governing equations for a variety of in vitro and in vivo applications are derived, including enzyme-linked immunosorbent assay-like microplate assays, transcriptional activation in prokaryotes and eukaryotes, and ligand-induced split protein complementation.

Engineering genetic circuits: advancements in genetic design automation tools and standards for synthetic biology

Synthetic biology (SynBio) is a field at the intersection of biology and engineering. Inspired by engineering principles, researchers use defined parts to build functionally defined biological circuits. Genetic design automation (GDA) allows scientists to design, model, and analyze their genetic circuits in silico before building them in the lab, saving time, and resources in the process. Establishing SynBio's future is dependent on GDA, since the computational approach opens the field to a broad, interdisciplinary community. However, challenges with part libraries, standards, and software tools are currently stalling progress in the field. This review first covers recent advancements in GDA, followed by an assessment of the challenges ahead, and a proposed automated genetic design workflow for the future.

GAMES: A Dynamic Model Development Workflow for Rigorous Characterization of Synthetic Genetic Systems

Mathematical modeling is invaluable for advancing understanding and design of synthetic biological systems. However, the model development process is complicated and often unintuitive, requiring iteration on various computational tasks and comparisons with experimental data. Ad hoc model development can pose a barrier to reproduction and critical analysis of the development process itself, reducing the potential impact and inhibiting further model development and collaboration. To help practitioners manage these challenges, we introduce the Generation and Analysis of Models for Exploring Synthetic Systems (GAMES) workflow, which includes both automated and human-in-the-loop processes. We systematically consider the process of developing dynamic models, including model formulation, parameter estimation, parameter identifiability, experimental design, model reduction, model refinement, and model selection. We demonstrate the workflow with a case study on a chemically responsive transcription factor. The generalizable workflow presented in this tutorial can enable biologists to more readily build and analyze models for various applications.

Automated Design of Robust Genetic Circuits: Structural Variants and Parameter Uncertainty

Genetic design automation methods for combinational circuits often rely on standard algorithms from electronic design automation in their circuit synthesis and technology mapping. However, those algorithms are domain-specific and are hence often not directly suitable for the biological context. In this work we identify aspects of those algorithms that require domain-adaptation. We first demonstrate that enumerating structural variants for a given Boolean specification allows us to find better performing circuits and that stochastic gate assignment methods need to be properly adjusted in order to find the best assignment. Second, we present a general circuit scoring scheme that accounts for the limited accuracy of biological device models including the variability across cells and show that circuits selected according to this score exhibit higher robustness with respect to parametric variations. If gate characteristics in a library are just given in terms of intervals, we provide means to efficiently propagate signals through such a circuit and compute corresponding scores. We demonstrate the novel design approach using the Cello gate library and 33 logic functions that were synthesized and implemented in vivo recently (Nielsen, A., et al., Science, 2016, 352 (6281), DOI: 10.1126/science.aac7341). Across this set of functions, 32 of them can be improved by simply considering structural variants yielding performance gains of up to 7.9-fold, whereas 22 of them can be improved with gains up to 26-fold when selecting circuits according to the novel robustness score. We furthermore report on the synergistic combination of the two proposed improvements.

Context-Dependent Stability and Robustness of Genetic Toggle Switches with Leaky Promoters

Multistable switches are ubiquitous building blocks in both systems and synthetic biology. Given their central role, it is thus imperative to understand how their fundamental properties depend not only on the tunable biophysical properties of the switches themselves, but also on their genetic context. To this end, we reveal in this article how these factors shape the essential characteristics of toggle switches implemented using leaky promoters such as their stability and robustness to noise, both at single-cell and population levels. In particular, our results expose the roles that competition for scarce transcriptional and translational resources, promoter leakiness, and cell-to-cell heterogeneity collectively play. For instance, the interplay between protein expression from leaky promoters and the associated cost of relying on shared cellular resources can give rise to tristable dynamics even in the absence of positive feedback. Similarly, we demonstrate that while promoter leakiness always acts against multistability, resource competition can be leveraged to counteract this undesirable phenomenon. Underpinned by a mechanistic model, our results thus enable the context-aware rational design of multistable genetic switches that are directly translatable to experimental considerations, and can be further leveraged during the synthesis of large-scale genetic systems using computer-aided biodesign automation platforms.

Control of mammalian cell-based devices with genetic programming

Synthetic biology increasingly enables the construction of sophisticated functions in mammalian cells. A particularly promising frontier combines concepts drawn from industrial process control engineering-which is used to confer and balance properties such as stability and efficiency-with understanding as to how living systems have evolved to perform similar tasks with biological components. In this review, we first survey the state-of-the-art for both technologies and strategies available for genetic programming in mammalian cells. We then discuss recent progress in implementing programming objectives inspired by engineered and natural control mechanisms. Finally, we consider the transformative role of model-guided design in the present and future construction of customized mammalian cell functions for applications in biotechnology, medicine, and fundamental research.

Stability and Robustness of Unbalanced Genetic Toggle Switches in the Presence of Scarce Resources

While the vision of synthetic biology is to create complex genetic systems in a rational fashion, system-level behaviors are often perplexing due to the context-dependent dynamics of modules. One major source of context-dependence emerges due to the limited availability of shared resources, coupling the behavior of disconnected components. Motivated by the ubiquitous role of toggle switches in genetic circuits ranging from controlling cell fate differentiation to optimizing cellular performance, here we reveal how their fundamental dynamic properties are affected by competition for scarce resources. Combining a mechanistic model with nullcline-based stability analysis and potential landscape-based robustness analysis, we uncover not only the detrimental impacts of resource competition, but also how the unbalancedness of the switch further exacerbates them. While in general both of these factors undermine the performance of the switch (by pushing the dynamics toward monostability and increased sensitivity to noise), we also demonstrate that some of the unwanted effects can be alleviated by strategically optimized resource competition. Our results provide explicit guidelines for the context-aware rational design of toggle switches to mitigate our reliance on lengthy and expensive trial-and-error processes, and can be seamlessly integrated into the computer-aided synthesis of complex genetic systems.