Вы находитесь на странице: 1из 10

148 IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOL. 46, NO.

2, FEBRUARY 1999

A Model-Based Algorithm for Blood


Glucose Control in Type I Diabetic Patients
Robert S. Parker, Francis J. Doyle, III,* and Nicholas A. Peppas

Abstract—A model-based predictive control algorithm is devel- a closed-loop device capable of maintaining normoglycemia
oped to maintain normoglycemia in the Type I diabetic patient over extended periods of time.
using a closed-loop insulin infusion pump. Utilizing compartmen- A device of this type would contain three major compo-
tal modeling techniques, a fundamental model of the diabetic
patient is constructed. The resulting nineteenth-order nonlin- nents: i) a mechanical pump; ii) an in vivo glucose sensor;
ear pharmacokinetic–pharmacodynamic representation is used and iii) a mathematical algorithm to regulate the pump given
in controller synthesis. Linear identification of an input–output a sensor measurement. Extracorporeal and implantable insulin
model from noisy patient data is performed by filtering the pumps have been in service for over 15 yr [1], [2]. Initially
impulse-response coefficients via projection onto the Laguerre these devices had a single delivery rate, but technological
basis. A linear model predictive controller is developed using the
identified step response model. Controller performance for un- advances have allowed a wide variety of programmable and
measured disturbance rejection (50 g oral glucose tolerance test) variable-rate infusion pumps to be available currently [3]. Re-
is examined. Glucose setpoint tracking performance is improved search shows [4], [5] continuous infusion and programmable
by designing a second controller which substitutes a more detailed pumps are effective for insulin therapy. By utilizing a variable-
internal model including state-estimation and a Kalman filter for
rate pump in a closed-loop framework, further improvements
the input–output representation. The state-estimating controller
maintains glucose within 15 mg/dl of the setpoint in the presence in glucose control and normalization of the glucose distribution
of measurement noise. Under noise-free conditions, the model- in the body are possible.
based predictive controller using state estimation outperforms Current blood glucose monitoring is accomplished through
an internal model controller from literature (49.4% reduction in invasive methods, such as a finger prick, but use of a nonin-
undershoot and 45.7% reduction in settling time). These results
vasive monitor would increase patient comfort and therefore,
demonstrate the potential use of predictive algorithms for blood
glucose control in an insulin infusion pump. compliance to the insulin therapy. An implantable glucose
concentration sensor would measure diabetic patient blood
Index Terms—Compartmental modeling, diabetes, glucose, in-
fusion pumps, insulin, Kalman filter, model identification, model
glucose levels online and eliminate the patient from the
predictive control, state estimation. feedback loop. Significant work has been performed on the
development of an implantable glucose sensor [6]–[8], and
the duration of in vivo sensor reliability continues to increase.
I. INTRODUCTION A significant effort has been put forth toward the devel-
opment of a closed-loop algorithm for blood glucose control
D IABETES mellitus is characterized by the inability of
the pancreas to control blood glucose concentration.
Inadequate secretion of insulin by the diabetic pancreas results
[9]–[12]. These approaches have utilized almost exclusively
feedback control to maintain normoglycemia, even for the
in poor maintenance of normoglycemia (defined as blood purpose of disturbance rejection. This paper takes a different
glucose 70–100 mg/dl) with elevated blood glucose con- approach, specifically the use of model-based predictive con-
centrations, sometimes upward of 300 mg/dl. It is thought trol (MPC). The unconstrained controller guarantees optimal
that most of the long-term complications associated with drug delivery through solution of an optimization problem at
diabetes, such as nephropathy and retinopathy, result from each time step. A motivating factor for utilizing this strategy
sustained hyperglycemia (arterial blood glucose 120 mg/dl). is the success of MPC when applied to other biomedical
The current treatment methods for insulin dependent dia- control problems, including blood pressure control [13], [14]
betes, subcutaneous insulin injection or continuous infusion and anesthesia delivery [15], [16]. This controller architecture
of insulin, can result in significant, and sometimes frequent, is particularly well suited to the multivariable nature of these
glucose concentration variation due to their inherently open- systems, as well as the inherent constraints involved in the
loop nature. Consequently, it would be beneficial to develop respective control problems. To date, successful controller im-
plementation has been bedside in nature, due to the significant
Manuscript received May 21, 1997; revised June 12, 1998. This work was computing power required for the calculations.
supported by the Showalter Trust and by the National Science Foundation Computational power and speed aside, one benefit of using
(NSF) under Grant CTS 9257059. Asterisk indicates corresponding author. predictive control in place of a classical control algorithm is
R. S. Parker is with the Department of Chemical Engineering, University
of Delaware, Newark, DE 19716 USA. the estimation of future glucose behavior based on the past in-
*F. J. Doyle, III, is with the Department of Chemical Engineering, Univer- sulin inputs, with measurement of the patient’s actual glucose
sity of Delaware, Newark, DE 19716 USA (e-mail: fdoyle@udel.edu). levels used as a feedback signal to correct the glucose concen-
N. A. Peppas is with the School of Chemical Engineering, Purdue Univer-
sity, West Lafayette, IN 47907-1283 USA. tration predictions. As a result, the MPC controller takes action
Publisher Item Identifier S 0018-9294(99)00823-X. for a predicted hypo- or hyperglycemic excursion well before
0018–9294/99$10.00  1999 IEEE
PARKER et al.: BLOOD GLUCOSE CONTROL IN TYPE I DIABETIC PATIENTS 149

it occurs, while a feedback-only controller responds after the


effect of the disturbance is manifested. Similar to the other
biomedical applications, the human glucose-insulin control
problem has inherent input rate and magnitude constraints
as well as an output magnitude constraint which MPC can
easily handle. The aforementioned feedback controllers require
special formulations to compensate for these same types of
constraints, and performance degradation can result. Hence,
the MPC controller algorithm exhibits a range of appropriate
characteristics for the blood glucose control problem.

