- ▪N. Nolan, E. Peterman, K. E. Galloway, I. Incer, E. D. Sontag, D. Del Vecchio, "Guaranteed multistability in a microRNA-based genetic network by formal methods", In Proc. 64th IEEE Conference on Decision and Control (CDC), pp. 3043-3048, 2025. pdfbiomolecular systems · systems biology · synthetic biology · microRNA · toggle switch · contracts theory
Abstract
The development of genetic memory devices in synthetic biology is a challenging process that requires extensive analysis and characterization. In mammalian systems, this complexity is compounded by the need for a small DNA payload for efficient delivery into the cell. Previous genetic memory devices have relied exclusively on protein-based regulation, which are limited by their large size; in this paper, we propose a microRNA-based multistable network, which effectively halves the payload size for more efficient delivery. We demonstrate that the system can be multistable, and use formal methods to characterize constraints on design parameters that guarantee multistability. Our results provide a new genetic network topology that can achieve multistability and demonstrate the use of formal methods in the design of sophisticated genetic network architectures against non-convex top-level specifications.
- ▪B. de Freitas Magalhães, G. Fan, E.D. Sontag, K. Josi\'c, M.R. Bennett, "Pattern formation and bistability in a synthetic intercellular genetic toggle", ACS Synthetic Biology, vol. 13, pp. 2844-2860, 2024. pdf
Abstract
Differentiation within multicellular organisms is a complex process that helps to establish spatial patterning and tissue formation within the body. Often, the differentiation of cells is governed by morphogens and intercellular signaling molecules that guide the fate of each cell, frequently using toggle-like regulatory components. Synthetic biologists have long sought to recapitulate patterned differentiation with engineered cellular communities, and various methods for differentiating bacteria have been invented. Here, we couple a synthetic corepressive toggle switch with intercellular signaling pathways to create a “quorum-sensing toggle”. We show that this circuit not only exhibits population-wide bistability in a well-mixed liquid environment but also generates patterns of differentiation in colonies grown on agar containing an externally supplied morphogen. If coupled to other metabolic processes, circuits such as the one described here would allow for the engineering of spatially patterned, differentiated bacteria for use in biomaterials and bioelectronics.