Difference between revisions of "Annihilation of calcium oscillations"

From mintOC
Jump to: navigation, search
m (New page: {{Dimensions |nd = 1 |nx = 4 |nw = 1 |nre = 3 }} The aim of the control problem is to identify strength and timing of inhibitor stimuli that lead to a phase sin...)
 
 
(24 intermediate revisions by 4 users not shown)
Line 3: Line 3:
 
|nx        = 4
 
|nx        = 4
 
|nw        = 1
 
|nw        = 1
|nre      = 3
+
|nc        = 1
 +
|nre      = 4
 
}}
 
}}
  
 
The aim of the control problem is to identify strength and timing of inhibitor stimuli that lead to a phase singularity which annihilates intracellular calcium oscillations. This is formulated as an objective function that aims at minimizing the state deviation from a desired unstable steady state, integrated over time.
 
The aim of the control problem is to identify strength and timing of inhibitor stimuli that lead to a phase singularity which annihilates intracellular calcium oscillations. This is formulated as an objective function that aims at minimizing the state deviation from a desired unstable steady state, integrated over time.
 +
 +
The mathematical equations form a small-scale [[:Category:ODE model|ODE model]]. The interior point equality conditions fix the initial values of the differential states. The problem is, despite of its low dimension, very hard to solve, as the target state is [[:Category:Unstable | unstable]].
 +
 +
== Biological motivation ==
  
 
Biological rhythms as impressing manifestations of self-organized dynamics associated with the phenomenon life have been of particular interest since quite a long time. Even before the mechanistic basis of certain biochemical oscillators was elucidated by molecular biology techniques, their investigation and the issue of perturbation by external stimuli has attracted much attention.
 
Biological rhythms as impressing manifestations of self-organized dynamics associated with the phenomenon life have been of particular interest since quite a long time. Even before the mechanistic basis of certain biochemical oscillators was elucidated by molecular biology techniques, their investigation and the issue of perturbation by external stimuli has attracted much attention.
Line 13: Line 18:
  
 
As a source of external control a temporally varying concentration of an uncompetitive inhibitor of the PMCA ion pump is considered.
 
As a source of external control a temporally varying concentration of an uncompetitive inhibitor of the PMCA ion pump is considered.
 
The mathematical equations form a small-scale [[:Category:ODE model|ODE model]]. The interior point equality conditions fix the initial values of the differential states. The problem is, despite of its low dimension, very hard to solve, as the target state is [[Category:Unstable | unstable]].
 
  
 
== Mathematical formulation ==
 
== Mathematical formulation ==
Line 20: Line 23:
 
For <math>t \in [t_0, t_f]</math> almost everywhere the mixed-integer optimal control problem is given by
 
For <math>t \in [t_0, t_f]</math> almost everywhere the mixed-integer optimal control problem is given by
  
 +
<p>
 
<math>
 
<math>
 
\begin{array}{llcl}
 
\begin{array}{llcl}
  \displaystyle \min_{x, w, w^{\mathrm{max}}} & & & {\int_{t_0}^{t_f} || x(\tau) - \tilde{x} ||_2^2 \mathrm{d}\tau} \\[1.5ex]
+
  \displaystyle \min_{x, w, w^{\mathrm{max}}} & & & {\int_{t_0}^{t_f} || x(\tau) - \tilde{x} ||_2^2 + p_1 w(\tau) \; \mathrm{d}\tau} \\[1.5ex]
 
  \mbox{s.t.} & \dot{x}_0 & = & k_1 + k_2 x_0 - \frac{k_3 x_0 x_1}{x_0 + K_4} -  \frac{k_5 x_0 x_2}{x_0 + K_6} \\
 
  \mbox{s.t.} & \dot{x}_0 & = & k_1 + k_2 x_0 - \frac{k_3 x_0 x_1}{x_0 + K_4} -  \frac{k_5 x_0 x_2}{x_0 + K_6} \\
 
& \dot{x}_1 & = & k_7 x_0 - \frac{k_8 x_1}{x_1 + K_9} \\
 
