Team:UNIPV-Pavia/Modelling03

From 2011.igem.org

(Difference between revisions)
 
(67 intermediate revisions not shown)
Line 15: Line 15:
<table id="toc" class="toc"><tr><td><div id="toctitle"><h2>Contents</h2></div>  
<table id="toc" class="toc"><tr><td><div id="toctitle"><h2>Contents</h2></div>  
<ul>  
<ul>  
-
<li class="toclevel-1"><a href="#Mathematical_modelling_page"><span class="tocnumber">1</span> <span class="toctext">Mathematical modeling page</span></a>  
+
<li class="toclevel-1"><a href="#Mathematical_modelling_page"><span class="tocnumber">1</span> <span class="toctext">Mathematical modelling: introduction</span></a>  
<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 thE 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 mathematical modelling</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>
<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="#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="#Hypothesis"><span class="tocnumber">1.2.1</span> <span class="toctext">Hypothesis of the model</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="#Equations_1_and_2"><span class="tocnumber">1.2.2</span> <span class="toctext">Equations (1) and (2)</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>  
+
<li class="toclevel-3"><a href="#Equation_3"><span class="tocnumber">1.2.3</span> <span class="toctext">Equation (3)</span></a></li>
 +
<li class="toclevel-3"><a href="#Equation_4"><span class="tocnumber">1.2.4</span> <span class="toctext">Equation (4)</span></a></li>  
</ul>  
</ul>  
   
   
Line 29: Line 30:
<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="#Parameter_estimation"><span class="tocnumber">1.4</span> <span class="toctext">Parameter estimation</span></a></li>  
<ul>  
<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="#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="#Enzymes"><span class="tocnumber">1.4.2</span> <span class="toctext"> AiiA & LuxI</span></a></li>
-
<li class="toclevel-3"><a href="#LuxI"><span class="tocnumber">1.4.3</span> <span class="toctext">LuxI</span></a></li>
+
<li class="toclevel-3"><a href="#N"><span class="tocnumber">1.4.3</span> <span class="toctext">N</span></a></li></ul>
-
<li class="toclevel-3"><a href="#N"><span class="tocnumber">1.4.4</span> <span class="toctext">N</span></a></li></ul>
+
<li class="toclevel-3"><a href="#Degradation_rates"><span class="tocnumber">1.4.4</span> <span class="toctext">Degradation rates</span></a></li></ul>
Line 47: Line 48:
-
<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: introduction</b> </span></h1>  
-
<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: what we propose in this page is a modelling approach to our project, which has proved extremely useful and very helpful before and after the "wet lab". <br>
+
<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: what we propose in this page is a modelling approach to our project, which has proven extremely useful and very helpful before and after the "wet lab". <br>
-
Thus, immediately at the beginning, when there was little knowledge, a mathematical model based on a system of differential equations was derived and performed using a set of reasonable parameters, so as to validate the feasibility of the project. Once this became clear, starting from the characterization of the single subparts created in the wet lab, some of the parameters of the mathematical model were estimated (the others are known from literature) and they have been implemented in the same model, in order to predict the final behaviour of the whole engineered closed-loop circuit.
+
Thus, immediately at the beginning, when there was little knowledge, a mathematical model based on a system of differential equations was derived and implemented using a set of parameters, to validate the feasibility of the project. Once this became clear, starting from the characterization of the single subparts created in the wet lab, some of the parameters of the mathematical model were estimated (the others are known from literature) and they have been fixed to simulate the same model, in order to predict the final behaviour of the whole engineered closed-loop circuit. <font color="red">This approach is consistent with the typical one adopted for the analysis and synthesis of a biological circuit, as exemplified by Pasotti et al 2011.</font>
<br>
<br>
<br>
<br>
-
Therefore here, 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>
+
Therefore here, 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 function of the parameters involved. <br>
-
Experimental procedures for parameters estimation are discussed and, finally, a different type of circuit is presented and simulations performed, using ODEs with MATLAB and explaining the difference between a closed-loop model and an open one.</div>
+
Experimental procedures for parameter estimation are discussed and, finally, a different type of circuit is presented. Simulations were performed, using <em>ODEs</em> with MATLAB and used to explain the difference between a closed-loop control system model and an open one.</div>
<br />  
<br />  
<br />  
<br />  
Line 59: Line 60:
-
<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 mathematical modelling</b> </span></h2>  
-
<div style='text-align:justify'>The purposes of writing mathematical models for gene networks can be: </div>  
+
<div style='text-align:justify'>The purposes of deriving mathematical models for gene networks can be:  
-
<br>
+
<br><br>
-
<li><b>Prediction</b>: in the initial steps of the project, a good <em>a-priori</em> identification in silico allows to suppose the kinetics of the enzymes (AiiA, Luxi) and HSL involved in our gene network, basicly to understand if the complex circuit structure and functioning could be achievable and to investigate the range of parameters values ​​for which the behavior is that expected.
+
<li><b>Prediction</b>: in the initial steps of the project, a good <em>a-priori</em> identification "in silico" allows to suppose the kinetics of the enzymes (AiiA, Luxi) and HSL involved in our gene network, basically to understand if the complex circuit structure and functioning could be achievable and to investigate the range of parameters values ​​for which the behavior is the one expected. <font color="red">(Endler et al, 2009)</font>
<br><br>
<br><br>
-
<li><b>Parameter identification</b>: using the <em>lsqnonlin</em> function of MATLAB it was possible to get all the parameters involved in the model, in order to perform realistic simulations not only of the single subparts created, but also of the whole final circuit, according to the <em>a-posteriori</em> identification.  
+
<li><b>Parameter identification</b>: a modellistic approach is helpful to get all the parameters involved, in order to perform realistic simulations not only of the single subparts created, but also of the whole final circuit, according to the <em>a-posteriori</em> identification.  
<br><br>
<br><br>
-
<li><b>Modularity</b>: studing and characterizing simple BioBrick Parts can allow to reuse this knowledge in other studies, facing with the same basic modules.  
+
<li><b>Modularity</b>: studying and characterizing basic BioBrick Parts can allow to reuse this knowledge in other studies, concerning with the same basic modules <font color="red">(Braun et al, 2005; Canton et al, 2008).</font>
 +
</div> 
<br>
<br>
<br>
<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 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="65%" 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="75%" width="80%"></a></div></div>
 +
<br>
 +
<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="68%" width="87%"></a></div></div>
 +
