Team:UNIPV-Pavia/Modelling01

From 2011.igem.org

(Difference between revisions)
 
(108 intermediate revisions not shown)
Line 18: Line 18:
<ul>  
<ul>  
<li class="toclevel-2"><a href="#The importance of the mathematical model"><span class="tocnumber">1.1</span> <span class="toctext">The importance of tha mathematical model</span></a></li>  
<li class="toclevel-2"><a href="#The importance of the mathematical model"><span class="tocnumber">1.1</span> <span class="toctext">The importance of tha mathematical model</span></a></li>  
-
<li class="toclevel-2"><a href="#Equations_for_gene_networks"><span class="tocnumber">1.2</span> <span class="toctext">Equations for gene networks</span></a>  
+
<li class="toclevel-2"><a href="#Equations_for_gene_networks"><span class="tocnumber">1.2</span> <span class="toctext">Equations for gene networks</span></a></li>
<ul>  
<ul>  
-
<li class="toclevel-3"><a href="#ODE_for_protein_production"><span class="tocnumber">1.2.7</span> <span class="toctext">ODE for protein production</span></a></li>  
+
<li class="toclevel-3"><a href="#Equations_1_and_2"><span class="tocnumber">1.2.1</span> <span class="toctext">Equations (1) and (2)</span></a></li>
 +
<li class="toclevel-3"><a href="#Equation_3"><span class="tocnumber">1.2.2</span> <span class="toctext">Equation (3)</span></a></li>
 +
<li class="toclevel-3"><a href="#Equation_4"><span class="tocnumber">1.2.3</span> <span class="toctext">Equation (4)</span></a></li>  
</ul>  
</ul>  
-
</li>
 
-
<li class="toclevel-2"><a href="#Our_model"><span class="tocnumber">1.3</span> <span class="toctext">Our model</span></a>
 
   
   
-
</li>
+
<li class="toclevel-2"><a href="#Table_of_parameters"><span class="tocnumber">1.3</span> <span class="toctext">Table of parameters</span></a></li>
-
<li class="toclevel-2"><a href="#Simulations"><span class="tocnumber">1.4</span> <span class="toctext">Simulations</span></a>  
+
-
</li>  
+
<li class="toclevel-2"><a href="#Parameter_estimation"><span class="tocnumber">1.4</span> <span class="toctext">Parameter estimation</span></a></li>
-
<li class="toclevel-2"><a href="#References"><span class="tocnumber">1.5</span> <span class="toctext">References</span></a></li>  
+
<ul>  
 +
<li class="toclevel-3"><a href="#Ptet_&_Plux"><span class="tocnumber">1.4.1</span><span class="toctext">Ptet & Plux</span></a></li>
 +
<li class="toclevel-3"><a href="#AiiA"><span class="tocnumber">1.4.2</span> <span class="toctext">AiiA</span></a></li><li class="toclevel-3"><a href="#LuxI"><span class="tocnumber">1.4.3</span> <span class="toctext">LuxI</span></a></li></ul>
 +
 
 +
 
 +
<li class="toclevel-2"><a href="#Simulations"><span class="tocnumber">1.5</span> <span class="toctext">Simulations</span></a></li>
 +
 
 +
