Difference between revisions of "Team:ETH Zurich/Modeling/Single-cell Model"

 
(70 intermediate revisions by 4 users not shown)
Line 4: Line 4:
  
 
<div class="expContainer">
 
<div class="expContainer">
<h1>Combined Model</h1>
+
<h1>Compartment Model</h1>
  
  
Line 10: Line 10:
 
<!--<div class="imgBox">-->
 
<!--<div class="imgBox">-->
 
<a href="https://static.igem.org/mediawiki/2015/8/81/Combined_model.svg">
 
<a href="https://static.igem.org/mediawiki/2015/8/81/Combined_model.svg">
<object class="svg" data="https://static.igem.org/mediawiki/2015/8/81/Combined_model.svg" type="image/svg+xml" width="12%" style="position:absolute;top:100px;right:44%">
+
<object class="svg" data="https://static.igem.org/mediawiki/2015/8/81/Combined_model.svg" type="image/svg+xml" width="12%">
 
</object></a>
 
</object></a>
 
<!--</div>-->
 
<!--</div>-->
Line 16: Line 16:
 
<!--[if lte IE 8]>
 
<!--[if lte IE 8]>
 
<![endif]-->
 
<![endif]-->
 +
  
<p></p>
+
<h2>Introduction and Goals</h2>  
<p></p>
+
<div class="imgBox" style="width:100%">
<p></p>
+
<a href="https://2015.igem.org/File:Boxgeneticdesign2308.svg">
 
+
<h2> Introduction </h2>  
+
<div class="imgBox" style="float:right;width:60%;margin: 20px 0px 20px 20px !important;">
+
 
<!--[if gte IE 9]><!-->
 
<!--[if gte IE 9]><!-->
 +
<img src="https://static.igem.org/mediawiki/2015/c/c5/Boxgeneticdesign2308.svg" style="width:100%">
 +
<!--<![endif]-->
 +
<!--[if lte IE 8]>
 +
<img src="https://static.igem.org/mediawiki/2015/c/c5/Boxgeneticdesign2308.svg"  style="width:100%"/>
 +
<![endif]-->
 +
</a>
 +
<p><b>Figure 1.</b> Full system genetic design. Lactate induces the lactate sensor. The output of the lactate sensor is LuxR. LuxR through initiation of the leakiness triggers the quorum sensing module. From this point, the <i> E. coli</i> cells are able to sense each other via AHL signaling</p>
 +
</div>
  
<a href="https://static.igem.org/mediawiki/2015/c/c5/Boxgeneticdesign2308.svg">
+
<p>The combined compartment model studies the connections between the <a href="https://2015.igem.org/Team:ETH_Zurich/Modeling/Lactate_Module"> lactate module</a> and the <a href="https://2015.igem.org/Team:ETH_Zurich/Modeling/AHL_Module"> AHL module</a>. The lactate sensor's output is LuxR. LuxR is the input of the AHL module. The system seems sequential but the actual input of the AHL module is the signaling molecule AHL. LuxR only induces leaky expression of the signaling molecule. However to activate the AHL module, a significant density of <i> E. coli </i> has to be reached. That is why the system should work as an AND gate. </p>
<object class="svg" id="Boxgeneticdesign" data="https://static.igem.org/mediawiki/2015/c/c5/Boxgeneticdesign2308.svg" type="image/svg+xml" style="overflow:hidden">
+
 
 +
<div class="highlightBox" style="margin-top: 15px">
 +
<h3>Goals</h3>
 +
<p> By using the <a href="https://2015.igem.org/Team:ETH_Zurich/Modeling/Experiments_Model">fitted parameters</a> from both modules, we study how the system should function. We compare the response for two lactate designs. The first one is the combined model with the fold-change sensor. The second system is the one harboring the simple lactate detection system. For both designs, we use two different inputs: lactate production reaching the same steady state, or lactate production reaching two different steady states, as already explained in the <a href="https://2015.igem.org/Team:ETH_Zurich/Modeling/Lactate_Module#LactateSteadyStates">lactate module</a>. We then have the following goals:</p>
 +
<ol>
 +
<li> <b>Choosing the best design:</b> Does the simple natural detection system or a fold-change sensor lead to the best response?</li>
 +
<li> <b>Performing an <i>in silico</i> GFP measurement</b> for the chosen design: What is the measured GFP response time course during the experiment?</li>
 +
</ol>
 +
<p><a href="#Summary"> Jump to Summary</a></p>
 +
</div>
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
<h3>AND gate</h3>
 +