<br>
 +
 +
 +
<a name="Hyphotesis"></a><h4> <span class="mw-headline"> <b>Hyphotesis of the model</b> </span></h4>
 +
<table class="data">
 +
<tr>
 +
<td>
<div style='text-align:justify'>
<div style='text-align:justify'>
<em>
<em>
-
<b>NOTE1</b>: In order to  better investigate the range of dynamics of each subparts, every promoter has been considered with 4 different RBSs, so as to develop more knowledge about the state variables in several configurations of RBS' efficiency. Hereafter, referring to the notation "RBSx" we mean, respectively,  
+
<b>HP<sub>1</sub></b>: In order to  better investigate the range of dynamics of each subparts, every promoter has been  
 +
studied with 4 different RBSs, so as to develop more knowledge about the state variables in several configurations  
 +
of RBS' efficiency. Hereafter, referring to the notation "RBSx" we mean, respectively,  
<a href="http://partsregistry.org/Part:BBa_B0030">RBS30</a>,  
<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_B0031">RBS31</a>,  
<a href="http://partsregistry.org/Part:BBa_B0032">RBS32</a>,  
<a href="http://partsregistry.org/Part:BBa_B0032">RBS32</a>,  
<a href="http://partsregistry.org/Part:BBa_B0034">RBS34</a>.
<a href="http://partsregistry.org/Part:BBa_B0034">RBS34</a>.
-
</em>
 
-
</div>
 
<br>
<br>
<br>
<br>
-
 
+
<b>HP<sub>2</sub></b>: In equation (2) only HSL is considered as inducer, instead of the complex LuxR-HSL.
-
 
+
This is motivated by the fact that our final device offers a constitutive LuxR production due to the upstream constitutive promoter P&lambda. Assuming LuxR is abundant and always saturated in the cytoplasm, we can justify the simplification of attributing pLux promoter i
-
 
+
nduction only by HSL. In conclusion LuxR, LuxI and AiiA were not included in the equation system.
-
 
+
-
 
+
-
 
+
-
<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="65%" width="80%"></a></div></div>
+
<br>
<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="75%" width="80%"></a></div></div>
 
<br>
<br>
-
<div class="center"></div>
+
<b>HP<sub>3</sub></b>: in system equation, LuxI and AiiA amounts are expressed per cell. For this reason, the whole equation (3), except for the
-
<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="80%" width="87%"></a></div></div>
+
term of intrinsic degradation of HSL, is multiplied by the number of cells N, due to the property of the lactone to diffuse freely inside/outside bacteria.
 +
<br>
 +
<br>
 +
<b>HP<sub>4</sub></b>: as regards promoters pTet and pLux, we assume their strengths (measured in PoPs),  due to a given concentration of inducer (aTc, HSL for Ptet and Plux respectively), to be
 +
independent from the gene encoding.
 +
In other words, in our hypotesis, if the mRFP coding region is substituted with a region coding for another gene (in our case, AiiA or LuxI), 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].
 +
<br>
 +
<br>
 +
<b>HP<sub>5</sub></b>: considering the exponential growth, the enzymes AiiA and LuxI concentration is supposed to be constant, because their production is equally compensated by dilution.
 +
</em>
 +
</div>
 +
</td>
 +
</tr>
 +
</table>
 +
<br>
<br>
<br>
-
 
<a name="Equations_1_and_2"></a><h4> <span class="mw-headline"> <b>Equations (1) and (2)</b> </span></h4>
<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'> Equations (1) and (2) have identical structure, differing only in the parameters involved. They represent the synthesis degradation and diluition of both the enzymes of the circuit, LuxI and AiiA, respectively in the first and second equation: in each of them both transcription and translation processes have been condensed.<br>
+
<div style='text-align:justify'> Equations (1) and (2) have identical structure, differing only in the parameters involved. They represent the synthesis degradation and diluition of both the enzymes in the circuit, LuxI and AiiA, respectively in the first and second equation: in each of them both transcription and translation processes have been condensed.<font color="red"> The corresponding mathematical formalism is analogous to the one used by Pasotti et al 2011, Suppl. Inf., even if we do not take LuxR-HSL complex formation into account, as explained below.</font><br>
These equations are composed of 2 parts:<br><br>
These equations are composed of 2 parts:<br><br>
<ol>
<ol>
-
<li> 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 active even if there is no induction). 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 LuxR-HSL.<br>
+
<li> 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 inducer (anhydrotetracicline -aTc- or HSL respectively), responsible for the activation of the regulatory element composed of promoter and RBSx. In the parameter table (see below), &alpha; refers to the maximum activation of the promoter, while &delta; stands for its leakage activity (this means that the promoter is slightly active even if there is no induction). In particular, in equation (1), the almost entire inhibition of pTet promoter is given by the constitutive production of TetR by our MGZ1 strain. In equation (2), pLux is almost inactive  in the absence of the complex LuxR-HSL.<br>
-
In equation (2) only HSL seems to be the inducer, instead of the complex LuxR-HSL. This is motivated by 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 k stands for the dissociation constant of the promoter from the inducer (respectively aTc and HSL in eq. 1 and 2), while &eta; is the cooperativity constant.<br><br
-
Furthermore, in both equations k stands for the dissaciation constant of the promoter from the inducer (respectively aTc and HSL in eq. 1 and 2), while &eta; is the cooperativity constant.<br><br>
+
<li>The second term in equations (1) and (2) is in turn composed of 2 parts. The former one (<em>&gamma;</em>*LuxI or <em>&gamma;</em>*AiiA respectively) describes, with an exponential decay, the degradation rate per cell of the protein. The latter (&mu;*(Nmax-N)/Nmax)*LuxI or &mu;*(Nmax-N)/Nmax)*AiiA, respectively) takes into account the dilution factor against cell growth which is related to the cell replication process.
-
<li>The second term in equations (1) and (2) is in turn composed of 2 parts. The first one (&gamma;*LuxI or &gamma;*AiiA respectively) describes, with a linear relation, the degradation rate per cell of the protein. The second one (&mu;*(Nmax-N)/Nmax)*LuxI or &mu;*(Nmax-N)/Nmax)*AiiA, respectively) takes into account the dilution term due to cell growth and is related to the cell replication process.
+
</ol>
</ol>
</div>
</div>
Line 111: Line 136:
<a name="Equation_3"></a><h4> <span class="mw-headline"> <b>Equation (3)</b> </span></h4>
<a name="Equation_3"></a><h4> <span class="mw-headline"> <b>Equation (3)</b> </span></h4>
-
<div style='text-align:justify'>Here the kinetics of HSL is modeled, basicly through enzymatic reactions either related to the production or the degradation of HSL: based on the experiments performed, we derived appropriate expressions for HSL synthesis and degradation.<br>
+
<div style='text-align:justify'>Here the kinetics of HSL is modeled, through enzymatic reactions either related to the production or the degradation of HSL: based on the experiments performed, we derived appropriate expressions for HSL synthesis and degradation. This equation is composed of 3 parts: <br><br>
-
3 parts have been identified in this equation: <br><br>
+
<ol>
<ol>
-
<li> The first term represents the production of HSL due to LuxI expression. We model this process with saturation curve in which V<sub>max</sub> is HSL maximum transcription rate, while K<sub>M</sub> is the dissociation constant of LuxI from the substrate HSL and it represents  the concentration of LuxI at which HSL synthesis rate is V<sub>max</sub>/2.
+
<li> The first term represents the production of HSL due to LuxI expression. We modeled this process with a saturation curve in which V<sub>max</sub> is the HSL maximum transcription rate, while k<sub>M,LuxI</sub> is the dissociation constant of LuxI from the substrate HSL.
<br><br>
<br><br>
-
<li> The second term represents the degradation of HSL due to the AiiA expression. Similarly to LuxI, K<sub>cat</sub> represents maximum degradation per unit of HSL concentration, while K<sub>M1</sub> is the concentration at which AiiA dependent HSL concentration rate is (K<sub>cat</sub>*HSL)/2.
+
<li> The second term represents the degradation of HSL due to the AiiA expression. Similarly to LuxI, k<sub>cat</sub> represents the maximum degradation per unit of HSL concentration, while k<sub>M,AiiA</sub> is the concentration at which AiiA dependent HSL concentration rate is (k<sub>cat</sub>*HSL)/2. <font color="red"> The formalism is similar to that found in the Supplementary Information of Danino et al, 2010.</font>
 +