<li class="toclevel-2"><a href="#References"><span class="tocnumber">1.6</span> <span class="toctext">References</span></a></li>  
</ul>  
</ul>  
</li>  
</li>  
Line 40: Line 46:
<a name="Mathematical_modeling_page"></a><h1><span class="mw-headline"> <b>Mathematical modelling page</b> </span></h1>  
<a name="Mathematical_modeling_page"></a><h1><span class="mw-headline"> <b>Mathematical modelling page</b> </span></h1>  
-
<p align="giustify">Mathematical modelling plays nowadays a central role in Synthetic Biology, due to its ability to serve as a crucial link between the concept and realization of a biological circuit.
+
<div style='text-align:justify'>Mathematical modelling plays nowadays a central role in Synthetic Biology, due to its ability to serve as a crucial link between the concept and realization of a biological circuit.
According to this, after a brief overview about the advantages that modelling engineered circuits can bring, we deeply analyze the system of equation formulas, underlining the role and the function of the parameters involved. <br>
According to this, after a brief overview about the advantages that modelling engineered circuits can bring, we deeply analyze the system of equation formulas, underlining the role and the function of the parameters involved. <br>
-
Then, experimental procedures for parameters estimation are presented and, finally, different types of circuit  are discussed and their simulations performed, using ODE's with MATLAB and explainig the difference between a closed-loop model and an open one.
+
Then, experimental procedures for parameters estimation are presented and, finally, different types of circuit  are discussed and their simulations performed, using ODE's with MATLAB and explainig the difference between a closed-loop model and an open one.</div>
<br />  
<br />  
<br />  
<br />  
Line 49: Line 55:
<a name="The importance of the mathematical model"></a><h2> <span class="mw-headline"> <b>The importance of the mathematical model</b> </span></h2>  
<a name="The importance of the mathematical model"></a><h2> <span class="mw-headline"> <b>The importance of the mathematical model</b> </span></h2>  
-
<p>Several motivations are strong enough to accept the idea that mathematical model is very useful in this study. <br>
+
<div style='text-align:justify'>Several motivations are strong enough to accept the idea that mathematical model is very useful in this study.</div> <br>
<ul><li>Firstly in the initial steps of the project, beacuse of its capability to predict the kinetics of the enzymes (aiiA, Luxi) and HSL involved in our gene network, well realizing the <em>a-priori</em> identification in silico in order to understand if the complex circuit's structure and functioning could be achievable.</li></ul>
<ul><li>Firstly in the initial steps of the project, beacuse of its capability to predict the kinetics of the enzymes (aiiA, Luxi) and HSL involved in our gene network, well realizing the <em>a-priori</em> identification in silico in order to understand if the complex circuit's structure and functioning could be achievable.</li></ul>
Line 55: Line 61:
<ul><li>Thirdly, the reproducibility. Studing and characterizing simple subparts can allow us not only to predict the behavior of the final circuit, but also it can be useful in other studies, facing with the same basic modules. </li></ul>
<ul><li>Thirdly, the reproducibility. Studing and characterizing simple subparts can allow us not only to predict the behavior of the final circuit, but also it can be useful in other studies, facing with the same basic modules. </li></ul>
-
</p>
+
</p><br>
 +
 
 +
 
 +
 
 +
<a name="Equations_for_gene_networks"></a><h2> <span class="mw-headline"> <b>Equations for gene networks</b> </span></h2>
 +
<div style='text-align:justify'><div style='text-align:justify'><div class="thumbinner" style="width: 800px;"><a href="File:Circuito.jpg" class="image"><img alt="" src="https://static.igem.org/mediawiki/2011/2/2a/Circuito.jpg" class="thumbimage" height="80%" width="80%"></a></div></div>
 +
<br>
 +
<div style='text-align:justify'><div class="thumbinner" style="width: 850px;"><a href="File:Schema_controllo.jpg" class="image"><img alt="" src="https://static.igem.org/mediawiki/2011/e/e2/Schema_controllo.jpg" class="thumbimage" height="50%" width="80%"></a></div></div>
 +
<br>
 +
<div class="center"></div>
 +
<div style='text-align:justify'><div class="thumbinner" style="width: 850px;"><a href="File:Model1.jpg" class="image"><img alt="" src="https://static.igem.org/mediawiki/2011/0/07/Model1.jpg" class="thumbimage" height="95%" width="80%"></a></div></div>
 +
<br>
 +
 
 +
 
 +
<a name="Equations_1_and_2"></a><h4> <span class="mw-headline"> <b>Equations (1) and (2)</b> </span></h4>
 +
<div style='text-align:justify'>We have condensed in a unique equation transcription and translation processes. Equations (1) and (2) have identical structure, differing only in the parameters involved.
 +
The first term describes, through Hill's equation formalism, the synthesis rate of the protein of interest (either LuxI or AiiA) depending on the concentration of the inducible protein (anhydrotetracicline -aTc- or HSL respectively). As can be seen in the parameters table (see below),&alpha; refers to the maximum activation of the promoter, &delta; stands for its leakage activity (this means that the promoter is quite induced even if there is no input). In particular, in equation (1), the quite total inhibition of pTet promoter is due to the constitutive production of TetR by our MGZ1 strain, while, in equation (2), Plux is almost repressed in the absence of the complex given by LuxR and HSL.<br>
 +
In the first term of equation (2) we have described the inducer as being represented only by HSL. This formalism stems from the fact that our final device offers a constitutive production of LuxR (due to the upstream constitutive promoter pLac), so that, assuming it abundant in the cytoplasm, we can derive the semplification of attributing pLux promoter induction only by HSL: this is the reason why we didn' t consider LuxR in the equations system as well as LuxI and AiiA.<br>
 +
