Boolean Networks and Biology Peter Lee Shaun Lippow BE.400 Final Project December 10, 2002.

Slides:



Advertisements
Similar presentations
Signals and Systems March 25, Summary thus far: software engineering Focused on abstraction and modularity in software engineering. Topics: procedures,
Advertisements

Inferring Quantitative Models of Regulatory Networks From Expression Data Iftach Nachman Hebrew University Aviv Regev Harvard Nir Friedman Hebrew University.
Computer Architecture CS 215
Delay Differential Equations and Their Applications in Biology
Robustness analysis and tuning of synthetic gene networks February 15, 2008 Eyad Lababidi Based on the paper “Robustness analysis and tuning of synthetic.
Åbo Akademi University & TUCS, Turku, Finland Ion PETRE Andrzej MIZERA COPASI Complex Pathway Simulator.
Novel Design of a Free-Piston Stirling Engine - Modelling and Simulation Researcher: Salem S. Ghozzi Supervisor: Dr. Boukhanouf R.
Cosc 2150: Computer Organization Chapter 3: Boolean Algebra and Digital Logic.
Petri net modeling of biological networks Claudine Chaouiya.
Digital Signal Processing with Biomolecular Reactions Hua Jiang, Aleksandra Kharam, Marc Riedel, and Keshab Parhi Electrical and Computer Engineering University.
XML Documentation of Biopathways and Their Simulations in Genomic Object Net Speaker : Hungwei chen.
PROJECT TITLE Names. 2 Overview  Background  Result 1  Result 2  Conclusions.
Using Interfaces to Analyze Compositionality Haiyang Zheng and Rachel Zhou EE290N Class Project Presentation Dec. 10, 2004.
Dynamic Modeling Of Biological Systems. Why Model? When it’s a simple, constrained path we can easily go from experimental measurements to intuitive understanding.
Integrated analysis of regulatory and metabolic networks reveals novel regulatory mechanisms in Saccharomyces cerevisiae Speaker: Zhu YANG 6 th step, 2006.
Gene Regulatory Networks - the Boolean Approach Andrey Zhdanov Based on the papers by Tatsuya Akutsu et al and others.
1 A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks Richard Banks, Victor Khomenko and Jason Steggles School of Computing.
Lecture 23 Second order system step response Governing equation Mathematical expression for step response Estimating step response directly from differential.
Feedback Control Systems (FCS)
Lecture 24 Introduction to state variable modeling Overall idea Example Simulating system response using MATLAB Related educational modules: –Section 2.6.1,
Unit 3a Industrial Control Systems
Lecture 11: Cell proliferation, differentiation, and death Dr. Mamoun Ahram Faculty of Medicine Second year, Second semester, Principles of.
ECE 8443 – Pattern Recognition EE 3512 – Signals: Continuous and Discrete Objectives: Definition of a System Examples Causality Linearity Time Invariance.
1 Analyzing the Michaelis-Menten Kinetics Model G. Goins, Dept. of Biology N.C. A&T State University Advisors: Dr. M. Chen, Dept. of Mathematics Dr. G.
Signals and Systems March 25, Summary thus far: software engineering Focused on abstraction and modularity in software engineering. Topics: procedures,
MESB374 System Modeling and Analysis Introduction.
MSE 2400 EaLiCaRA Spring 2015 Dr. Tom Way
BsysE595 Lecture Basic modeling approaches for engineering systems – Summary and Review Shulin Chen January 10, 2013.
MATHEMATICAL FOUNDATIONS OF QUALITATIVE REASONING Louise-Travé-Massuyès, Liliana Ironi, Philippe Dague Presented by Nuri Taşdemir.
Toward Quantitative Simulation of Germinal Center Dynamics Steven Kleinstein Dept. of Computer Science Princeton University J.P.
Using Neural Networks in Database Mining Tino Jimenez CS157B MW 9-10:15 February 19, 2009.
Modeling and identification of biological networks Esa Pitkänen Seminar on Computational Systems Biology Department of Computer Science University.
Combined Experimental and Computational Modeling Studies at the Example of ErbB Family Birgit Schoeberl.
Combinatorial State Equations and Gene Regulation Jay Raol and Steven J. Cox Computational and Applied Mathematics Rice University.
Simulation is the process of studying the behavior of a real system by using a model that replicates the behavior of the system under different scenarios.
Modeling the Chemical Reactions Involved in Biological Digital Inverters Rick Corley Mentor: Geo Homsy.
Marc D. Riedel Associate Professor, ECE University of Minnesota EE 5393: Circuits, Computation and Biology ORAND.
Hybrid Functional Petri Net model of the Canonical Wnt Pathway Koh Yeow Nam, Geoffrey.
EE102 – SYSTEMS & SIGNALS Fall Quarter, Instructor: Fernando Paganini.
Biochemical Reactions: how types of molecules combine. Playing by the Rules + + 2a2a b c.
Computer-Aided Design of LIVing systEms CADLIVE automatically converts a biochemical network map to a dynamic model. JAVA application Client-Server System.
Boolean Algebra Computer Architecture. Digital Representation Digital is an abstraction of analog voltage –Voltage is a continuous, physical unit Typically.
IGEM 2008 Tutorial Modeling. What? Model A model in science is a physical, mathematical, or logical representation of a system of entities, phenomena,
26/04/04 Petri nets in systems biology: creation, analysis and simulation Oliver Shaw School of Computing Science.
Sayed Ahmad Salehi Marc D. Riedel Keshab K. Parhi University of Minnesota, USA Markov Chain Computations using Molecular Reactions 1.
1 “Figures and images used in these lecture notes by permission, copyright 1997 by Alan V. Oppenheim and Alan S. Willsky” Signals and Systems Spring 2003.
CHEE825 Fall 2005J. McLellan1 Nonlinear Empirical Models.
Csci 418/618 Simulation Models Dr. Ken Nygard, IACC 262B
Modeling & Simulation of Dynamic Systems (MSDS)
Topics 1 Specific topics to be covered are: Discrete-time signals Z-transforms Sampling and reconstruction Aliasing and anti-aliasing filters Sampled-data.
Modeling and Simulation of Signal Transduction Pathways Mark Moeller & Björn Oleson Supervisors: Klaus Prank Ralf Hofestädt.
Dynamical Modeling in Biology: a semiotic perspective Junior Barrera BIOINFO-USP.
Biological Modeling (3 basic types) Physical ( reduce size of actual phenomena) Concept ( minds map or flowchart) Mathematical ( Computer : Spread sheet,
Computational methods for inferring cellular networks II Stat 877 Apr 17 th, 2014 Sushmita Roy.
Nonlinear balanced model residualization via neural networks Juergen Hahn.
Logic Design (CE1111 ) Lecture 6 (Chapter 6) Registers &Counters Prepared by Dr. Lamiaa Elshenawy 1.
Boolean Algebra. LO:  Understand why Boolean algebra is used  Understand basic Boolean algebra notation  Understand why Boolean algebra is used  Understand.
APOPTOSIS Chapter 18 Lecture 23 BMB 252H Lecture by Garam Han
 Computers are classified according to  Purpose  Data hiding  Functionality  Size.
Circuit Synthesis A logic function can be represented in several different forms:  Truth table representation  Boolean equation  Circuit schematic 
A Presentation on Adaptive Neuro-Fuzzy Inference System using Particle Swarm Optimization and it’s Application By Sumanta Kundu (En.R.No.
Modelling & Simulation of Semiconductor Devices Lecture 1 & 2 Introduction to Modelling & Simulation.
IGEM 2009 Tutorial Modelling. What? Model A model in science is a symplified physical, mathematical, or logical representation of a system of entities,
Think like an experimentalist 10/11/10. Melissa, you’re a modeler! And I do “systems biology”. So model this data for me!!
ECE 301 – Digital Electronics
Mihály Bányai, Vaibhav Diwadkar and Péter Érdi
EE 1001 Digital Topics Introduction to Electrical Engineering
Linear Control Systems
Improving Boolean Networks to Model Signaling Pathways
Parts in Thesis.
Presentation transcript:

Boolean Networks and Biology Peter Lee Shaun Lippow BE.400 Final Project December 10, 2002

Introduction Need quantitative analysis to understand complex biological networks Need quantitative analysis to understand complex biological networks What mathematical framework is appropriate for analysis? Depends... What mathematical framework is appropriate for analysis? Depends... Case 1: Detailed knowledge of biochemical mechanisms Case 1: Detailed knowledge of biochemical mechanisms Case 2: Data imply connectivities, but molecular details unknown Case 2: Data imply connectivities, but molecular details unknown Biochemical Mechanisms Causes Effects

Model with system of differential equations Model with system of differential equations 2 types of dynamics 2 types of dynamics Analog: ODE crucial to describe key features Analog: ODE crucial to describe key features Discrete: steady-states capture behavior; ODE is sufficient but not necessary Discrete: steady-states capture behavior; ODE is sufficient but not necessary Can be abstracted to Boolean algebra, where new framework offers new insights while retaining analysis capabilities Can be abstracted to Boolean algebra, where new framework offers new insights while retaining analysis capabilities Where does Boolean fit in? Case 1: Detailed knowledge of biochemical mechanisms

Where does Boolean fit in? Case 2: Data imply connectivities, but molecular details unknown When data show only two steady-states, cause and effect relationships can be modeled with Boolean logic functions When data show only two steady-states, cause and effect relationships can be modeled with Boolean logic functions ABC State 1 State 2 State 1 State 2 State 1 A B C AB C

Outline A model biochemical network (Case 1) A model biochemical network (Case 1) Demonstrate that biochemical kinetics can produce Boolean behavior at the steady-state, input-output level Demonstrate that biochemical kinetics can produce Boolean behavior at the steady-state, input-output level Motivates use of Boolean algebra framework when cause/effect data shows 2 states Motivates use of Boolean algebra framework when cause/effect data shows 2 states Boolean network modeling (Case 2) Boolean network modeling (Case 2) Caspase cascade Caspase cascade Boolean with HT Experiments Boolean with HT Experiments

The Biochemical Network Overview E1E1 X1X1 I1I1 E3E3 X2X2 I2I2 E2E2 S1S1 X3X3 S2S2 E4E4 X4X4 S3S3 E 1 +2X 3 E 1 X 3 E 1 +2X 1 k a1 k d1 k r1 E 2 +2X 1 E 2 X 1 k i1 k -i1 + X 1 +I 1 X 1 I 1 k in1 X1X1 k deg1 2 2

Governing Equations Inputs: I 1, I 2 Output: x 4

Simulation

Mathematical Analysis

Conclusions from Biochemical Network Network was based on known biochemical mechanisms Network was based on known biochemical mechanisms Demonstrated feasibility of a biochemical network performing Boolean operations Demonstrated feasibility of a biochemical network performing Boolean operations Motivates use of Boolean framework for analyzing data that shows two discrete steady-state levels Motivates use of Boolean framework for analyzing data that shows two discrete steady-state levels

Caspase Cascade in Apoptosis Intrinsic Extrinsic Death Missing some mechanistic detail Data show 2 steady-states

Previous Caspase Modeling Details of underlying mechanisms and important parameters were unknown, but Bailey attempted to model the cascade with a set of differential equations coupled with specialized functions. Details of underlying mechanisms and important parameters were unknown, but Bailey attempted to model the cascade with a set of differential equations coupled with specialized functions. Their goal was to obtain qualitative results in the form of identifying combinations of drug targets to inhibit apoptosis despite both intrinsic and extrinsic death signals. Their goal was to obtain qualitative results in the form of identifying combinations of drug targets to inhibit apoptosis despite both intrinsic and extrinsic death signals.

Previous Results

Boolean Network

Our Updated Model (Boolean)

Analysis Mathematical manipulation Mathematical manipulation Extract how output depends on input Extract how output depends on input Blake Canonical Form Blake Canonical Form Caspase-Dependent Death = External Death Signal AND not FLIPs AND not IAPs OR Cell Damage AND not ARC AND not IAPs

Model with Drug Targets

Drug Target Analysis without drugs: ab’d’ ۷ cd’e’ without drugs: ab’d’ ۷ cd’e’ with drugs: ab’d’ ۷ [cd’e’۸ (f 1 ’ ۷ f 2 ’)] with drugs: ab’d’ ۷ [cd’e’۸ (f 1 ’ ۷ f 2 ’)] a = external death signalf 1 = knockout drug 1 b = FLIPsf 2 = knockout drug 2 c = cell damage d = decoy substrates e = ARC

Our Opinion Yes, we actually think that this is useful and applies to some biological systems. Yes, we actually think that this is useful and applies to some biological systems.

Governing Equations Parameter Set 2 Inputs: I 1, I 2 Output: x 4

Simulation

Mathematical Analysis

Imagine…

Boolean with HT Experiments