<br><br>
 +
<li> The third term (&gamma;<sub>HSL</sub>*HSL) is similar to the corresponding ones present in the first two equations and describes the intrinsic protein degradation.</div>
<br><br>
<br><br>
-
<li> The third term (&gamma;<sub>HSL</sub>*HSL) is similar to the corresponding ones present in the first two equations and describes the intrinsic protein degradation.<br><br>
 
-
<div style='text-align:justify'>
 
-
<em><b>NOTE2</b>: the whole equation, except for the term of intrinsic degradation of HSL, is multiplied by the number of cells N, due to the property of the lactone to diffuse free inside/outside bacteria. Notice that, in system equation, LuxI and AiiA amounts are expressed per cell.</em></div>
 
-
</div>
 
-
<br>
 
<a name="Equation_4"></a><h4> <span class="mw-headline"> <b>Equation (4)</b> </span></h4>
<a name="Equation_4"></a><h4> <span class="mw-headline"> <b>Equation (4)</b> </span></h4>
-
<div style='text-align:justify'>This is the common logistic cell growth, depending on the rate &mu; and the maximum number N<sub>MAX</sub> of cells per well reachable.</div>
+
<div style='text-align:justify'>This is the common logistic population cells growth, depending on the rate &mu; and the maximum number N<sub>max</sub> of cells per well reachable.</div>
<br><br>
<br><br>
Line 147: Line 168:
   <tr>
   <tr>
       <td class="row">&alpha;<sub>p<sub>Tet</sub></sub></td>
       <td class="row">&alpha;<sub>p<sub>Tet</sub></sub></td>
-
       <td class="row">maximum transcription rate of pTet (related with RBSx efficiency)</td>
+
       <td class="row">maximum transcription rate of pTet (related to RBSx efficiency)</td>
       <td class="row">[(AUr/min)/cell]</td>
       <td class="row">[(AUr/min)/cell]</td>
       <td class="row">-</td>
       <td class="row">-</td>
Line 169: Line 190:
   <tr>
   <tr>
       <td class="row">k<sub>p<sub>Tet</sub></sub></td>
       <td class="row">k<sub>p<sub>Tet</sub></sub></td>
-
       <td class="row">dissociation costant of aTc from pTet</td>
+
       <td class="row">dissociation constant of aTc from pTet</td>
       <td class="row">[nM]</td>
       <td class="row">[nM]</td>
       <td class="row">-</td>
       <td class="row">-</td>
Line 176: Line 197:
   <tr>
   <tr>
       <td class="row">&alpha;<sub>p<sub>Lux</sub></sub></td>
       <td class="row">&alpha;<sub>p<sub>Lux</sub></sub></td>
-
       <td class="row">maximum transcription rate of pLux (related with RBSx efficiency)</td>
+
       <td class="row">maximum transcription rate of pLux (related to RBSx efficiency)</td>
       <td class="row">[(AUr/min)/cell]</td>
       <td class="row">[(AUr/min)/cell]</td>
       <td class="row">-</td>
       <td class="row">-</td>
Line 198: Line 219:
   <tr>
   <tr>
       <td class="row">k<sub>p<sub>Lux</sub></sub></td>
       <td class="row">k<sub>p<sub>Lux</sub></sub></td>
-
       <td class="row">dissociation costant of HSL from pLux</td>
+
       <td class="row">dissociation constant of HSL from pLux</td>
       <td class="row">[nM]</td>
       <td class="row">[nM]</td>
       <td class="row">-</td>
       <td class="row">-</td>
Line 205: Line 226:
   <tr>
   <tr>
       <td class="row">&gamma;<sub>p<sub>Lux</sub></sub></td>
       <td class="row">&gamma;<sub>p<sub>Lux</sub></sub></td>
-
       <td class="row">LuxI costant degradation</td>
+
       <td class="row">LuxI constant degradation</td>
       <td class="row">[1/min]</td>
       <td class="row">[1/min]</td>
       <td class="row">-</td>
       <td class="row">-</td>
Line 211: Line 232:
   <tr>
   <tr>
       <td class="row">&gamma;<sub>AiiA</sub></td>
       <td class="row">&gamma;<sub>AiiA</sub></td>
-
       <td class="row">AiiA costant degradation</td>