Furthermore, in both equations (1) and (2) k and &eta; stands respectively for the other parameter of the Hill relationship.
 +
The second term in equation (1) and (2) is composed of two parts. The first one (&gamma;*LuxI/AiiA) describes with a linear relation the degradation rate per cell of the protein. The second one (&mu;*(Nmax-N)/Nmax)*LuxI/AiiA) takes into account the dilution term and is related to the cell replication process.
 +
</div>
 +
<br>
 +
 
 +
<a name="Equation_3"></a><h4> <span class="mw-headline"> <b>Equation (3)</b> </span></h4>
 +
<div style='text-align:justify'>The processes described here are not those of transcription and translation, but in principle are enzymatic reactions either related to the production or the degradation of HSL. Based on the experiments performed, we derived Hill's equation in the case of &eta;=1. They cannot be exactly defined Michaelis Menten's equations since that in our formalism, LuxI and AiiA aren't described as enzymes (since they appear also in the denominator). We simply derived empirical formulas relating either LuxI or AiiA to HSL, and treated them with the typical Michaelis Menten formalism since they presented the corresponding sigmoidal shape/switching like behaviour. Regarding to this, we believe that the saturation phenomenon observed either in HSL production rate due to LuxI, or HSL degradation rate due to AiiA, underlies limiting elements in cell metabolism.
 +
In the cell HSL binds to LuxR, and two HSL molecules form a tetramer with two complementary LuxR molecules to form a complex which can then activate the promoter Plux.<br>
 +
Intuitively, LuxI activity as an enzyme encounters an intrinsic limit in HSL synthesis depending on the finite and hypothetically fixed substrate concentration (namely SAM and hexanoyl-ACP, see ref.); this means that at a certain LuxI concentration, all the substrate forms activation complexes with LuxI, so that there is no more substrate available for the other LuxI produced. HSL degradation rate is limited by its availability; even if the concentration varies with time, there is always a corresponding limit in AiiA concentration, which determines a saturation in the degradation rate.<br>
 +
Moreover, both the formulas relating either LuxI or AiiA to HSL are multiplied by the number of cells N, due to the property of the lactone to diffuse free inside/outside bacteria.
 +
The third term in equation (3) is similar to the corresponding ones present in the first two equations and describes the intrinsic protein degradation.</div>
 +
<br>
 +
<a name="Equation_4"></a><h4> <span class="mw-headline"> <b>Equation (4)</b> </span></h4>
 +
<div style='text-align:justify'>Equation (4) is the common equation describing logistic cell growth, depending on the rate &mu; and the maximum number N<sub>MAX</sub> of cells per well reachable.</div>
 +
<br><br>
 +
 
 +
 
 +
<a name="Table_of_parameters"></a><h2> <span class="mw-headline"> <b>Table of parameters</b> </span></h2>
 +
<br>
 +
 
 +
<center>
 +
