Cybergenetics: Control theory for living cells

Similar documents
arxiv: v5 [math.oc] 20 Nov 2015

Basic modeling approaches for biological systems. Mahesh Bule

arxiv: v1 [math.oc] 22 Nov 2017

Antithetic Integral Feedback Ensures Robust Perfect Adaptation in Noisy Biomolecular Networks

BME 5742 Biosystems Modeling and Control

the noisy gene Biology of the Universidad Autónoma de Madrid Jan 2008 Juan F. Poyatos Spanish National Biotechnology Centre (CNB)

Modeling and Systems Analysis of Gene Regulatory Networks

Basic Synthetic Biology circuits

Lecture 7: Simple genetic circuits I

Modelling Biochemical Pathways with Stochastic Process Algebra

BIOLOGY STANDARDS BASED RUBRIC

CS-E5880 Modeling biological networks Gene regulatory networks

European Conference on Mathematical and Theoretical Biology Gothenburg

RNA & PROTEIN SYNTHESIS. Making Proteins Using Directions From DNA

Analog Electronics Mimic Genetic Biochemical Reactions in Living Cells

A synthetic oscillatory network of transcriptional regulators

Chapters 12&13 Notes: DNA, RNA & Protein Synthesis

Lecture 2: Analysis of Biomolecular Circuits

Networks in systems biology

Stochastic simulations!

Gene Autoregulation via Intronic micrornas and its Functions

Stochastic simulations

Introduction. ECE/CS/BioEn 6760 Modeling and Analysis of Biological Networks. Adventures in Synthetic Biology. Synthetic Biology.

UNIT 5. Protein Synthesis 11/22/16

Simulation of Gene Regulatory Networks

arxiv: v2 [q-bio.mn] 12 Sep 2011

Boolean models of gene regulatory networks. Matthew Macauley Math 4500: Mathematical Modeling Clemson University Spring 2016

Genetic transcription and regulation

Chemical reaction network theory for stochastic and deterministic models of biochemical reaction systems

More Protein Synthesis and a Model for Protein Transcription Error Rates

Genetic transcription and regulation

Biomolecular Feedback Systems

Introduction to Mathematical Modeling

Introduction to Bioinformatics

Biochemical Reactions and Logic Computation

Chapter 17. From Gene to Protein. Biology Kevin Dees

VCE BIOLOGY Relationship between the key knowledge and key skills of the Study Design and the Study Design

Multiple Choice Review- Eukaryotic Gene Expression

Lecture 1 Modeling in Biology: an introduction

Chapter 6.2. p

2. Mathematical descriptions. (i) the master equation (ii) Langevin theory. 3. Single cell measurements

COURSE NUMBER: EH 590R SECTION: 1 SEMESTER: Fall COURSE TITLE: Computational Systems Biology: Modeling Biological Responses

STOCHASTICITY IN GENE EXPRESSION: FROM THEORIES TO PHENOTYPES

A Synthetic Oscillatory Network of Transcriptional Regulators

Understanding Science Through the Lens of Computation. Richard M. Karp Nov. 3, 2007

Computational Cell Biology Lecture 4

The Effect of Stochasticity on the Lac Operon: An Evolutionary Perspective

Introduction to Bioinformatics

Brief contents. Chapter 1 Virus Dynamics 33. Chapter 2 Physics and Biology 52. Randomness in Biology. Chapter 3 Discrete Randomness 59

GLOBEX Bioinformatics (Summer 2015) Genetic networks and gene expression data

56:198:582 Biological Networks Lecture 9

AP* Biology Prep Course

CHAPTER : Prokaryotic Genetics

Combined Model of Intrinsic and Extrinsic Variability for Computational Network Design with Application to Synthetic Biology

Optimal State Estimation for Boolean Dynamical Systems using a Boolean Kalman Smoother

Videos. Bozeman, transcription and translation: Crashcourse: Transcription and Translation -

1 Introduction. Maria Luisa Guerriero. Jane Hillston

Biology Final Review Ch pg Biology is the study of