+
       <td class="row">AiiA constant degradation</td>
       <td class="row">[1/min]</td>
       <td class="row">[1/min]</td>
       <td class="row">-</td>
       <td class="row">-</td>
Line 218: Line 239:
   <tr>
   <tr>
       <td class="row">&gamma;<sub>HSL</sub></td>
       <td class="row">&gamma;<sub>HSL</sub></td>
-
       <td class="row">HSL costant degradation</td>
+
       <td class="row">HSL constant degradation</td>
       <td class="row">[1/min]</td>
       <td class="row">[1/min]</td>
       <td class="row">-</td>
       <td class="row">-</td>
Line 231: Line 252:
   <tr>
   <tr>
-
       <td class="row">K<sub>M</sub></td>
+
       <td class="row">k<sub>M,LuxI</sub></td>
-
       <td class="row">dissociation costant of LuxI from HSL</td>
+
       <td class="row">dissociation constant of LuxI from HSL</td>
       <td class="row">[AUr/cell]</td>
       <td class="row">[AUr/cell]</td>
       <td class="row">-</td>
       <td class="row">-</td>
   </tr>
   </tr>
   <tr>
   <tr>
-
       <td class="row">K<sub>cat</sub></td>
+
       <td class="row">k<sub>cat</sub></td>
-
       <td class="row">maximum number of enzymatic reactions catalysed per minute</td>
+
       <td class="row">maximum number of enzymatic reactions catalyzed per minute</td>
       <td class="row">[1/(min*cell)]</td>
       <td class="row">[1/(min*cell)]</td>
       <td class="row">-</td>
       <td class="row">-</td>
Line 244: Line 265:
   <tr>
   <tr>
-
       <td class="row">K<sub>M1</sub></td>
+
       <td class="row">k<sub>M,AiiA</sub></td>
-
       <td class="row">dissociation costant of AiiA from HSL</td>
+
       <td class="row">dissociation constant of AiiA from HSL</td>
       <td class="row">[AUr/cell]</td>
       <td class="row">[AUr/cell]</td>
       <td class="row">-</td>
       <td class="row">-</td>
Line 302: Line 323:
<a name="Parameter_estimation"></a><h2> <span class="mw-headline"> <b>Parameter estimation</b></span></h2>
<a name="Parameter_estimation"></a><h2> <span class="mw-headline"> <b>Parameter estimation</b></span></h2>
-
<div style='text-align:justify'>The philosofy of the model is to predict the behavior of the final closed loop circuit starting from the characterization of single BioBrick parts through a set of well-designed <em>ad hoc</em> experiments. Relating to these, in this section the way parameters of the model have been identified is presented.
+
<div style='text-align:justify'>The philosophy of the model is to predict the behavior of the final closed loop circuit starting from the characterization of single BioBrick parts through a set of well-designed <em>ad hoc</em> experiments. Relating to these, in this section the way parameters of the model have been identified is presented.
-
As explained before in <em><b>NOTE1</b></em>, considering a set of 4 RBS for each subpart to caracterize increase their range of dynamics and helps us to understand deeplier the interactions between state variables and parameters.
+
As explained before in <a href="#Hypothesis"><span class="toctext"><b><em>HP<sub>1</sub></em></b></span></a>, considering a set of 4 RBS for each subpart expands the range of dynamics and helps us to better understand the interactions between state variables and parameters.
</div>
</div>
<br>
<br>
Line 312: Line 333:
<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="75%" width="60%"></a></div></div>   
<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="75%" width="60%"></a></div></div>   
-
<div style='text-align:justify'>These are the first subparts tested.
+
<div style='text-align:justify'>These were the first subparts tested.
-
In this phase of the project the target is to learn more about promoter pTet and pLux. Characterizing only promoter BioBrick is quite impossible: for this reason we consider promoter and the respective RBS from RBSx set together.
+
In this phase of the project the target is to learn more about promoter pTet and pLux. Characterizing promoters only is a very hard task: for this reason we considered promoter and each RBS from the RBSx set as a whole (reference to <a href="#Hypothesis"><span class="toctext"><b><em>HP<sub>1</sub></em></b></span></a>).
-
Here a strong and reasonable hypothesis must be pointed out: 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].
+
<br>
<br>
-
As shown in the box below, we consider a 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. S<sub>cell</sub> (explained few lines below) can be derived 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.
+
As shown in the figure below, we considered a range of inductions and we monitored, in time, absorbance (O.D. stands for "optical density") and fluorescence; the two vertical segments for each graph highlight the exponential phase of bacterial growth. S<sub>cell</sub> (namely, synthesis rate per cell) can be derived 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>S<sub>cell</sub></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>
<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 S<sub>cell</sub> VS induction, we obtain the activation Hill curve of the considered promoter.
+
 
 +
However, also Relative Promoter Unit (RPU) has been calculated as a ratio of S<sub>cell</sub> of promoter of interest and the S<sub>cell</sub> of <a href="http://partsregistry.org/Part:BBa_J23101">BBa_J23101</a> (reference to <a href="#Hypothesis"><span class="toctext"><b><em>HP<sub>4</sub></em></b></span></a>).
<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>
<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 (at no induction), 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 S<sub>cell</sub> with the concentration of inducer.
+
As shown in the figure above, &alpha;, as already mentioned, represents the protein maximum synthesis rate, which is reached, in accordance with Hill's formalism, when the inducer concentration tends to infinite, and, for sufficently high concentrations of inducer. Meanwhile the product &alpha;*&delta; stands for the leakage activity (at no induction), liable for protein production (LuxI and AiiA respectively) even in the absence of inducer. The paramenter &eta; is the Hill's cooperativity constant and it  affects the rapidity and ripidity of the switch like curve relating S<sub>cell</sub> with the concentration of inducer.
Lastly, k stands for the semi-saturation constant and, in case of &eta;=1, it indicates the concentration of substrate at which half the synthesis rate is achieved.
Lastly, k stands for the semi-saturation constant and, in case of &eta;=1, 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(for more details see the <a href="#Table_of_parameters"><span class="toctext">Table of parameters</span></a> above). <br> <br>
+
<br>
 +
<br>
Line 334: Line 353:
-
<a name="AiiA"></a><h4> <span class="mw-headline"> <b>AiiA</b> </span></h4>
+
 
