Spring semester 2006 ESE601: Hybrid Systems Modeling with hybrid systems.

Slides:



Advertisements
Similar presentations
Hybrid Systems Modeling and Analysis of Regulatory Pathways Rajeev Alur University of Pennsylvania LSB, August 2006.
Advertisements

Pattern Formation in Synthetic Bacterial Colonies Fran Romero and Karima Righetti Research Fellow School of Computer Science University of Nottingham Nottingham.
Simulation of Prokaryotic Genetic Circuits Jonny Wells and Jimmy Bai.
AP Biology Control of Prokaryotic (Bacterial) Genes.
Constructionist Approaches to Biology (Systems Biology) Ananth Grama
Stochastic Analysis of Bi-stability in Mixed Feedback Loops Yishai Shimoni, Hebrew University CCS Open Day Sep 18 th 2008.
Programmed population control by cell-cell communication and regulated killing Lingchong You, Robert Sidney Cox III, Ron Weiss & Frances H. Arnold Programmed.
Prof. Drs. Sutarno, MSc., PhD.. Biology is Study of Life Molecular Biology  Studying life at a molecular level Molecular Biology  modern Biology The.
STRATEGY FOR GENE REGULATION 1.INFORMATION IN NUCLEIC ACID – CIS ELEMENT CIS = NEXT TO; ACTS ONLY ON THAT MOLECULE 2.TRANS FACTOR (USUALLY A PROTEIN) BINDS.
AP Biology Chapter 18: Gene Regulation. Regulation of Gene Expression Important for cellular control and differentiation. Understanding “expression” is.
Bacterial Operons A model of gene expression regulation Ch 18.4.
DNA Fingerprinting & Gel Electrophoresis
Petri net modeling of biological networks Claudine Chaouiya.
Do Now:. DNA Fingerprinting Everyone (except identical twins) has a unique DNA sequence in their cells. A technique called ________________________can.
Stochasticity in molecular systems biology
Introduction to Bioinformatics Spring 2008 Yana Kortsarts, Computer Science Department Bob Morris, Biology Department.
An Application of Bendixson-Boincare Theorem MAT 574- Fall 2003 Arizona State University Math & Stat Dept.
Bacterial Quorum Sensing Many species of bacteria use quorum sensing to coordinate their gene expression according to the local density of their population.
Regulation of gene and cellular activity
Programmed cells: Interfacing natural and engineered gene networks Kobayashi, Kærn, Araki, Chung, Gardner, Cantor & Collins,( PNAS 2004). You, Cox, Weiss.
Cell-Cell Communication In Multicellular Organisms.
Studying Gene Expression and Function
Nucleic Acids, Proteins, & Gene Expression Honors Biology ch 4 & 8.
Chapter 10 Lecture Outline
Metabolic pathway alteration, regulation and control (5) -- Simulation of metabolic network Xi Wang 02/07/2013 Spring 2013 BsysE 595 Biosystems Engineering.
Eukaryotic Gene Regulation
Introduction to Chemical Kinetics and Computational Modeling Hana El-Samad Byers Hall (QB3), Rm 403D.
Protein Synthesis: Transcription and Translation CP Biology.
2.4 Chemical Reactions and Enzymes. 2 Chemical Reactions A process that changes or transforms one set of chemicals into another Mass and energy are conserved.
Marc D. Riedel Associate Professor, ECE University of Minnesota EE 5393: Circuits, Computation and Biology ORAND.
©2000 Timothy G. Standish Ecclesiastes 3:1 1To every thing there is a season, and a time to every purpose under the heaven:
3.A.1 DNA and RNA Part IV: Translation DNA, and in some cases RNA, is the primary source of heritable information. DNA, and in some cases RNA, is the primary.
Enzymes Biological Catalysts Proteins that change the rate of cellular reactions without being consumed in the reaction.
© 2011 Pearson Education, Inc. Lectures by Stephanie Scher Pandolfi BIOLOGICAL SCIENCE FOURTH EDITION SCOTT FREEMAN 17 Control of Gene Expression in Bacteria.
Do Cyanobacteria Communicate With Each Other? Bacterial Communication Quorum Sensing Important to perform group functions Secretion of toxins to kill.
Biochemical Reactions: how types of molecules combine. Playing by the Rules + + 2a2a b c.
Modelling Gene Regulatory Networks using the Stochastic Master Equation Hilary Booth, Conrad Burden, Raymond Chan, Markus Hegland & Lucia Santoso BioInfoSummer2004.
Programmed population control by cell-cell communication and regulated killing Lingchong You, Robert Sidney Cox III, Ron Weiss & Frances H. Arnold Programmed.
Cell metabolism. Metabolism encompasses the integrated and controlled pathways of enzyme catalysed reactions within a cell Metabolism The word “metabolism”
Protein Synthesis How genes work.
Sayed Ahmad Salehi Marc D. Riedel Keshab K. Parhi University of Minnesota, USA Markov Chain Computations using Molecular Reactions 1.
Protein Synthesis The process of protein synthesis is explained by the central dogma of molecular biology, which states that: DNA  RNA  Proteins How.
Enzymes: They do all the work! Enzymes  Proteins  Help chemical reactions happen  reduce activation energy  increase rate of reaction.
Quorum Sensing iGEM2007. Target (eg Nickel) luxI OHHL luxR.
Central Dogma Molecular Influences on Genetic Regulation.
Chapter 13: Gene Regulation. The Big Picture… A cell contains more genes than it expresses at any given time – why? Why are cells in multicellular organisms.
Higher Human Biology Unit 1 Human Cells KEY AREA 6: Metabolic Pathways.
Gene regulation biology 1 lecture 13. Differential expression of genetic code in prokaryotes and eukaryotes Regulation at the transcription level How.
DNA, RNA, & Protein Synthesis (12.3) State Standards 2A. Distinguish between DNA and RNA. 2B. Explain the role of DNA in storing and transmitting cellular.
Enzymes. Enzymes are Proteins Many of our genes code directly for enzymes Estimated to be about 75,000 different types in the human body.
Gene regulation.
Gene Expression and Regulation
Enzymes.
Protein Synthesis.
Modeling with hybrid systems
Regulation of gene and cellular activity
Control of Gene Expression
Special Topics in Computational Biology Lecture #3: Modeling
Nonlinear Control Systems ECSE-6420
Introduction to Chemical Kinetics and Computational Modeling
Lesson 2.4: Chemical Reactions & Enzymes
Enzymes Page 23.
Protein Synthesis Lecture 5
Enzymes.
Chemical reactions and enzymes
LET THERE BE LIGHT: Quorum Sensing in Bacteria
Francis Crick's central dogma of biology revolves around the transcription of mRNA from DNA, the translation of proteins from mRNA, and the degradation.
Enzymes Learning Objectives.
Presentation transcript:

Spring semester 2006 ESE601: Hybrid Systems Modeling with hybrid systems

Various models Air traffic management (ATM) system Hybrid systems in biology Automotive engine Mobile robot Chemical reactions

Conflict Resolution in ATM* See paper (R8) on the website

Conflict Resolution Protocol Is this protocol safe ?

Conflict Resolution Maneuver

Computing Unsafe Sets

Safe Sets

Hybrid systems in biology Biomolecular networks: the networks comprised by genes and proteins in a living cell. Central dogma of molecular biology: DNA makes RNA, RNA makes protein, protein makes the cell. See paper (R9) on the website.

The cell

Central dogma in molecular biology

jpg jpg jpg jpg jpg jpg jpg jpg jpg jpg jpg jpg jpg jpg A.jpg jpg Quorum sensing in V. fischeri

Vibrio fischeri V. fischeri is a marine bacterium. They are luminescent when live at high density. The hybrid model studies the phenomenon, where the bacteria can sense the presence of many other bacteria in the surrounding and trigger the increase in luminescence. The gene that regulates the luminescence is called lux. See paper (R10) on the website.

CRP luxICDABEGluxR Ai LuxA LuxB luciferase LuxI Substrate LuxR lux box CRP binding site LuxR Ai OLOL OROR Quorum sensing in V. fischeri Ai cAMP Ai

Modeling of biological systems STARTSTOP luxR gene transcription translation regulation protein LuxR chemical reaction - + positive negative Ai CRP

- Modeling of biological systems STARTSTOP luxR gene transcription translation regulation protein LuxR chemical reaction + negative positive Ai CRP 1 0.5

CoCRP% act Co<Co_sw_l Co>Co_sw_l CRP<CRP_sw_l CRP>CRP_sw_l CRP<CRP_sw_l CRP>CRP_sw_l pl 00 pl 01 pl 10 pl 11 luxR CoCRP% act Co<Co_sw_r Co>Co_sw_r CRP<CRP_sw_r CRP>CRP_sw_r CRP<CRP_sw_r CRP>CRP_sw_r pr 00 pr 01 pr 10 pr 11 luxICDABEG V. fischeri mathematical model

BioCharon = BioSketchPad + Charon Charon A programming language for modeling, simulating, analyzing, and designing hybrid systems BioSketchPad Biologist-friendly environment for representing, storing, simulating, and analyzing biomolecular networks.

TRANSPORT TRANSCRIPTION Ai + LuxR  Co DEGRADATION REGULATION TRANSLATION SOURCE GENE mRNA PROTEIN SMALL MOLECULE

seconds Concentration in nM

Hybrid model of a car engine The system to model is a four-cylinder in- line engine. The model is in the form of a hybrid piecewise affine system. The purpose of the modeling is to devise a controller for idle speed. See paper (R11) on the website.

Hybrid PWA systems

The model

Hybrid system model of mobile robot The system modeled is a four-wheel-steered four-wheel-driven mobile robot. See paper (R12) on the website

The model Hybrid model is proposed because of the need to switch controllers depending on the configuration of the robot.

The model There are three locations (modes of dynamics) depending on the orientation of the wheels :

Stochastic hybrid model of chemical reactions The underlying idea is that when the number of molecules involved in the reaction is relatively small, deterministic model is no longer accurate. A chemical reaction can be thought of as collisions between the reactant molecules. See papers (R10) and (R13) on the website.

Stochastic hybrid model of chemical reactions Thus, chemical reaction in the microscopical level is inherently stochastic. Consider the reaction: The mass-action law dictates that This approximation is good when the numbers of molecules of A and B are high.

Discrete model

Hybrid model