Team:Michigan/Modeling

From 2013.igem.org

Xayona Website Template

Contents

Introduction

Switch modeling

The goal for our modeling was to create rigorous standard procedures for mathematically representing and analyzing systems. Using our project as an example, we worked to demonstrate the viability of our approach by calculating the switch positions and optimum parameters. This standardization should be useful in combination with system specific methods to create better modeling.

Mass action modeling

Mass action is a form of modeling that uses systems of homogenous differential and difference equations. Each equation is a sum of rates and each rate is proportional to the species involved. The advantage is its straightforward uniform formulation, its minimal assumptions, and its flexibility of complexity. Mass action itself uses very few assumptions but it can be used to represent systems of varying degrees of simplicity. The fundamentals of chemical kinetics already champion the use of this modeling in its use of rate equations. There chemical systems are completely defined by the products, reactants, and reaction rate constants. This allows chemical modelling to be highly standardized and hence more accessible. It's actually the uniform nature of mass action that's responsible. Most importantly for iGEM, all mass action models can actually be put in a standard form as follows:

Mass action.png

• x is a species

• a is an amount of rates changing x

• b is a rate constant

• c is a number of different species involved

• d is a species involved

• e is a number of each species involved

• f is a number of species d involved

• g is a highest species involved

• l is a rate order

• m is the highest number of rates involved

• n is the number of species

Analytical modeling

Benefits

Given the parameters of the system, analytical (symbolic) modeling precisely predicts a system's behavior. Furthermore, unlike numerical methods, analytical modeling accurately predicts the data needed to determine parameters and avoids the inherent numerical rounding and approximation errors of more crude analyses. Analytical modeling naturally lends itself to standardization because the results are unique to any given model. Correct solutions, equilibria, eigenvalues, etc. will always have the same expression regardless of who or what calculated them. The same can't be said for numerical methods. With this and the iGEM community in mind, an analytical standard was developed that will allow for the exchange and automation of future modeling.

ERSESCO Algorithm

The ERSESCO algorithm the Michigan team developed provides a clearly defined method for analyzing mathematical systems. The algorithm has seven major steps:

1. Equation: Formulate the system into a system of differential equations.

2. Reduction: Apply constraints, boundary conditions, and conservation laws to reduce the system of equations to fewer variables.

3. Solution: Solve the reduced system of equations, if possible.

4. Equilibration: Find the steady states of the system by setting differential equations to zero and solving for critical points.

5. Stabilization: Evaluate the Jacobian matrix of the system of equations at each critical point and find the corresponding eigenvalues. To get stability, find the condition for which all eigenvalues have a negative real part.

6. Calibration: Solve for the parameters of the system of equations in terms of the system's initial, steady state, time-dependent variables. This step allows the system parameters to be easily characterized using experimental data.

7. Optimization: Optimize the steady state, eigenvalues, parameters, or other desired quantity by equating the derivative of that quantity with respect to each of the system's parameters with zero. Solving these equations gives the optimization conditions for that quantity.

SimBiology

SimBiology is a useful MATLAB package provided to all iGEM teams. It can be used as a tool to quickly run numerical approximations of biological systems whether or not data for system parameters are known. SimBiology can quickly produce a model from a simple schematic diagram. As a result, the package can quickly provide a qualitative analysis of a system with little work from the user.

In the following models, our team applied our ERSESCO algorithm to fully analyze the systems at hand. Finally a SimBiology simulation was used as qualitative verification. We present the results from each step of the ERSESCO algorithm, followed by a SimBiology schematic with a graph showing the general behavior of the system, followed by a link to a more detailed derivation of the models.


Expression Model

The Recombinase Expression Model describes the synthesis and degradation of any protein produced at a relatively constant rate. Here, the model is used in particular to describe the synthesis and degradation reaction rates ksyn and kdeg of recombinases in the cell. The model also predicts the recombinase concentration.


ExpressionModelFigure.png

Equation:

ExpressionModel1.png


Reduction: None


Solution:

ExpressionModel2.png


Equilibration:

ExpressionModel3.png


Stabilization:

ExpressionModel3-1.png


Calibration:

ExpressionModel4.png
ExpressionModel5.png


Optimization:

ExpressionModel6.png


SimBiology:

Expression.jpg


Derivation: Expression Model

Switch Model

The Switch Model describes how the switch equilibrates when the concentrations of the recombinases FimE and Hbif approach constant values. The model assumes that each recombinase catalyzes a one way reaction. This model predicts the degree of cooperativity n and m in the binding reaction of the recombinase to DNA for FimE and Hbif, respectively. Furthermore, this model predicts the forward catalysis rate constants, kF and kH, for FimE and Hbif.


SwitchModelFigure.png


Equation:

SwitchModel1.png
SwitchModel2.png


Reduction:

SwitchModel3.png


Solution:

SwitchModel3-1.png


Equilibration:

SwitchModel4-1.png


Stabilization:

SwitchModel4-2.png


Calibration:

SwitchModel5-1.png
SwitchModel5-2.png


Optimization:

SwitchModel6.png


SimBiology:

Switch.jpg


Derivation: Switch Model

Inducible Hbif Model

The Inducible Hbif Model describes how the switch flips when acted upon by the Lux/HSL-controlled expression of Hbif. In this model, [HSL] represents the concentration of the species HSL:pLux:LuxR, the complex that promotes the expression of Hbif. In this model [HSL] is a function of pLux and LuxR expression levels in the cell, the amount of HSL added, and the fractional occupancies at the complexation equilibrium. It can be assumed that this complexation reaction happens instantaneously with respect to the slow, rate-limiting translation step of Hbif. This model predicts the rate k1 of Lux-induced expression of Hbif, the degradation rate kdeg of Hbif, the forward and reverse rates k2 and k-2 of Hbif catalysis on the switch, and the equilibrium constant K2 for the switch when acted upon by Hbif.


InducibleHbifModelFigure.png


Equation:

InducibleHbifModel1.png
InducibleHbifModel2.png


Reduction:

InducibleHbifModel3.png


Solution:

InducibleHbifModel4.png


Equilibration:

InducibleHbifModel5.png


Stabilization:

InducibleHbifModel5-2.png


Calibration:

InducibleHbifModel6-1.png
InducibleHbifModel6-2.png
InducibleHbifModel6-3.png


Optimization of Hbif:

InducibleHbifModel7-1.png

Optimization of ON:

InducibleHbifModel7-2.png


SimBiology:

InducedHbif.jpg

Derivation: Inducible Hbif Model