II. STATE-SPACE PATIENT MODEL


A mathematical representation of the system is necessary to
implement a model-based control scheme. Many approaches
to modeling the human glucose-insulin system have been
taken [9], [17]–[19], starting from the initial glucose mod-
eling work of Bolie [20]. These methods can be divided
into semiempirical and fundamental methods. An empirical
approach attempts to capture the behavior of a system from
input–output data alone. Usually, a model structure is chosen
a priori, containing a certain number of parameters to be
identified. The linearized model studied by Ackerman et
al. [21] has this form. Imposing the linear structure, two
parameters for glucose effects (one for self-removal and one
for glucose effect on insulin) and two for insulin effects (one Fig. 1. Compartmental diagram of the glucose or insulin system in a diabetic
for self-induced removal and a second for glucose removal patient.
through insulin induced pathways) are identified to match the
model to data. Normally, individualized empirical parameters
are determined through a series of tests performed on each parameters for uncertainty analysis, is ongoing work by the
patient. This is a time and resource consuming process. An current authors.
alternative model structure, which adds additional physiologic Utilizing compartmental modeling techniques, the diabetic
detail, is the so called semiempirical or hybrid model. Such patient model is represented schematically in Fig. 1. Individual
a model incorporates physiologically based structure, such as compartment models are obtained by performing mass bal-
that derived in Cobelli et al. [9], where the insulin model ances around tissues important to glucose or insulin dynamics.
has equations representing dynamic behavior and kinetics. A Subcompartments, such as those in the brain and periphery,
compartmental approach like that of Bergman et al. [17] can are included where significant transport resistance (e.g., time
be taken, such that a chosen number of compartments (in delay) exists. In this model, the periphery represents the com-
this work, three) utilizing an arbitrary number of identifiable bined effects of muscle and adipose tissue while the stomach
parameters (in this work, six) fully describes the diabetic and intestine effects are lumped into the gut compartment.
patient. The structure results from subdividing the insulin The controlled output for this system is the arterial glucose
compartment into a plasma space and a compartment remote concentration, which is regulated by the manipulated variable,
to the plasma which affects glucose uptake. Finally, purely insulin infusion rate. A disturbance variable, glucose uptake
fundamental models can be constructed. Nomura et al. [18] from the gut compartment, is added to the model to simulate
examined the -cells of the pancreas in vitro and constructed the diabetic patient ingesting a meal. The mathematical repre-
a fundamental model for their behavior from the insulin sentation of the meal submodel is described in Lehmann and
release data. Fundamental models can also be generated by Deutsch [24].
mathematically representing known system behavior, such
as underlying kinetics or material transport, and identifying
parameters though an extensive literature search of available III. INPUT–OUTPUT CONTROLLER MODEL
data. This results in a model representing the average behavior The linear model predictive controller utilizes an internal
of the studied population. model to estimate the future output values based on a series
In this paper a pharmacokinetic–pharmacodynamic ap- of past inputs. The model form chosen for this work is the
proach to fundamental modeling is taken. The model of linear step-response model. Assuming the system begins at
the human glucose-insulin system used in this study results rest, the step-response coefficients, , represent the system
from initial work by Guyton et al. [22] which was updated response to a unit increase in the input variable
by Sorensen [23]. Significant modification of this model to
include disturbances such as meals and exercise, as well as (1)
150 IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOL. 46, NO. 2, FEBRUARY 1999

It is assumed that the system reaches a new steady-state after for diabetic patient model identification is given by (5) and
sample times, where is known as the model memory. In can be treated as a special constant-switching-pace symmetric
the case of the diabetic patient model, the system approaches random signal (CSRS)
steady-state after 180 min (1.5% of total change remaining),
and the dynamic character of the response is completed. with probability
The choice of a sample time, which determines memory
length, is a combination of three factors: model dynamics with probability
and accuracy, complexity of the identification problem, and
equipment constraints. For an accurate model, the sampling
with probability (5)
rate must be rapid enough to adequately capture the fastest
dynamics of the system. A heuristic bound is that the sampling
rate should be no slower than 20% of the fastest time constant. If the input is in deviation form, is the maximum symmetric
The open-loop constant time of the diabetic patient model is input deviation from its steady-state value, and is the
approximately 55 min, meaning a sample must be taken at number of data points in the record. In the diabetic patient
least once every 11 min. Fewer parameters make models easier model, the nominal insulin delivery rate is 22.33 mU/min
to identify. This suggests larger sample times, yielding fewer and the minimum delivery of insulin is 0 mU/min which
step response coefficients and a less complex identification yields a value of 22.33 mU/min for . Accurate parameter
problem. Finally, samples can be taken no faster than the identification requires the pulses to be separated by at least
equipment can determine glucose concentration; this creates points, and that the second pulse is at least points from the
a sampling rate lower bound. Researchers in the sensor field end of the data record. Based on the earlier choice of ,
report the ability to sample glucose every 4 min utilizing the minimum number of data points required is . The
an electrochemical biosensor [6]. To simplify the math, and calculation using the modified Wiener functional method is
decrease the number of parameters, the chosen sample time is outlined next.
5 min, and therefore the model memory, , is 180/5 36 Using the special CSRS, the th-order discrete modified
sample times. functional form is given by
Assuming superposition, a linear approximation of the out-
put can be calculated given the past input profile (6)