-
<div style='text-align:justify'>On a biological level, the ability to control the concentration of a given molecule reveals fundamental in limiting the metabolic burden of the cell; moreover, in the particular case of HSL signalling molecules, this would give the possibility to regulate quorum sensing based population's behaviours.
+
<a name="Enzymes"></a><h4> <span class="mw-headline"> <b>AiiA & LuxI</b> </span></h4>
 +
<div style='text-align:justify'> This paragraph explains how parameters of equation (3) are estimated. The target is to learn the AiiA and LuxI degradation and production mechanisms in addition to HSL intrinsic degradation, in order to estimate V<sub>max</sub>, k<sub>M,LuxI</sub>, k<sub>cat</sub> and k<sub>M,AiiA</sub> parameters. These tests have been performed using the following BioBrick parts:
</div>
</div>
<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="75%" width="60%"></a></div></div>
<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="75%" width="60%"></a></div></div>
-
<div style='text-align:justify'> These experiments aims to learn the degradation rate of HSL due to the expression of AiiA, in order to estimate <em>K<sub>kat</sub></em> end <em>K<sub>M1</sub></em> parameters. In this case we are able to quantify exactly the concentration of HSL, using the well-characterized BioBrick <a href="http://partsregistry.org/Part:BBa_T9002">BBa_T9002</a>.
+
<div style='text-align:justify'>By now, parameter identification about promoters has already been performed. Furthermore, as explained before, the <a href="#Hypothesis"><span class="toctext"><b><em>HP<sub>4</sub></em></b></span></a> is also valid in this case. Moreover, it's possible to quantify exactly the concentration of HSL, using the well-characterized BioBrick <a href="http://partsregistry.org/Part:BBa_T9002">BBa_T9002</a>.
<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="80%" width="110%"></a></div></div>
<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="80%" width="110%"></a></div></div>
-
Before discussing parameter estimation, it's good to spend few words abuot this BioBrick. This is a biosensor which receives HSL concentration as input and returns GFP intensity (more precisely SCell) as output.
+
This is a biosensor which receives HSL concentration as input and returns GFP intensity (more precisely S<sub>cell</sub>) as output.<font color="red"> (Canton et al, 2008).</font>
-
According to this, it' s necessary to know very well the reationship input-output: a curve of "calibration" of T9002 is obtain for each test performed, even if, in theory, it should be always the same.
+
According to this, it is necessary to understand the input-output relationship: so, a T9002 "calibration" curve is plotted for each test performed.<br><br>
-
So, our idea is to control the degradation of HSL in time reading the fluorescence of T9002 due to a certain concentration of HSL; monitoring it in precise moments since induction (namely, after having waited enough for AiiA to become in stationary phase) and assuming that the concentration follows a decaying exponential, we can estimate the degradation rate.
+
So, our idea is to control the degradation of HSL in time. ATc activates pTet and, later, a certain concentration of HSL is introduced. Then, at fixed times, O.D.<sub>600</sub> and HSL concentration are monitored using Tecan and T9002 biosensor.
-
K<sub>cat</sub> represents HSL maximum degradation rate per unit of HSL, reached when AiiA concentration is far above K<sub>M1</sub>.
+
-
K<sub>M1</sub> is the dissociation constant between AiiA and HSL.
+
-
<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="80%" width="140%"></a></div></div><br><br>
+
<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="65%" width="140%"></a></div></div>
 +
Referring to <a href="#Hypothesis"><span class="toctext"><b><em>HP<sub>5</sub></em></b></span></a>, in exponential growth enzymes equilibrium is conserved.
 +
Due to a known induction of aTc, the steady-state level per cell can be calculated:
-
<a name="LuxI"></a><h4> <span class="mw-headline"> <b>LuxI</b> </span></h4>
+
<div style='text-align:justify'><div class="thumbinner" style="width: 500px;"><a href="File:Aiia_cost.jpg" class="image"><img alt="" src="https://static.igem.org/mediawiki/2011/7/74/Aiia_cost.jpg" class="thumbimage" height="70%" width="120%"></a></div></div>
 +
Considering, for a determined promoter-RBSx couple, several induction of aTc and, for each of them, several samples of HSL concentration during time, parameters V<sub>max</sub>, k<sub>M,LuxI</sub>, k<sub>cat</sub> and k<sub>M,AiiA</sub> can be estimated, through numerous iterations of an algorithm implemented in MATLAB.
 +
<br>
<br>
<br>
-
 
-
 
-
 
<a name="N"></a><h4> <span class="mw-headline"> <b>N</b> </span></h4>
<a name="N"></a><h4> <span class="mw-headline"> <b>N</b> </span></h4>
-
<div style='text-align:justify'>The parameters N<sub>max</sub> and μ can be calculated from the analysis of the OD600 produced by our MGZ1 culture. In particular, μ is derived as the slope of the log(OD600) growth curve. N<sub>max</sub> is determined with a proper procedure. After having reached saturation phase and having retrieved the corresponding OD600, we take a sample of the culture and make serial dilutions of it, then we plate the final diluted culture on a Petri and wait for the formation of colonies. The dilution serves to avoid the growth of too many and too close colonies in the Petri. Finally, we count the number of colonies, which correspond to N<sub>max</sub>.
+
<div style='text-align:justify'>The parameters N<sub>max</sub> and μ can be calculated from the analysis of the OD<sub>600</sub> produced by our MGZ1 culture. In particular, μ is derived as the slope of the log(O.D.<sub>600</sub>) growth curve. Counting the number of cells of a saturated culture would be considerably complicated, so N<sub>max</sub> is determined with a proper procedure. The aim here is to derive the linear proportional coefficient &Theta; between O.D'.<sub>600</sub> and N: this constant can be estimated as the ratio between absorbance (read from TECAN) and the respective number of CFU on a petri plate. Finally, N<sub>max</sub> is calcultated as &Theta;*O.D'.<sub>600</sub>.
 +
<font color="red">(Pasotti et al, 2010)</font>.
</div>
</div>
 +