Translation Part 2 of Protein Synthesis

Gene Expression as a Stochastic Process: From Gene Number Distributions to Protein Statistics and Back

Computational Biology: Basics & Interesting Problems

A Simple Protein Synthesis Model

Biological networks CS449 BIOINFORMATICS

Bio/Life: Cell Biology

Stochastic dynamics of small gene regulation networks. Lev Tsimring BioCircuits Institute University of California, San Diego

Lesson Overview. Ribosomes and Protein Synthesis 13.2

1. CHEMISTRY OF LIFE. Tutorial Outline

(Lys), resulting in translation of a polypeptide without the Lys amino acid. resulting in translation of a polypeptide without the Lys amino acid.

Regulation and signaling. Overview. Control of gene expression. Cells need to regulate the amounts of different proteins they express, depending on

Network Biology: Understanding the cell s functional organization. Albert-László Barabási Zoltán N. Oltvai

Types of biological networks. I. Intra-cellurar networks

Bioinformatics 3. V18 Kinetic Motifs. Fri, Jan 8, 2016

Bioinformatics 3! V20 Kinetic Motifs" Mon, Jan 13, 2014"

Bi 1x Spring 2014: LacI Titration

Modeling Cellular Networks

Network motifs in the transcriptional regulation network (of Escherichia coli):

7.32/7.81J/8.591J: Systems Biology. Fall Exam #1

Lecture 15: Programming Example: TASEP

Engineering of Repressilator

56:198:582 Biological Networks Lecture 8

10-810: Advanced Algorithms and Models for Computational Biology. microrna and Whole Genome Comparison

2015 FALL FINAL REVIEW

Scope and Sequence. Course / Grade Title: Biology

Reading Assignments. A. Genes and the Synthesis of Polypeptides. Lecture Series 7 From DNA to Protein: Genotype to Phenotype

Bio 1B Lecture Outline (please print and bring along) Fall, 2007

Valley Central School District 944 State Route 17K Montgomery, NY Telephone Number: (845) ext Fax Number: (845)

Stochastic Process Algebra models of a Circadian Clock

Keystone Exams: Biology Assessment Anchors and Eligible Content. Pennsylvania Department of Education

AP Biology Essential Knowledge Cards BIG IDEA 1

Intrinsic Noise in Nonlinear Gene Regulation Inference

Compare and contrast the cellular structures and degrees of complexity of prokaryotic and eukaryotic organisms.

Name Date Period Unit 1 Basic Biological Principles 1. What are the 7 characteristics of life?

Identify stages of plant life cycle Botany Oral/written pres, exams

Objective 3.01 (DNA, RNA and Protein Synthesis)

Basic Biology. Content Skills Learning Targets Assessment Resources & Technology

Principles of Genetics

M. Dechesne R. Sepulchre

2. What was the Avery-MacLeod-McCarty experiment and why was it significant? 3. What was the Hershey-Chase experiment and why was it significant?

Control Theory: Design and Analysis of Feedback Systems

How to Build a Living Cell in Software or Can we computerize a bacterium?

Transcription:

Department of Biosystems Science and Engineering, ETH-Zürich Cybergenetics: Control theory for living cells Corentin Briat Joint work with Ankit Gupta and Mustafa Khammash

Introduction Overview Cybergenetics: Control theory for living cells at the genetic/molecular level Endogenous (analysis) Synthetic (design)