(2)
Here, is the modified Wiener functional and is the
order of the functionals used to estimate . Truncating after the
Here, the first term accounts for the response of the model linear terms , can be described by the following
to the input change over the memory of the model, and the equations:
latter term represents the steady-state of the process prior to
the input change. The predicted output value and input changes (7)
are given by and , respectively. Step-response coefficients
are calculated from an identified impulse-response (IR) model (8)
of the system by
Therefore, in trying to identify the functionals from in-
(3) put–output data, the following structure is utilized:

(4) (9)

where are the identified impulse response coefficients and which can be restructured to yield
are the past inputs.
The structure of the impulse-response model in (3) is
(10)
similar to that of the first-order Wiener functional, . To
identify Wiener functionals, Gaussian white noise (GWN)
input sequences are typically used. However, identification of Equation (10) results from the knowledge that the zeroth-order
a physical system model using GWN is unrealistic due to the modified functional, , is the mean of .
tremendous strain placed on the input regulator (e.g., pump or Using this description of , the output data in deviation form
valve). Lee and Schetzen [25] derive a cross-correlation for- is given by . Note that (10) has a form
mula for computing Wiener kernels in the case of a Gaussian identical to that of (3). The impulse-response coefficients,
white-noise input, which can be modified to account for non- represented by the functional , are identified using the
GWN inputs [26]. This method is mean squared error (MSE) aforementioned cross-correlation method, accounting for the
optimal, meaning that it minimizes the MSE between the actual statistical properties of the input signal through division by
output and the predicted output. The non-GWN sequence used the second-order moment, [equivalent to the variance for
PARKER et al.: BLOOD GLUCOSE CONTROL IN TYPE I DIABETIC PATIENTS 151

the mean-zero process ]. Therefore, the impulse-response


coefficients are given by

(11)

Using this cross-correlation method, the developed coefficients


minimize the prediction error variance, ,
between the predicted and the measured output value.
Impulse response coefficients developed by minimizing
MSE are accurate if the output signal is noise-free. If the
output contains noise, as a signal from any biological system
would, performance of the identification algorithm degrades,
and the coefficients show significant noise effects. Filtering
provides a smoother set of coefficients which should im-
prove the quality of any prediction by reducing noise-induced
variations. The impulse-response coefficients are filtered by
projection onto the Laguerre basis, utilizing smooth Laguerre
functions to approximate the noisy coefficients. Expansion Fig. 2. Impulse response models relating glucose concentration (output) to
insulin delivery rate (input); identification by linear least-squares (solid) and
of the Laguerre functions returns smoothed impulse-response Laguerre projection (dashed) compared with the noise-free impulse response
coefficients, which are an optimal estimate of the noise- coefficients of the nonlinear model (dash-dot).
corrupted coefficients in the MSE sense [27].
In discrete time, the th-order Laguerre function is [28]
(variance 1.45 mg/dl) which affects the least-squares derived
coefficients.
A random binary sequence (RBS) is driven through the
identified model and the full nonlinear model for validation
purposes, and the results are shown in Fig. 3. Clearly, the
(12) identified model does not include all of the gain information of
the diabetic patient model, but it does succeed in capturing the
such that is the unit step function, for dynamic behavior. This second component is more important,
. The Laguerre pole, denoted , , as the controller will be updated at 5 min intervals with
determines the rate of exponential asymptotic decay of the new information, making the dynamic component significantly
Laguerre functions [29]. By comparing the actual model more important in the control computation than the steady-
impulse response to that generated by the Laguerre functions, state behavior [30]. This same RBS produces much poorer
is chosen to minimize the residual error, and is set to 0.84. output when run using the least-squares identified parameters
The set is orthonormal in the interval , and is (output not shown). By comparison, the sum of residuals from
complete in . Hence, the least-squares generated impulse- the Laguerre coefficient validation is 12.1 mg/dl, while that
response coefficients , satisfying for the least-squares validation is 35.4 mg/dl.
and can be represented in terms
of Laguerre functions as [27] IV. LINEAR MODEL PREDICTIVE CONTROL
A linear MPC algorithm is now constructed to control blood
(13) glucose concentration based on arterial glucose sampling and
intravenous insulin delivery. The optimization problem solved
by MPC is given by
where is the number of Laguerre functions chosen to
describe the least-squares impulse-response coefficients, and
the Laguerre parameters, , are unknown. These Laguerre
(15)
coefficients are the least-squares solution to
The goal is to minimize the error in setpoint tracking and the
(14) manipulated input movement, respectively, over the sequence
of future input moves, . Here, is the
Here, is the impulse-response co- vector of future reference values while is the
efficient vector, and is the Laguerre vector of predicted future glucose concentrations. Vectors use
function matrix. The smoothed impulse-response coefficients the standard statistical notation of predicting a value at time
are generated by substituting the calculated ’s into (13). given information up to time . Weighting matrices
Fig. 2 shows the impulse-response coefficients identified using for the setpoint tracking penalty and insulin move penalty
least-squares and Laguerre projection. Although the Laguerre are given by and , respectively. These two matrices
generated coefficients have a decreased gain, they are not can be used as tuning parameters for the controller, trading
corrupted by the noise present on the measurement signal off output performance, and manipulated variable movement.
152 IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOL. 46, NO. 2, FEBRUARY 1999

Physiological conditions imply a magnitude constraint which


must be applied to the insulin delivery rate. The plasma insulin
concentration in the healthy patient is rarely above 100 mU/l.
Since the goal is to return the diabetic patient to as normal a
state as possible, the maximum insulin delivery rate from the
pump should not result in a plasma insulin concentration in
excess of 100 mU/l. Additionally, it is impossible to remove
insulin once it has been delivered to the patient. Therefore, the
input magnitude is constrained as follows:
mU/min mU/min (18)

This constraint, as well as the input rate constraint in (17),