<table class="data">
 +
    <tr>
 +
      <td class="row"><b>Parameter</b></td>
 +
      <td class="row"><b>Description</b></td>
 +
      <td class="row"><b>Unit of Measurement</b></td>
 +
      <td class="row"><b>Value</b></td>
 +
  </tr>
 +
 
 +
 
 +
  <tr>
 +
      <td class="row">&alpha;<sub>P<sub>Tet</sub></sub></td>
 +
      <td class="row">maximum transcription rate of Ptet</td>
 +
      <td class="row">[(AUr/min)/cell]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
 
 +
  <tr>
 +
      <td class="row">&delta;<sub>P<sub>Tet</sub></sub></td>
 +
      <td class="row">leakage factor of promoter Ptet basic activity</td>
 +
      <td class="row">[-]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
  <tr>
 +
      <td class="row">&eta;<sub>P<sub>Tet</sub></sub></td>
 +
      <td class="row">Hill coefficient of Ptet</td>
 +
      <td class="row">[-]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
  <tr>
 +
      <td class="row">k<sub>P<sub>Tet</sub></sub></td>
 +
      <td class="row">dissociation costant of Ptet ? </td>
 +
      <td class="row">[nM]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
  <tr>
 +
      <td class="row">&alpha;<sub>P<sub>Lux</sub></sub></td>
 +
      <td class="row">maximum transcription rate of Plux</td>
 +
      <td class="row">[(AUr/min)/cell]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
 
 +
  <tr>
 +
      <td class="row">&delta;<sub>P<sub>Lux</sub></sub></td>
 +
      <td class="row">leakage factor of promoter Plux basic activity</td>
 +
      <td class="row">[-]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
  <tr>
 +
      <td class="row">&eta;<sub>P<sub>Lux</sub></sub></td>
 +
      <td class="row">Hill coefficient of Plux</td>
 +
      <td class="row">[-]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
  <tr>
 +
      <td class="row">k<sub>P<sub>Lux</sub></sub></td>
 +
      <td class="row">dissociation costant of Plux ?</td>
 +
      <td class="row">[nM]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
  <tr>
 +
      <td class="row">&gamma;<sub>P<sub>Lux</sub></sub></td>
 +
      <td class="row">LuxI costant degradation</td>
 +
      <td class="row">[1/min]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
  <tr>
 +
      <td class="row">&gamma;<sub>AiiA</sub></td>
 +
      <td class="row">AiiA costant degradation</td>
 +
      <td class="row">[1/min]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
  <tr>
 +
      <td class="row">&gamma;<sub>HSL</sub></td>
 +
      <td class="row">HSL costant degradation</td>
 +
      <td class="row">[1/min]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
  <tr>
 +
      <td class="row">V<sub>max_LuxI</sub></td>
 +
      <td class="row">maximum transcription rate of LuxI</td>
 +
      <td class="row">[nM/(min*cell)]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
  <tr>
 +
      <td class="row">k<sub>m_LuxI</sub></td>
 +
      <td class="row">dissociation costant ?</td>
 +
      <td class="row">[AUr/cell]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
  <tr>
 +
      <td class="row">k<sub>CAT</sub></td>
 +
      <td class="row"> ?? </td>
 +
      <td class="row">[1/(min*cell)]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
  <tr>
 +
      <td class="row">k<sub>m_AiiA</sub></td>
 +
      <td class="row">dissociation costant ?</td>
 +
      <td class="row">[AUr/cell]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
  <tr>
 +
      <td class="row">N<sub>MAX</sub></td>
 +
      <td class="row">maximum number of bacteria per well</td>
 +
      <td class="row">[cell]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
  <tr>
 +
      <td class="row">&mu;</td>
 +
      <td class="row">rate of bacteria groth</td>
 +
      <td class="row">[1/min]</td>
 +
      <td class="row">-</td>
 +
  </tr>
 +
 
 +
</table>
 +
</center>
 +
 
 +
<br><div style='text-align:justify'>According to the table above, the unit of the state variables are:</div><br>
 +
 
 +
<center>
 +
<table class="data">
 +
    <tr>
 +
      <td class="row"><b>State variable</b></td>
 +
      <td class="row"><b>Unit of Measurement</b></td>
 +
    </tr>
 +
 
 +
    <tr>
 +
      <td class="row"><sup>d[LuxI]</sup>&frasl;<sub>dt</sub></td>
 +
      <td class="row">[<sup>AUr</sup>&frasl;<sub>(min*cell)</sub>]</td>
 +
    </tr>
 +
 
 +
    <tr>
 +
      <td class="row"><sup>d[AiiA]</sup>&frasl;<sub>dt</sub></td>
 +
      <td class="row">[<sup>AUr</sup>&frasl;<sub>(min*cell)</sub>]</td>
 +
    </tr>
 +
 
 +
    <tr>
 +
      <td class="row"><sup>d[HSL]</sup>&frasl;<sub>dt</sub></td>
 +
      <td class="row">[<sup>nM</sup>&frasl;<sub>(min)</sub>]</td>
 +
    </tr>
 +
 
 +
    <tr>
 +
      <td class="row"><sup>d[N]</sup>&frasl;<sub>dt</sub></td>
 +
      <td class="row">[<sup>cell</sup>&frasl;<sub>(min)</sub>]</td>
 +
    </tr>
 +
 
 +
</table><br>
 +
 
 +
 
 +
 
 +
<a name="Parameter_estimation"></a><h2> <span class="mw-headline"> <b>Parameter estimation</b></span></h2><br>
 +
 
 +
<div style='text-align:justify'>In this section we examine the parameters of the model and justify the units of measure, relating them to the experiments performed for the characterization of the parts. We want to underline again our concept of modelling: beginning to caractherize simplier parts, we get their parameters and we try to predict the behaviour of the final engineerd closed-loop.</div>
 +
 
 +
 
 +
<a name="Ptet_&_Plux"></a><h4> <span class="mw-headline"> <b>Promoter (Ptet & Plux)</b> </span></h4>
 +