Introduction Overview Cybergenetics: Control theory for living cells at the genetic/molecular level Endogenous (analysis) Synthetic (design) System: single-cell vs. cell population Single-cell control: control of the abundance of a molecule of interest inside a given cell Population control: control of the abundance of a molecule of interest across a cell population; e.g. the mean value

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 2 / 18 Introduction Overview Cybergenetics: Control theory for living cells at the genetic/molecular level Endogenous (analysis) Synthetic (design) System: single-cell vs. cell population Single-cell control: control of the abundance of a molecule of interest inside a given cell Population control: control of the abundance of a molecule of interest across a cell population; e.g. the mean value Controllers: in-silico controllers vs. in-vivo controllers in-silico controller: the controller is implemented inside a computer/microcontroller in-vivo controller: the controller is implemented inside the cell These are different problems with different challenges, especially theoretical ones!

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 2 / 18 Introduction Overview Cybergenetics: Control theory for living cells at the genetic/molecular level Endogenous (analysis) Synthetic (design) System: single-cell vs. cell population Single-cell control: control of the abundance of a molecule of interest inside a given cell Population control: control of the abundance of a molecule of interest across a cell population; e.g. the mean value Controllers: in-silico controllers vs. in-vivo controllers in-silico controller: the controller is implemented inside a computer/microcontroller in-vivo controller: the controller is implemented inside the cell These are different problems with different challenges, especially theoretical ones! Outline A tiny bit of biology: basic knowledge needed to follow the talk Models in biology: deterministic or stochastic? Discussion about biological noise Regulation motifs in biology: homeostasis, perfect adaptation and integral control A first cybergenetical result: antithetic integral control

Contents 1 Biology, models in biology and noise 2 Regulation in biology 3 Cybergenetics

A bit of (simplified) biology... Central Dogma of Biology DNA: support of genetic information (ATGC) Transcription Messenger RNA (mrna): convey genetic information to the ribosomes Translation Protein: functional 3D chain of amino acids; e.g. insulin