are implemented by clipping the rate and magnitude of the
calculated pump action.
Low blood glucose concentrations in the diabetic patient
are dangerous and starve the cells of fuel. Therefore, an
appropriate output constraint is given by
Fig. 3. Validation of the input–output model using a random binary se-
quence. Top: comparison of the actual nonlinear diabetic patient model ()
mg/dl (19)
with the predicted output (+). Middle: residuals between the Volterra–Laguerre
model and the actual nonlinear model for the forcing sequence. Bottom: ran- However, the inclusion of hard output constraints in the
dom binary sequence used to validate the Laguerre derived impulse-response problem statement can lead to infeasible programming prob-
model.
lems, and will require more computational power than can
be delivered on a digital chip, given current technology. An
Additionally, the input move penalty serves to regulate the alternative is to include the output constraint in a “soft”
magnitude of noise-induced manipulated variable movement. form, by adding another term to the objective function [32].
When there is no noise in the diabetic patient simulation This would modify the analytic solution to the unconstrained
is set equal to zero, while is used when band-limited problem, and solution of a nonlinear programming problem
white noise (variance 1.45 mg/dl) corrupts the output signal. may be required depending on the formulation of the added
It is straightforward to show that an analytical solution to the term. To avoid the potential problems with including an
unconstrained problem can be constructed [31]. One merely output constraint, it is treated through careful selection of
calculates , the difference between the vector of the controller tuning weights to yield the soft constraint
predicted future glucose concentrations from past inputs and formulation
the vector of future reference values. The analytical solution
involves a multiplication of by , where
is given by subject to: mU/min mU/min
mU/min per sample time
mg/dl checked (20)
(16)
Here, the leading vector results from implementing only the Tuning this controller is an ad hoc procedure, using the two
first calculated move for . This structure demonstrates available parameters: , the move horizon, and , the predic-
the ease of implementing linear MPC. Since the gain matrix tion horizon. These parameters are determined by performing
can be precalculated, the on-line computation reduces to a a two-dimensional search over and , while subjecting the
simple multiplication. Therefore, the calculation could be diabetic patient to an unmeasured meal disturbance with no
performed without the need for a high-powered computer, and measurement noise. The criterion used to evaluate performance
instead on a single digital chip, allowing for straightforward is sum of squared error (SSE) over the time-course of the
implementation in a microprocessor-based pump. simulation, providing the output tracks the reference. The
However, the analytical solution can not be implemented controller settings minimizing SSE over the simulation length
without accounting for the constraints present in the system. while eliminating output oscillations are , ,
An input rate constraint, , guarantees the pump does , and .
not undergo changes in insulin delivery rate that are greater Using the SSE optimal tuning parameters as a starting
than the mechanism can handle. As such, a rate constraint that point, the controller is detuned to accommodate a measurement
is conservative with respect to pump dynamics shown in the signal with noise of variance 1.45 mg/dl. This detuning is
literature [3], and can span the full range of insulin delivery necessary due to violation of the glucose concentration lower
rates in a maximum of four moves is chosen. The maximum bound in response to a 50 g OGTT. Increasing the prediction
change in insulin delivery rate is given by horizon to ten successfully detunes the controller yielding
satisfactory performance. In order to reduce the chatter in the
mU/min per sample time (17) manipulated input signal, the weighting matrices, and ,
PARKER et al.: BLOOD GLUCOSE CONTROL IN TYPE I DIABETIC PATIENTS 153

are adjusted until the constraints are satisfied and chatter in Here, and are from (21) and (22), above. Tuning the
the manipulated input is reduced. Kalman filter is accomplished using the matrices , ,
and [33]. The initial state covariance matrix,
, is the expected value of the
V. MPC WITH STATE ESTIMATION
square of the initial deviation between the actual state and the
Model predictive control with state estimation, MPC/SE, has best linear estimate of that state. The matrix is cho-
several advantages over standard MPC. The increased amount sen to represent an initial uncertainty of 1 mg/dl in the glucose
of information provided to the controller yields tighter control, concentrations or 1 mU/l in the insulin concentrations, and
and additional tuning parameters (a Kalman filter and the satisfies the requirement . The measurement noise
reference filter) are included to adjust closed-loop performance covariance matrix, , is dependent on the statistics of the
[33]. measurement noise. When incorporated, band-limited white
The internal model structure in MPC/SE is changed from noise with power 0.1, gain 0.85 mg/dl, and sample time
the input–output form of (2) to the linear state-space form equal to 0.05 min, corrupts the glucose measurement signal.
These noise characteristics define a nearly white sequence with
(21) mean 0 mg/dl, and maximum deviation of 5 mg/dl yielding
(22) . The third parameter of the steady-state Kalman
filter is , the process noise covariance matrix.
From the mathematically rigorous derivation of the discrete
This model is constructed from the continuous nonlinear
time Kalman filter, the matrix is constructed using the
diabetic patient model discussed in Section II in two steps,
available knowledge of the unmeasured disturbances. These
the latter using commands from the MPC toolbox. First, the
disturbances are assumed to be random, with zero mean and
nonlinear model is linearized analytically to yield a linear
known covariance, and quasi-stationary. However, inaccuracy
continuous-time model of the diabetic patient. Then, the con-
introduced by the model (through plant-model mismatch)
tinuous linear model is converted to a discrete-time minimum-
and unknown disturbance characteristics force a change in
phase representation for use in simulation, yielding , , and
formulating . It is utilized as a tunable parameter, which
.
is adjusted until output performance is satisfactory. The in-
Using the internal model of (21) and (22), the controller
dividual matrix entries are varied on an element by element
can estimate the state of the plant and the output using the
basis, under the assumption that the process noise is diagonal,
following equations:
as off-diagonal components lack a physical basis. Excellent
performance in the noise-free case results from combining two
(23) effects. First, the elements of are weighted according to
(24) relative importance in detecting a glucose meal disturbance.
The glucose states (1–8) will vary more significantly than
The Kalman filter, , has several practical applications in the insulin, glucagon, or auxiliary equation states, hence
the MPC/SE algorithm developed in this paper. By updat- larger weights are used for those elements. Knowledge of the
ing the internal controller model with current measurement mismatch between the linear internal model and the actual
information using the Kalman filter, mismatch between the nonlinear model of the diabetic patient is also accounted
actual patient and the internal controller model is significantly for. The linear controller estimates of the first 17 states are
reduced. Therefore, the predictions using the updated model very close to the actual output of the nonlinear model, but
are more accurate than those of the static input–output model. the glucagon states showed significant deviation between the
The Kalman filter can also be tuned to infer an unmeasured estimates and the actual values. Therefore, the weighting in
disturbance value so that the controller takes appropriate the matrix is increased for these two elements, resulting in
action to counteract the detected disturbance. Noise filtering
is achieved by adjusting the Kalman filter gain based on the diag (27)
reliability of the measurement signal, which reduces noise
induced manipulated input movement. The tradeoff between where is an -length vector of ones.
disturbance inference and noise filtering will be addressed The approach used here for controller development is sim-
below. ilar to that of Ricker [34] for MPC with state estimation.
Kalman filter design is accomplished using the discrete Constraints identical to those of the linear MPC algorithm,
linear system model and the known noise characteristics of (17)–(19), are enforced by clipping the manipulated input
disturbances [33]. This formulation of the MPC/SE algorithm and checking the output constraint a posteriori. The objective
utilizes the steady-state Kalman filter, , which is calculated function is modified due to the existence of reference model
iteratively off-line, to minimize controller algorithm computa- dynamics, which adjust the reference value based on the
tion requirements as desired closed-loop performance for the system. The math-
ematical derivation can be found in [34]. It is worth noting
that the unconstrained version of the state-estimating MPC
(25) algorithm also admits a convenient analytical solution which
(26) can be easily implemented on a digital chip.
154 IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOL. 46, NO. 2, FEBRUARY 1999

