Design and Model-Driven Analysis of Synthetic Circuits with the Staphylococcus aureus Dead-Cas9 (sadCas9) as a Programmable Transcriptional Regulator in Bacteria.

Synthetic circuit design is crucial for engineering microbes that process environmental cues and provide biologically relevant outputs. To reliably scale-up circuit complexity, the availability of parts toolkits is central. Streptococcus pyogenes (sp)-derived CRISPR interference/dead-Cas9 (CRISPRi/spdCas9) is widely adopted for implementing programmable regulations in synthetic circuits, and alternative CRISPRi systems will further expand our toolkits of orthogonal components. Here, we showcase the potential of CRISPRi using the engineered dCas9 from Staphylococcus aureus (sadCas9), not previously used in bacterial circuits, that is attractive for its low size and high specificity. We designed a collection of ∼20 increasingly complex circuits and variants in Escherichia coli, including circuits with static function like one-/two-input logic gates (NOT, NAND), circuits with dynamic behavior like incoherent feedforward loops (iFFLs), and applied sadCas9 to fix a T7 polymerase-based cascade. Data demonstrated specific and efficient target repression (100-fold) and qualitatively successful functioning for all circuits. Other advantageous features included low sadCas9-borne cell load and orthogonality with spdCas9. However, different circuit variants showed quantitatively unexpected and previously unreported steady-state responses: the dynamic range, switch point, and slope of NOT/NAND gates changed for different output promoters, and a multiphasic behavior was observed in iFFLs, differing from the expected bell-shaped or sigmoidal curves. Model analysis explained the observed curves by complex interplays among components, due to reporter gene-borne cell load and regulator competition. Overall, CRISPRi/sadCas9 successfully expanded the available toolkit for bacterial engineering. Analysis of our circuit collection depicted the impact of generally neglected effects modulating the shape of component dose-response curves, to avoid drawing wrong conclusions on circuit functioning.

Bayesian filtering for model predictive control of stochastic gene expression in single cells.

This study describes a method for controlling the production of protein in individual cells using stochastic models of gene expression. By combining modern microscopy platforms with optogenetic gene expression, experimentalists are able to accurately apply light to individual cells, which can induce protein production. Here we use a finite state projection based stochastic model of gene expression, along with Bayesian state estimation to control protein copy numbers within individual cells. We compare this method to previous methods that use population based approaches. We also demonstrate the ability of this control strategy to ameliorate discrepancies between the predictions of a deterministic model and stochastic switching system.

Maximizing protein production by keeping cells at optimal secretory stress levels using real-time control approaches.

Optimizing the production of recombinant proteins is a problem of major industrial and pharmaceutical importance. Secretion of the protein by the host cell considerably simplifies downstream purification processes. However, for many proteins, this is also the limiting production step. Current solutions involve extensive engineering of the chassis cell to facilitate protein trafficking and limit protein degradation triggered by excessive secretion-associated stress. Here, we propose instead a regulation-based strategy in which induction is dynamically adjusted to an optimal strength based on the current stress level of the cells. Using a small collection of hard-to-secrete proteins, a bioreactor-based platform with automated cytometry measurements, and a systematic assay to quantify secreted protein levels, we demonstrate that the secretion sweet spot is indicated by the appearance of a subpopulation of cells that accumulate high amounts of proteins, decrease growth, and face significant stress, that is, experience a secretion burnout. In these cells, adaptations capabilities are overwhelmed by a too strong production. Using these notions, we show for a single-chain antibody variable fragment that secretion levels can be improved by 70% by dynamically keeping the cell population at optimal stress levels using real-time closed-loop control.

Enhancing bioreactor arrays for automated measurements and reactive control with ReacSight.

Small-scale, low-cost bioreactors provide exquisite control of environmental parameters of microbial cultures over long durations. Their use is gaining popularity in quantitative systems and synthetic biology. However, existing setups are limited in their measurement capabilities. Here, we present ReacSight, a strategy to enhance bioreactor arrays for automated measurements and reactive experiment control. ReacSight leverages low-cost pipetting robots for sample collection, handling and loading, and provides a flexible instrument control architecture. We showcase ReacSight capabilities on three applications in yeast. First, we demonstrate real-time optogenetic control of gene expression. Second, we explore the impact of nutrient scarcity on fitness and cellular stress using competition assays. Third, we perform dynamic control of the composition of a two-strain consortium. We combine custom or chi.bio reactors with automated cytometry. To further illustrate ReacSight's genericity, we use it to enhance plate-readers with pipetting capabilities and perform repeated antibiotic treatments on a bacterial clinical isolate.

