 Research
 Open Access
 Published:
A vaccination strategy based on linearization control techniques for fighting against epidemic diseases propagation
Advances in Difference Equations volume 2013, Article number: 364 (2013)
Abstract
This paper presents a vaccination strategy for fighting against the propagation of epidemic diseases. The disease propagation is described by a SIRS (susceptible plus infected plus recovered populations) epidemic model. The model takes into account that the recovered individuals lose the disease immunity after a finite time period. A control technique based on a model linearization approach is used to design the vaccination strategy in order to eradicate the infection from the population. Moreover, the controlled system is guaranteed to be positive and stable under such a vaccination control strategy. A simulation example illustrates the theoretical results relative to the stability and positivity of the controlled system while guaranteeing the eradication of the epidemics.
MSC:93C10, 93C15, 93C95, 34D20, 34H15.
1 Introduction
The study of propagation of epidemic diseases within a host population has been broadly dealt with for the last decades [1–3]. In this context, several epidemic models have been proposed for analyzing the behavior of different infectious diseases. Among them, the socalled SIRS epidemic model has been used to describe the propagation of epidemic diseases as, for instance, influenza, tetanus, diphtheria, hepatitis A and so on. Such diseases are characterized, among other features, by the fact that the immunization induced by vaccination is only temporary, i.e., such an immunization is not permanent. This feature motivates the use of a SIRS model to explain the disease propagation within the host population [3, 4]. In such a compartmental model, the host population is divided into three categories, each one relative to an epidemic status. Namely, there is a susceptible (S) population composed of either individuals who have not been previously exposed to the pathogen or recovered (R) individuals who have lost the immunity after having successfully cleared the infection. Finally, there is an infected (I) population composed of individuals who are currently colonized by the pathogen. Moreover, there are three transitions between such population categories. The first one is the transition from the susceptible population to the infected one. Such a transition occurs when there is a contact between a susceptible individual and an infected one. In such situations there is a probability of disease transmission from the infected individual to the susceptible one who becomes infected after a latent period. This latent period is not taken into account in a SIRS model. However, the model can be extended to include such a time period giving place to a SEIRS model [2]. The transition from the infected category to the recovered one occurs when an infected individual has fought off the infection. Such a transition occurs after an infection period. Finally, the transition from the recovered category to the susceptible one occurs when a recovered individual loses the temporary immunity [1].
One of the purposes of analyzing epidemic models concerns the design of control strategies in order to eradicate the persistence of the infection in the host population. In this context, constant, regular and/or impulsive vaccination strategies have been proposed in several research papers [5–10]. Concretely, a regular vaccination strategy based on a feedback control law for exact inputoutput linearization of a SEIR epidemic model is designed in [8]. Moreover, such a control strategy is combined with an observer in [9]. The observer is designed to estimate online the susceptible and the infected (or exposed) populations since such measures are not available in a real situation where only the infectious population is measurable. The estimates provided by the observer are used to synthesize the control law instead of the true susceptible and infected populations. Such strategies achieve the eradication of the disease from the host population while guaranteeing the positivity and stability of the controlled system. Other potential situation is that the parameters of the epidemic model are not fully known, which may be circumvented by using adaptive control strategies [11].
Linearization and impulsive control techniques have been satisfactorily used for stabilizing highly nonlinear processes in applications of diverse nature. On the one hand, an active magnetic bearing system composed of a spindle rotating at different speeds is stabilized by means of a control strategy based on a linearization of the process in [12]. On the other hand, a fuzzy impulsive strategy is designed to achieve the stabilization in chaos control in [13]. Also, sliding mode control techniques have been applied in models of diseases propagation [14]. This use is motivated by the satisfactory results obtained in the application of such techniques in other kind of systems [15].
The proposed SEIR model in [8, 9] assumes that the whole host population is maintained constant for all time, i.e., such a model is valid when the mortality by causes relative to the disease is negligible, and the birth and naturally mortality rates are similar so that the whole host population may be considered timeinvariant. In the same line, the current paper proposes a vaccination strategy based on a linearization control technique of the mapping from the vaccination control to the infected population in order to eradicate an epidemic disease propagation of which can be described by a SIRS epidemic model. The control law based on an inputoutput linearization technique is useful in order to design a vaccination strategy since the epidemic models in general, and then the SIRS model considered in this paper, are nonlinear systems. Concretely, they include a bilinear term which describes the potential disease transmission when contacts between susceptible and infected individuals happen. The main difference of the current research with respect to [8, 9] is that the mortality from causes relative to the infection is appreciable. Also, the birth and mortality from nature causes may be different so that the whole host population may be timevarying. A normalized SIRS epidemic model is used to circumvent the complexity from the fact that the whole population is timevarying. Such a normalized model is obtained from the original SIRS one via a suitable variables change. Moreover, such a normalized model is used to synthesize the vaccination control law which ensures the eradication of the infection from the host population and the positivity of the normalized SIRS model as well as the original SIRS epidemic model. The mathematical proofs of the epidemics eradication and the positivity of both models constitute the main contribution of this paper. Also, a simulation example based on a rabbit hemorrhagic disease illustrates the theoretical results. Such a disease has been chosen in such a numerical study because of its high mortality [16].
Finally, the described control strategy may be extended to more complex epidemical models which consider more population categories than the presented SIRS model. In this sense, vaccinated, quarantine, susceptible population with different risk of catching infection, asymptomatic or symptomatic infected populations have been considered in other compartmental models for describing the propagation of infectious diseases within a host population [17–19].
Notation {\mathbb{R}}_{+}\triangleq (0,\mathrm{\infty})\cap \mathbb{R} is the set of strictly positive real numbers and {\mathbb{R}}_{0+}\triangleq {\mathbb{R}}_{+}\cup \{0\}. {\mathbb{R}}_{}\triangleq (\mathrm{\infty},0)\cap \mathbb{R} is the set of strictly negative real numbers and {\mathbb{R}}_{0}\triangleq {\mathbb{R}}_{}\cup \{0\}. {\mathbb{R}}_{+}^{2} is the first open real quadrant and {\mathbb{R}}_{0+}^{2} is the first closed real quadrant. {\mathbb{R}}_{}^{2} is the third open real quadrant and {\mathbb{R}}_{0}^{2} is the third closed real quadrant.
2 SIRS epidemic model
Let S(t), I(t) and R(t) be, respectively, the susceptible, infected and recovered or removedbyimmunity populations at time t. Consider a timeinvariant SIRS epidemic model given by
subject to the initial conditions S(0)\ge 0, I(0)\ge 0 and R(0)\ge 0 under a vaccination function V:{\mathbb{R}}_{0+}\to {\mathbb{R}}_{0+}. In the above SIRS model, N(t)\ge 0 is the total population at any time instant t\in {\mathbb{R}}_{0+}, \mu >0 is the death rate from natural causes unrelated to the infection, \nu >0 is the birth rate, \omega >0 is the rate of losing immunity, \beta >0 is the transmission constant (with the total number of infections per unity of time at time t being \beta S(t)I(t)/N(t)), \gamma >0 is the recovery rate (or {\gamma}^{1} the average duration of the infective period) and \rho \in [0,1) is the probability of death from infection causes. The total population dynamics is obtained by summing up (1)(3) yielding
so that the total population is timevarying. A normalized SIRS model is used to analyze and design a vaccination control strategy.
2.1 Normalized SIRS model
The SIRS model (1)(3) is normalized with respect to the whole population by using the following variables change:
By introducing this variables change in (1)(3), one obtains the normalized SIRS model given by
By summing up (6)(8), it follows that \dot{s}(t)+\dot{\iota}(t)+\dot{r}(t)=0 so that s(t)+\iota (t)+r(t)=1 for all time irrespective of the vaccination function.
3 Vaccination strategy
The main control objective is that the infected population asymptotically tends to zero as t\to \mathrm{\infty}, so the infection is eradicated from the population, while guaranteeing the positivity of the controlled system. A vaccination control law based on a staticstate feedback linearization strategy is developed for achieving such a control objective. This technique requires a nonlinear coordinate transformation, based on the Lie derivatives theory, in the system representation [20].
The dynamics equations (6)(8) of the normalized SIRS model can be equivalently written as the following nonlinear control affine system:
where y(t)=\iota (t)\in {\mathbb{R}}_{0+}, u(t)=V(t)\in {\mathbb{R}}_{0+} and \mathbf{x}(t)={[\iota (t)\phantom{\rule{0.25em}{0ex}}s(t)]}^{T}\in {\mathbb{R}}_{0+}^{2} are, respectively, considered as the output signal, the input signal and the state vector of the system \mathrm{\forall}t\in {\mathbb{R}}_{0+}, and r(t)=1s(t)\iota (t) has been used with
The first step to apply a coordinate transformation based on the Lie derivation is to determine the relative degree of the system. For such a purpose, the following definitions are taken into account: (i) {L}_{\mathbf{f}}^{k}h(\mathbf{x}(t))\triangleq \frac{\partial ({L}_{\mathbf{f}}^{k1}h(\mathbf{x}(t)))}{\partial \mathbf{x}}\mathbf{f}(\mathbf{x}(t)) is the k thorder Lie derivative of h(\mathbf{x}(t)) along \mathbf{f}(\mathbf{x}(t)) with {L}_{\mathbf{f}}^{0}h(\mathbf{x}(t))\triangleq h(\mathbf{x}(t)) and (ii) the relative degree r of the system is the number of times that the output must be differentiated to obtain the input explicitly, i.e., the number r so that {L}_{\mathbf{g}}{L}_{\mathbf{f}}^{k}h(\mathbf{x}(t))=0 for k<r1 and {L}_{\mathbf{g}}{L}_{\mathbf{f}}^{r1}h(\mathbf{x}(t))\ne 0.
From (10), {L}_{\mathbf{g}}h(\mathbf{x}(t))=0, while {L}_{\mathbf{g}}{L}_{\mathbf{f}}h(\mathbf{x}(t))=\nu \beta \iota (t), so the relative degree of the system is 2 in D\triangleq \{\mathbf{x}={[\iota \phantom{\rule{0.25em}{0ex}}s]}^{T}\in {\mathbb{R}}_{0+}^{2}\mid \iota \ne 0\}, i.e., \mathrm{\forall}\mathbf{x}\in {\mathbb{R}}_{0+}^{2} except in the singular surface \iota =0 of the state space where the relative degree is not well defined. Since the relative degree of the system is exactly equal to the dimension of the state space for any \mathbf{x}\in D, the nonlinear coordinate change
allows to represent the model in the socalled normal form in a neighborhood of any \mathbf{x}\in D. Namely,
where \overline{\mathbf{x}}(t)={[\overline{\iota}(t)\phantom{\rule{0.25em}{0ex}}\overline{s}(t)]}^{T} and
The following result being relative to the inputoutput linearization of the system is established.
Theorem 1 The state feedback control law
where {\lambda}_{0} and {\lambda}_{1} are the controller tuning parameters, induces the linear closedloop dynamics
around any point \mathbf{x}\in D.
Proof The state equation for the closedloop system
is obtained by introducing the control law (14) in (12) and taking into account the fact that {L}_{\mathbf{g}}{L}_{\mathbf{f}}h(\mathbf{x}(t))=\nu \beta \iota (t)=\nu \beta \overline{\iota}(t)\ne 0 \mathrm{\forall}\mathbf{x}\in D and the coordinate transformation (11). Also, it follows that {L}_{\mathbf{f}}^{2}h(\mathbf{x}(t))=\varphi (\overline{\mathbf{x}}(t)) by direct calculations. Thus, the state equation of the closedloop system in the state space defined by \overline{\mathbf{x}}(t) can be written as
Furthermore, the output equation of the closedloop system is y(t)=\mathbf{C}\overline{\mathbf{x}}(t) with \mathbf{C}=[1\phantom{\rule{0.25em}{0ex}}0] since y(t)=\iota (t)=\overline{\iota}(t). From (17) and the closedloop output equation, it follows that
□
Remark 1 The roots of the characteristic polynomial P(s)={s}^{2}+{\lambda}_{1}s+{\lambda}_{0} corresponding to the closedloop dynamics (15) are given by {p}_{1,2}=\frac{{\lambda}_{1}\pm \sqrt{{\lambda}_{1}^{2}4{\lambda}_{0}}}{2}. Then the stability of the closedloop dynamics is guaranteed if the control parameters are chosen strictly positive so that such roots have real parts being strictly negative. Moreover, such a choice implies the exponential convergence to zero of the output variable \iota (t)=\overline{\iota}(t) as time tends to infinity and, as a consequence, the eradication of the infection from the host population. However, the control parameters choice also has to guarantee the positivity of the susceptible, infected and recovered populations for all time as the nature of the system requires. This constraint implies that the model variables \iota (t) and s(t) have to be such that \iota (t)+s(t)\in [0,1] \mathrm{\forall}t\in {\mathbb{R}}_{0+} so that r(t)\in [0,1] \mathrm{\forall}t\in {\mathbb{R}}_{0+} in view of the constraint \iota (t)+s(t)+r(t)=1 \mathrm{\forall}t\in {\mathbb{R}}_{0+}. Such a positivity property implies additional conditions to be satisfied by the controller parameters {\lambda}_{0} and {\lambda}_{1}. This analysis is carried out in Section 3.1 below.
3.1 Control parameters choice
The application of the control law (14), obtained from the exact inputoutput linearization strategy, makes the closedloop dynamics of the normalized infected population be given by (15). Such a dynamics depends on the control parameters {\lambda}_{0} and {\lambda}_{1}. Such parameters have to be appropriately chosen in order to guarantee the following suitable properties: (i) the stability and positivity of the controlled SIRS model, (ii) the eradication of the infection, i.e., the asymptotic convergence of I(t) to zero as time tends to infinity and (iii) the nonnegativity of the vaccination function for all time. The following theorems related to the choice of the controller tuning parameters in order to meet such properties are proven.
Theorem 2 Assume that the initial condition \mathbf{x}(0)={[\iota (0)\phantom{\rule{0.25em}{0ex}}s(0)]}^{T}\in {\mathbb{R}}_{0+}^{2} fulfils \iota (0)\in [0,1], s(0)\in [0,1] and \iota (0)+s(0)\in [0,1]. Moreover, both roots {p}_{1} and {p}_{2} of the characteristic polynomial P(s) associated with the closedloop dynamics (15) are of strictly negative real part via an appropriate choice of the freedesign controller parameters {\lambda}_{0} and {\lambda}_{1}. Then the control law (14) guarantees the exponential stability of the transformed controlled SIRS model (12)(13). Moreover, the normalized SIRS model (6)(8) has the following properties: \iota (t), s(t)\iota (t) and s(t)+r(t) are bounded for all time, \iota (t)\to 0, s(t)+r(t)\to 1 and s(t)\iota (t)\to 0 exponentially as t\to \mathrm{\infty}, and \iota (t)=o(1/s(t)).
Proof The dynamics of the normalized controlled SIRS model (15) can be equivalently written with the state equation (17) and the output equation y(t)=\mathbf{C}\overline{\mathbf{x}}(t), where \mathbf{C}=[1\phantom{\rule{0.25em}{0ex}}0], by taking into account that y(t)=\overline{\iota}(t) and \dot{y}(t)=\overline{s}(t). The initial condition \overline{\mathbf{x}}(0)={[\overline{\iota}(0)\phantom{\rule{0.25em}{0ex}}\overline{s}(0)]}^{T} in such a realization is bounded since it is related to \mathbf{x}(0) via the coordinate transformation (11) and \mathbf{x}(0) is bounded. Such a controlled model is exponentially stable since the eigenvalues of the matrix A are the roots {p}_{1} and {p}_{2} of P(s) which are assumed to be in the open lefthalf complex plane. Then the state vector \overline{\mathbf{x}}(t) exponentially converges to zero as t\to \mathrm{\infty} while being bounded for all time. It implies that \iota (t) is bounded for all time and converges exponentially to zero as t\to \mathrm{\infty} from the boundedness and exponential convergence to zero of \overline{\mathbf{x}}(t) as t\to \mathrm{\infty} since \iota (t)=\overline{\iota}(t). Furthermore, the boundedness of s(t)+r(t) for all time and its exponential convergence to unity as t\to \mathrm{\infty} are derived from the boundedness of \iota (t), the exponential convergence to zero of \iota (t) as t\to \mathrm{\infty} and the fact that \iota (t)+s(t)+r(t)=1 \mathrm{\forall}t\in {\mathbb{R}}_{0+}. Finally, from the second equation of (11), it follows that s(t)\iota (t) is bounded and it exponentially converges to zero as t\to \mathrm{\infty} from the boundedness and exponential convergence to zero of \iota (t) and \overline{\mathbf{x}}(t) as t\to \mathrm{\infty}. The facts that \iota (t)\to 0 and s(t)\iota (t)\to 0 as t\to \mathrm{\infty} imply directly that \iota (t)=o(1/s(t)). □
Theorem 3 Assume that the parameters and the initial condition of a SIRS epidemic model describing the propagation of an epidemic disease satisfy that
If a vaccination strategy based on the control law (14) with the tuning parameters {\lambda}_{0} and {\lambda}_{1} is chosen such that the poles {p}_{1} and {p}_{2} of the controlled normalized system satisfy
for some real parameter \epsilon \in (1,{\epsilon}_{\mathrm{max}}) where the upperbound is given by
with
where
then:

(i)
the normalized populations are nonnegative \mathrm{\forall}t\in {\mathbb{R}}_{0+}, i.e., 0\le \iota (t)\le 1, 0\le s(t)\le 1 and 0\le r(t)\le 1 \mathrm{\forall}t\in {\mathbb{R}}_{0+},

(ii)
the populations I(t), S(t), R(t) and N(t) are nonnegative \mathrm{\forall}t\in {\mathbb{R}}_{0+},

(iii)
the epidemics is eradicated from the population, i.e., I(t) tends asymptotically to zero as t\to \mathrm{\infty}, and

(iv)
the vaccination control function is nonnegative \mathrm{\forall}t\in {\mathbb{R}}_{0+}, i.e., u(t)=V(t)\ge 0 \mathrm{\forall}t\in {\mathbb{R}}_{0+}.
Proof (i) The dynamics of the normalized controlled SIRS model (15) can be equivalently written with the state equation (17) and the output equation y(t)=\mathbf{C}\overline{\mathbf{x}}(t), where \mathbf{C}=[1\phantom{\rule{0.25em}{0ex}}0], by taking into account that y(t)=\overline{\iota}(t) and \dot{y}(t)=\overline{s}(t). From such a realization and taking into account the first equation in (11) it follows that
\mathrm{\forall}t\in {\mathbb{R}}_{0+} for some constants {c}_{1} and {c}_{2} being dependent on the initial conditions y(0)=\overline{\iota}(0) and \dot{y}(0)=\overline{s}(0), and where {p}_{1} and {p}_{2} denote the eigenvalues of A, i.e., the roots of the characteristic polynomial P(s)={s}^{2}+{\lambda}_{1}s+{\lambda}_{0}, which may be fixed to desired values by appropriately adjusting the control parameters {\lambda}_{0} and {\lambda}_{1}. The values \overline{\iota}(0) and \overline{s}(0) are related to the initial conditions of the normalized SIRS model in its original realization, i.e., in the state space defined by \mathbf{x}(t)={[\iota (t)\phantom{\rule{0.25em}{0ex}}s(t)]}^{T} via (11). In this way, the constants {c}_{1} and {c}_{2} can be obtained by solving the following set of linear equations:
where (11) and (23) have been used. One obtains directly from (24) and by taking into account the assignment of {p}_{2} in (20) that
Then it follows from (23) and (25) that
since {e}^{{p}_{1}t}{e}^{{p}_{2}t}\ge 0 \mathrm{\forall}t\in {\mathbb{R}}_{0+} from the fact that {p}_{2}<{p}_{1}<0 subject to the constraints (19)(21). From (11), (23), (25) and the facts that \overline{s}(t)=\dot{y}(t) and 0\le \iota (t)\le \epsilon \iota (0){e}^{{p}_{1}t}, which implies that 0\le {\iota}^{2}(t)\le {\epsilon}^{2}{\iota}^{2}(0){e}^{2{p}_{1}t}\le {\epsilon}^{2}{\iota}^{2}(0){e}^{{p}_{1}t} since {p}_{1}<0, it follows that
\mathrm{\forall}t\in {\mathbb{R}}_{0+}, since {p}_{1}+\nu +\gamma \rho \gamma \epsilon \iota (0)\ge 0 from (20), \epsilon >1 and
by taking into account (20) and the fact that \epsilon <\frac{\beta s(0)+\rho \gamma \iota (0)}{{p}_{1}+\nu +\gamma} from (21). The fact that \iota (t)\ge 0 \mathrm{\forall}t\in {\mathbb{R}}_{0+} and (27) implies that s(t)\ge 0 \mathrm{\forall}t\in {\mathbb{R}}_{0+} since \beta >0. From the fact that \iota (t)+s(t)+r(t)=1 \mathrm{\forall}t\in {\mathbb{R}}_{0+} and (11), it follows that
\mathrm{\forall}t\in {\mathbb{R}}_{0+}, and then
\mathrm{\forall}t\in {\mathbb{R}}_{0+} by taking into account (23), (25) and that \overline{s}(t)=\frac{d}{dt}(\iota (t)). By introducing the expression (20) for {p}_{2} in (30), one obtains that
\mathrm{\forall}t\in {\mathbb{R}}_{0+}, where
Note that {f}_{i}(t)\ge 0 \mathrm{\forall}t\in {\mathbb{R}}_{0+}, for i\in \{1,2,3\}, from (19)(21), and that all of them are monotone decreasing functions which exponentially decrease to zero as time tends to infinity since {p}_{2}<{p}_{1}<0. Moreover, both {f}_{2}(t) and {f}_{3}(t) decrease faster than {f}_{1}(t) so that the initial constraint {f}_{1}(0){f}_{2}(0){f}_{3}(0)=\beta \iota (0)r(0)\ge 0 implies that {f}_{1}(t){f}_{2}(t){f}_{3}(t)=\beta \iota (t)r(t)\ge 0 \mathrm{\forall}t\in {\mathbb{R}}_{0+}. Then r(t)\ge 0 \mathrm{\forall}t\in {\mathbb{R}}_{0+} is deduced from the fact that \iota (t)\ge 0 \mathrm{\forall}t\in {\mathbb{R}}_{0+}, as it was previously proven.
Finally, the facts that \iota (t)\ge 0, s(t)\ge 0, r(t)\ge 0 and \iota (t)+s(t)+r(t)=1 \mathrm{\forall}t\in {\mathbb{R}}_{0+} directly imply that 0\le \iota (t)\le 1, 0\le s(t)\le 1 and 0\le r(t)\le 1 \mathrm{\forall}t\in {\mathbb{R}}_{0+}.