<p> In our system we want to reduce the amount of<a href= “https://2015.igem.org/Team:ETH_Zurich/Practices/Medicine”> false positives </a>. That’s why cells displaying intermediary characteristics should not be detected by our system. We consider that cells showing increased lactate production rate but do not expose phosphatidylserine, or cells exposing phosphatidylserine but not an increased lactate production rate should not be recognized by our system. We implemented the system to obtain an <a href="https://2015.igem.org/Team:ETH_Zurich/Glossary#AND_GATE">AND gate</a>. The system works as two sequential filtering step. <b> The sequential design </b> was used in order to limit the self-activation of the quorum sensing module.</b> Indeed as we have seen in the <a href="https://2015.igem.org/Team:ETH_Zurich/Modeling/AHL_Module">AHL module</a>, the difference between the two modules strongly depends on the amount of LuxR in the <i> E. coli </i>. This design has a disadvantage though, it requires fine-tuning in order to avoid that one signal prevails on the second one.  In the scheme shown below, we describe in which situation, the <i> E. coli </i> should fluoresce.  </p>
 +
<p> One particularity of our system is that even healthy cells will produce lactate. That is why we implemented a <a href="https://2015.igem.org/Team:ETH_Zurich/Modeling/Lactate_Module#Full_module_simplified_model">lactate module</a> that works as a <a href="">fold-change sensor</a>. The fold-change sensor will produce a pulse of LuxR. We will study here how the pulsed response influence the output of the system.  </p>
 +
<div class="imgBox">
 +
<!--[if gte IE 9]><!-->
 +
<object class="svg" id="ANDGATE" data="https://static.igem.org/mediawiki/2015/f/f4/AND-GATE.svg" type="image/svg+xml" style="overflow:hidden">
 
<img src="IMG FALLBACK URL" />
 
<img src="IMG FALLBACK URL" />
 
</object>
 
</object>
</a>
 
<script type="text/javascript">
 
/* Used to resize the SVG */
 
$(window).load(function() {
 
    var boxen = $($('#mainContainer #Boxgeneticdesign')[0].contentDocument.getElementsByTagName('svg')[0]).find('g#g4399,g#g4403');
 
    boxen.css({'cursor':'pointer','cursor':'hand'});
 
    boxen.mouseenter(function(){$(this).find('rect')[0].style.opacity="0"}).mouseleave(function(){$(this).find('rect')[0].style.opacity="0.2"});
 
    $(boxen[0]).click(function(){window.location.href="https://2015.igem.org/Team:ETH_Zurich/Modeling/Lactate_Module";});
 
    $(boxen[1]).click(function(){window.location.href="https://2015.igem.org/Team:ETH_Zurich/Modeling/AHL_Module";});
 
});
 
</script>
 
 
 
<!--<![endif]-->
 
<!--<![endif]-->
 
<!--[if lte IE 8]>
 
<!--[if lte IE 8]>
 
<img src="IMG FALLBACK URL" />
 
<img src="IMG FALLBACK URL" />
 
<![endif]-->
 
<![endif]-->
<p><b> Genetic design</b></p>
+
<p><b>Figure 2.</b> Description of the AND gate</p>
 
</div>
 
</div>
<p>In this section, we describe the behaviour of the combined model. </p>
+
 
 +
 
 +
 
 
</div>
 
</div>
  
Line 55: Line 73:
 
<h2> Combined Compartment Model </h2>
 
<h2> Combined Compartment Model </h2>
 
<h3> Overview</h3>  
 
<h3> Overview</h3>  
<p> In this model we plan to simulate whether our system can work as an AND-GATE. Therefore we simulated the system using compartment to model the density of the <i> E. coli </i> as already explained in the <a href="https://2015.igem.org/Team:ETH_Zurich/Modeling/AHL_Module#Compartment_Model">AHL module</a>. </p>
+
<p> With this model wanted to investigate whether our system works as an <a href="#AND_gate">AND gate</a>. We compared the output from the simple lactate detection system with the one from the system including the fold-change sensor. </p>
<p> First, we will simulate the model with no amplification of the lactate input to match our experimental results. In a second part, we will simulate the full model.  
+
<p> The equations are the integration of both modules in one compartment model. <p>
As <a href="https://2015.igem.org/Team:ETH_Zurich/Modeling/AHL_Module#Simulation">already done</a> in the AHL module, we will compare three conditions:</p>
+
<ol type="A">
+
<li>No degradation by AiiA, no riboregulator.</li>
+
<li>Degradation of AHL by AiiA.</li>
+
<li>Riboregulator controlling LuxI expression.</li>
+
</ol>
+
<h3> Results</h3>  
+
<p> These equations are the integration of both modules in one compartment model. <p>
+
 
<h4> Assumptions</h4>  
 
<h4> Assumptions</h4>  
<p> Here we will assume that .</p>
+
<p> We assume:</p>
 +
<ol>
 +
<li> Instant diffusion of AHL in the compartments. </li>
 +
<li> In all the following we assume the nanowell volume to be 1 nL. </li>
 +
<li> All the <i> E. coli</i> receive the same amount of lactate. This is the worst-case scenario since probably the <i> E. coli</i> on the doughnut will sense a higher lactate production rate than the ones not bound, i.e., in the bulk.</li>
 +