Enabling reactive microscopy with MicroMator.

Microscopy image analysis has recently made enormous progress both in terms of accuracy and speed thanks to machine learning methods and improved computational resources. This greatly facilitates the online adaptation of microscopy experimental plans using real-time information of the observed systems and their environments. Applications in which reactiveness is needed are multifarious. Here we report MicroMator, an open and flexible software for defining and driving reactive microscopy experiments. It provides a Python software environment and an extensible set of modules that greatly facilitate the definition of events with triggers and effects interacting with the experiment. We provide a pedagogic example performing dynamic adaptation of fluorescence illumination on bacteria, and demonstrate MicroMator's potential via two challenging case studies in yeast to single-cell control and single-cell recombination, both requiring real-time tracking and light targeting at the single-cell level.

Parameter inference for stochastic biochemical models from perturbation experiments parallelised at the single cell level.

Understanding and characterising biochemical processes inside single cells requires experimental platforms that allow one to perturb and observe the dynamics of such processes as well as computational methods to build and parameterise models from the collected data. Recent progress with experimental platforms and optogenetics has made it possible to expose each cell in an experiment to an individualised input and automatically record cellular responses over days with fine time resolution. However, methods to infer parameters of stochastic kinetic models from single-cell longitudinal data have generally been developed under the assumption that experimental data is sparse and that responses of cells to at most a few different input perturbations can be observed. Here, we investigate and compare different approaches for calculating parameter likelihoods of single-cell longitudinal data based on approximations of the chemical master equation (CME) with a particular focus on coupling the linear noise approximation (LNA) or moment closure methods to a Kalman filter. We show that, as long as cells are measured sufficiently frequently, coupling the LNA to a Kalman filter allows one to accurately approximate likelihoods and to infer model parameters from data even in cases where the LNA provides poor approximations of the CME. Furthermore, the computational cost of filtering-based iterative likelihood evaluation scales advantageously in the number of measurement times and different input perturbations and is thus ideally suited for data obtained from modern experimental platforms. To demonstrate the practical usefulness of these results, we perform an experiment in which single cells, equipped with an optogenetic gene expression system, are exposed to various different light-input sequences and measured at several hundred time points and use parameter inference based on iterative likelihood evaluation to parameterise a stochastic model of the system.

Using single-cell models to predict the functionality of synthetic circuits at the population scale.

SignificanceAt the single-cell level, biochemical processes are inherently stochastic. For many natural systems, the resulting cell-to-cell variability is exploited by microbial populations. In synthetic biology, however, the interplay of cell-to-cell variability and population processes such as selection or growth often leads to circuits not functioning as predicted by simple models. Here we show how multiscale stochastic kinetic models that simultaneously track single-cell and population processes can be obtained based on an augmentation of the chemical master equation. These models enable us to quantitatively predict complex population dynamics of a yeast optogenetic differentiation system from a specification of the circuit's components and to demonstrate how cell-to-cell variability can be exploited to purposefully create unintuitive circuit functionality.

A light tunable differentiation system for the creation and control of consortia in yeast.

Artificial microbial consortia seek to leverage division-of-labour to optimize function and possess immense potential for bioproduction. Co-culturing approaches, the preferred mode of generating a consortium, remain limited in their ability to give rise to stable consortia having finely tuned compositions. Here, we present an artificial differentiation system in budding yeast capable of generating stable microbial consortia with custom functionalities from a single strain at user-defined composition in space and in time based on optogenetically-driven genetic rewiring. Owing to fast, reproducible, and light-tunable dynamics, our system enables dynamic control of consortia composition in continuous cultures for extended periods. We further demonstrate that our system can be extended in a straightforward manner to give rise to consortia with multiple subpopulations. Our artificial differentiation strategy establishes a novel paradigm for the creation of complex microbial consortia that are simple to implement, precisely controllable, and versatile to use.