<br>
<br>
<br>
-
<a name="Simulations"></a><h1><span class="mw-headline"> <b>Simulations</b> </span></h1>
+
<a name="Degradation_rates"></a><h4> <span class="mw-headline"> <b>Degradation rates</b> </span></h4>
-
<div style='text-align:justify'>Now that we have gone deep into the various aspects of the mathematical model of our closed loop, it's time to explain why it is advantageous with respect to the open loop.
+
<div style='text-align:justify'>The parameters &gamma;<sub>LuxI</sub> and &gamma;<sub>AiiA</sub> are taken from literature since they contain LVA tag for rapid degradation. Instead, approximating HSL kinetics as a decaying exponential, &gamma;<sub>HSL</sub> can be derived as the slope of the log(concentration), which can be monitored through <a href="http://partsregistry.org/Part:BBa_T9002">BBa_T9002</a>.
-
In order to see that, we implemented and simulated in Matlab our closed loop circuit and the open loop one, consisting of the same construct without the feedback loop, which is represented by . The table below provides the values for the parameters of the model.
+
-
disegno, promotore a valle di AiiA sempre acceso. grafici e differenze, mostrare che AiiA in qll ad anello aperto sta vistosamente sopra---> spreco di energia da parte della cellula.
+
</div>
</div>
 +
<br>
<br>
<br>
 +
 +
<a name="Simulations"></a><h1><span class="mw-headline"> <b>Simulations</b> </span></h1>
 +
<div style='text-align:justify'>
 +
On a biological level, the ability to control the concentration of a given molecule reveals itself as fundamental in limiting the metabolic burden of the cell; moreover, in the particular case of HSL signalling molecules, this would give the possibility to regulate quorum sensing-based population behaviours. In this section we first present the results of the simulations of the closed-loop circuit for feasible values of the parameters. The reported figures highlight some fundamental characteristics.</div>
 +
<div style='text-align:justify'> First of all, it is clear the validity of the steady state approximation in the exponential growth phase, since that LuxI, AiiA, and also HSL, undergo only minor changes in this phase (500>t<2500 min). Secondly, it can be noted that the circuit negative feedback rapidly activates above a proper amount of HSL, and after that it competes with LuxI synthesis term in defining HSL steady state value.
 +
</div>
 +
 +
<table align='center' width='100%'>
 +
<div style='text-align:center'><div class="thumbinner" style="width: 100%;"><a href="File:LuxI AiiA time course.jpg" class="image"><img alt="" src="https://static.igem.org/mediawiki/2011/c/cd/LuxI_AiiA_time_course.jpg" class="thumbimage" width="80%"></a></div></div>
 +
</table>
 +
 +
<table align='center' width='100%'>
 +
<div style='text-align:center'><div class="thumbinner" style="width: 100%;"><a href="File:HSL time course.jpg" class="image"><img alt="" src="https://static.igem.org/mediawiki/2011/1/15/HSL_time_course.jpg" class="thumbimage" width="80%"></a></div></div>
 +
</table>
 +
 +
<p>The concept of the closed-loop model we have discussed so far can be validated by the comparison with another circuit we implemented in Matlab, that is an open loop circuit, similar to CTRL+E, except for the constitutive production of AiiA. We can point out that, under the hypothesis of an equal amount of HSL production, the open-loop circuit requires a higher AiiA production level, thereby constituting a greater metabolic burden for the cell (see figure below), uncertain to be fulfilled in realistic conditions. Moreover, there is  another major issue with the open loop circuit, that is the inability to monitor the output of the controlled system, so that it is not generally capable to adapt to changes in the system behavior.</p>
 +
 +
<table align='center' width='100%'>
 +
<div style='text-align:center'><div class="thumbinner" style="width: 100%;"><a href="File:UNIPV AiiA open loop VS closed loop.jpg" class="image"><img alt="" src="https://static.igem.org/mediawiki/2011/9/96/UNIPV_AiiA_open_loop_VS_closed_loop.jpg" class="thumbimage" width="80%"></a></div></div>
 +
</table>
<a name="References"></a><h1><span class="mw-headline"> <b>References</b> </span></h1>
<a name="References"></a><h1><span class="mw-headline"> <b>References</b> </span></h1>
 +
<div style='text-align:justify'>
 +
D. Braun, S. Basu, R. Weiss, "Parameter Estimation for Two Synthetic Gene Networks: a Case Study", ICASSP 2005, vol. 5, v/769 - v/772.<br><br>
 +
 +
B. Canton, A. Labno and D. Endy, "Refinement and Standardization of Synthetic Biological Parts and Devices", Volume 26, Number 7, July 2008.</div><br><br>
 +
 +
T. Danino, O. Mondragon-Palomino, L. Tsimring & J. Hasty, "A Synchronized Quorum of Genetic Clocks", Nature vol. 463, pp. 326-330, January 2010.<br><br>
 +
 +
L. Endler, N. Rodriguez, N. Juty, V. Chelliah, C. Laibe, C. Li and N. Le Novere, "Designing and Encoding Models for Synthetic Biology", Journal of the Royal Society, 2009 Aug 6;6 Suppl 4:S405-17. Epub 2009 Apr 1.<br><br>
 +
 +
L. Pasotti, M. Quattrocelli, D. Galli, M.G. Cusella De Angelis, P. Magni, "Multiplexing and Demultiplexing Logic Functions for Computing Signal Processing Tasks in Synthetic Biology", Biotechnology Journal, Volume 6,pp. 784-795, 2011.<br><br>
 +
 +
L. Pasotti, M. Quattrocelli, D. Galli, M.G. Cusella De Angelis, P. Magni, "Multiplexing and Demultiplexing Logic Functions for Computing Signal Processing Tasks in Synthetic Biology, Supporting Information", Biotechnology Journal, Volume 6,available online, 2011.
</div>
</div>
-
</div>
+
 

Latest revision as of 10:23, 21 September 2011

UNIPV TEAM 2011

CTRL + E

Signalling is nothing without control...


Contents



Mathematical modelling: introduction

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: what we propose in this page is a modelling approach to our project, which has proven extremely useful and very helpful before and after the "wet lab".
Thus, immediately at the beginning, when there was little knowledge, a mathematical model based on a system of differential equations was derived and implemented using a set of parameters, to validate the feasibility of the project. Once this became clear, starting from the characterization of the single subparts created in the wet lab, some of the parameters of the mathematical model were estimated (the others are known from literature) and they have been fixed to simulate the same model, in order to predict the final behaviour of the whole engineered closed-loop circuit. This approach is consistent with the typical one adopted for the analysis and synthesis of a biological circuit, as exemplified by Pasotti et al 2011.

Therefore here, 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 function of the parameters involved.
Experimental procedures for parameter estimation are discussed and, finally, a different type of circuit is presented. Simulations were performed, using ODEs with MATLAB and used to explain the difference between a closed-loop control system model and an open one.


The importance of mathematical modelling