(ii)
From (4) it follows that
\begin{array}{rcl}\frac{\dot{N}(t)}{N(t)}=\nu \mu \rho \gamma \iota (t)\phantom{\rule{1em}{0ex}}& \Rightarrow & \phantom{\rule{1em}{0ex}}d[ln(N(t))]=(\nu \mu \rho \gamma \iota (t))\phantom{\rule{0.2em}{0ex}}dt\\ \Rightarrow & \phantom{\rule{1em}{0ex}}N(t)=N(0){e}^{(\nu \mu )t\rho \gamma {\int}_{0}^{t}\iota (\tau )\phantom{\rule{0.2em}{0ex}}d\tau},\end{array}(33)
so the total population N(t)\ge 0 \mathrm{\forall}t\in {\mathbb{R}}_{0+} since N(0)>0. Then 0\le I(t)\le N(t), 0\le S(t)\le N(t) and 0\le R(t)\le N(t) \mathrm{\forall}t\in {\mathbb{R}}_{0+} from (5) by taking into account that 0\le \iota (t)\le 1, 0\le s(t)\le 1 and 0\le r(t)\le 1 \mathrm{\forall}t\in {\mathbb{R}}_{0+}.

(iii)
From (5), (23) and (33) it follows that
\begin{array}{rcl}I(t)& =& N(t)\iota (t)\\ =& N(0)\iota (0)(\epsilon {e}^{{p}_{1}t}+(1\epsilon ){e}^{{p}_{2}t}){e}^{(\nu \mu )t\rho \gamma \iota (0)(\frac{\epsilon}{{p}_{1}}({e}^{{p}_{1}t}1)+\frac{1\epsilon}{{p}_{2}}({e}^{{p}_{2}t}1))}\phantom{\rule{1em}{0ex}}\mathrm{\forall}t\in {\mathbb{R}}_{0+},\end{array}(34)
and then
As a consequence, the infected population tends exponentially to zero as time tends to infinity, and then the infection is eradicated from the host population since {p}_{2}<{p}_{1}<0 and {p}_{1}<\mu \nu from (20).