Beyond the chemical master equation: Stochastic chemical kinetics coupled with auxiliary processes.

The chemical master equation and its continuum approximations are indispensable tools in the modeling of chemical reaction networks. These are routinely used to capture complex nonlinear phenomena such as multimodality as well as transient events such as first-passage times, that accurately characterise a plethora of biological and chemical processes. However, some mechanisms, such as heterogeneous cellular growth or phenotypic selection at the population level, cannot be represented by the master equation and thus have been tackled separately. In this work, we propose a unifying framework that augments the chemical master equation to capture such auxiliary dynamics, and we develop and analyse a numerical solver that accurately simulates the system dynamics. We showcase these contributions by casting a diverse array of examples from the literature within this framework and applying the solver to both match and extend previous studies. Analytical calculations performed for each example validate our numerical results and benchmark the solver implementation.

To quarantine, or not to quarantine: A theoretical framework for disease control via contact tracing.

Contact tracing via smartphone applications is expected to be of major importance for maintaining control of the COVID-19 pandemic. However, viable deployment demands a minimal quarantine burden on the general public. That is, consideration must be given to unnecessary quarantining imposed by a contact tracing policy. Previous studies have modeled the role of contact tracing, but have not addressed how to balance these two competing needs. We propose a modeling framework that captures contact heterogeneity. This allows contact prioritization: contacts are only notified if they were acutely exposed to individuals who eventually tested positive. The framework thus allows us to address the delicate balance of preventing disease spread while minimizing the social and economic burdens of quarantine. This optimal contact tracing strategy is studied as a function of limitations in testing resources, partial technology adoption, and other intervention methods such as social distancing and lockdown measures. The framework is globally applicable, as the distribution describing contact heterogeneity is directly adaptable to any digital tracing implementation.

Applying ecological resistance and resilience to dissect bacterial antibiotic responses.

An essential property of microbial communities is the ability to survive a disturbance. Survival can be achieved through resistance, the ability to absorb effects of a disturbance without a notable change, or resilience, the ability to recover after being perturbed by a disturbance. These concepts have long been applied to the analysis of ecological systems, although their interpretations are often subject to debate. Here, we show that this framework readily lends itself to the dissection of the bacterial response to antibiotic treatment, where both terms can be unambiguously defined. The ability to tolerate the antibiotic treatment in the short term corresponds to resistance, which primarily depends on traits associated with individual cells. In contrast, the ability to recover after being perturbed by an antibiotic corresponds to resilience, which primarily depends on traits associated with the population. This framework effectively reveals the phenotypic signatures of bacterial pathogens expressing extended-spectrum ß-lactamases (ESBLs) when treated by a ß-lactam antibiotic. Our analysis has implications for optimizing treatment of these pathogens using a combination of a ß-lactam and a ß-lactamase (Bla) inhibitor. In particular, our results underscore the need to dynamically optimize combination treatments based on the quantitative features of the bacterial response to the antibiotic or the Bla inhibitor.

Identification of individual cells from z-stacks of bright-field microscopy images.

Obtaining single cell data from time-lapse microscopy images is critical for quantitative biology, but bottlenecks in cell identification and segmentation must be overcome. We propose a novel, versatile method that uses machine learning classifiers to identify cell morphologies from z-stack bright-field microscopy images. We show that axial information is enough to successfully classify the pixels of an image, without the need to consider in focus morphological features. This fast, robust method can be used to identify different cell morphologies, including the features of E. coli, S. cerevisiae and epithelial cells, even in mixed cultures. Our method demonstrates the potential of acquiring and processing Z-stacks for single-layer, single-cell imaging and segmentation.

Balancing a genetic toggle switch by real-time feedback control and periodic forcing.

Cybergenetics is a novel field of research aiming at remotely pilot cellular processes in real-time with to leverage the biotechnological potential of synthetic biology. Yet, the control of only a small number of genetic circuits has been tested so far. Here we investigate the control of multistable gene regulatory networks, which are ubiquitously found in nature and play critical roles in cell differentiation and decision-making. Using an in silico feedback control loop, we demonstrate that a bistable genetic toggle switch can be dynamically maintained near its unstable equilibrium position for extended periods of time. Importantly, we show that a direct method based on dual periodic forcing is sufficient to simultaneously maintain many cells in this undecided state. These findings pave the way for the control of more complex cell decision-making systems at both the single cell and the population levels, with vast fundamental and biotechnological applications.

Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway.