The purposes of deriving mathematical models for gene networks can be:

  • Prediction: in the initial steps of the project, a good a-priori identification "in silico" allows to suppose the kinetics of the enzymes (AiiA, Luxi) and HSL involved in our gene network, basically to understand if the complex circuit structure and functioning could be achievable and to investigate the range of parameters values ​​for which the behavior is the one expected. (Endler et al, 2009)

  • Parameter identification: a modellistic approach is helpful to get all the parameters involved, in order to perform realistic simulations not only of the single subparts created, but also of the whole final circuit, according to the a-posteriori identification.

  • Modularity: studying and characterizing basic BioBrick Parts can allow to reuse this knowledge in other studies, concerning with the same basic modules (Braun et al, 2005; Canton et al, 2008).


  • Equations for gene networks




    Hyphotesis of the model

    HP1: In order to better investigate the range of dynamics of each subparts, every promoter has been studied with 4 different RBSs, so as to develop more knowledge about the state variables in several configurations of RBS' efficiency. Hereafter, referring to the notation "RBSx" we mean, respectively, RBS30, RBS31, RBS32, RBS34.

    HP2: In equation (2) only HSL is considered as inducer, instead of the complex LuxR-HSL. This is motivated by the fact that our final device offers a constitutive LuxR production due to the upstream constitutive promoter P&lambda. Assuming LuxR is abundant and always saturated in the cytoplasm, we can justify the simplification of attributing pLux promoter i nduction only by HSL. In conclusion LuxR, LuxI and AiiA were not included in the equation system.

    HP3: in system equation, LuxI and AiiA amounts are expressed per cell. For this reason, the whole equation (3), except for the term of intrinsic degradation of HSL, is multiplied by the number of cells N, due to the property of the lactone to diffuse freely inside/outside bacteria.

    HP4: as regards promoters pTet and pLux, we assume their strengths (measured in PoPs), due to a given concentration of inducer (aTc, HSL for Ptet and Plux respectively), to be independent from the gene encoding. In other words, in our hypotesis, if the mRFP coding region is substituted with a region coding for another gene (in our case, AiiA or LuxI), 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].

    HP5: considering the exponential growth, the enzymes AiiA and LuxI concentration is supposed to be constant, because their production is equally compensated by dilution.


    Equations (1) and (2)

    Equations (1) and (2) have identical structure, differing only in the parameters involved. They represent the synthesis degradation and diluition of both the enzymes in the circuit, LuxI and AiiA, respectively in the first and second equation: in each of them both transcription and translation processes have been condensed. The corresponding mathematical formalism is analogous to the one used by Pasotti et al 2011, Suppl. Inf., even if we do not take LuxR-HSL complex formation into account, as explained below.
    These equations are composed of 2 parts:

    1. 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 inducer (anhydrotetracicline -aTc- or HSL respectively), responsible for the activation of the regulatory element composed of promoter and RBSx. In the parameter table (see below), α refers to the maximum activation of the promoter, while δ stands for its leakage activity (this means that the promoter is slightly active even if there is no induction). In particular, in equation (1), the almost entire inhibition of pTet promoter is given by the constitutive production of TetR by our MGZ1 strain. In equation (2), pLux is almost inactive in the absence of the complex LuxR-HSL.
      Furthermore, in both equations k stands for the dissociation constant of the promoter from the inducer (respectively aTc and HSL in eq. 1 and 2), while η is the cooperativity constant.

      The second term in equations (1) and (2) is in turn composed of 2 parts. The former one (γ*LuxI or γ*AiiA respectively) describes, with an exponential decay, the degradation rate per cell of the protein. The latter (μ*(Nmax-N)/Nmax)*LuxI or μ*(Nmax-N)/Nmax)*AiiA, respectively) takes into account the dilution factor against cell growth which is related to the cell replication process.

    Equation (3)

    Here the kinetics of HSL is modeled, through enzymatic reactions either related to the production or the degradation of HSL: based on the experiments performed, we derived appropriate expressions for HSL synthesis and degradation. This equation is composed of 3 parts:

    1. The first term represents the production of HSL due to LuxI expression. We modeled this process with a saturation curve in which Vmax is the HSL maximum transcription rate, while kM,LuxI is the dissociation constant of LuxI from the substrate HSL.

    2. The second term represents the degradation of HSL due to the AiiA expression. Similarly to LuxI, kcat represents the maximum degradation per unit of HSL concentration, while kM,AiiA is the concentration at which AiiA dependent HSL concentration rate is (kcat*HSL)/2. The formalism is similar to that found in the Supplementary Information of Danino et al, 2010.

    3. The third term (γHSL*HSL) is similar to the corresponding ones present in the first two equations and describes the intrinsic protein degradation.


    Equation (4)

    This is the common logistic population cells growth, depending on the rate μ and the maximum number Nmax of cells per well reachable.


    Table of parameters and species


    Parameter & Species Description Unit of Measurement Value
    αpTet maximum transcription rate of pTet (related to RBSx efficiency) [(AUr/min)/cell] -
    δpTet leakage factor of promoter pTet basic activity [-] -
    ηpTet Hill coefficient of pTet [-] -
    kpTet dissociation constant of aTc from pTet [nM] -
    αpLux maximum transcription rate of pLux (related to RBSx efficiency) [(AUr/min)/cell] -
    δpLux leakage factor of promoter pLux basic activity [-] -
    ηpLux Hill coefficient of pLux [-] -
    kpLux dissociation constant of HSL from pLux [nM] -
    γpLux LuxI constant degradation [1/min] -
    γAiiA AiiA constant degradation [1/min] -
    γHSL HSL constant degradation [1/min] -
    Vmax maximum transcription rate of LuxI [nM/(min*cell)] -
    kM,LuxI dissociation constant of LuxI from HSL [AUr/cell] -
    kcat maximum number of enzymatic reactions catalyzed per minute [1/(min*cell)] -
    kM,AiiA dissociation constant of AiiA from HSL [AUr/cell] -
    Nmax maximum number of bacteria per well [cell] -
    μ rate of bacteria growth [1/min] -
    LuxI kinetics of enzyme LuxI [AUrcell] -
    AiiA kinetics of enzyme AiiA [AUrcell] -
    HSL kinetics of HSL [nM(min)] -
    N number of cells cell -


    Parameter estimation

    The philosophy of the model is to predict the behavior of the final closed loop circuit starting from the characterization of single BioBrick parts through a set of well-designed ad hoc experiments. Relating to these, in this section the way parameters of the model have been identified is presented. As explained before in HP1, considering a set of 4 RBS for each subpart expands the range of dynamics and helps us to better understand the interactions between state variables and parameters.

    Promoter (PTet & pLux)

    These were the first subparts tested. In this phase of the project the target is to learn more about promoter pTet and pLux. Characterizing promoters only is a very hard task: for this reason we considered promoter and each RBS from the RBSx set as a whole (reference to HP1).
    As shown in the figure below, we considered a range of inductions and we monitored, in time, absorbance (O.D. stands for "optical density") and fluorescence; the two vertical segments for each graph highlight the exponential phase of bacterial growth. Scell (namely, synthesis rate per cell) can be derived 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:
    However, also Relative Promoter Unit (RPU) has been calculated as a ratio of Scell of promoter of interest and the Scell of BBa_J23101 (reference to HP4).
    As shown in the figure above, α, as already mentioned, represents the protein maximum synthesis rate, which is reached, in accordance with Hill's formalism, when the inducer concentration tends to infinite, and, for sufficently high concentrations of inducer. Meanwhile the product α*δ stands for the leakage activity (at no induction), liable for protein production (LuxI and AiiA respectively) even in the absence of inducer. 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 η=1, it indicates the concentration of substrate at which half the synthesis rate is achieved.

    AiiA & LuxI

    This paragraph explains how parameters of equation (3) are estimated. The target is to learn the AiiA and LuxI degradation and production mechanisms in addition to HSL intrinsic degradation, in order to estimate Vmax, kM,LuxI, kcat and kM,AiiA parameters. These tests have been performed using the following BioBrick parts:
    By now, parameter identification about promoters has already been performed. Furthermore, as explained before, the HP4 is also valid in this case. Moreover, it's possible to quantify exactly the concentration of HSL, using the well-characterized BioBrick BBa_T9002.
    This is a biosensor which receives HSL concentration as input and returns GFP intensity (more precisely Scell) as output. (Canton et al, 2008). According to this, it is necessary to understand the input-output relationship: so, a T9002 "calibration" curve is plotted for each test performed.

    So, our idea is to control the degradation of HSL in time. ATc activates pTet and, later, a certain concentration of HSL is introduced. Then, at fixed times, O.D.600 and HSL concentration are monitored using Tecan and T9002 biosensor.
    File:Degradation.jpg
    Referring to HP5, in exponential growth enzymes equilibrium is conserved. Due to a known induction of aTc, the steady-state level per cell can be calculated:
    Considering, for a determined promoter-RBSx couple, several induction of aTc and, for each of them, several samples of HSL concentration during time, parameters Vmax, kM,LuxI, kcat and kM,AiiA can be estimated, through numerous iterations of an algorithm implemented in MATLAB.

    N

    The parameters Nmax and μ can be calculated from the analysis of the OD600 produced by our MGZ1 culture. In particular, μ is derived as the slope of the log(O.D.600) growth curve. Counting the number of cells of a saturated culture would be considerably complicated, so Nmax is determined with a proper procedure. The aim here is to derive the linear proportional coefficient Θ between O.D'.600 and N: this constant can be estimated as the ratio between absorbance (read from TECAN) and the respective number of CFU on a petri plate. Finally, Nmax is calcultated as Θ*O.D'.600. (Pasotti et al, 2010).


    Degradation rates

    The parameters γLuxI and γAiiA are taken from literature since they contain LVA tag for rapid degradation. Instead, approximating HSL kinetics as a decaying exponential, γHSL can be derived as the slope of the log(concentration), which can be monitored through BBa_T9002.


    Simulations

    On a biological level, the ability to control the concentration of a given molecule reveals itself as fundamental in limiting the metabolic burden of the cell; moreover, in the particular case of HSL signalling molecules, this would give the possibility to regulate quorum sensing-based population behaviours. In this section we first present the results of the simulations of the closed-loop circuit for feasible values of the parameters. The reported figures highlight some fundamental characteristics.
    First of all, it is clear the validity of the steady state approximation in the exponential growth phase, since that LuxI, AiiA, and also HSL, undergo only minor changes in this phase (500>t<2500 min). Secondly, it can be noted that the circuit negative feedback rapidly activates above a proper amount of HSL, and after that it competes with LuxI synthesis term in defining HSL steady state value.

    The concept of the closed-loop model we have discussed so far can be validated by the comparison with another circuit we implemented in Matlab, that is an open loop circuit, similar to CTRL+E, except for the constitutive production of AiiA. We can point out that, under the hypothesis of an equal amount of HSL production, the open-loop circuit requires a higher AiiA production level, thereby constituting a greater metabolic burden for the cell (see figure below), uncertain to be fulfilled in realistic conditions. Moreover, there is another major issue with the open loop circuit, that is the inability to monitor the output of the controlled system, so that it is not generally capable to adapt to changes in the system behavior.

    References

    D. Braun, S. Basu, R. Weiss, "Parameter Estimation for Two Synthetic Gene Networks: a Case Study", ICASSP 2005, vol. 5, v/769 - v/772.

    B. Canton, A. Labno and D. Endy, "Refinement and Standardization of Synthetic Biological Parts and Devices", Volume 26, Number 7, July 2008.


    T. Danino, O. Mondragon-Palomino, L. Tsimring & J. Hasty, "A Synchronized Quorum of Genetic Clocks", Nature vol. 463, pp. 326-330, January 2010.

    L. Endler, N. Rodriguez, N. Juty, V. Chelliah, C. Laibe, C. Li and N. Le Novere, "Designing and Encoding Models for Synthetic Biology", Journal of the Royal Society, 2009 Aug 6;6 Suppl 4:S405-17. Epub 2009 Apr 1.

    L. Pasotti, M. Quattrocelli, D. Galli, M.G. Cusella De Angelis, P. Magni, "Multiplexing and Demultiplexing Logic Functions for Computing Signal Processing Tasks in Synthetic Biology", Biotechnology Journal, Volume 6,pp. 784-795, 2011.

    L. Pasotti, M. Quattrocelli, D. Galli, M.G. Cusella De Angelis, P. Magni, "Multiplexing and Demultiplexing Logic Functions for Computing Signal Processing Tasks in Synthetic Biology, Supporting Information", Biotechnology Journal, Volume 6,available online, 2011.

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