<div align="center"><div class="thumbinner" style="width: 500px;"><a href="File:Ptet.jpg" class="image"><img alt="" src="https://static.igem.org/mediawiki/2011/f/f0/Ptet.jpg" class="thumbimage" height="35%" width="50%"></a></div></div> 
 +
 
 +
<div style='text-align:justify'>These are the first subparts tested.
 +
Firstly, in the figure above "RBSx" stands for, respectively,
 +
<a href="http://partsregistry.org/Part:BBa_B0030">RBS30</a>,
 +
<a href="http://partsregistry.org/Part:BBa_B0031">RBS31</a>,
 +
<a href="http://partsregistry.org/Part:BBa_B0032">RBS32</a>,
 +
<a href="http://partsregistry.org/Part:BBa_B0034">RBS34</a>. So we get 4 biobricks for each promoter, in order to investigate what happens in different conditions of RBS's efficiency. In this phase of the project we aim to increase our knowledge about promoter Ptet and Plux but it must be said that, here, it' s quite impossible to focus separately on the only activity of the promoter and RBSx; for this reason, when we "characterize promoters", we mean promoter and RBS together.
 +
We realize this by introducing the mRFP fuorescent protein (followed by a double terminator), and we make the assumption that the number of fluorescent protein produced, due to the concentration of induction (aTc, HSL for Ptet, Plux respectively) is exactly the same as the number given by any other protein that would be expressed instead of the mRFP. In other words, in our hypotesis, if we would substitute the mRFP coding region with a region coding for another protein, we would obtain the same synthesis rate: this is the reason why the strength of the complex promoter-RBSx is expressed in Arbitrary Units [AUr]. Clearly this is a strong hypotesis, however its level of approximation is considered to be adequate.
 +
<br>
 +
 +
Keeping this idea in mind, let's talk about the steps to estimate parameters.<br>
 +
As shown in the box below, we consider a wide (more or less, depending on the type of test) range of induction  and we monitor, during the time, absorbance (line1, line2) and fluorescence (line3); the two vertical segments for each figure highlight the exponential phase of bacteria' s groth. We are able to make these measurement due to the Tecan Infinite F200, spectrophotometer that allows to know the Scell (explained few lines below) as a function of inducer concentration, thereby providing the desired input-output relation (inducer concentration versus promoter+RBS activity), which was modelled as a Hill curve.
 +
<br>
 +
After that, we can calculate the <em>Scell</em> as:
 +
 
 +
<div align="center"><div class="thumbinner" style="width: 600px;"><a href="File:Scell.jpg" class="image"><img alt="" src="https://static.igem.org/mediawiki/2011/5/58/Scell.jpg" class="thumbimage" height="80%" width="45%"></a></div></div>
 +
In the end, plotting Scell VS induction, we obtain the activation Hill curve of the promoter considered.
 +
 
 +
<div style='text-align:justify'><div class="thumbinner" style="width: 600px;"><a href="File:Box1_new.jpg" class="image"><img alt="" src="https://static.igem.org/mediawiki/2011/7/71/Box1_new.jpg" class="thumbimage" height="100%" width="120%"></a></div></div>
 +
 
 +
As shown in the box above, &alpha; as already mentioned, represent the protein maximum synthesis rate, which is reached, in accordance with Hill's formalism, when the inducer concentration tends to infinite, and, more practically, for sufficently high concentrations of inducer, meanwhile the product &alpha;*&delta; stands for the leakage activity (induction=0ng/&micro;L), liable for protein production (LuxI and AiiA respectively) even in the absence of autoinducer. The paramenter &eta; is the Hill's cooperativity constant and it  affects the rapidity and ripidity of the switch like curve relating Scell with the concentration of inducer.
 +
Lastly, k stands for the semi-saturation constant and, in case of a unity value for &eta;, it indicates the concentration of substrate at which half the synthesis rate is achieved.
 +
The unities of the various parameters can be easily derived considering the hill equation and the unity of its left handed side (for more details see the <a href="#Table_of_parameters"><span class="toctext">Table of parameters</span></a> above). <br> <br>
 +
 
 +
 
 +
 
 +
<a name="AiiA"></a><h4> <span class="mw-headline"> <b>AiiA</b> </span></h4>
 +
<div align="center"><div class="thumbinner" style="width: 500px;"><a href="File:AiiA.jpg" class="image"><img alt="" src="https://static.igem.org/mediawiki/2011/3/3e/AiiA.jpg" class="thumbimage" height="26%" width="50%"></a></div></div>
 +
 
 +