& \dot{x}_1 & = & k_7 x_0 - \frac{k_8 x_1}{x_1 + K_9} \\
& \dot{x}_2 & = & \frac{k_{10} x_1 x_2 x_3}{x_3 + K_{11}} + k_{12} x_1 + k_{13} x_0 - \frac{k_{14} x_2}{{w} x_2 + K_{15}} - \frac{k_{16} x_2}{x_2 + K_{17}} + \frac{x_3}{10} \\
+
& \dot{x}_2 & = & \frac{k_{10} x_1 x_2 x_3}{x_3 + K_{11}} + k_{12} x_1 + k_{13} x_0 - \frac{k_{14} x_2}{w \cdot x_2 + K_{15}} - \frac{k_{16} x_2}{x_2 + K_{17}} + \frac{x_3}{10} \\
 
& \dot{x}_3 & = & - \frac{k_{10} x_1 x_2 x_3}{x_3 + K_{11}} + \frac{k_{16} x_2}{x_2 + K_{17}} - \frac{x_3}{10} \\[1.5ex]
 
& \dot{x}_3 & = & - \frac{k_{10} x_1 x_2 x_3}{x_3 + K_{11}} + \frac{k_{16} x_2}{x_2 + K_{17}} - \frac{x_3}{10} \\[1.5ex]
 
  & x(0) &=& (0.03966, 1.09799, 0.00142, 1.65431)^T, \\
 
  & x(0) &=& (0.03966, 1.09799, 0.00142, 1.65431)^T, \\
  & w(t) &\in&  \{0, w^{\mathrm{max}}\}.
+
& x(t) & \ge & 0.0, \\
 +
  & w(t) &\in&  \{1, w^{\mathrm{max}}\}, \\
 +
& w^{\mathrm{max}} & \ge & 1.1, \\
 +
& w^{\mathrm{max}} & \le & 1.3.
 
\end{array}  
 
\end{array}  
 
</math>
 
</math>
 +
</p>
  
 
Here the differential states <math>(x_0, x_1, x_2, x_3)</math> describe concentrations of activated G-proteins, active phospholipase C, intracellular calcium, and intra-ER calcium, respectively.  
 
Here the differential states <math>(x_0, x_1, x_2, x_3)</math> describe concentrations of activated G-proteins, active phospholipase C, intracellular calcium, and intra-ER calcium, respectively.  
  
Modeling details including a comprehensive discussion of parameter values and the dynamical behavior observed in simulations with a comparison to experimental observations can be found in <bibref>Kummer2000</bibref>. In the given equations that stem from <bibref>Lebiedz2005</bibref>, the model is identical to the one derived there, except for an additional first-order leakage flow of calcium from the ER back to the cytoplasm, which is modeled by <math>\frac{x_3}{10}</math> in equations 3 and 4. It reproduces well experimental observations of cytoplasmic calcium oscillations as well as bursting behavior and in particular the frequency encoding of the triggering stimulus strength, which is a well known mechanism for signal processing in cell biology.
+
Modeling details including a comprehensive discussion of parameter values and the dynamical behavior observed in simulations with a comparison to experimental observations can be found in <bib id="Kummer2000" />. In the given equations that stem from <bib id="Lebiedz2005" />, the model is identical to the one derived there, except for an additional first-order leakage flow of calcium from the ER back to the cytoplasm, which is modeled by <math>\frac{x_3}{10}</math> in equations 3 and 4. It reproduces well experimental observations of cytoplasmic calcium oscillations as well as bursting behavior and in particular the frequency encoding of the triggering stimulus strength, which is a well known mechanism for signal processing in cell biology.
  
 
== Parameters ==
 
== Parameters ==
Line 40: Line 48:
 
These fixed values are used within the model.
 
These fixed values are used within the model.
  
 +
<p>
 
<math>
 
<math>
 
\begin{array}{rcl}
 
\begin{array}{rcl}
Line 61: Line 70:
 