A bit of (simplified) biology... Central Dogma of Biology DNA: support of genetic information (ATGC) Transcription Messenger RNA (mrna): convey genetic information to the ribosomes Translation Protein: functional 3D chain of amino acids; e.g. insulin A control problem How to act on transcription in order to regulate the protein abundance? }{{}}{{} control input controlled output

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 5 / 18 Reaction networks A reaction network consists of... A set of distinct species X state A set of reactions R involving the species in X dynamics

Reaction networks A reaction network consists of... A set of distinct species X state A set of reactions R involving the species in X dynamics Examples (Bio)chemistry: X = {distinct molecular species} and R = {reaction rules} Ecology: X = {animal/vegetal species and resources} R = {predation and reproduction rules} Epidemiology: X = {illness state of individuals} R = {disease propagation and recovery rules} Multi-agent systems: X = {all the distinct agents} R = {communication and update rules} Communication networks: X = {users, links and queues} R = {communication, transmission and protocol update rules}

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 5 / 18 Reaction networks A reaction network consists of... A set of distinct species X state A set of reactions R involving the species in X dynamics Gene expression model X = {Gene, mrna, P} R = {R 1, R 2, R 3, R 4 } The reaction network is given by R 1 : Gene R 2 : mrna R 3 : mrna R 4 : P k m Gene + mrna (Transcription) γ m φ (Degradation/dilution reaction) k p mrna + P (Translation) γ p φ (Degradation/dilution reaction) where the parameters k m, γ m, k p, γ p are the reaction rates. In particular, k m is the transcription rate and k p is the translation rate.

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 6 / 18 Models for reaction networks Deterministic models Works well when the populations are in high-copy number; e.g. in Avogadro number 6.02 10 23 (in chemistry for instance) Concentration of the molecular species well-defined continuous real-valued Model formulated as systems of ODEs, DDEs or PDEs Analysis and control can be done using well-established methods Simulation tools are well-developed, accurate and cheap (at least for moderate sizes)

Models for reaction networks Deterministic models Works well when the populations are in high-copy number; e.g. in Avogadro number 6.02 10 23 (in chemistry for instance) Concentration of the molecular species well-defined continuous real-valued Model formulated as systems of ODEs, DDEs or PDEs Analysis and control can be done using well-established methods Simulation tools are well-developed, accurate and cheap (at least for moderate sizes) Stochastic models When the population are in low-copy number randomness in the interactions cannot be neglected anymore noisy dynamics Concentrations are ill-defined molecular counts discrete integer-valued variable Stochastic models are then necessary: jump Markov processes (CTMC) (+ some approximations) Analysis are control techniques are scarcer, yet some exist In the context of reaction networks, novel analysis and control tools are needed Simulation tools exist but large models (yet small for biology) are intractable

Noise in biology Some clarifications Randomness (Math) = Noise (Biology)

Noise in biology Some clarifications Randomness (Math) = Noise (Biology) Noise is intrinsic to living organisms and their evolution Mutations are random (at least as understood so far) Phenotypical randomness two genetically identical individuals can look different Molecular counts within a single cell can be low ( 10) intrinsic noise High cell-to-cell variability extrinsic noise

Noise in biology Some clarifications Randomness (Math) = Noise (Biology) Noise is intrinsic to living organisms and their evolution Mutations are random (at least as understood so far) Phenotypical randomness two genetically identical individuals can look different Molecular counts within a single cell can be low ( 10) intrinsic noise High cell-to-cell variability extrinsic noise We focus here on noise in the firing of the reactions (and no extrinsic noise)

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 7 / 18 Noise in biology Some clarifications Randomness (Math) = Noise (Biology) Noise is intrinsic to living organisms and their evolution Mutations are random (at least as understood so far) Phenotypical randomness two genetically identical individuals can look different Molecular counts within a single cell can be low ( 10) intrinsic noise High cell-to-cell variability extrinsic noise We focus here on noise in the firing of the reactions (and no extrinsic noise) Is noise detrimental or is it beneficial? Or even both?

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 7 / 18 Noise in biology Some clarifications Randomness (Math) = Noise (Biology) Noise is intrinsic to living organisms and their evolution Mutations are random (at least as understood so far) Phenotypical randomness two genetically identical individuals can look different Molecular counts within a single cell can be low ( 10) intrinsic noise High cell-to-cell variability extrinsic noise We focus here on noise in the firing of the reactions (and no extrinsic noise) Is noise detrimental or is it beneficial? Or even both? Stochastic toggle switch of Gardner

Noise in biology Some clarifications Randomness (Math) = Noise (Biology) Noise is intrinsic to living organisms and their evolution Mutations are random (at least as understood so far) Phenotypical randomness two genetically identical individuals can look different Molecular counts within a single cell can be low ( 10) intrinsic noise High cell-to-cell variability extrinsic noise We focus here on noise in the firing of the reactions (and no extrinsic noise) Is noise detrimental or is it beneficial? Or even both? Noise-induced oscillations Circadian clock model of Vilar et al. A R

Noise in biology Some clarifications Randomness (Math) = Noise (Biology) Noise is intrinsic to living organisms and their evolution Mutations are random (at least as understood so far) Phenotypical randomness two genetically identical individuals can look different Molecular counts within a single cell can be low ( 10) intrinsic noise High cell-to-cell variability extrinsic noise We focus here on noise in the firing of the reactions (and no extrinsic noise) Is noise detrimental or is it beneficial? Or even both? In summary Noise allows to achieve certain difficult functions in a robust way; e;g. oscillations, switching, amplification, entrainment, etc. We refer to them as noise-induced properties as they are absent from deterministic counterparts Is there any such noise-induced property in regulation? Sounds rather paradoxical...

Contents 1 Biology, models in biology and noise 2 Regulation in biology 3 Cybergenetics

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 9 / 18 Regulation, Integral action, Homeostasis and Perfect adaptation Regulation in control systems Regulation in control theory is the ability of a controlled system to remain at a pre-specified constant steady-state despite the presence of (constant) disturbance It is known that integral action is necessary to ensure such a property

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 9 / 18 Regulation, Integral action, Homeostasis and Perfect adaptation Regulation in control systems Regulation in control theory is the ability of a controlled system to remain at a pre-specified constant steady-state despite the presence of (constant) disturbance It is known that integral action is necessary to ensure such a property Homeostasis Homeostasis is the ability of living organisms to regulate their internal state Perfect adaptation is the property that molecular levels will return back to their pre-stimuli value after the appearance of a perturbing stimulus Regulation motifs hence naturally exist in living cells How do they relate to integral control?

Endogenous regulation motifs for perfect adaptation Negative feedback loop motif Incoherent feedforward motif Comments They can both ensure (perfect) adaptation In the perfect adaptation case integral control Several endogenous circuits have been identified Negative feedback: Bacterial chemotaxis, Incoherent FF: But... Paradigm problem: regulation circuits are indissociable from the system Unclear whether this would work for controlling more general pathways Does not work if we change the input node or if the input acts on the edges Stochastic setting?

Contents 1 Biology, models in biology and noise 2 Regulation in biology 3 Cybergenetics

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 12 / 18 Antithetic integral feedback Open-loop network A reaction network (X, R) X 1 is the actuated species Y = X l is the controlled species

Antithetic integral feedback Open-loop network A reaction network (X, R) X 1 is the actuated species Y = X l is the controlled species Control objective (roughly) Find a set of additional species Z and additional reactions R c that acts on the actuated species X 1 in a way that the controlled species Y robustly tracks a desired set-point µ/θ (in a certain way).

Antithetic integral feedback Open-loop network A reaction network (X, R) X 1 is the actuated species Y = X l is the controlled species Control objective (roughly) Find a set of additional species Z and additional reactions R c that acts on the actuated species X 1 in a way that the controlled species Y robustly tracks a desired set-point µ/θ (in a certain way). Antithetic integral controller R c θ 1 : Y Y + Z 2 (Measurement reaction) R c µ 2 : φ Z 1 (Reference reaction) R c η 3 : Z 1 + Z 2 φ (Comparison reaction) R c k 4 : Z 1 Z 1 + X 1 (Actuation reaction) where θ, µ, η, k > 0 are the controller parameters.

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 13 / 18 Antithetic integral feedback Standard integral control System

Antithetic integral feedback Standard integral control System Antithetic integral control (AIC)

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 14 / 18 Results Deterministic case Works if the open-loop network is (locally) asymptotically stable and (locally) output controllable, the set-point µ/θ is achievable, and the rate parameters k, η > 0 are chosen appropriately Tracking is at the level of concentrations at both the single-cell and population levels Mathematically proven for a wide-class of biochemical systems

Results Deterministic case Works if the open-loop network is (locally) asymptotically stable and (locally) output controllable, the set-point µ/θ is achievable, and the rate parameters k, η > 0 are chosen appropriately Tracking is at the level of concentrations at both the single-cell and population levels Mathematically proven for a wide-class of biochemical systems Stochastic case Works if the open-loop network is ergodic and globally output controllable, and the set-point µ/θ is achievable Works for all k, η > 0 noise-induced property!! Tracking is performed at the level of mean protein numbers at both the single-cell and the population levels. Mathematically proven for the class of unimolecular reaction networks, the more general case has yet to be proved (not easy)

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 15 / 18 Example - Control of gene expression Deterministic control problem Under what conditions the (unique) equilibrium point of the closed-loop reaction network is locally asymptotically stable and the protein concentration exhibits tracking and perfect adaptation? Stochastic control problem Under what conditions the closed-loop reaction network is ergodic and the protein mean over the cell-population exhibits tracking and perfect adaptation?

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 16 / 18 Simulation results - Gene expression network 15 10 15 10 15 10 40 30 20 5 5 5 10 0 0 20 40 60 0 0 10 20 30 40 50 0 0 10 20 30 40 50 0 0 200 400 600 800 1000

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 17 / 18 Discussion One of the first results having this Cybergenetic flavor/spirit Reaction-network implementation Modularity Genericity This network has a noise-induced property that is (almost) independent of the controlled system Extremely important because exactly implementing reactions is difficult in practice A lot of things remain to be done/improved Model: modeling, parameter estimation, model discrimination, sensitivity analysis, optimization, simulation Analysis: mathematical and numerical techniques Control: different classes of controllers, different objectives, etc. Filtering: noise filtering/compensation, observation of hidden variables Implementation...

Corentin Briat, D-BSSE@ETH-Zürich ACCESS Alumni Day 2016 KTH, Stockholm, Sweden 18 / 18 Thanks everyone for listening Any questions?