MOTIVATION: Quantitative models are increasingly used in systems biology. Usually, these quantitative models involve many molecular species and their associated reactions. When simulating a tissue with thousands of cells, using these large models becomes computationally and time limiting. RESULTS: In this paper, we propose to construct abstractions using information theory notions. Entropy is used to discretize the state space and mutual information is used to select a subset of all original variables and their mutual dependencies. We apply our method to an hybrid model of TRAIL-induced apoptosis in HeLa cell. Our abstraction, represented as a Dynamic Bayesian Network (DBN), reduces the number of variables from 92 to 10, and accelerates numerical simulation by an order of magnitude, yet preserving essential features of cell death time distributions. AVAILABILITY AND IMPLEMENTATION: This approach is implemented in the tool DBNizer, freely available at http://perso.crans.org/genest/DBNizer . CONTACT: gregory.batt@inria.fr or bgenest@irisa.fr. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.

Long-term tracking of budding yeast cells in brightfield microscopy: CellStar and the Evaluation Platform.

With the continuous expansion of single cell biology, the observation of the behaviour of individual cells over extended durations and with high accuracy has become a problem of central importance. Surprisingly, even for yeast cells that have relatively regular shapes, no solution has been proposed that reaches the high quality required for long-term experiments for segmentation and tracking (S&T) based on brightfield images. Here, we present CellStar, a tool chain designed to achieve good performance in long-term experiments. The key features are the use of a new variant of parametrized active rays for segmentation, a neighbourhood-preserving criterion for tracking, and the use of an iterative approach that incrementally improves S&T quality. A graphical user interface enables manual corrections of S&T errors and their use for the automated correction of other, related errors and for parameter learning. We created a benchmark dataset with manually analysed images and compared CellStar with six other tools, showing its high performance, notably in long-term tracking. As a community effort, we set up a website, the Yeast Image Toolkit, with the benchmark and the Evaluation Platform to gather this and additional information provided by others.

What Population Reveals about Individual Cell Identity: Single-Cell Parameter Estimation of Models of Gene Expression in Yeast.

Significant cell-to-cell heterogeneity is ubiquitously observed in isogenic cell populations. Consequently, parameters of models of intracellular processes, usually fitted to population-averaged data, should rather be fitted to individual cells to obtain a population of models of similar but non-identical individuals. Here, we propose a quantitative modeling framework that attributes specific parameter values to single cells for a standard model of gene expression. We combine high quality single-cell measurements of the response of yeast cells to repeated hyperosmotic shocks and state-of-the-art statistical inference approaches for mixed-effects models to infer multidimensional parameter distributions describing the population, and then derive specific parameters for individual cells. The analysis of single-cell parameters shows that single-cell identity (e.g. gene expression dynamics, cell size, growth rate, mother-daughter relationships) is, at least partially, captured by the parameter values of gene expression models (e.g. rates of transcription, translation and degradation). Our approach shows how to use the rich information contained into longitudinal single-cell data to infer parameters that can faithfully represent single-cell identity.

In silico control of biomolecular processes.

By implementing an external feedback loop one can tightly control the expression of a gene over many cell generations with quantitative accuracy. Controlling precisely the level of a protein of interest will be useful to probe quantitatively the dynamical properties of cellular processes and to drive complex, synthetically-engineered networks. In this chapter we describe a platform for real-time closed-loop control of gene expression in yeast that integrates microscopy for monitoring gene expression at the cell level, microfluidics to manipulate the cells environment, and original software for automated imaging, quantification, and model predictive control. By using an endogenous osmo-stress responsive promoter and playing with the osmolarity of the cells environment, we demonstrate that long-term control can indeed be achieved for both time-constant and time-varying target profiles, at the population level, and even at the single-cell level.

A platform for rapid prototyping of synthetic gene networks in mammalian cells.