</ol>
 
<h4> Equations</h4>  
 
<h4> Equations</h4>  
 
+
<p> The equations are a combination of the compartment model, the AHL module and the lactate module. </p>
 +
<p> The internal states, lactate, LuxR, LuxRAHL, LuxI have the same ODEs than the <a href="#Equations_including_the_fold_change_sensor"> single cell model</a>. Equivalent to the compartment model, we added convection between the different compartments.</p>
 +
<h3> Simulation when the lactate concentration reach the same steady states</h3>
 +
<p> Below, a comparison is shown between the response of a system including the fold change sensor and the one harboring only the natural detection system for the four different cases described earlier. The lactate inputs give two different delayed pulses of LuxR. The different pulses of LuxR lead to different delay of self-activation of the GFP output. The first GFP output to activate is the one with the cancer cell, the second and third one represent cells with intermediary characteristics. The latest activation time is for the one with no colocalization and no lactate production. With the fold-change sensor, we obtain a significant time difference between the different inputs. With only the natural detection system we do not obtain a clear difference between the different cases. The lactate signal prevails on the quorum sensing signal.</p>
 +
<div class="imgBox">
 +
<a href="https://2015.igem.org/File:FoldChangeBehavior-AndGATE.png">
 +
<img width="100%" src="https://static.igem.org/mediawiki/2015/0/0a/FoldChangeBehavior-AndGATE.png">
 +
</a>
 +
<p><b>Figure 3.</b> Simulation of the full system <b> with the fold change sensor.</b> Case 1) Lactate steady states are identical. Response of the system in four different situations. Lact+/QS+ corresponds to an <i>E. coli</i> next to a cancer cell, i.e., high lactate production and colocalization on the cancer cell's surface. Lact-/QS- correspond to the healthy cell's case, i.e. low lactate production rate and no colocalization. The other two situations displayed represent intermediary cell characteristics, i.e. high lactate production rate or colocalization on the mammalian cell's surface.</p>
 +
</div>
 +
<div class="imgBox">
 +
<a href="https://2015.igem.org/File:SimpleDetectionSystem-AndGATE.png">
 +
<img width="100%" src="https://static.igem.org/mediawiki/2015/0/01/SimpleDetectionSystem-AndGATE.png">
 +
</a>
 +
<p><b>Figure 4.</b> Simulation of the full system <b> with the natural lactate detection system. Case 1) Lactate steady states are identical. </b></p>
 +
</div>
 +
<h3> Simulation when the lactate concentration reach different steady states</h3>
 +
<p> Here we will compare again the response of the system when including the fold change sensor and the natural lactate detection system. </p>
 +
<p> We can see that here again the fold change gives a better response for the same parameters. </p>
 +
<div class="imgBox">
 +
<a href="https://2015.igem.org/File:FoldChangeBehavior-AndGATEdifferentSS.png">
 +
<img width="100%" src="https://static.igem.org/mediawiki/2015/b/b5/FoldChangeBehavior-AndGATEdifferentSS.png">
 +
</a>
 +
<p><b>Figure 5.</b> Simulation of the full system <b> with the fold change sensor </b>. Case 2) Lactate steady states are separated.</p>
 +
</div>
 +
<div class="imgBox">
 +
<a href="https://2015.igem.org/File:SimpleDetectionSystem-AndGATEdifferentSS.png">
 +
<img width="100%" src="https://static.igem.org/mediawiki/2015/9/9a/SimpleDetectionSystem-AndGATEdifferentSS.png">
 +
</a>
 +
<p><b>Figure 6.</b> Simulation of the full system <b> with the natural lactate detection system </b>. Case 2) Lactate steady states are separated</p>
 +
</div>
 +
<h3>Choosing the best design</h3>
 +
<p> The fold-change sensor solved the problem of leakiness and the problems about the size of the nanowell plate we had earlier. The pulse of LuxR should be large enough in order to activate the quorum sensing module. A broader peak can be obtained by introducing a delay in the response of LacI. This can be easily implemented biologically (if needed) by introducing an intermediary protein between lactate induction and LacI production. </p>
 +
<h3><i>In silico</i> GFP measurement experiment</h3>
 +
<p> As we have seen earlier, lactate production signals still prevail on the quorum sensing signal. In the broader context of our system, the experimenter will take the measurement at a specific time point. The heatmap represents the ratio of GFP output with and without colocalization on the doughnut for different rates of lactate production and different number of <i> E. coli </i> colocalized on the doughnut. In both cases, the <i> E. coli </i> <b> receive the same amount of lactate. </p>
 +
<p> We can see that we obtain an AND gate, however it is not an optimal AND-gate since we obtain some GFP fluorescence when lactate production is high.</b> </p>
 +
<div class="imgBox">
 +