(iv)
The control law (14) can be equivalently written as
u(t)=\frac{\varphi (\overline{\mathbf{x}}(t))+{\lambda}_{0}\overline{\iota}(t)+{\lambda}_{1}\overline{s}(t)}{\beta \nu \overline{\iota}(t)}(36)
in the state space defined by \overline{\mathbf{x}}(t)={[\overline{\iota}(t)\phantom{\rule{0.25em}{0ex}}\overline{s}(t)]}^{T}. One can obtain by direct calculations and taking into account (13) that
The normalized infected population \overline{\iota}(t) presents a unique maximum value at the time instant {t}^{\ast} when \dot{\overline{\iota}}({t}^{\ast})=\overline{s}({t}^{\ast})=0 as it can be deduced from (26). Furthermore, from (11) and (19), the fact that \dot{\overline{\iota}}(0)=\overline{s}(0)=\iota (0)[\beta s(0)+\rho \gamma \iota (0)\nu \gamma ]>0 is implied. As a consequence, one knows that \overline{s}(t)>0 \mathrm{\forall}t\in [0,{t}^{\ast}) and \overline{s}(t)\le 0 \mathrm{\forall}t\in [{t}^{\ast},\mathrm{\infty}). In the following, the proof of the nonnegativity of u(t) is split into two parts. On the one hand, when \overline{s}(t)>0, i.e., \mathrm{\forall}t\in [0,{t}^{\ast}), one can deduce that
by taking into account that \overline{s}(t)\ge (\beta \rho \gamma ){\overline{\iota}}^{2}(t)(\beta \nu \gamma )\overline{\iota}(t) from (29) and the facts that r(t)\ge 0, \iota (t)=\overline{\iota}(t)\ge 0 \mathrm{\forall}t\in {\mathbb{R}}_{0+} and \beta >2\rho \gamma from (19). From (38), if {g}_{1}(\beta ,\nu ,\gamma ,\rho )=\beta (\beta \nu 2\rho \gamma )+\rho \gamma (\nu +\gamma )\le 0, then u(t)>0 \mathrm{\forall}t\in [0,{t}^{\ast}). Otherwise, it follows that
where {\lambda}_{0}={p}_{1}{p}_{2} and (20) have been used. From (39), if {p}_{1}^{2}\ge {g}_{1}(\cdot ), then u(t)>0 \mathrm{\forall}t\in [0,{t}^{\ast}) since {p}_{1}<0, \epsilon >1 and \beta s(0)+\rho \gamma \iota (0)\nu \gamma >0 from (19). Otherwise, from (39) it follows that
by using the upperbound {\overline{\epsilon}}_{1}({p}_{1}) defined in (22). In summary, u(t)>0 \mathrm{\forall}t\in [0,{t}^{\ast}) irrespective of the value of {g}_{1}(\cdot ) and {p}_{1} whenever {p}_{1} and ε satisfy (20) and (21).
On the other hand, when \overline{s}(t)\le 0, i.e., \mathrm{\forall}t\in [{t}^{\ast},\mathrm{\infty}), from (37) one obtains that
where \beta >2\rho \gamma from (19) has been used. By direct calculations, it follows that
where {\lambda}_{0}={p}_{1}{p}_{2}, {\lambda}_{1}=({p}_{1}+{p}_{2}), \epsilon >1, (26) and \dot{\overline{\iota}}(t)=\overline{s}(t) have been used. Then from (41)
where (22) has been used. If {g}_{3}(\cdot )\le 0, then u(t)\ge \frac{(\beta \nu \gamma )(\nu +\omega )}{\beta \nu}>0 \mathrm{\forall}t\in [{t}^{\ast},\mathrm{\infty}) from (43) by using the fact that \beta >\nu +\gamma from (19). Otherwise, i.e., if {g}_{3}(\cdot )>0, then h(t)={g}_{2}(\cdot ){g}_{3}(\cdot )\overline{\iota}(t) reaches its minimum value at the time instant {t}^{\ast} when \overline{\iota}(t)=\iota (t) reaches its maximum value. Such a minimum value is given by
where the fact that {e}^{{p}_{2}{t}^{\ast}}=\frac{\epsilon {p}_{1}}{(\epsilon 1){p}_{2}}{e}^{{p}_{1}{t}^{\ast}} since \dot{\overline{\iota}}({t}^{\ast})=\overline{s}({t}^{\ast})=0 has been used. From introducing the relation between {p}_{1} and {p}_{2} of (20) in (44), one obtains
If {p}_{1}\le \frac{{g}_{3}(\cdot )\iota (0)[\nu +\gamma \beta s(0)\rho \gamma \iota (0)]}{{g}_{2}(\cdot ){g}_{3}(\cdot )\iota (0)}, then h(t)\ge h({t}^{\ast})\ge \frac{\beta s(0)+\rho \gamma \iota (0)\nu \gamma}{\beta s(0)+\rho \gamma \iota (0)\nu \gamma \epsilon {p}_{1}}{g}_{2}(\cdot )>0 \mathrm{\forall}t\in [{t}^{\ast},\mathrm{\infty}) for any \epsilon >1, where the facts that {p}_{1}<0, \beta s(0)+\rho \gamma \iota (0)\nu \gamma >0 and {g}_{2}(\cdot ){g}_{3}(\cdot )\iota (0)>0 from (19)(20) have been used. Otherwise, i.e., if \frac{{g}_{3}(\cdot )\iota (0)[\nu +\gamma \beta s(0)\rho \gamma \iota (0)]}{{g}_{2}(\cdot ){g}_{3}(\cdot )\iota (0)}<{p}_{1}<0, then h(t)\ge h({t}^{\ast})>0 \mathrm{\forall}t\in [{t}^{\ast},\mathrm{\infty}) from using the upperbound {\overline{\epsilon}}_{2}({p}_{1}) defined in (22) for ε. In summary, u(t)>0 \mathrm{\forall}t\in [{t}^{\ast},\mathrm{\infty}) irrespective of the value of {g}_{3}(\cdot ) whenever {p}_{1} and ε satisfy the constraints in (20) and (21). This fact completes the proof that u(t)>0 \mathrm{\forall}t\in {\mathbb{R}}_{0+} irrespective of the values for {g}_{1}(\cdot ) and {g}_{3}(\cdot ) if {p}_{1} and ε satisfy the constraints in (20) and (21). □
Remark 2 The constraints in (19) relative to the initial conditions and the parameters of the SIRS model are fulfilled for the majority of the epidemic diseases. On the one hand, the disease transmission constant β is usually much higher than both the birth rate ν and the recovery rate γ so that the constraint about β in (19) can be considered. On the other hand, at the beginning of the infection propagation, the number of infected individuals is usually small enough and the almost population is susceptible so that the conditions in (19) relative to \iota (0) and s(0) are satisfied.
Remark 3 The process to select the desired poles {p}_{1} and {p}_{2}, via a suitable choice of ε, is the following. First, once one knows or has estimated the values for the parameters ν, β, ω, ρ and γ corresponding to the propagation of a specific epidemics, a value for {p}_{1} such that (\nu +\gamma )<{p}_{1}<0 is chosen. Then the upperbounds in (21)(22) for the parameter ε can be computed in order to choose a value for ε satisfying \epsilon \in (1,{\epsilon}_{\mathrm{max}}).
4 Simulation results
An example based on the rabbit hemorrhagic disease in the United Kingdom is considered to illustrate the theoretical results presented in the paper. An initial population of N(0)=1\text{,}000 rabbits is used. Such an epidemics can be described by the SIRS model (1)(4) with the parameter values: \mu =0.01 per day (p.d.), \nu =0.017\phantom{\rule{0.3em}{0ex}}\mathrm{p}.\mathrm{d}., \beta =0.936\phantom{\rule{0.3em}{0ex}}\mathrm{p}.\mathrm{d}., \omega =0.0333\phantom{\rule{0.3em}{0ex}}\mathrm{p}.\mathrm{d}., \rho =0.9314 and \gamma =0.0125\phantom{\rule{0.3em}{0ex}}\mathrm{p}.\mathrm{d}. Such values are commonly used in the literature [1, 16]. The main characteristic of such an infection is its high mortality, note the value of the probability of dying from the infection (\rho =0.9314) close to 1. The initial conditions for the individual populations are given by S(0)=990, I(0)=10 and R(0)=0.
Two sets of simulation results are presented to compare the time evolution of the populations within the SIRS mathematical model in two different situations, namely: (i) when no vaccination control actions are applied and (ii) if a vaccination based on the described feedback inputoutput linearization control technique is applied.
4.1 Epidemics evolution without vaccination
The time evolution of the system populations in the freevaccination case, i.e., if V(t)=0 \mathrm{\forall}t\in {\mathbb{R}}_{0+} is displayed in Figure 1.
The population of rabbits disappears because of the high mortality of the infection as it can be seen in such a figure. As a consequence, a vaccination strategy has to be applied if the eradication of the epidemics is required while guaranteeing the persistence of the rabbits.
4.2 Epidemics evolution with a feedback control law
First, note that the considered initial condition and the parameters of the SIRS model for the propagation of the rabbit hemorrhagic disease satisfy the constraints in (19). Then the control law given by (14), or equivalently written as in (36), can be applied in order to eradicate the epidemics while guaranteeing the nonnegativity of the populations and the vaccination control function. The freedesign controller parameters {\lambda}_{0}={p}_{1}{p}_{2} and {\lambda}_{1}=({p}_{1}+{p}_{2}), where {p}_{1} and {p}_{2} are the desired roots for the characteristic polynomial P(s) associated with the closedloop dynamics, are prefixed in the following way. The desired dominant root {p}_{1} satisfying the constraint (\nu +\gamma )<{p}_{1}<0 is chosen, namely, {p}_{1}=\nu =0.017. Then, the upperbound in (21) for the value of ε is calculated, namely, {\epsilon}_{\mathrm{max}}=1.0186. The theoretical results developed in Section 3 prove that a choice of \epsilon \in (1,1.0186) is sufficient to guarantee the nonnegativity of the populations and the vaccination control function in the controlled SIRS model as well as the eradication of the infectious disease. For such a purpose, the value \epsilon =1.018 is chosen. Such a choice for {p}_{1} and ε determines the value for the root {p}_{2} by the relation in (20), namely, {p}_{2}=50.809. Also, the values {\lambda}_{0}={p}_{1}{p}_{2}=0.8638 and {\lambda}_{1}=({p}_{1}+{p}_{2})=50.826 for the control law are derived from such a procedure. The time evolution of the respective populations is displayed in Figures 2 and 3 while the vaccination control function is shown in Figure 4.
The vaccination control action achieves the control objectives as it is seen in Figures 2, 3 and 4. In this sense, the infection is eradicated from the population since the infected population exponentially converges to zero as Figure 2 shows. Also, all of the partial populations, the whole population and the vaccination control function are nonnegative for all time. Such properties are coherent with the results proved in Theorem 3. A consequence of the vaccination control action is that the total population of the rabbits monotonically grows through time in a fast way, like it occurs in the absence of disease, as it can be seen in Figure 3. These simulation results point out the improvement of the use of a vaccination strategy in order to guarantee a suitable growth of the rabbit population against a highmortality infectious disease.
Remark 4 The conditions in Theorem 3 are sufficient but non necessary to ensure the positivity of the controlled model. Concretely, the upperbounds {\overline{\epsilon}}_{1}({p}_{1}) and {\overline{\epsilon}}_{2}({p}_{1}) are sufficient to guarantee the nonnegativity of the vaccination function V(t) for all time. However, such upperbounds can be relaxed in the current example by taking into account the results obtained from an exhaustive simulation work. In such a work, the nonnegativity of the vaccination control function is maintained for all time although the value of the freedesign parameter ε is not smaller than {\epsilon}_{\mathrm{max}}=1.0186. In this context, the following section analyzes the influence of the parameter ε in the controlled system dynamics.
4.3 Influence of the control freedesign parameter ε in the time evolution of the epidemics
Again, the rabbit hemorrhagic disease is considered for this study and the same dominant pole is chosen for the controlled system dynamics, namely, {p}_{1}=\nu =0.017. Four different values for the parameter ε are considered, namely, {\epsilon}_{1}=1.018 (which corresponds to the nondominant pole of the closedloop dynamics located in {p}_{2}=50.809), {\epsilon}_{2}=1.5 ({p}_{2}=1.8455), {\epsilon}_{3}=2 ({p}_{2}=0.9313) and {\epsilon}_{4}=5 ({p}_{2}=0.2456) for analyzing the influence of such a parameter, and then the influence of the pole {p}_{2} via the relation in (20), in the controlled system dynamics. Figure 5 displays the time evolution of the infected and total populations for the four different values of ε. The infected population increases until it reaches a maximum value, and then it exponentially decreases to zero as time tends to infinity. Moreover, such a maximum value is smaller and is reached earlier as smaller the parameter ε is. In this sense, a value for \epsilon >1 and closed to unity is convenient for a fast eradication of the infection from the host population. On the other hand, the influence of ε in the time evolution of the total population is less appreciable. The total population exponentially increases in a fast way in all cases.
Figure 6 displays the time evolution of the vaccination control function for the different values of ε. One can see that the vaccination control function takes a large value at the initial time instant, and then it decreases until reaching a quasistationary regime where its value is maintained below a small threshold for any of the considered values of ε. The magnitude of the vaccination control function at such an initial time instant is larger as smaller the parameter ε is. Moreover, the vaccination control function shows an oscillatory behavior in the quasistationary regime if a value of ε closed to unity (concretely if \epsilon ={\epsilon}_{1}) is used while it does not oscillate if \epsilon \ge 1.5. As a consequence, a value for ε large enough so that the maximum of the vaccination control function does not exceed a prescribed threshold can be interesting in order to minimize the cost of the treatment of the infection by means of vaccines application. However, a large value of ε implies a nonappropriate time evolution of the infected population as it has been previously discussed in relation to Figure 5. As a consequence, a tradeoff between the treatment cost and the evolution of the epidemics has to be taken into account when choosing the value of the parameter ε used to generate the vaccination control function.
5 Concluding remarks
A vaccination control strategy based on feedback inputoutput linearization techniques has been proposed to fight against the propagation of epidemic diseases within a host population. A SIRS epidemic model with known parameters is used to describe the propagation of the disease. The total population is timevarying and the model considers the mortality for causes related to the disease. The stability and the positivity properties of the closedloop system have been proved in the case that true data of the susceptible and infected populations are available. Also, the eradication of the epidemic disease from the host population is guaranteed with such a control strategy. These theoretical results are complemented with some simulation results to illustrate the effectiveness of the proposed approach. Future research into the subject is going to deal with the combination of this control technique with the design of an observer to estimate the susceptible and infected populations when their true data are not available as it usually occurs in a real situation.
References
 1.