The problem now reduces to tuning the controller. A three-


dimensional (3-D) search is performed over , , and the
reference filter , such that sum-squared error is minimized,
and the constraints are satisfied. By utilizing the Kalman filter
in the controller, a more aggressive formulation with
and is possible, taking . To account for
measurement noise, the controller is detuned by increasing the
prediction horizon to as well as retuning the matrix
such that all weights are less than 1.0, yielding

diag (28)

VI. NONLINEAR QUADRATIC DYNAMIC


MATRIX CONTROL WITH STATE ESTIMATION
An alternate control methodology which takes greater ad-
vantage of the nonlinear model of the diabetic patient is
nonlinear quadratic dynamic matrix control with state esti- Fig. 4. Response of the initially controlled diabetic patient to a 50 g OGTT
mation (NLQDMC/SE). This is a logical extension of linear administered at time = 50 min, with measurement noise of variance = 1.45.
Solid: linear MPC controller with parameters m p
= 2, = 10, 0y = 3, and
MPC with state estimation, with compensation for the known
nonlinearity of the controlled process, as explained in Gattu m
0u = 1. Dashed: linear MPC/SE controller with parameters = 2, = 8, p
0y = 1, and 0u = 1.
and Zafiriou [35]. These changes include the use of the
nonlinear model by the controller and updating of the linear
model based on the current operating point.
resulting from the OGTT is 95.5 mg/dl which lies well
When calculating the effects of the past inputs on the output
within the normoglycemic range. Superior performance can be
prediction in NLQDMC/SE, the nonlinear model is used in
achieved using MPC/SE, where the postprandial hypoglycemia
place of the linear discrete model. This yields a more accurate
reaches 68.5 mg/dl. This represents a 19% decrease in under-
prediction of future behavior since the nonlinearity is included.
shoot from the 81-mg/dl reference when compared to linear
In solving the optimization problem, the effect of future insulin
MPC.
delivery rates on future glucose behavior is determined using
Simulation study results are promising for both the lin-
the linear model, as in linear MPC/SE, thereby requiring the
ear MPC and MPC/SE algorithms. To provide a basis for
solution of only one quadratic programming problem online
comparison, the internal model controller (IMC) controller
[36]. The sum of the nonlinear and linear effects is then used
employed by Sorensen [23] is considered. The nonlinear
to calculate the vector of future input moves necessary to drive
model in Section II is approximated by a first-order plus
the system to track the reference value.
time-delay (FOTD) transfer function, and the IMC controller
NLQDMC/SE takes advantage of the nonlinear model once
is designed from the linear approximation. For simulation
more during the controller computation sequence. The estima-
using the MATLAB/SIMULINK environment, this controller
tion of the future plant states given the current information,
is implemented in a discrete framework for comparison against
including the newly calculated insulin delivery rate, is accom-
the inherently discrete MPC formulations. Fig. 5 shows the
plished through integration of the nonlinear model updated by
. disturbance rejection simulation results.
the correction term,
A 3-D search over the move horizon , the prediction The IMC algorithm shows superior performance to the
horizon , and the reference filter is performed to tune linear MPC algorithm for undershoot (11% decrease) but is in-
the controller. The criterion is to minimize the sum-squared ferior in terms of settling time (9% increase). These controllers
error over the time course of the simulation. Under noise-free are comparable for the noise-free case, but are both inferior
conditions, the resulting parameters are , , and to the more advanced algorithms. The increased information
. Similar to MPC/SE, the weighting matrix values available to the MPC/SE algorithm, in combination with the
are and . Simulation results are compared to Kalman filter, yields greater than 40% performance improve-
those of the other controllers in Section VII. ment in both undershoot and settling time. In a comparison
of the state-estimating algorithms, the nonlinear controller
(NLQDMC/SE) offers 18% less undershoot with a nearly
VII. RESULTS AND DISCUSSION negligible (6%) increase in settling time when compared to
A blood glucose controller will be expected to operate in the linear state-estimating controller. Tabulated results can be
the presence of measurement noise, and the ability of the found in Table I. Clearly, the utilization of state-estimation
aforementioned linear algorithms to reject a simulated meal combined with a more detailed controller model provide
disturbance is shown in Fig. 4. The minimum arterial glucose significant performance improvement.
concentration during postprandial hypoglycemia under linear There are important aspects of the problem other than
MPC is 65.6 mg/dl, which is only slightly above the output controller algorithm selection that need to be addressed. One is
constraint of 60 mg/dl. The maximum glucose concentration time delay in the sensor measurement. The assumption to this
PARKER et al.: BLOOD GLUCOSE CONTROL IN TYPE I DIABETIC PATIENTS 155