<a href="https://2015.igem.org/File:HeatMapAndGATE.png">
 +
<img width="100%" src="https://static.igem.org/mediawiki/2015/b/b3/HeatMapAndGATE.png">
 +
</a>
 +
<p><b>Figure 7.</b> In silico GFP measurement experiment <b> with the fold change sensor </b>. The measurement was taken at a specific time point. We obtain an AND gate.</p>
 +
</div>
 
</div>
 
</div>
  
Line 87: Line 143:
 
<tr> <td>LuxRAHL </td> <td>Complex of LuxR and AHL, activates transcription of LuxI </td> </tr>
 
<tr> <td>LuxRAHL </td> <td>Complex of LuxR and AHL, activates transcription of LuxI </td> </tr>
 
<tr> <td>LuxI </td> <td>Autoinducer synthase </td> </tr>
 
<tr> <td>LuxI </td> <td>Autoinducer synthase </td> </tr>
<tr> <td>Aiia </td> <td>AHL-lactonase, N-Acyl Homoserine Lactone Lactonase </td> </tr>
 
 
<tr> <td>Lact</td> <td> Lactate  </td> </tr>
 
<tr> <td>Lact</td> <td> Lactate  </td> </tr>
 
<tr> <td>LacI</td> <td>Lac operon repressor, DNA-binding protein, acts as a protein</td> </tr>
 
<tr> <td>LacI</td> <td>Lac operon repressor, DNA-binding protein, acts as a protein</td> </tr>
Line 97: Line 152:
 
<h3> Reactions</h3>
 
<h3> Reactions</h3>
  
<table><tr><td>
+
<table style="width:570px">
 +
<tr>
 +
 
 +
<td>
 
\begin{align*}
 
\begin{align*}
 
&\mathop{\xrightarrow{\hspace{4em}}}_{a_{LacI},K_{A,appLact}}^{\displaystyle\mathop{\downarrow}^{\text{Lact}}} \text{LacI}\\
 
&\mathop{\xrightarrow{\hspace{4em}}}_{a_{LacI},K_{A,appLact}}^{\displaystyle\mathop{\downarrow}^{\text{Lact}}} \text{LacI}\\
Line 107: Line 165:
 
&\mathop{\xrightarrow{\hspace{4em}}}_{a_\mathrm{GFP},K_{\mathrm{a,LuxRAHL}}}^{\displaystyle\mathop{\downarrow}^{\text{LuxRAHL}}} \text{GFP}\\
 
&\mathop{\xrightarrow{\hspace{4em}}}_{a_\mathrm{GFP},K_{\mathrm{a,LuxRAHL}}}^{\displaystyle\mathop{\downarrow}^{\text{LuxRAHL}}} \text{GFP}\\
 
\end{align*}
 
\end{align*}
</td> <td>
+
</td>
 +
 
 +
<td>
 
\begin{align*}
 
\begin{align*}
 
\text{LuxI}&\mathop{\xrightarrow{\hspace{4em}}}^{a_{\mathrm{AHL}}}\text{AHL}+\text{LuxI}\\
 
\text{LuxI}&\mathop{\xrightarrow{\hspace{4em}}}^{a_{\mathrm{AHL}}}\text{AHL}+\text{LuxI}\\
Line 114: Line 174:
 
\text{LuxRAHL}&\mathop{\xrightarrow{\hspace{4em}}}^{d_{\mathrm{LuxRAHL}}}\varnothing\\
 
\text{LuxRAHL}&\mathop{\xrightarrow{\hspace{4em}}}^{d_{\mathrm{LuxRAHL}}}\varnothing\\
 
\text{LuxI}&\mathop{\xrightarrow{\hspace{4em}}}^{d_{\mathrm{LuxI}}}\varnothing\\
 
\text{LuxI}&\mathop{\xrightarrow{\hspace{4em}}}^{d_{\mathrm{LuxI}}}\varnothing\\
\text{Aiia}+\text{AHL}&\mathop{\xrightarrow{\hspace{4em}}}^{K_{\mathrm{M}},v_{\mathrm{Aiia}}}\text{Aiia}\\
 
 
\end{align*}
 
\end{align*}
 
</td>
 
</td>
 +
 
</tr>
 
</tr>
 
</table>
 
</table>
 +
 
<a class="expander" href="#" onclick="expand(this);return false;">
 
<a class="expander" href="#" onclick="expand(this);return false;">
 
<img src="https://static.igem.org/mediawiki/2015/1/1f/Blank_square.png">
 
<img src="https://static.igem.org/mediawiki/2015/1/1f/Blank_square.png">
 
</a>
 
</a>
 
</div>
 
</div>
<!--
+
 
 +
 
 
<div class="info">
 
<div class="info">
<h3> Equations</h3>  
+
<h3>Equations including the fold change sensor</h3>  
 
<p>Combining all of the equations from the two different modules, it yields the following system:</p>
 