K_{17} &=& 0.05, \\
 
K_{17} &=& 0.05, \\
 
p_1    &=& 100, \\
 
p_1    &=& 100, \\
p_2    &=& 5.
+
\tilde{x}_0 &=& 6.78677, \\
 +
\tilde{x}_1 &=& 22.65836, \\
 +
\tilde{x}_2 &=& 0.384306, \\
 +
\tilde{x}_3 &=& 0.28977.
 
\end{array}
 
\end{array}
 
</math>
 
</math>
 +
</p>
  
 
== Reference Solutions ==
 
== Reference Solutions ==
 
 
<gallery caption="Reference solution plots" widths="180px" heights="140px" perrow="2">
 
<gallery caption="Reference solution plots" widths="180px" heights="140px" perrow="2">
 
  Image:calciumControl.png| Optimal stimuli determined by mixed-integer optimal control.
 
  Image:calciumControl.png| Optimal stimuli determined by mixed-integer optimal control.
 
  Image:calciumStates.png| Corresponding differential states.
 
  Image:calciumStates.png| Corresponding differential states.
 +
Image:calciumStatesPerturbed.png| Slightly perturbed control: stimulus 0.001 too early.
 +
Image:calciumStatesLongTime.png| Long time behavior of optimal solution: numerical rounding errors lead to transition back from unstable steady-state to stable limit-cycle.
 
</gallery>
 
</gallery>
  
 +
The depicted optimal solution consists of a stimulus of <math>w^{\mathrm{max}}=1.3</math> and a timing given by the stage lengths 4.6947115, 0.1491038, and 17.1561845. The optimal objective function value is 1610.654. As can be seen from the additional plots, this solution is extremely unstable. A small perturbation in the control, or simply rounding errors on a longer time horizon lead to a transition back to the stable limit-cycle oscillations.
  
== Source Code ==
+
== Optimization ==
  
=== C ===
+
The determination of the stimulus by means of optimization is quite hard for two reasons. First, the unstable target steady-state. Only a stable all-at-once algorithm such as multiple shooting or collocation can be applied successfully.
  
The differential equations in C code:
+
Second, the objective landscape of the problem in switching time formulation (this is, for a fixed stimulus strength and modifying only beginning and length of the stimulus) is quite nasty, as the following visualizations obtained by simulation show.
<source lang="cpp">
+
double myu = p[17] * (1.0 + u[0]* ( p[19] - 1.0) ) ;
+
  
rhs[0] = p[0]
+
<gallery caption="Objective landscape simulation plots" widths="180px" heights="140px" perrow="2">
        + p[1]*xd[0]
+
Image:calciumObjectiveSimulation1.png| Brute-force simulation of objective landscape for different values of stimulus beginning and length.
        - p[2]*xd[0]*xd[1]/(xd[0]+p[3])
+
Image:calciumObjectiveSimulation2.png| Zoom in.
        - p[4]*xd[0]*xd[2]/(xd[0]+p[5]);
+
Image:calciumObjectiveSimulation3.png| Zoom in.
 +
Image:calciumObjectiveSimulation4.png| Note that the border line of the small channel is a local maximum, hence an initialization slightly away will not lead to the correct global minimum.
 +
</gallery>
  
rhs[1] = p[6]*xd[0]
+
== Source Code ==
        - p[7]*xd[1]/(xd[1]+p[8]);
+
 
+
rhs[2] = p[9]*xd[1]*xd[2]*xd[3]/(xd[3]+p[10])
+
        + p[18]*p[11]*xd[1]
+
        + p[12]*xd[0]
+
        - p[13]*xd[2]/(myu*xd[2]+p[14])
+
        - p[15]*xd[2]/(xd[2]+p[16])
+
        + 0.1*xd[3];
+
  
rhs[3] = -p[9]*xd[1]*xd[2]*xd[3]/(xd[3]+p[10])
+
* [[:Category:Muscod | Muscod code]] at [[Annihilation of calcium oscillations (Muscod)]]
        + p[15]*xd[2]/(xd[2]+p[16])