<div style='text-align:justify'> These experiments aims to learn approximately the degradation rate of HSL due to the expression of AiiA. In these case, we are able to quantify exactly the concentration of HSL, using the well-characterized part <a href="http://partsregistry.org/Part:BBa_T9002">BBa_T9002</a> in the previous iGEM.
 +
<div align="center"><div class="thumbinner" style="width: 500px;"><a href="File:T9002.jpg" class="image"><img alt="" src="https://static.igem.org/mediawiki/2011/c/c2/T9002.jpg" class="thumbimage" height="100%" width="110%"></a></div></div>
 +
This biobrick receives in input HSL concentration, and returns in output the intensity of fluorescence.
 +
So, our idea is to control the degradation of HSL reading the fluorescence of T9002 due to a certain concentration of HSL; monitoring it in precise samples of time since aTc induction (after having waited enough for AiiA to become in stationary phase), we can estimate the degradation rate, also compared with other constructs, which would't degradate it. According to this, it' s necessary to know very well the reationship input-output of the biosensor: a curve of "calibration" of T9002 is obtain for each test performed, even if, in theory, it should be always the same.
 +
Summarizing in few points, the following are the passes involved in the experiment:
 +
 
 +
<ol><li>Transform a MGZ1 E. coli strain with the pTet-RBS-AiiA-TT construct, and wait three hours for reaching the exponential phase growth.</li>
 +
<li>Induce the culture with a proper amount of aTc.</li>
 +
<li>Take samples of the supernatant at different times (i.e. 0 h,1 h,4 h) and store them in the freezer at -20°C</li>
 +
<li>Retrieve the supernatants prepared and use them to induce the T9002 construct contained in the TECAN spectrophotometer wells</li>
 +
<li>Wait until sensing is completed and retrieve the results from TECAN.</li></ol>
 +
 
 +
<div style='text-align:justify'><div class="thumbinner" style="width: 500px;"><a href="" class="image"><img alt="File:Degradation.jpg" src="https://static.igem.org/mediawiki/2011/9/99/Degradation.jpg" class="thumbimage" height="90%" width="140%"></a></div></div><br><br>
 +
 
 +
<a name="LuxI"></a><h4> <span class="mw-headline"> <b>LuxI</b> </span></h4>
 +
<br>
 +
<a name="Simulations"></a><h1><span class="mw-headline"> <b>Simulations</b> </span></h1>
 +
<br>
 +
<a name="References"></a><h1><span class="mw-headline"> <b>References</b> </span></h1>
 +
</div>
 +
</div>
-
<div class="thumb tnone"><div class="center"><div class="thumbinner" style="width: 700px;"><a href="File:Model1.jpg" class="image"><img alt="" src="https://static.igem.org/mediawiki/2011/0/07/Model1.jpg" class="thumbimage" height="80%" width="80%"></a></div></div></div>
 
</html>
</html>
{{end}}
{{end}}

Latest revision as of 20:28, 4 September 2011

UNIPV TEAM 2011

CTRL + E

Signalling is nothing without control...


Contents



Mathematical modelling page

Mathematical modelling plays nowadays a central role in Synthetic Biology, due to its ability to serve as a crucial link between the concept and realization of a biological circuit. According to this, after a brief overview about the advantages that modelling engineered circuits can bring, we deeply analyze the system of equation formulas, underlining the role and the function of the parameters involved.
Then, experimental procedures for parameters estimation are presented and, finally, different types of circuit are discussed and their simulations performed, using ODE's with MATLAB and explainig the difference between a closed-loop model and an open one.


The importance of the mathematical model

Several motivations are strong enough to accept the idea that mathematical model is very useful in this study.

  • Firstly in the initial steps of the project, beacuse of its capability to predict the kinetics of the enzymes (aiiA, Luxi) and HSL involved in our gene network, well realizing the a-priori identification in silico in order to understand if the complex circuit's structure and functioning could be achievable.
  • Secondly, for the parametric identification. Using the lsqnonlin function of MATLAB it was possible to get all the parameters involved in the model and consequently to know, for example, the shape of the activation curve of the promoters (Plux, Ptet), according to the a-posteriori identification.
  • Thirdly, the reproducibility. Studing and characterizing simple subparts can allow us not only to predict the behavior of the final circuit, but also it can be useful in other studies, facing with the same basic modules.