<p>Combining all of the equations from the two different modules, it yields the following system:</p>
 
\begin{align*}
 
\begin{align*}
Line 132: Line 194:
 
[LuxRAHL]&= \frac{[AHL]\cdot [LuxR]}{K_{\mathrm{d,LuxRAHL}}+[AHL]}\\
 
[LuxRAHL]&= \frac{[AHL]\cdot [LuxR]}{K_{\mathrm{d,LuxRAHL}}+[AHL]}\\
 
\frac{d[LuxI]}{dt}&=a_{\mathrm{LuxI}}k_{\mathrm{leaky}}([LuxR]-[LuxRAHL])+\frac{a_{\mathrm{LuxI}}(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}{1+(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}-d_{\mathrm{LuxI}}[LuxI]\\
 
\frac{d[LuxI]}{dt}&=a_{\mathrm{LuxI}}k_{\mathrm{leaky}}([LuxR]-[LuxRAHL])+\frac{a_{\mathrm{LuxI}}(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}{1+(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}-d_{\mathrm{LuxI}}[LuxI]\\
\frac{d[AHL]}{dt}&=a_{\mathrm{AHL}}[LuxI]-d_{\mathrm{AHL}}[AHL]-\frac{v_\mathrm{Aiia}\cdot [AHL]}{K_{\mathrm{M,AiiA}}+[AHL]}\\
+
\frac{d[AHL]}{dt}&=a_{\mathrm{AHL}}[LuxI]-d_{\mathrm{AHL}}[AHL]\\
 +
\frac{d[GFP]}{dt}&=a_\mathrm{GFP}k_{\mathrm{leaky}}([LuxR]-[LuxRAHL])+\frac{a_\mathrm{GFP}(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}{1+(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}-d_{\mathrm{GFP}}[GFP]\\
 +
K_\mathrm{d,LuxRAHL} &= \frac{k_\mathrm{-LuxRAHL}}{k_\mathrm{LuxRAHL}}\\
 +
\gamma_2 &= \frac{IPTG_{tot}}{K_{IL}}
 +
\end{align*}
 +
 
 +
<h3> Equations including the natural detection system</h3>
 +
\begin{align*}
 +
\frac{d[LuxR]}{dt}&=\frac{a_\mathrm{LuxR} \cdot (\frac{[Lact]}{K_\mathrm{A,appLact}})^{n_1}}{1+(\frac{[Lact]}{K_\mathrm{A,appLact}})^{n_1}}-d_{\mathrm{LuxR}}[LuxR]\\
 +
[LuxRAHL]&= \frac{[AHL]\cdot [LuxR]}{K_{\mathrm{d,LuxRAHL}}+[AHL]}\\
 +
\frac{d[LuxI]}{dt}&=a_{\mathrm{LuxI}}k_{\mathrm{leaky}}([LuxR]-[LuxRAHL])+\frac{a_{\mathrm{LuxI}}(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}{1+(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}-d_{\mathrm{LuxI}}[LuxI]\\
 +
\frac{d[AHL]}{dt}&=a_{\mathrm{AHL}}[LuxI]-d_{\mathrm{AHL}}[AHL]\\
 
\frac{d[GFP]}{dt}&=a_\mathrm{GFP}k_{\mathrm{leaky}}([LuxR]-[LuxRAHL])+\frac{a_\mathrm{GFP}(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}{1+(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}-d_{\mathrm{GFP}}[GFP]\\
 
\frac{d[GFP]}{dt}&=a_\mathrm{GFP}k_{\mathrm{leaky}}([LuxR]-[LuxRAHL])+\frac{a_\mathrm{GFP}(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}{1+(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}-d_{\mathrm{GFP}}[GFP]\\
 
K_\mathrm{d,LuxRAHL} &= \frac{k_\mathrm{-LuxRAHL}}{k_\mathrm{LuxRAHL}}\\
 
K_\mathrm{d,LuxRAHL} &= \frac{k_\mathrm{-LuxRAHL}}{k_\mathrm{LuxRAHL}}\\
Line 141: Line 214:
 
</a>
 
</a>
 
</div>
 
</div>
-->
+
 
 
</div>
 
</div>
 +
<div class="expContainer">
 +
<h2>Summary</h2>
 +
<p>The best design appears to be the fold-change sensor compared to the simple lactate detection system, <b> no matter what is the behavior of the lactate inputs </b>.  The pulse of LuxR appears to solve the leakiness of the quorum sensing module that was considered earlier. By simulating an <i> in silico </i> GFP measurement, we can prove that the system can function as expected and provide a measurable GFP fluorescence.  In theory, the measurement could be taken 3 hours after loading the cells into the chip. We then obtain a <b> fast and robust </b> method to detect circulating tumor cells. </p>
  
 +
<p>However, several beneficial effects were not considered in this model:  </p>
 +
<ol>
 +
<li>The <a href="https://static.igem.org/mediawiki/2015/thumb/c/cd/ETH_doughnut_schem.svg/600px-ETH_doughnut_schem.svg.png">lactate capture effect</a> is not considered here. This effect should increase the sensed lactate only for <i> E. coli </i> localized on the doughnut.. </li>
 +
<li> The microscopy effect is also not included in this model: id the <i> E. coli </i> are localized on the surface, the experimenter will see apparent higher fluorescence just thanks to the <i>E. coli </i> colocalized on the cancer cell.</li>
 +
<li> Will flow in the microfluidic chip increase the quorum sensing effect?.</li>
 +
</ol>
 +
<p> These effects are considered in the <a href="https://2015.igem.org/Team:ETH_Zurich/Modeling/Reaction-diffusion"> reaction diffusion model</a>. </p>
 +
</div>
  
 
</div>
 
</div>
 
</html>
 
</html>
 
{{:Template:ETH_Zurich/footer}}
 
{{:Template:ETH_Zurich/footer}}

Latest revision as of 03:28, 19 September 2015

"What I cannot create I do not understand."
- Richard Feynmann

Compartment Model

Introduction and Goals

Figure 1. Full system genetic design. Lactate induces the lactate sensor. The output of the lactate sensor is LuxR. LuxR through initiation of the leakiness triggers the quorum sensing module. From this point, the E. coli cells are able to sense each other via AHL signaling

The combined compartment model studies the connections between the lactate module and the AHL module. The lactate sensor's output is LuxR. LuxR is the input of the AHL module. The system seems sequential but the actual input of the AHL module is the signaling molecule AHL. LuxR only induces leaky expression of the signaling molecule. However to activate the AHL module, a significant density of E. coli has to be reached. That is why the system should work as an AND gate.

Goals

By using the fitted parameters from both modules, we study how the system should function. We compare the response for two lactate designs. The first one is the combined model with the fold-change sensor. The second system is the one harboring the simple lactate detection system. For both designs, we use two different inputs: lactate production reaching the same steady state, or lactate production reaching two different steady states, as already explained in the lactate module. We then have the following goals:

  1. Choosing the best design: Does the simple natural detection system or a fold-change sensor lead to the best response?
  2. Performing an in silico GFP measurement for the chosen design: What is the measured GFP response time course during the experiment?

Jump to Summary

AND gate

In our system we want to reduce the amount of false positives . That’s why cells displaying intermediary characteristics should not be detected by our system. We consider that cells showing increased lactate production rate but do not expose phosphatidylserine, or cells exposing phosphatidylserine but not an increased lactate production rate should not be recognized by our system. We implemented the system to obtain an AND gate. The system works as two sequential filtering step. The sequential design was used in order to limit the self-activation of the quorum sensing module. Indeed as we have seen in the AHL module, the difference between the two modules strongly depends on the amount of LuxR in the E. coli . This design has a disadvantage though, it requires fine-tuning in order to avoid that one signal prevails on the second one. In the scheme shown below, we describe in which situation, the E. coli should fluoresce.

One particularity of our system is that even healthy cells will produce lactate. That is why we implemented a lactate module that works as a fold-change sensor. The fold-change sensor will produce a pulse of LuxR. We will study here how the pulsed response influence the output of the system.

Figure 2. Description of the AND gate

Combined Compartment Model

Overview

With this model wanted to investigate whether our system works as an AND gate. We compared the output from the simple lactate detection system with the one from the system including the fold-change sensor.

The equations are the integration of both modules in one compartment model.

Assumptions

We assume:

  1. Instant diffusion of AHL in the compartments.
  2. In all the following we assume the nanowell volume to be 1 nL.
  3. All the E. coli receive the same amount of lactate. This is the worst-case scenario since probably the E. coli on the doughnut will sense a higher lactate production rate than the ones not bound, i.e., in the bulk.

Equations

The equations are a combination of the compartment model, the AHL module and the lactate module.

The internal states, lactate, LuxR, LuxRAHL, LuxI have the same ODEs than the single cell model. Equivalent to the compartment model, we added convection between the different compartments.

Simulation when the lactate concentration reach the same steady states

Below, a comparison is shown between the response of a system including the fold change sensor and the one harboring only the natural detection system for the four different cases described earlier. The lactate inputs give two different delayed pulses of LuxR. The different pulses of LuxR lead to different delay of self-activation of the GFP output. The first GFP output to activate is the one with the cancer cell, the second and third one represent cells with intermediary characteristics. The latest activation time is for the one with no colocalization and no lactate production. With the fold-change sensor, we obtain a significant time difference between the different inputs. With only the natural detection system we do not obtain a clear difference between the different cases. The lactate signal prevails on the quorum sensing signal.

Figure 3. Simulation of the full system with the fold change sensor. Case 1) Lactate steady states are identical. Response of the system in four different situations. Lact+/QS+ corresponds to an E. coli next to a cancer cell, i.e., high lactate production and colocalization on the cancer cell's surface. Lact-/QS- correspond to the healthy cell's case, i.e. low lactate production rate and no colocalization. The other two situations displayed represent intermediary cell characteristics, i.e. high lactate production rate or colocalization on the mammalian cell's surface.

Figure 4. Simulation of the full system with the natural lactate detection system. Case 1) Lactate steady states are identical.

Simulation when the lactate concentration reach different steady states

Here we will compare again the response of the system when including the fold change sensor and the natural lactate detection system.

We can see that here again the fold change gives a better response for the same parameters.

Figure 5. Simulation of the full system with the fold change sensor . Case 2) Lactate steady states are separated.

Figure 6. Simulation of the full system with the natural lactate detection system . Case 2) Lactate steady states are separated

Choosing the best design

The fold-change sensor solved the problem of leakiness and the problems about the size of the nanowell plate we had earlier. The pulse of LuxR should be large enough in order to activate the quorum sensing module. A broader peak can be obtained by introducing a delay in the response of LacI. This can be easily implemented biologically (if needed) by introducing an intermediary protein between lactate induction and LacI production.

In silico GFP measurement experiment

As we have seen earlier, lactate production signals still prevail on the quorum sensing signal. In the broader context of our system, the experimenter will take the measurement at a specific time point. The heatmap represents the ratio of GFP output with and without colocalization on the doughnut for different rates of lactate production and different number of E. coli colocalized on the doughnut. In both cases, the E. coli receive the same amount of lactate.

We can see that we obtain an AND gate, however it is not an optimal AND-gate since we obtain some GFP fluorescence when lactate production is high.

Figure 7. In silico GFP measurement experiment with the fold change sensor . The measurement was taken at a specific time point. We obtain an AND gate.

Single cell model

Overview

The single cell model is provided here to simulate the combined model.

Chemical species

Name Description
AHL Signaling protein, Acyl homoserine lactone (30C6-HSL)
LuxR Regulator protein, that can bind to AHL to form a complex
LuxRAHL Complex of LuxR and AHL, activates transcription of LuxI
LuxI Autoinducer synthase
Lact Lactate
LacI Lac operon repressor, DNA-binding protein, acts as a protein
IPTG Isopropyl β-D-1-thiogalactopyranoside, prevents LacI from repressing the gene of interest
IL Dimer formed between LacI and IPTG

Reactions

\begin{align*} &\mathop{\xrightarrow{\hspace{4em}}}_{a_{LacI},K_{A,appLact}}^{\displaystyle\mathop{\downarrow}^{\text{Lact}}} \text{LacI}\\ \text{IPTG} + \text{LacI} &\mathop{\mathop{\xrightarrow{\hspace{4em}}}^{\xleftarrow{\hspace{4em}}}}_{k_{\mathrm{IL}}}^{k_{\mathrm{-IL}}} \text{IL}\\ &\mathop{\xrightarrow{\hspace{4em}}}_{a_{LuxR},K_{A,appLact}}^{\displaystyle\mathop{\downarrow}^{\text{Lact}}} \text{LuxR}\\ &\mathop{\xrightarrow{\hspace{4em}}}_{a_{LuxR},K_{R,LacI}}^{\displaystyle\mathop{\bot}^{\text{LacI}}} \text{LuxR}\\ \text{AHL} + \text{LuxR} &\mathop{\mathop{\xrightarrow{\hspace{4em}}}^{\xleftarrow{\hspace{4em}}}}_{k_{\mathrm{LuxRAHL}}}^{k_{\mathrm{-LuxRAHL}}} \text{LuxRAHL}\\ &\mathop{\xrightarrow{\hspace{4em}}}_{a_\mathrm{LuxI},K_{\mathrm{a,LuxRAHL}}}^{\displaystyle\mathop{\downarrow}^{\text{LuxRAHL}}} \text{LuxI}\\ &\mathop{\xrightarrow{\hspace{4em}}}_{a_\mathrm{GFP},K_{\mathrm{a,LuxRAHL}}}^{\displaystyle\mathop{\downarrow}^{\text{LuxRAHL}}} \text{GFP}\\ \end{align*} \begin{align*} \text{LuxI}&\mathop{\xrightarrow{\hspace{4em}}}^{a_{\mathrm{AHL}}}\text{AHL}+\text{LuxI}\\ \text{LuxR}&\mathop{\xrightarrow{\hspace{4em}}}^{d_{\mathrm{LuxR}}}\varnothing\\ \text{AHL}&\mathop{\xrightarrow{\hspace{4em}}}^{d_{\mathrm{AHL}}}\varnothing\\ \text{LuxRAHL}&\mathop{\xrightarrow{\hspace{4em}}}^{d_{\mathrm{LuxRAHL}}}\varnothing\\ \text{LuxI}&\mathop{\xrightarrow{\hspace{4em}}}^{d_{\mathrm{LuxI}}}\varnothing\\ \end{align*}

Equations including the fold change sensor

Combining all of the equations from the two different modules, it yields the following system:

\begin{align*} \frac{d[LacI]}{dt}&=\frac{a_\mathrm{LacI} \cdot (\frac{[Lact]}{K_\mathrm{A,appLact}})^{n_1}}{1+(\frac{[Lact]}{K_\mathrm{A,appLact}})^{n_1}}-d_{\mathrm{LacI}}[LacI]\\ \frac{d[LuxR]}{dt}&=\frac{a_\mathrm{LuxR} \cdot (\frac{[Lact]}{K_\mathrm{A,appLact}})^{n_1}}{1+(\frac{[Lact]}{K_\mathrm{A,appLact}})^{n_1}} \cdot \frac{1}{1+(\frac{[LacI]}{K_{\mathrm{R,LacI}}\cdot (\gamma_2+1)})^{n_\mathrm{2}}}-d_{\mathrm{LuxR}}[LuxR]\\ [LuxRAHL]&= \frac{[AHL]\cdot [LuxR]}{K_{\mathrm{d,LuxRAHL}}+[AHL]}\\ \frac{d[LuxI]}{dt}&=a_{\mathrm{LuxI}}k_{\mathrm{leaky}}([LuxR]-[LuxRAHL])+\frac{a_{\mathrm{LuxI}}(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}{1+(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}-d_{\mathrm{LuxI}}[LuxI]\\ \frac{d[AHL]}{dt}&=a_{\mathrm{AHL}}[LuxI]-d_{\mathrm{AHL}}[AHL]\\ \frac{d[GFP]}{dt}&=a_\mathrm{GFP}k_{\mathrm{leaky}}([LuxR]-[LuxRAHL])+\frac{a_\mathrm{GFP}(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}{1+(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}-d_{\mathrm{GFP}}[GFP]\\ K_\mathrm{d,LuxRAHL} &= \frac{k_\mathrm{-LuxRAHL}}{k_\mathrm{LuxRAHL}}\\ \gamma_2 &= \frac{IPTG_{tot}}{K_{IL}} \end{align*}

Equations including the natural detection system

\begin{align*} \frac{d[LuxR]}{dt}&=\frac{a_\mathrm{LuxR} \cdot (\frac{[Lact]}{K_\mathrm{A,appLact}})^{n_1}}{1+(\frac{[Lact]}{K_\mathrm{A,appLact}})^{n_1}}-d_{\mathrm{LuxR}}[LuxR]\\ [LuxRAHL]&= \frac{[AHL]\cdot [LuxR]}{K_{\mathrm{d,LuxRAHL}}+[AHL]}\\ \frac{d[LuxI]}{dt}&=a_{\mathrm{LuxI}}k_{\mathrm{leaky}}([LuxR]-[LuxRAHL])+\frac{a_{\mathrm{LuxI}}(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}{1+(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}-d_{\mathrm{LuxI}}[LuxI]\\ \frac{d[AHL]}{dt}&=a_{\mathrm{AHL}}[LuxI]-d_{\mathrm{AHL}}[AHL]\\ \frac{d[GFP]}{dt}&=a_\mathrm{GFP}k_{\mathrm{leaky}}([LuxR]-[LuxRAHL])+\frac{a_\mathrm{GFP}(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}{1+(\frac{[LuxRAHL]}{K_{\mathrm{A,LuxRAHL}}})^2}-d_{\mathrm{GFP}}[GFP]\\ K_\mathrm{d,LuxRAHL} &= \frac{k_\mathrm{-LuxRAHL}}{k_\mathrm{LuxRAHL}}\\ \gamma_2 &= \frac{IPTG_{tot}}{K_{IL}} \end{align*}

Summary

The best design appears to be the fold-change sensor compared to the simple lactate detection system, no matter what is the behavior of the lactate inputs . The pulse of LuxR appears to solve the leakiness of the quorum sensing module that was considered earlier. By simulating an in silico GFP measurement, we can prove that the system can function as expected and provide a measurable GFP fluorescence. In theory, the measurement could be taken 3 hours after loading the cells into the chip. We then obtain a fast and robust method to detect circulating tumor cells.

However, several beneficial effects were not considered in this model:

  1. The lactate capture effect is not considered here. This effect should increase the sensed lactate only for E. coli localized on the doughnut..
  2. The microscopy effect is also not included in this model: id the E. coli are localized on the surface, the experimenter will see apparent higher fluorescence just thanks to the E. coli colocalized on the cancer cell.
  3. Will flow in the microfluidic chip increase the quorum sensing effect?.

These effects are considered in the reaction diffusion model.

We would like to thank our sponsors