Chemostat DDE-ESA

Chemostat model with delay differential equations (DDE) and extremum seeking algorithm (ESA)

Chemostat DDE-ESA

/static/BioReactors/img/ModuleImages/SimpleChemostat.png

Stirred bioreactor operated as a chemostat, with continuous inflow (Feed) and outflow (Effluent).

1.   Chemostat

A chemostat (from "Chemical environment is static") is a bioreactor to which fresh medium with nutrient (substrate) is continuously added, while culture liquid is continuously removed to keep the culture volume constant. By changing the rate at which medium is added to the bioreactor the growth rate of the culture (microorganism) can be easily controlled [Wiki-Chemostat].

2.   Delay Differential Equations (DDE)

Delay differential equations (DDEs) are a type of differential equations in which the derivative of the unknown function at a certain time is given in terms of the values of the function at previous times. The general form of the time-delay differential equation for \(x(t)\) is

\begin{equation*} x'(t) = f(t, x(t), x_{t}) \end{equation*}

where \(x_t=\{x(\tau):\tau\leq t\}\) represents the trajectory of the solution in the past [Wiki-DDE].

3.   Mathematical Model

We consider a well-known anaerobic digestion model for biological treatment of wastewater in a continuously stirred tank bioreactor described by four nonlinear ordinary differential equations [2]. We modify the model by introducing discrete time delays in the equations to represent the delay in the conversion of nutrient consumed by the viable biomass.

The DDE system (1):