Fig. 5. Disturbance rejection comparison of four controllers with no mea- Fig. 6. Disturbance rejection using the linear MPC controller (m = 2,
surement noise for a 50 g OGTT: 1) linear MPC (solid) (m = 2, p = 8, p = 10, 0y = 3, and 0u = 1). Comparison of unknown measurement
0y = 1, and 0u = 0), 2) MPC/SE (dashed) (m = 2, p = 7, 8r = 0:65, dead times. No dead time (solid, for reference), 5 min dead time (dashed),
0y = 1, and 0u = 0), 3) NLQDMC/SE (dotted) (m = 2, p = 5, 8r = 0:57, 10 min dead time (dash-dot), and 15 min dead time (dotted). Feedback signal
0y = 1, and 0u = 0), and 4) Discrete IMC (dash-dot). contains noise with variance = 1.45. Top: Noise-free glucose concentration
data. Bottom: Insulin delivery rate.

TABLE I
DISTURBANCE REJECTION RESULTS
TABLE II
Undershoot Settling Time TIME-DELAY DISTURBANCE REJECTION RESULTS. AN M AFTER THE NUMBER
Controller DENOTES THE INTERNAL MODEL INCLUDES DELAY (KNOWN DELAY). VARIANCE
(mg/dl) (min)
= 1.45 mg/dl MEASUREMENT NOISE PRESENT ON OUTPUT SIGNAL
IMC w/filter 8.7 376
linear MPC 9.7 343 Time Settling Constraint
Undershoot
Delay Time Equations
MPC/SE 4.4 204 (ml/dl)
(min) (min) (17)-(19)
NLQDMC/SE 3.6 216
0 15.4 315 Reference
5 17.7 316 Satisfied
5M 18.8 358 Satisfied
point has been that an accurate measurement of the arterial glu- MPC 10 21.1 327 Satisfied
cose concentration is instantaneously available at each sample 10 M 21.9 378 Violated
15 39.0 551 + Violated
time. Existence of delay in a system has a destabilizing effect,
15 M 25.1 364 Violated
and large enough delays result in unstable closed-loop systems.
In addition, measurement delay causes a loss in performance. 0 12.5 262 Reference
To determine the degree of performance loss, the linear MPC 5 15.3 494 Satisfied
and MPC/SE controllers are subjected to measurement delays 5M 15.7 551 + Satisfied
MPC/SE 10 24.8 551 + Violated
of 5, 10, and 15 min. Two cases are analyzed: i) unknown 10 M 17.6 551 + Satisfied
measurement delay, where the delay is not accounted for in 15 29.7 551 + Violated
the internal model and ii) known measurement delay. For the 15 M 25.6 536 Violated
latter case, a new internal model is identified for each increase
in time delay. A typical result for unknown delay is shown
in Fig. 6. The MPC controller without state estimation utilizes
a model identified from input–output data, while the state- of 15 min has a destabilizing effect, inducing sustained os-
estimating controller is adjusted by placing rows of zeros in cillation in most controllers (except for a known delay in the
the step response matrix, such that a row of zeros is added for linear MPC controller, plot not shown). In addition, each of
each sample time of delay. For either controller and known the simulations with 15-min measurement delay resulted in
measurement delay, the prediction horizon is increased by violation of the glucose lower bound. Hence, it is necessary
the number of sample times of delay in the measurement (e.g., to keep the measurement delay less than or equal to 10 min
time delay sample time rounded to the next positive integer). (as described in Table II).
All results are tabulated in Table II.
Clearly, small dead times ( 5 min) do not significantly
affect performance, as only slight degradation occurs (a max- VIII. CONCLUSIONS
imum of 21% increase in undershoot). Both controllers main- Model-based predictive control of insulin infusion pumps
tain glucose concentration well above the constraint of 60 requires development of an accurate model of the human
mg/dl in this case. As described earlier, the large dead time glucose-insulin system and design of a constrained controller.
156 IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOL. 46, NO. 2, FEBRUARY 1999