Keeling MJ, Rohani P: Modeling Infectious Diseases in Humans and Animals. Princeton University Press, Princeton; 2008.
 2.
Li MY, Graef JR, Wang L, Karsai J: Global dynamics of a SEIR model with varying total population size. Math. Biosci. 1999, 160: 191213. 10.1016/S00255564(99)000309
 3.
Zhang Z, Wu J, Suo Y, Song X: The domain of attraction for the endemic equilibrium of an SIRS epidemic model. Math. Comput. Simul. 2011, 81: 16971706. 10.1016/j.matcom.2010.08.012
 4.
Greenhalgh D, Khan QJA, Lewis FI: Recurrent epidemic cycles in an infectious disease model with a time delay in loss of vaccine immunity. Nonlinear Anal. 2005, 63: 779788. 10.1016/j.na.2004.12.018
 5.
De la Sen M, Agarwal RP, Ibeas A, AlonsoQuesada S: On the existence of equilibrium points, boundedness, oscillating behavior and positivity of a SVEIRS epidemic model under constant and impulsive vaccination. Adv. Differ. Equ. 2011., 2011: Article ID 748608 10.1155/2011/748608
 6.
Luo Y, Gao S, Yan S: Pulse vaccination strategy in an epidemic model with two susceptible subclasses and time delay. Appl. Math. 2011, 2: 5763. 10.4236/am.2011.21007
 7.