+
* [[:Category:JModelica | JModelica code]] at [[Annihilation of calcium oscillations (jModelica)]]
        - 0.1*xd[3];
+
</source>
+
  
 
== Variants ==
 
== Variants ==
  
[[Annihilations of calcium oscillations(2) | Use of two control functions]].
+
<ul>
 +
<li> [[Annihilation of calcium oscillations with PLC activation inhibition| Use of two control functions]].
 +
<li> Scaled deviation in objective function.
 +
</ul>
  
 
== References ==
 
== References ==
<bibreferences/>
+
<biblist />
  
 
<!--List of all categories this page is part of. List characterization of solution behavior, model properties, or presence of implementation details (e.g., AMPL for AMPL model) here -->
 
<!--List of all categories this page is part of. List characterization of solution behavior, model properties, or presence of implementation details (e.g., AMPL for AMPL model) here -->
 +
[[Category:Medicine]]
 
[[Category:MIOCP]]
 
[[Category:MIOCP]]
 
[[Category:ODE model]]
 
[[Category:ODE model]]
[[Category:Bang bang]]
 
 
[[Category:Unstable]]
 
[[Category:Unstable]]
 +
[[Category:Bang bang]]
 
[[Category:Systems biology]]
 
[[Category:Systems biology]]
 +
[[Category:Tracking objective]]

Latest revision as of 09:22, 27 July 2016

Annihilation of calcium oscillations
State dimension: 1
Differential states: 4
Discrete control functions: 1
Path constraints: 1
Interior point equalities: 4


The aim of the control problem is to identify strength and timing of inhibitor stimuli that lead to a phase singularity which annihilates intracellular calcium oscillations. This is formulated as an objective function that aims at minimizing the state deviation from a desired unstable steady state, integrated over time.

The mathematical equations form a small-scale ODE model. The interior point equality conditions fix the initial values of the differential states. The problem is, despite of its low dimension, very hard to solve, as the target state is unstable.

Biological motivation

Biological rhythms as impressing manifestations of self-organized dynamics associated with the phenomenon life have been of particular interest since quite a long time. Even before the mechanistic basis of certain biochemical oscillators was elucidated by molecular biology techniques, their investigation and the issue of perturbation by external stimuli has attracted much attention.

A calcium oscillator model describing intracellular calcium spiking in hepatocytes induced by an extracellular increase in adenosine triphosphate (ATP) concentration is described. The calcium signaling pathway is initiated via a receptor activated G-protein inducing the intracellular release of inositol triphoshate (IP3) by phospholipase C. The IP3 triggers the opening of endoplasmic reticulum and plasma membrane calcium channels and a subsequent inflow of calcium ions from intracellular and extracellular stores leading to transient calcium spikes.

As a source of external control a temporally varying concentration of an uncompetitive inhibitor of the PMCA ion pump is considered.

Mathematical formulation

For t \in [t_0, t_f] almost everywhere the mixed-integer optimal control problem is given by


\begin{array}{llcl}
 \displaystyle \min_{x, w, w^{\mathrm{max}}} & & & {\int_{t_0}^{t_f} || x(\tau) - \tilde{x} ||_2^2 + p_1 w(\tau) \; \mathrm{d}\tau} \\[1.5ex]
 \mbox{s.t.} & \dot{x}_0 & = & k_1 + k_2 x_0 - \frac{k_3 x_0 x_1}{x_0 + K_4} -  \frac{k_5 x_0 x_2}{x_0 + K_6} \\