\(s'_{1}(t)=u\left(s_{1}^{in}-s_{1}(t)\right)-k_{1}\mu_{1}\left(s_{1}(t)\right)x_{1}(t)\)

\(x'_{1}(t)=e^{-\alpha u \tau_{1}}\mu_{1}\left(s_{1}(t-\tau_{1})\right)x_{1}(t-\tau_{1})-\alpha u x_{1}(t)\)

\(s'_{2}(t)=u\left(s_{2}^{in}-s_{2}(t)\right)+k_{2}\mu_{1}\left(s_{1}(t)\right)x_{1}(t)-k_{3}\mu_{2}\left(s_{2}(t)\right)x_{2}(t)\)

\(x'_{2}(t)=e^{-\alpha u \tau_{2}}\mu_{2}\left(s_{2}(t-\tau_{2})\right)x_{2}(t-\tau_{2})-\alpha u x_{2}(t)\)

with gaseous output

\begin{equation*} Q = k_{4}\mu_{2}(s_{2})x_{2} \end{equation*}

The state variables \(s_1\), \(s_2\), \(x_1\) and \(x_2\) denote substrate and biomass concentrations, respectively: \(s_1\) is the organic substrate, characterized by its chemical oxygen demand (COD), \(s_2\) denotes the volatile fatty acids (VFA), \(x_1\) and \(x_2\) are the acidogenic and methanogenic bacteria respectively; \(s_1^{in}\) and \(s_2^{in}\) are the input substrate concentrations. The parameter \(\alpha \in (0,1)\) represents the proportion of bacteria that are affected by the dilution rate \(u\). The constants \(k_1\), \(k_2\) and \(k_3\) are yield coefficients related to COD degradation, VFA production and VFA consumption respectively.

The constants \(\tau_j\ge 0\), \(j=1,2\), stand for the time delay in conversion of the corresponding substrate to viable biomass for the j-th bacterial population. The terms \(\displaystyle e^{- \alpha u \tau_j}x_j (t-\tau_j)\), represent the biomass of those microorganisms that consume nutrient \(\tau_j\) units of time prior to time \(t\) and that survive in the chemostat the \(\tau_j\) units of time necessary to complete the process of converting the nutrient to viable biomass at time \(t\).

The functions \(\mu_1(s_1)\) and \(\mu_2(s_2)\) model the specific growth rates of the bacteria \(x_1\) and \(x_2\) respectively. The output \(Q\) describes the methane (biogas) flow rate, where \(k_4\) as a yield coefficient.

4.   Asymptotic stability of the model solutions

In [3] we prove in Theorem 1 that there exists a suitable upper bound \(u_b>0\) of \(u\) such that for any (admissible) value of the dilution rate \(u \in (0, u_b)\) there exists an equilibrium point which is globally asymptotically stable for the system (1).

It is interesting to note that the qualitative behavior of the solutions of the system (1) with \(\tau_1>0\), \(\tau_2>0\) is the same as the solutions behavior of the model without delays, i. e. when \(\tau_1=\tau_2=0\).

5.   Maximizing the Biogas Production

Denote by \(u \in (0, u_b)\) some value of the dilution rate and consider the equilibrium point \(p(u) = (s_1(u), x_1(u), s_2(u), x_2(u))\). Denote further by

\begin{equation*} Q(u) = Q(p(u)) = k_4 \: \mu_2(s_2(u)) \: x_2(u) \end{equation*}

the output, defined on the set of all steady states \(p(u)\), parameterized on \(u\). \(Q(u)\) is called input-output static characteristic of the model.

Assume that the function \(u \to Q(u)\), \(u \in (0, u_b)\), is strictly unimodal, i.e. there exists a unique point \(u_{\max} \in (0, u_b)\) where Q(u) takes a maximum.

Denote further \(p(u_{\max}) = (s_1(u_{\max}), x_1(u_{\max}), s_2(u_{\max}), x_2(u_{\max})).\) Our goal is to stabilize the system (1) towards the (unknown) equilibrium point \(p(u_{\max})\) and therefore to the maximum methane flow rate \(Q_{\max}\). This is realized by applying a numerical model-based extremum seeking algorithm (ESA) in accordance with the assumption and the requirements of Theorem 1.

The main idea of the algorithm is the following: we construct a sequence of points \(u^{(1)}, u^{(2)}, \ldots, u^{(n)}, \ldots\) from the interval \((0,u_b)\), each \(u^{(j)}\) being in the form \(u^{(j)} = u^{(j-1)} \pm h\), \(h>0\), and such that the sequence \(\{u^{(j)}\}\) tends to \(u_{\max}\); Theorem 1 guarantees that the dynamics is globally asymptotically stabilizable towards the equilibrium \(p(u^{(j)})\), \(j=1,2,\ldots\). Then by computing and comparing the values \(Q(p(u^{(1)})), Q(p(u^{(2)})), \ldots, Q(p(u^{(n)})), \ldots \) and thus \(Q_{\max}\) are achieved.

In the computer implementation the algorithm is carried out in two stages. In Stage I, "rough" intervals \({[}U{]}\) and \({[}Q{]}\) are found which enclose \(u_{\max}\) and \(Q_{\max}\) respectively; in Stage II, the interval \({[}U{]}\) is refined using an elimination procedure based on the golden mean value (or Fibonacci search) strategy. Stage II produces the final intervals \({[}u_{\max}{]} = {[}u_{\max}^{-}, u_{\max}^{+}{]}\) and \({[}Q_{\max}{]}\) such that \(u_{\max} \in {[}u_{\max}{]}\), \(Q_{\max} \in {[}Q_{\max}{]}\) and \((u_{\max}^{+} - u_{\max}^{-}) \leq \epsilon\), where the tolerance \(\epsilon >0\) is specified by the user.

6.   Computer simulation

The following specific growth rate functions are considered in the model:

\begin{equation*} \mu_1(s_1) = \frac{m_1 s_1}{k_{s_1} + s_1} \mbox{(Monod law)}, \mu_2(s_2) = \frac{m_2 s_2}{k_{s_2} + s_2 +(s_2/k_I)^2} \mbox{(Haldane)}. \end{equation*}

In the simulation process we use the following numerical values for the model coefficients, which are obtained by real experiments [1]:

\begin{equation*} k_1=10.53 \;\; k_2=28.6 \;\; k_3=1074 \;\; k_4=675 \;\; s_1^i=7.5 \;\; s_2^i=75 \;\; \end{equation*}
\begin{equation*} m_1=1.2 \;\; k_{s_1}=7.1 \;\; m_2 =0.74 \;\; k_{s_2}=9.28 \;\; k_I=16 \;\; \alpha = 0.5 \;\; \end{equation*}

To demonstrate the extremum seeking algorithm we consider the discrete delays \(\tau_1=2\) and \(\tau_2=7\). The initial conditions are \(\varphi_{s_1}(t) =2\), \(\varphi_{x_1}(t)=0.1\) for \(t \in [-\tau_1, 0]\), and \(\varphi_{s_2}(t)= 10\), \(\varphi_{x_2}(t)=0.05\) for \(t \in [-\tau_2, 0]\).

The numerical outputs are visualized in Figures:

/static/BioReactors/img/ChemostatDDE2_ESA/ESA_u_Q.png

The input-output static characteristic \(Q(u)\)

/static/BioReactors/img/ChemostatDDE2_ESA/ESA_t_Q.png

The time evolution of \(Q(t)\) towards \(Q_{\max}\)

/static/BioReactors/img/ChemostatDDE2_ESA/ESA_t_s1s2.png

Time evolution of \(s_1(t)\), \(s_2(t)\) towards \(s_1^{\max}\), \(s_2^{\max}\)

/static/BioReactors/img/ChemostatDDE2_ESA/ESA_t_x1x2.png

Time evolution of \(x_1(t)\), \(x_2(t)\) towards \(x_1^{\max}\), \(x_2^{\max}\)

/static/BioReactors/img/ChemostatDDE2_ESA/ESA_s1x1.png

Trajectories in the \((s_1, x_1)\) phase plane

/static/BioReactors/img/ChemostatDDE2_ESA/ESA_s2x2.png

Trajectories in the \((s_2, x_2)\) phase plane

7.   References

[1]Alcaraz-Gonzalez, et al.: Software sensors for highly uncertain WWTPs: a new apprach based on interval observers}, Water Research 36, 2515--2524 (2002).
[2]Bernard, O., Hadj-Sadok, Z., Dochain, D., Genovesi, A., Steyer, J.-P.: Dynamical model development and parameter identifcation for an anaerobic wastewater treatment process. Biotechnology and Bioengineering 75, 424–438 (2001).
[3]Borisov, M., Dimitrova, N., Krastanov, M.: Functional differential model of an anaerobic biodegradation process, LSSC 2015, Springer LNCS 9374, 101--108 (2015).
[Wiki-Chemostat]http://en.wikipedia.org/wiki/Chemostat
[Wiki-DDE]http://en.wikipedia.org/wiki/Delay_differential_equation

8.   Acknowledgements

This work has been supported by the Bulgarian Academy of Sciences, Programme for Support of Young Scientists and Scholars, grant No. DFNP-88/04.05.2016.