Zhao WC, Zhang TQ, Chang ZB, Meng XZ, Liu YL: Dynamical analysis of SIR epidemic models with distributed delays. J. Appl. Math. 2013., 2013: Article ID 154387 10.1155/2013/154387
 8.
AlonsoQuesada S, De la Sen M, Ibeas A: A vaccination control law based on feedback linearization techniques for SEIR epidemic models. Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2012) 2012, 14.
 9.
AlonsoQuesada S, De la Sen M, Agarwal RP, Ibeas A: An observerbased vaccination control law for a SEIR epidemic model based on feedback linearization techniques for nonlinear systems. Adv. Differ. Equ. 2012., 2012: Article ID 161 10.1186/168718472012161
 10.
De la Sen M, AlonsoQuesada S: On vaccination control tools for a general SEIRepidemic model. Proceedings of the 18th Mediterranean Conference on Control & Automation (MED’10) 2010, 2325.
 11.
Balaguer P: Similar model reference adaptive control with bounded control effort. Int. J. Adapt. Control Signal Process. 2011, 25: 577592. 10.1002/acs.1222
 12.
Jugo J, Lizarraga I, Arredondo I: Nonlinear modelling and analysis off active magnetic bearing systems in the harmonic domain: a case study. IET Control Theory Appl. 2008, 2: 6171. 10.1049/ietcta:20060461
 13.
