Design, Fabrication, and Device Chemistry of a 3-Input-3-Output Synthetic Genetic Combinatorial Logic Circuit with a 3-Input AND Gate in a Single Bacterial Cell

Regulation strategies for two-output biomolecular networks

Feedback control theory facilitates the development of self-regulating systems with desired performance which are predictable and insensitive to disturbances. Feedback regulatory topologies are found in many natural systems and have been of key importance in the design of reliable synthetic bio-devices operating in complex biological environments. Here, we study control schemes for biomolecular processes with two outputs of interest, expanding previously described concepts based on single-output systems. Regulation of such processes may unlock new design possibilities but can be challenging due to coupling interactions; also potential disturbances applied on one of the outputs may affect both. We therefore propose architectures for robustly manipulating the ratio/product and linear combinations of the outputs as well as each of the outputs independently. To demonstrate their characteristics, we apply these architectures to a simple process of two mutually activated biomolecular species. We also highlight the potential for experimental implementation by exploring synthetic realizations both in vivo and in vitro. This work presents an important step forward in building bio-devices capable of sophisticated functions.

Trumpet is an operating system for simple and robust cell-free biocomputing

Biological computation is becoming a viable and fast-growing alternative to traditional electronic computing. Here we present a biocomputing technology called Trumpet: Transcriptional RNA Universal Multi-Purpose GatE PlaTform. Trumpet combines the simplicity and robustness of the simplest in vitro biocomputing methods, adding signal amplification and programmability, while avoiding common shortcomings of live cell-based biocomputing solutions. We have demonstrated the use of Trumpet to build all universal Boolean logic gates. We have also built a web-based platform for designing Trumpet gates and created a primitive processor by networking several gates as a proof-of-principle for future development. The Trumpet offers a change of paradigm in biocomputing, providing an efficient and easily programmable biological logic gate operating system.

A Logically Reversible Double Feynman Gate with Molecular Engineered Bacteria Arranged in an Artificial Neural Network-Type Architecture

Reversible logic gates are the key components of reversible computing that map inputs and outputs in a certain one-to-one pattern so that the output signals can reveal the pattern of the input signals. One of the main research foci of reversible computing is the implementation of basic reversible gates by various modalities. Though true thermodynamic reversibility cannot be attained within living cells, the high energy efficiency of biological reactions inspires the implementation of reversible computation in living cells. The implementation of synthetic genetic circuits is mostly based on conventional irreversible computing, and the implementation of logical reversibility in living cells is rare. Here, we constructed a 3-input-3-output synthetic genetic reversible double Feynman logic gate with a population of genetically engineered E. coli cells. Instead of following hierarchical electronic design principles, we adapted the concept of artificial neural networks (ANN) and built a single-layer artificial network-type architecture with five different engineered bacteria, named bactoneurons. We used three extracellular chemicals as input signals and the expression of three fluorescence proteins as the output signals. The cellular devices, which combine the input chemical signals linearly and pass them through a nonlinear activation function and represent specific bactoneurons, were built by designing and creating small synthetic genetic networks inside E. coli. The weights of each of the inputs and biases of individual bactoneurons in the bacterial ANN were adjusted by optimizing the synthetic genetic networks. When arranging the five bactoneurons through an ANN-type architecture, the system generated a double Feynman gate function at the population level. To our knowledge, this is the first reversible double Feynman gate realization with living cells. This work may have significance in development of biocomputer technology, reversible computation, ANN wetware, and synthetic biology.

Designing Biological Circuits: From Principles to Applications

Genetic circuit design is a well-studied problem in synthetic biology. Ever since the first genetic circuits─the repressilator and the toggle switch─were designed and implemented, many advances have been made in this area of research. The current review systematically organizes a number of key works in this domain by employing the versatile framework of generalized morphological analysis. Literature in the area has been mapped on the basis of (a) the design methodologies used, ranging from brute-force searches to control-theoretic approaches, (b) the modeling techniques employed, (c) various circuit functionalities implemented, (d) key design characteristics, and (e) the strategies used for the robust design of genetic circuits. We conclude our review with an outlook on multiple exciting areas for future research, based on the systematic assessment of key research gaps that have been readily unravelled by our analysis framework.

Synthetic Genetic Reversible Feynman Gate in a Single E. coli Cell and Its Application in Bacterial to Mammalian Cell Information Transfer

Reversible computing is a nonconventional form of computing where the inputs and outputs are mapped in a unique one-to-one fashion. Reversible logic gates in single living cells have not been demonstrated. Here, we constructed a synthetic genetic reversible Feynman gate in single E. coli cells, and the input-output relations were measured in a clonal population. The inputs were extracellular chemicals, isopropyl β-d-1-thiogalactopyranoside (IPTG), and anhydrotetracycline (aTc), and the outputs were two fluorescence proteins. We developed a simple mathematical model and simulation to capture the essential features of the circuit and experimentally demonstrated that the behavior of the circuit was ultrasensitive and predictive. We showed an application by creating an intercellular Feynman gate, where input information from bacteria was computed and transferred to HeLa cells through shRNAs delivery and the output signals were observed as silencing of native AKT1 and CTNNB1 genes. The introduction of reversible logics in synthetic biology is new, and given that one-to-one input-output mapping, such reversible genetic systems might have applications in sensing, diagnostics, cellular computing, and synthetic biology.

Virtual Parts Repository 2: Model-Driven Design of Genetic Regulatory Circuits

Engineering genetic regulatory circuits is key to the creation of biological applications that are responsive to environmental changes. Computational models can assist in understanding especially large and complex circuits for which manual analysis is infeasible, permitting a model-driven design process. However, there are still few tools that offer the ability to simulate the system under design. One of the reasons for this is the lack of accessible model repositories or libraries that cater to the modular composition of models of synthetic systems. Here, we present the second version of the Virtual Parts Repository, a framework to facilitate the model-driven design of genetic regulatory circuits, which provides reusable, modular, and composable models. The new framework is service-oriented, easier to use in computational workflows, and provides several new features and access methods. New features include supporting hierarchical designs via a graph-based repository or compatible remote repositories, enriching existing designs, and using designs provided in Synthetic Biology Open Language documents to derive system-scale and hierarchical Systems Biology Markup Language models. We also present a reaction-based modeling abstraction inspired by rule-based modeling techniques to facilitate scalable and modular modeling of complex and large designs. This modeling abstraction enhances the modeling capability of the framework, for example, to incorporate design patterns such as roadblocking, distributed deployment of genetic circuits using plasmids, and cellular resource dependency. The framework and the modeling abstraction presented in this paper allow computational design tools to take advantage of computational simulations and ultimately help facilitate more predictable applications.

Distributed Computing with Engineered Bacteria and Its Application in Solving Chemically Generated 2 × 2 Maze Problems

This work presented an application of genetic distributed computing, where an abstract computational problem was mapped on a complex truth table and solved using simple genetic circuits distributed among various cell populations. Maze generating and solving are challenging problems in mathematics and computing. Here, we mapped all the input-output matrices of a 2 × 2 mathematical maze on a 4-input-4-output truth table. The logic values of four chemical inputs determined the 16 different 2 × 2 maze problems on a chemical space. We created six multi-input synthetic genetic AND gates, which distributed among six cell populations and organized in a single layer. Those cell populations in a mixed culture worked as a computational solver, which solved the chemically generated maze problems by expressing or not expressing four different fluorescent proteins. The three available "solutions" were visualized by glowing bacteria, and for the 13 "no solution" cases, no bacteria glowed. Thus, our system not only solved the maze problems but also showed the number of solvable and unsolvable problems. This work may have significance in cellular computation and synthetic biology.