Mammalian synthetic biology may provide novel therapeutic strategies, help decipher new paths for drug discovery and facilitate synthesis of valuable molecules. Yet, our capacity to genetically program cells is currently hampered by the lack of efficient approaches to streamline the design, construction and screening of synthetic gene networks. To address this problem, here we present a framework for modular and combinatorial assembly of functional (multi)gene expression vectors and their efficient and specific targeted integration into a well-defined chromosomal context in mammalian cells. We demonstrate the potential of this framework by assembling and integrating different functional mammalian regulatory networks including the largest gene circuit built and chromosomally integrated to date (6 transcription units, 27kb) encoding an inducible memory device. Using a library of 18 different circuits as a proof of concept, we also demonstrate that our method enables one-pot/single-flask chromosomal integration and screening of circuit libraries. This rapid and powerful prototyping platform is well suited for comparative studies of genetic regulatory elements, genes and multi-gene circuits as well as facile development of libraries of isogenic engineered cell lines.

Modeling dynamics of cell-to-cell variability in TRAIL-induced apoptosis explains fractional killing and predicts reversible resistance.

Isogenic cells sensing identical external signals can take markedly different decisions. Such decisions often correlate with pre-existing cell-to-cell differences in protein levels. When not neglected in signal transduction models, these differences are accounted for in a static manner, by assuming randomly distributed initial protein levels. However, this approach ignores the a priori non-trivial interplay between signal transduction and the source of this cell-to-cell variability: temporal fluctuations of protein levels in individual cells, driven by noisy synthesis and degradation. Thus, modeling protein fluctuations, rather than their consequences on the initial population heterogeneity, would set the quantitative analysis of signal transduction on firmer grounds. Adopting this dynamical view on cell-to-cell differences amounts to recast extrinsic variability into intrinsic noise. Here, we propose a generic approach to merge, in a systematic and principled manner, signal transduction models with stochastic protein turnover models. When applied to an established kinetic model of TRAIL-induced apoptosis, our approach markedly increased model prediction capabilities. One obtains a mechanistic explanation of yet-unexplained observations on fractional killing and non-trivial robust predictions of the temporal evolution of cell resistance to TRAIL in HeLa cells. Our results provide an alternative explanation to survival via induction of survival pathways since no TRAIL-induced regulations are needed and suggest that short-lived anti-apoptotic protein Mcl1 exhibit large and rare fluctuations. More generally, our results highlight the importance of accounting for stochastic protein turnover to quantitatively understand signal transduction over extended durations, and imply that fluctuations of short-lived proteins deserve particular attention.

STL-based analysis of TRAIL-induced apoptosis challenges the notion of type I/type II cell line classification.

Extrinsic apoptosis is a programmed cell death triggered by external ligands, such as the TNF-related apoptosis inducing ligand (TRAIL). Depending on the cell line, the specific molecular mechanisms leading to cell death may significantly differ. Precise characterization of these differences is crucial for understanding and exploiting extrinsic apoptosis. Cells show distinct behaviors on several aspects of apoptosis, including (i) the relative order of caspases activation, (ii) the necessity of mitochondria outer membrane permeabilization (MOMP) for effector caspase activation, and (iii) the survival of cell lines overexpressing Bcl2. These differences are attributed to the activation of one of two pathways, leading to classification of cell lines into two groups: type I and type II. In this work we challenge this type I/type II cell line classification. We encode the three aforementioned distinguishing behaviors in a formal language, called signal temporal logic (STL), and use it to extensively test the validity of a previously-proposed model of TRAIL-induced apoptosis with respect to experimental observations made on different cell lines. After having solved a few inconsistencies using STL-guided parameter search, we show that these three criteria do not define consistent cell line classifications in type I or type II, and suggest mutants that are predicted to exhibit ambivalent behaviors. In particular, this finding sheds light on the role of a feedback loop between caspases, and reconciliates two apparently-conflicting views regarding the importance of either upstream or downstream processes for cell-type determination. More generally, our work suggests that these three distinguishing behaviors should be merely considered as type I/II features rather than cell-type defining criteria. On the methodological side, this work illustrates the biological relevance of STL-diagrams, STL population data, and STL-guided parameter search implemented in the tool Breach. Such tools are well-adapted to the ever-increasing availability of heterogeneous knowledge on complex signal transduction pathways.