Zamani I, Shafie M: Fuzzy impulsive control with application to chaos control. Proceedings of the 2009 IEEE International Conference on Fuzzy Systems 2009, 2024.
 14.
Ibeas A, De la Sen M, AlonsoQuesada S: Sliding mode robust control of SEIR epidemic models. Proceedings of the 21st Iranian Conference on Electrical Engineering (ICEE 2013) 2013, 1416.
 15.
Barambones O, Garrido AJ: Adaptive sensorless robust control of AC drives based on sliding mode control theory. Int. J. Robust Nonlinear Control 2007, 17: 862879. 10.1002/rnc.1157
 16.
White PJ, Trout RC, Moss SR, Desai A, Armesto M, Forrester NL, Gould EA, Hudson PJ: Epidemiology of rabbit haemorrhagic disease virus in the United Kingdom: evidence for seasonal transmission by both virulent and a virulent modes of infection. Epidemiol. Infect. 2004, 132: 555567. 10.1017/S0950268804002109
 17.
Jumpen W, Orankitjaroen S, Boonkrong P, Wiwatanapataphee B: SEIQRSIS epidemic network model and its stability. Int. J. Math. Comput. Simul. 2011, 5: 326333.
 18.
Safi MA, Gumel AB: Mathematical analysis of a disease transmission model with quarantine, isolation and an imperfect vaccine. Comput. Math. Appl. 2011, 61: 30443070. 10.1016/j.camwa.2011.03.095
 19.
Zhang J, Zhen J: The analysis of epidemic network model with infectious force in latent and infected period. Discrete Dyn. Nat. Soc. 2010., 2010: Article ID 604329 10.1155/2010/604329
 20.
Isidori A: Nonlinear Control Systems. Springer, London; 1995.
Acknowledgements
The authors thank the Spanish Ministry of Economy and Competitiveness for its support of this work through Grants DPI200907197 and DPI201230651 as well as to the Basque Government for its support through Grants IT37810, SAIOTEK SPE07UN04 and SAIOTEK SPE09UN12.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
AlonsoQuesada, S., De la Sen, M., Ibeas, A. et al. A vaccination strategy based on linearization control techniques for fighting against epidemic diseases propagation. Adv Differ Equ 2013, 364 (2013). https://doi.org/10.1186/168718472013364
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472013364
Keywords
 SIRS epidemic models
 vaccination
 nonlinear control
 stability
 positivity