& \dot{x}_1 & = & k_7 x_0 - \frac{k_8 x_1}{x_1 + K_9} \\
& \dot{x}_2 & = & \frac{k_{10} x_1 x_2 x_3}{x_3 + K_{11}} + k_{12} x_1 + k_{13} x_0 - \frac{k_{14} x_2}{w \cdot x_2 + K_{15}} - \frac{k_{16} x_2}{x_2 + K_{17}} + \frac{x_3}{10} \\
& \dot{x}_3 & = & - \frac{k_{10} x_1 x_2 x_3}{x_3 + K_{11}} + \frac{k_{16} x_2}{x_2 + K_{17}} - \frac{x_3}{10} \\[1.5ex]
 & x(0) &=& (0.03966, 1.09799, 0.00142, 1.65431)^T, \\
 & x(t) & \ge & 0.0, \\
 & w(t) &\in&  \{1, w^{\mathrm{max}}\}, \\
 & w^{\mathrm{max}} & \ge & 1.1, \\
 & w^{\mathrm{max}} & \le & 1.3.
\end{array}

Here the differential states (x_0, x_1, x_2, x_3) describe concentrations of activated G-proteins, active phospholipase C, intracellular calcium, and intra-ER calcium, respectively.

Modeling details including a comprehensive discussion of parameter values and the dynamical behavior observed in simulations with a comparison to experimental observations can be found in [Kummer2000]Author: U. Kummer; L.F. Olsen; C.J. Dixon; A.K. Green; E. Bornberg-Bauer; G. Baier
Journal: Biophysical Journal
Month: September
Pages: 1188--1195
Title: Switching from Simple to Complex Oscillations in Calcium Signaling
Volume: 79
Year: 2000
Link to Google Scholar
. In the given equations that stem from [Lebiedz2005]Author: Lebiedz, D.; Sager, S.; Bock, H.G.; Lebiedz, P.
Journal: Physical Review Letters
Pages: 108303
Title: Annihilation of limit cycle oscillations by identification of critical phase resetting stimuli via mixed-integer optimal control methods
Volume: 95
Year: 2005
Link to Google Scholar
, the model is identical to the one derived there, except for an additional first-order leakage flow of calcium from the ER back to the cytoplasm, which is modeled by \frac{x_3}{10} in equations 3 and 4. It reproduces well experimental observations of cytoplasmic calcium oscillations as well as bursting behavior and in particular the frequency encoding of the triggering stimulus strength, which is a well known mechanism for signal processing in cell biology.

Parameters

These fixed values are used within the model.


\begin{array}{rcl}
[t_0, t_f] &=& [0, 22],\\
k_1 &=& 0.09, \\
k_2 &=& 2.30066, \\
k_3 &=& 0.64, \\
K_4 &=& 0.19, \\
k_5 &=& 4.88, \\
K_6 &=& 1.18, \\
k_7 &=& 2.08, \\
k_8 &=& 32.24, \\
K_9 &=& 29.09, \\
k_{10} &=& 5.0, \\
K_{11} &=& 2.67, \\
k_{12} &=& 0.7, \\
k_{13} &=& 13.58, \\
k_{14} &=& 153.0, \\
K_{15} &=& 0.16, \\
k_{16} &=& 4.85, \\
K_{17} &=& 0.05, \\
p_1    &=& 100, \\
\tilde{x}_0 &=& 6.78677, \\
\tilde{x}_1 &=& 22.65836, \\
\tilde{x}_2 &=& 0.384306, \\
\tilde{x}_3 &=& 0.28977.
\end{array}

Reference Solutions

The depicted optimal solution consists of a stimulus of w^{\mathrm{max}}=1.3 and a timing given by the stage lengths 4.6947115, 0.1491038, and 17.1561845. The optimal objective function value is 1610.654. As can be seen from the additional plots, this solution is extremely unstable. A small perturbation in the control, or simply rounding errors on a longer time horizon lead to a transition back to the stable limit-cycle oscillations.

Optimization

The determination of the stimulus by means of optimization is quite hard for two reasons. First, the unstable target steady-state. Only a stable all-at-once algorithm such as multiple shooting or collocation can be applied successfully.

Second, the objective landscape of the problem in switching time formulation (this is, for a fixed stimulus strength and modifying only beginning and length of the stimulus) is quite nasty, as the following visualizations obtained by simulation show.

Source Code

Variants

References

There were no citations found in the article.