Equations for gene networks




Equations (1) and (2)

We have condensed in a unique equation transcription and translation processes. Equations (1) and (2) have identical structure, differing only in the parameters involved. The first term describes, through Hill's equation formalism, the synthesis rate of the protein of interest (either LuxI or AiiA) depending on the concentration of the inducible protein (anhydrotetracicline -aTc- or HSL respectively). As can be seen in the parameters table (see below),α refers to the maximum activation of the promoter, δ stands for its leakage activity (this means that the promoter is quite induced even if there is no input). In particular, in equation (1), the quite total inhibition of pTet promoter is due to the constitutive production of TetR by our MGZ1 strain, while, in equation (2), Plux is almost repressed in the absence of the complex given by LuxR and HSL.
In the first term of equation (2) we have described the inducer as being represented only by HSL. This formalism stems from the fact that our final device offers a constitutive production of LuxR (due to the upstream constitutive promoter pLac), so that, assuming it abundant in the cytoplasm, we can derive the semplification of attributing pLux promoter induction only by HSL: this is the reason why we didn' t consider LuxR in the equations system as well as LuxI and AiiA.
Furthermore, in both equations (1) and (2) k and η stands respectively for the other parameter of the Hill relationship. The second term in equation (1) and (2) is composed of two parts. The first one (γ*LuxI/AiiA) describes with a linear relation the degradation rate per cell of the protein. The second one (μ*(Nmax-N)/Nmax)*LuxI/AiiA) takes into account the dilution term and is related to the cell replication process.

Equation (3)

The processes described here are not those of transcription and translation, but in principle are enzymatic reactions either related to the production or the degradation of HSL. Based on the experiments performed, we derived Hill's equation in the case of η=1. They cannot be exactly defined Michaelis Menten's equations since that in our formalism, LuxI and AiiA aren't described as enzymes (since they appear also in the denominator). We simply derived empirical formulas relating either LuxI or AiiA to HSL, and treated them with the typical Michaelis Menten formalism since they presented the corresponding sigmoidal shape/switching like behaviour. Regarding to this, we believe that the saturation phenomenon observed either in HSL production rate due to LuxI, or HSL degradation rate due to AiiA, underlies limiting elements in cell metabolism. In the cell HSL binds to LuxR, and two HSL molecules form a tetramer with two complementary LuxR molecules to form a complex which can then activate the promoter Plux.
Intuitively, LuxI activity as an enzyme encounters an intrinsic limit in HSL synthesis depending on the finite and hypothetically fixed substrate concentration (namely SAM and hexanoyl-ACP, see ref.); this means that at a certain LuxI concentration, all the substrate forms activation complexes with LuxI, so that there is no more substrate available for the other LuxI produced. HSL degradation rate is limited by its availability; even if the concentration varies with time, there is always a corresponding limit in AiiA concentration, which determines a saturation in the degradation rate.
Moreover, both the formulas relating either LuxI or AiiA to HSL are multiplied by the number of cells N, due to the property of the lactone to diffuse free inside/outside bacteria. The third term in equation (3) is similar to the corresponding ones present in the first two equations and describes the intrinsic protein degradation.

Equation (4)

Equation (4) is the common equation describing logistic cell growth, depending on the rate μ and the maximum number NMAX of cells per well reachable.


Table of parameters


Parameter Description Unit of Measurement Value
αPTet maximum transcription rate of Ptet [(AUr/min)/cell] -
δPTet leakage factor of promoter Ptet basic activity [-] -
ηPTet Hill coefficient of Ptet [-] -
kPTet dissociation costant of Ptet ? [nM] -
αPLux maximum transcription rate of Plux [(AUr/min)/cell] -
δPLux leakage factor of promoter Plux basic activity [-] -
ηPLux Hill coefficient of Plux [-] -
kPLux dissociation costant of Plux ? [nM] -
γPLux LuxI costant degradation [1/min] -
γAiiA AiiA costant degradation [1/min] -
γHSL HSL costant degradation [1/min] -
Vmax_LuxI maximum transcription rate of LuxI [nM/(min*cell)] -
km_LuxI dissociation costant ? [AUr/cell] -
kCAT ?? [1/(min*cell)] -
km_AiiA dissociation costant ? [AUr/cell] -
NMAX maximum number of bacteria per well [cell] -
μ rate of bacteria groth [1/min] -

According to the table above, the unit of the state variables are:

State variable Unit of Measurement
d[LuxI]dt [AUr(min*cell)]
d[AiiA]dt [AUr(min*cell)]
d[HSL]dt [nM(min)]
d[N]dt [cell(min)]

Parameter estimation


In this section we examine the parameters of the model and justify the units of measure, relating them to the experiments performed for the characterization of the parts. We want to underline again our concept of modelling: beginning to caractherize simplier parts, we get their parameters and we try to predict the behaviour of the final engineerd closed-loop.

Promoter (Ptet & Plux)

These are the first subparts tested. Firstly, in the figure above "RBSx" stands for, respectively, RBS30, RBS31, RBS32, RBS34. So we get 4 biobricks for each promoter, in order to investigate what happens in different conditions of RBS's efficiency. In this phase of the project we aim to increase our knowledge about promoter Ptet and Plux but it must be said that, here, it' s quite impossible to focus separately on the only activity of the promoter and RBSx; for this reason, when we "characterize promoters", we mean promoter and RBS together. We realize this by introducing the mRFP fuorescent protein (followed by a double terminator), and we make the assumption that the number of fluorescent protein produced, due to the concentration of induction (aTc, HSL for Ptet, Plux respectively) is exactly the same as the number given by any other protein that would be expressed instead of the mRFP. In other words, in our hypotesis, if we would substitute the mRFP coding region with a region coding for another protein, we would obtain the same synthesis rate: this is the reason why the strength of the complex promoter-RBSx is expressed in Arbitrary Units [AUr]. Clearly this is a strong hypotesis, however its level of approximation is considered to be adequate.
Keeping this idea in mind, let's talk about the steps to estimate parameters.
As shown in the box below, we consider a wide (more or less, depending on the type of test) range of induction and we monitor, during the time, absorbance (line1, line2) and fluorescence (line3); the two vertical segments for each figure highlight the exponential phase of bacteria' s groth. We are able to make these measurement due to the Tecan Infinite F200, spectrophotometer that allows to know the Scell (explained few lines below) as a function of inducer concentration, thereby providing the desired input-output relation (inducer concentration versus promoter+RBS activity), which was modelled as a Hill curve.
After that, we can calculate the Scell as:
In the end, plotting Scell VS induction, we obtain the activation Hill curve of the promoter considered.
As shown in the box above, α as already mentioned, represent the protein maximum synthesis rate, which is reached, in accordance with Hill's formalism, when the inducer concentration tends to infinite, and, more practically, for sufficently high concentrations of inducer, meanwhile the product α*δ stands for the leakage activity (induction=0ng/µL), liable for protein production (LuxI and AiiA respectively) even in the absence of autoinducer. The paramenter η is the Hill's cooperativity constant and it affects the rapidity and ripidity of the switch like curve relating Scell with the concentration of inducer. Lastly, k stands for the semi-saturation constant and, in case of a unity value for η, it indicates the concentration of substrate at which half the synthesis rate is achieved. The unities of the various parameters can be easily derived considering the hill equation and the unity of its left handed side (for more details see the Table of parameters above).

AiiA

These experiments aims to learn approximately the degradation rate of HSL due to the expression of AiiA. In these case, we are able to quantify exactly the concentration of HSL, using the well-characterized part BBa_T9002 in the previous iGEM.
This biobrick receives in input HSL concentration, and returns in output the intensity of fluorescence. So, our idea is to control the degradation of HSL reading the fluorescence of T9002 due to a certain concentration of HSL; monitoring it in precise samples of time since aTc induction (after having waited enough for AiiA to become in stationary phase), we can estimate the degradation rate, also compared with other constructs, which would't degradate it. According to this, it' s necessary to know very well the reationship input-output of the biosensor: a curve of "calibration" of T9002 is obtain for each test performed, even if, in theory, it should be always the same. Summarizing in few points, the following are the passes involved in the experiment:
  1. Transform a MGZ1 E. coli strain with the pTet-RBS-AiiA-TT construct, and wait three hours for reaching the exponential phase growth.
  2. Induce the culture with a proper amount of aTc.
  3. Take samples of the supernatant at different times (i.e. 0 h,1 h,4 h) and store them in the freezer at -20°C
  4. Retrieve the supernatants prepared and use them to induce the T9002 construct contained in the TECAN spectrophotometer wells
  5. Wait until sensing is completed and retrieve the results from TECAN.
File:Degradation.jpg


LuxI


Simulations


References

Retrieved from "http://2011.igem.org/Team:UNIPV-Pavia/Modelling01"