A nonlinear model of the diabetic patient is developed us- D. Clarke, Ed. Oxford, U.K.: Oxford Univ. Press, 1994, ch. 5, pp.
ing compartmental modeling theory and literature data. A 429–445.
[16] D. R. Wada and D. S. Ward, “Open loop control of multiple drug effects
novel identification algorithm is applied to develop a linear in anesthesia,” IEEE Trans. Biomed. Eng., vol. 42, pp. 666–677, 1995.
input–output representation of the nonlinear system in the [17] R. N. Bergman, L. S. Phillips, and C. Cobelli, “Physiologic evaluation
presence of measurement noise. Model-based predictive al- of factors controlling glucose tolerance in man,” J. Clin. Invest., vol.
68, pp. 1456–1467, 1981.
gorithms for insulin infusion pump control are developed. The [18] M. Nomura, M. Shichiri, R. Kawamori, Y. Yamasaki, N. Iwama, and
constraint handling and prediction capabilities of MPC provide H. Abe, “A mathematical insulin-secretion model and its validation in
an excellent framework for the glucose control problem. Linear isolated rat pancreatic islets perfusion,” Comput., Biomed. Res., vol. 17,
pp. 570–579, 1984.
MPC is sufficient for controlling blood glucose, but results in [19] W. R. Puckett, “Dynamic modeling of diabetes mellitus,” Ph.D. thesis,
glucose concentrations near the output lower bound. Linear Dept. Chem. Eng., Univ. of Wisconsin-Madison, Madison, 1992.
MPC with state estimation, utilizing a Kalman filter and a [20] V. W. Bolie, “Coefficients of normal blood glucose regulation,” J. Appl.
Physiol., vol. 16, pp. 783–788, 1961.
more accurate internal model, yields improved control when [21] E. Ackerman, L. C. Gatewood, J. W. Rosevear, and G. D. Molnar,
compared to the linear MPC scheme and a discretized IMC “Model studies of blood-glucose regulation,” Bull. Math. Biophys., vol.
controller from literature. Additionally, the digital nature of 27, Suppl., pp. 21–37, 1965.
[22] J. R. Guyton, R. O. Foster, J. S. Soeldner, M. H. Tan, C. B. Kahn, L.
these control algorithms allows potential implementation onto Koncz, and R. E. Gleason, “A model of glucose-insulin homeostasis in
chip technology when sensors can guarantee long in vivo man that incorporates the heterogeneous fast pool theory of pancreatic
lifetimes. insulin release,” Diabetes, vol. 27, pp. 1027–1042, 1978.
[23] J. T. Sorensen, “A physiologic model of glucose metabolism in man and
its use to design and assess improved insulin therapies for diabetes,”
REFERENCES Ph.D. thesis, Dept. Chem. Eng., Massachusetts Inst. Technol. (MIT),
Cambridge, 1985.
[1] J.-L. Selam and M. A. Charles, “Devices for insulin administration,” [24] E. D. Lehmann and T. Deutsch, “A physiological model of glucose-
Diabetes Care, vol. 13, pp. 955–979, 1990. insulin interaction in type I diabetes mellitus,” J. Biomed. Eng., vol. 14,
[2] F. P. Kennedy, “Recent developments in insulin delivery techniques, pp. 235–242, 1992.
current status, and future potential,” Drugs, vol. 42, pp. 213–227, 1991. [25] Y. W. Lee and M. Schetzen, “Measurement of the Wiener kernels
[3] A. Cohen, “New disposable electronic micropump for parenteral drug of a nonlinear system by cross-correlation,” Int. J. Contr., vol. 2, pp.
delivery,” in Pulsatile Drug Delivery: Current Applications and Future 237–254, 1965.
Trends, R. Gurny, H. E. Junginger, and N. A. Peppas, Eds. Stuttgart, [26] P. Z. Marmarelis and V. Z. Marmarelis, Analysis of Physiological
Germany: Wissenschaftliche, 1993, pp. 151–161. Systems: The White-Noise Approach. New York: Plenum, 1978.
[4] J.-L. Selam, D. Raccah, N. Jean-Didier, J. L. Lozano, K. Waxman, [27] M. Schetzen, The Volterra and Wiener Theories of Nonlinear Systems.
and M. A. Charles, “Randomized comparison of metabolic control New York, NY: Wiley, 1980.
achieved by intraperitoneal insulin infusion with implantable pumps [28] Y. Fu and G. A. Dumont, “An optimum time scale for discrete Laguerre
versus intensive subcutaneous insulin therapy in type I diabetic patients,” network,” IEEE Trans. Automat. Contr., vol. 38, pp. 934–938, 1993.
Diabetes Care, vol. 15, pp. 53–58, 1992. [29] V. Z. Marmarelis, “Identification of nonlinear biological systems using
[5] H. Buchwald, T. D. Rohde, and K. Kernstine, “Insulin delivery by Laguerre expansions of kernels,” Ann. Biomed. Eng., vol. 21, pp.
implanted pump, a chronic treatment for diabetes,” ASAIO Trans., vol. 573–589, 1993.
35, pp. 5–7, 1989. [30] I.-L. Chien and B. A. Ogunnaike, “Modeling and control of high-purity
[6] W. Preidel, S. Saeger, I. Von Lucadou, and W. Lager, “An elec- distillation columns,” presented at AIChE Annu. Meet., 1993.
trocatalytic glucose sensor for in-vivo application,” Biomed. Instrum., [31] M. Morari and N. L. Ricker, Model Predictive Control Toolbox. Natick,
Technol., vol. 25, pp. 215–219, 1991. MA: The MathWorks, Inc., 1994.
[7] K. Nishida, M. Sakakida, K. Ichinose, T. Uemura, M. Uehara, K. [32] E. Zafiriou and A. L. Marchal, “Stability of SISO quadratic dynamic
Kajiwara, T. Miyata, M. Shichiri, K. Ishihara, and N. Nakabayashi, matrix control with hard output constraints,” AIChE J., vol. 37, pp.
“Development of a ferrocene-mediated needle-type glucose sen- 1550–1560, 1991.
sor covered with newly designed biocompatible membrane, 2- [33] K. J. Åström and B. Wittenmark, Computer-Controlled Systems Theory
methacryloyloxyethylphosphorylcholine-co-n-butyl methacrylate,” Med. and Design, 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 1990.
Prog. through Technol., vol. 21, pp. 91–103, 1995. [34] N. L. Ricker, “Model predictive control with state estimation,” Ind. Eng.
[8] C. Meyerhoff, F. Bischof, F. Sternberg, H. Zier, and E. F. Pfeiffer, “On Chem. Res., vol. 29, no. 3, pp. 374–382, 1990.
line continuous monitoring of subcutaneous tissue glucose in men by [35] G. Gattu and E. Zafiriou, “Nonlinear quadratic dynamic matrix control
combining portable glucosensor with microdialysis,” Diabetologia, vol. with state estimation,” Ind. Eng. Chem. Res., vol. 31, pp. 1096–1104,
35, pp. 1087–1092, 1992. 1992.
[9] C. Cobelli and A. Mari, “Validation of mathematical models of complex [36] C. E. Garcı́a, “Quadratic dynamic matrix control of nonlinear processes.
endocrine-metabolic systems. A case study on a model of glucose An application to a batch reaction process,” presented at AIChE Annu.
regulation,” Med. Biol. Eng. Comput., vol. 21, pp. 390–399, 1983. Meet., 1984.
[10] M. E. Fisher, “A semiclosed-loop algorithm for the control of blood [37] R. S. Parker, F. J. Doyle III, J. E. Harting, and N. A. Peppas, “Model
glucose levels in diabetics,” IEEE Trans. Biomed. Eng., vol. 38, pp. predictive control for infusion pump insulin delivery,” in Proc. 18th
57–61, 1991. Annu. Conf. IEEE—Engineering in Medicine and Biology Society, 1996,
[11] E. Salzsieder, G. Albrecht, U. Fischer, and E.-J. Freyse, “Kinetic no. 265.
modeling of the glucoregulatory system to improve insulin therapy,”
IEEE Trans. Biomed. Eng., vol. BME-32, pp. 846–855, 1985.
[12] H. M. Broekhuyse, J. D. Nelson, B. Zinman, and A. M. Albisser,
“Comparison of algorithms for the closed-loop control of blood glucose
using the artificial beta cell,” IEEE Trans. Biomed. Eng., vol. BME-28,
pp. 678–687, 1981.
[13] K. Y. Kwok, S. L. Shah, A. S. Clanachan, and B. A. Finegan, “Eval-
uation of a long-range adaptive predictive controller for computerized Robert S. Parker was born in Rochester, NY, in 1972. He received the B.S.
drug delivery systems,” in Proc. IFAC Adaptive Signals in Control and degree in chemical engineering from the University of Rochester, Rochester,
Signal Processing Conference, 1992, pp. 317–322. NY, in 1994, and began Ph.D. research in chemical engineering at Purdue
[14] R. Gopinath, B. W. Bequette, R. J. Roy, H. Kaufman, and C. Yu, “Issues University, West Lafayette, IN, in the fall of that year under Prof. F. J. Doyle,
in the design of a multirate model-based controller for a nonlinear drug III, and Prof. N. A. Peppas. In September 1997, he moved with Prof. Doyle
infusion system,” Biotechnol. Prog., vol. 11, pp. 318–332, 1995. to the University of Delaware to complete the doctoral degree.
[15] D. A. Linkens and M. Mahfouf, “Generalized predictive control (GPC) His research focuses on model-based control of biomedical and biological
in clinical anaesthesia,” in Advances in Model-Based Predictive Control, systems.
PARKER et al.: BLOOD GLUCOSE CONTROL IN TYPE I DIABETIC PATIENTS 157

