zbMATH — the first resource for mathematics

Examples
Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
Fields
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
HIV dynamics: analysis and robust multirate MPC-based treatment schedules. (English) Zbl 1166.92025

Summary: Analysis and control of human immunodeficiency virus (HIV) infections have attracted the interests of mathematicians and control engineers during the recent years. Several mathematical models exist and adequately explain the interactions of the HIV infection and the immune system up to the stage of clinical latency, as well as viral suppression and immune system recovery after treatment therapy. However, none of these models can completely exhibit all that is observed clinically and account the full course of infection. Besides model inaccuracies that HIV models suffer from, some disturbances/uncertainties from different sources may arise in the modelling.

We study the basic properties of a 6-dimensional HIV model that describes the interactions of HIV with two target cells, CD4 + T cells and macrophages. The disturbances are modelled in the HIV model as additive bounded disturbances. Highly Active AntiRetroviral Therapy (HAART) is used. The control input is defined to be dependent on the drug dose and drug efficiency. We developed treatment schedules for HIV infected patients by using a robust multirate Model Predictive Control (MPC)-based method. The MPC is constructed on the basis of an approximate discrete-time model of the nominal model. We established a set of conditions, which guarantee that the multirate MPC practically stabilizes the exact discrete-time model with disturbances.

The proposed method is applied to the stabilization of the uninfected steady state of the HIV model. The results of simulations show that, after initiation of HAART with a strong dosage, the viral load drops quickly and can be kept under a suitable level with mild dosage of HAART. Moreover, the immune system is recovered with some fluctuations due to the presence of disturbances.

MSC:
92C50Medical applications of mathematical biology
93C95Applications of control theory
34D23Global stability of ODE
34D05Asymptotic stability of ODE
93B25Algebraic theory of control systems
37N25Dynamical systems in biology