Francis J. Doyle, III, was born in Philadelphia, PA, in 1963. He received the Nicholas A. Peppas received the Dipl.Eng. degree in chemical engineering
B.S.E. degree from Princeton University, Princeton, NJ, in 1985, the C.P.G.S. at the National Technical University of Athens, Greece, in 1971 and the
degree from Cambridge University, Cambridge, U.K., in 1986, and the Ph.D. Sc.D., degree at the Massachusetts Institute of Technology in 1973. He did
degree from the California Institute of Technology, Pasadena, in 1991, all in postdoctoral research at the Arteriosclerosis Center of MIT.
chemical engineering. He is the Showalter Distinguished Professor of Chemical and Biomedical
From 1991–1992, he was a Visiting Scientist in the strategic process Engineering in the School of Chemical Engineering of Purdue University,
technology group at the DuPont Company, Wilmington, DE. From 1992–1997, West Lafayette, IN. He joined Purdue as an Assistant Professor in 1976 and
he was an Assistant and Associate Professor at the School of Chemical was promoted to Associate Professor in 1978 and Professor in 1982. His
Engineering at Purdue University, West Lafayette, IN. Since 1997, he has research contributions have been in several areas of polymers and biomedical
been an Associate Professor at the Department of Chemical Engineering at engineering, especially in controlled delivery of drugs, peptides and proteins,
the University of Delaware, Newark. His research interests include nonlinear development of novel biomaterials, biomedical transport phenomena, and
dynamics and control with applications in process and biosystems control, biointerfacial problems.
nonlinear model reduction, and the reverse engineering of biological control Dr. Peppas has been recognized by various awards including the 1995 APV-
systems. International Pharmaceutical Technology Medal, the 1994 Pharmaceutical and
Dr. Doyle received the National Young Investigator Award from the Bioengineering Award of AIChE, and the 1988 Curtis McGraw Award of
National Science Foundation in 1992, an Office of Naval Research Young ASEE for best engineering research under the age of 40. He is a founding
Investigator Award in 1996, an ASEE Section Outstanding Teacher Award in Fellow of the American Institute of Medical and Biological Engineering, a
1996, and a Tau Beta Pi Section Teaching Award in 1996. Fellow of the American Physical Society, a Fellow of the Society for Bioma-
terials, a fellow of the American Association of Pharmaceutical Scientists, and
an honorary member of the Italian Society of Medicine and Natural Sciences.

Вам также может понравиться