Professional Documents
Culture Documents
5
Marriott Marquis Hotel at Times Square
New York City, USA, July 11-13, 2007
Abstract—This paper presents a non-linear model predictive In particular, practice and simulations show that the
control (NMPC) of a supermarket refrigeration system. This is distributed hysteresis controllers have the tendency to
a hybrid process involving switching nonlinear dynamics and synchronize [1] and [2], meaning that the opening and
discrete events, on/off manipulated variables, like valves and
closing actions of the valves coincide. Consequently, the
compressors, continuous controlled variables like goods
temperatures and finally, several operation constraints. The compressor periodically has to work harder to keep up the
hybrid controller is based on a parameterization of the on/off required flow of refrigerant, which results in low efficiency,
control signals in terms of time of occurrence of events instead inferior control performance and a higher wear.
of using directly binary values, on this way, we can re- The use of other control techniques, such as MPC, is
formulate the optimization problem as a NLP problem. A significantly complicated by the fact that many of the
rigorous model of a real supermarket refrigeration system
control inputs are restricted to integer values, such as the
provided by Danfoss is presented as well as results of the
hybrid controller operating on it. The paper describes the opening/closing of the inlet valves and the on/off of the
hybrid process, presents the control problem formulation and compressors. Furthermore, the system features switched non
provides some results of the proposed approach and linear dynamics, including also slow and fast dynamics and
comparisons with the traditional control. several constraints on controlled variables. As a result,
classical control does not fit very well with the overall
I. INTRODUCTION operation of this kind of process and other approaches must
The controller uses the framework of non-linear model evaporates while absorbing heat from the surrounding air
predictive control, using a nonlinear continuous-time model circulating through the evaporator. The resulting air flow
to make the predictions and calculating the control actions creates an air-curtain at the front of the display case. The
by means of an optimization problem solved on-line every fact that the air-curtain is colder than the goods leads to a
sample time. heat transfer from the goods Qgoods-air and (as a side effect)
The paper is organized as follows: In section II the from the surrounding Qairload to the air-curtain. Inside the
process is described while section III presents the nonlinear display cases, a temperature sensor is located, which
model obtained from first principles. Section IV gives an measures the air temperature Tair close to the goods. This
overview of the traditional control systems of supermarket temperature measurement is used in the control loop as an
refrigeration systems and section V and VI describe the indirect measure of the goods’ temperature Tgoods.
control objectives and the hybrid model predictive control Furthermore, an on/off inlet valve is located at the
respectively. Results of some test for evaluation of the refrigerant inlet of the evaporator, which is used to control
proposed approach are given in section VII showing the the temperature in the display case.
process response to setpoint changes, disturbances, etc.
Finally, the paper ends with some conclusions and
references.
4179
ThC20.5
where Mref,i = Mref,max when the evaporator is completely dPsuc hin − suc f in − suc − hout − suc Fcomp ρ suc
=R (8)
filled with liquid refrigerant. The accumulation of dt CvVsuc
refrigerant in the evaporator is described by equation (4)
where Vsuc is the total volume of the suction manifold, Fcomp
⎧ 0 if u disp ,i = 1 is the volume flow out of the suction manifold determined
dM ref ,i ⎪
⎪ Q by the compressors, f in − suc = ∑i =1 f i is the total mass flow
nd
= ⎨− e if u disp ,i = 0 and M ref ,i > 0 (4)
dt ⎪ Δhlg from the display cases to the suction manifold,
⎪⎩ 0 if u disp ,i = 0 and M ref ,i = 0
hin − suc = ∑i =1 f i hoe is the inlet enthalpy to the suction
nd
where Δhlg is the specific latent heat of the remaining manifold which is a refrigerant specific non linear function
liquefied refrigerant in the evaporator, which is a nonlinear of Psuc and the superheat Tsh, nd is the total number of
function of the suction pressure. Qe,i is the cooling capacity display cases, and fi is the mass flow of the refrigerant out of
which can be found by setting up the energy balance for the the i’th display case. fi is determined by position of the valve
evaporator: and the amount of enclosed refrigerant when the valve is
closed, given by (6). ρsuc is the density of the refrigerant in
Qe,i = (Twall ,i − Te )UAwall − ref ,i ( M ref ,i ) (5) the suction manifold, which is a non-linear refrigerant
dependent function of the suction pressure and the superheat
The amount of liquid refrigerant in the evaporator Mref,i in the manifold. hout-suc is assumed equal to hoe, the specific
follows a switched nonlinear dynamic governed by (4). It is enthalpy at the outlet of the evaporator.
assumed that the evaporator i is filled instantaneously when C. The Compressor
the valve i is opened (udisp,i = 1). Furthermore, when the
In most refrigeration systems, the compressor capacity is
valve is closed (udisp,i = 0) and all of the enclosed refrigerant
discrete-valued, as compressors can be switched only either
has evaporated (Mref,i = 0), then dMref,i/dt = 0. So, the on/off
on or off. Let nc denote the total number of compressors.
manipulated variables are udisp,i (i=1,2,..., nd), where nd is
The compressor bank is modeled using a constant
the total number of display cases.
When the refrigerant leaves the evaporator it flows on to volumetric efficiency ηvol and the maximal displacement
the suction manifold. The mass flow fi out of the evaporator volume Vsl. Thus, the volume flow Fcomp,i out of the suction
is given by equation (6). Where hie is the inlet enthalpy manifold created by the i’th compressor can be determined
which is a nonlinear refrigerant specific function of the by (9) where Ccomp,i is the i’th compressor capacity
condensing pressure and the subcooling and hoe is the outlet
4180
ThC20.5
( ∑i =1 C comp ,i = 100 ), and Fcomp = ∑i =1 Fcomp ,i is the total very similar switching frequencies. Therefore, the valves
nc nc
TABLE I
REFRIGERANT DEPENDED PROPERTIES
Property Property
Te = TBubP(Psuc) hoe = HTP(Te+Tsh,Psuc)
Δhlg = RT(Te+273.15) ρsuc = 1/VTP(Te+ Tsh,Psuc)
4181
ThC20.5
Several constraints apply on suction pressure Psuc and on linear optimization techniques (in terms on real variables)
air temperatures Tair,i. instead of mixed-integer non linear programming,
decreasing the complexity of the optimization procedure and
VI. HYBRID MPC saving computation time.
A natural approach to many decision problems is Model
u 1(t) pulse 1 pulse 2 pulse k
Predictive Control (MPC): An internal model of the process
is used to predict the future controlled variables behavior as 1
a function of the present and future control actions, which
are selected in order to minimize some performance index or 0
off on
···
cost function. The optimal control signals corresponding to
the present time are applied to the process and the whole
procedure is repeated in the next sampling period.
T1 off1 T1 on1 T 2off1 T2on1 ··· Tkoff1 Tkon1
In our case, the performance index to be minimized Fig. 4. Parameterization of integer decision variable u1(t). Definition of the
(according to the control objectives describe in section V) is pulse and the new real decision variables Tkon1 and Tkoff1 along the time.
the function
The parameterization consists on define two new real
T ⎛ nd
⎞ variables Tkon,i(t) and Tkoff,i(t) (k∈ℕ ) for each integer
J = ∫ ⎜⎜ α 1 ( Psuc − Psuc ) + ∑ α 1+ i (Tair ,i − Tairref,i ) 2 ⎟⎟ dt
ref 2
p
(10)
0
⎝ i =1 ⎠ manipulated variable ui (i=1, ...,nd, nd+1, ..., nd+nc). Tkon,i
and Tkoff,i denote the duration of the integer variable ui when
ref
where Psuc and Tairref,i are the set points of the controlled this variable is one and when it is zero respectively in each
pulse k, see Fig. 4. The times Tkon,i and Tkoff,i are unknown
variables (suction pressure and temperatures of each display variables that must be estimated along the prediction
case i), αi (i=1,...,1+nd) are appropriate weight factors and horizon.
Tp is the prediction time. Moreover, besides the internal
model, several constraints can be taken into account as the B. Predictions and Control Horizons
ones imposed by the range of the controlled and The prediction horizon (N2) in MPC corresponds to the
manipulated variables: future time interval used to compute predictions with the
internal model. In standard MPC, it is chosen longer than the
min
Psuc ≤ Psuc ≤ Psuc
max
process settling time. Notice that, in our framework of
(11) on/off manipulated variables, the process will never settle in
Tairmin,i ≤ Tair ,i ≤ Tairmax,i ∀ i = 1,..., nd
a stationary point, but will oscillate eventually reaching a
u i ∈ {0,1} ∀ i = 1,..., nd , nd + 1,..., nd + nc (12) stable operational pattern. So, instead, the prediction horizon
will be translated into Np, number of pulses of the slower
In the following, for simplicity, we will unify udisp,i and integer manipulated variable ui, assumed to be required for
ucomp,i into a single variable ui, with i ranging from 1 to obtaining a stable operational pattern. This means that, in
nd+nc, so that the first nd variables are associated with the order to compute the cost function (10), the internal model
display cases, and the second nc variables are associated will be integrated until the slowest train of pulses completes
with the compressors. Np pulses. Notice that each integer manipulated variable can
A. The Internal Model perform a different number of pulses in the same period of
time Tp.
The internal model used in the MPC controller is similar
Fig. 5 displays an example with two integer variables u1
to the continuous one based on first principles presented in
and u2 and Np=4 where the prediction horizon is the time
section III. However, it is formulated in a different way.
needed by u2 to implement four full pulses. We can observe,
Notice that, in (10), the manipulated variables ui are
that u1 makes more pulses (5 pulses).
integers, that correspond to the opening/closing of the valves
The concept of control horizon (Nu) in continuous MPC
in each display case udisp,i(t) and the start/stop of each
corresponds to the time interval where present and future
compressor ucomp,i(t) at every sampling time in the control
control actions are computed. After Nu sampling times, the
horizon. The optimization of (10) implies then solving a
controller maintains the last control signal computed at Nu
MINLP optimization problem every sampling time which is
until the end of the prediction horizon N2 in order to
not possible in real time. Nevertheless, we can avoid the use
compute the output predictions. In the hybrid environment,
of these integer variables by means of a new
the control horizon Nb,i corresponds to the number of pulses
parameterization converting the integer decision variables
of each manipulated variable ui for which the controller
into real decision ones that correspond to the time instants of
the switching. This approach allows using conventional non compute the decision variables Tkon,i and Tkoff,i, (on and off
periods of every pulse (k=1,2,3,…)). From the pulse number
4182
ThC20.5
Nb,i until the end of the prediction horizon Tp, the values of (implemented in a commercial library NAG for C) using a
the decision variables Tkon,i and Tkoff,i will be taken equal to schematic like the one of Fig. 6, that corresponds to a
the ones of the pulse Nb,i, so, the schedule of ui will be sequential approach where the cost function J (10) is
forced to follow the pattern of the Nb,i pulse, assuming that computed by integration of the dynamical internal model
the system should reach a stationary schedule, in a similar (1)-(9).
way to how the future control signals are treated in The simulation package integrates the internal model
continuous MPC. equations along the prediction horizon Np taking as initial
In the example considered in Fig. 5, The variable u1 has conditions the current process state and evaluating the
Nb,1=1, so, only the times T1on,1 and T1off,1, that correspond to formulated cost function J at the end of the integration. The
the first pulse will be computed and the same pattern will be internal model was simulated using the EcosimPro
applied in the following ones, that is to say, Tkon,1 = T1on,1 simulation language [7] which allows combining DAE
and Tkoff,1 = T1off,1 ∀ k > Nb,1 = 1. For u2 has been assigned (Differential Algebraically Equations) with events, while
Nb,2=2, so, the controller compute T1on,2, T1off,2, T2on,2 and performing a correct integration in spite of the model
T2off,2 and from the second pulse on, follow the pattern discontinuities. It belongs to the category of the so called
defined by the last T2on,2 and T2off,2 times computed, so Tkon,2 “modeling languages” that are object oriented, allows an
= T2on,2 and Tkoff,2 = T2off,2 ∀ k > Nb,2 = 2. easy re-use of the components and generates automatically
C++ code corresponding to the simulation. This code of the
u1(t) pulse 1 pulse 2 pulse 3 pulse 4 pulse 5 internal model is embedded in the controller, which has been
1 programmed in C++.
0
Converter
Tkon,i Tkoff,i ui(t) y(t)
T1on2 T1off2 T2on2 T2off2 ··· T4on2 T4off2
Constraints Non-linear Optimizer
min J
Process
Nb2=2 Np=4 (15) (17)
(11) (13)
4183
ThC20.5
and at the beginning of the evening (at 13:00), the display the prediction horizon was fixed in Np=3, which corresponds
cases are loaded with 400 Kg of goods at 3ºC of to predictions of around half an hour (1800 sec.), and the
temperature, see Fig. 7 and Fig. 8. The mass of goods in control horizons for every manipulated integer variable were
both display cases follow different patterns along the day, selected as Nb,1=Nb,2=Nb,3,=Nb,4=2. So the optimization
see Fig. 7. The nominal values for these disturbances are problem has 16 decision variables. Finally, the control
Qairload=900 J/s and Mgoods,1=Mgoods,2=400 Kg. Notice that, parameters (setpoints and maximum, minimum values
the internal model uses always these constant values to make permitted for controlled and decision variables) and weights
the predictions because they are nor measured. On the other αi in cost function (10) are given in Table. III.
hand, at the beginning of each prediction, the internal model
TABLE III
fix in 3ºC the initial value for the non measured states, the CONTROL PARAMETERS OF HYBRID MPC
temperature of goods (Tgoods,1 and Tgoods,2). The heat capacity Psuc T Ton,i (s) Toff,I (s) Ton,i (s) Toff,i
Tair,1 (ºC) air,2
of the goods are equal in both display cases (bar) (ºC) (s)
(Cpgoods,1=Cpgoods,2=1000 J/(Kg K)). Other parameters values valves compressors
maximum 4.4 4 4 100 600 600 600
and constants used in the non linear model are shown in minimum 4.0 0 0 10 100 60 60
Table II. setpoint 4.2 2 2 - - - -
weight 1 1 1 - - - -
Fig. 7. Non-measured disturbances: the external heat load, and the amount
of goods in each display case.
4184
ThC20.5
the perfect periodicity in all signals. This is a direct effect see [2]), making possible the implementation of this
produced by the policy used to force repeated pulses at the controller to larger refrigeration systems. Another advantage
end of the predictions (see section VI B). In this approach, is the decoupled of the manipulated variables from the
we need to make more starts/stops of the compressors than sampling time, this leads to the possibility to increase the
the traditional case, but also, we can observe that sampling time, but the control signals are always applied in
compressors never work at the same time, so, for this it corresponding exact instant calculated by the hybrid
supermarket and for the control objectives presented before, controller. However, for future works it is interesting try to
it is possible use only one compressor. decrease the time consumed by the optimization algorithm to
find the minimum. In our approach this time is around 40
seconds every sampling time (we have a sampling time of
60 seconds) but a MPC implementation with MLD models,
see [2], the optimization procedure needs only 9.7 seconds
to find the minimum. The differences between both
procedures are very significantly. On the other hand, in our
approach, the start/stop of the compressors is very
frequently, because, we are assuming and imposing that all
manipulated variables follow a periodical behavior. For the
compressors this can not be a desired behavior, and it is
important to investigate and try to improve this result, in
order to minimize these switching times.
REFERENCES
[1] L. F. S. Larsen, “Model Based Control of Refrigeration Systems,”
PhD thesis, Department of Control Engineering, Aalborg University,
Aalborg, Denmark, 2007.
Fig. 10. A zoom of the controlled variables, suction pressure and air [2] L. F. S. Larsen, T. Geyer and M. Morari, “Hybrid MPC in
temperature in both display cases corresponding with a 180 min. of supermarket refrigeration systems,” in 16th IFAC World Congress,
simulation in nominal conditions (from 6:00 to 9:00). Prague, Czech Republic, 2005.
[3] A. Bemporad and M. Morari, “Control of systems integrating logic,
dynamic, and constraints,” Automatica, vol. 35, 1999, pp 407-427.
[4] C. de Prada, D. Sarabia and S. Cristea, “Modelling and Control of
Four Tanks Mixed Logic Dynamical (MLD) System,” Dynamics of
Continuous, Discrete, and Impulsive Systems B: Applications and
Algorithms, vol. 12 (2), 2005, pp 243-264.
[5] Skovrup, M. J. “Thermodynamic and Thermophysical Properties of
Refrigerants”. Software package in Borland Delphi, Version 3.00.
[6] C. T. Lawrence and A. L. Tits, “A Computationally Efficient Feasible
Sequential Quadratic Programming Algorithm,” SIAM J.
Optimization, vol. 11 no. 4, 2001, pp 1092-1118.
[7] EA Int. (1999). EcosimPro User Manual. Available:
http://www.ecosimpro.com.
VIII. CONCLUSION
The control approach followed in this paper presents good
results on a realistic simulation under disturbances of a
supermarket refrigeration systems consisting in two display
cases and two compressors. In this approach, to add more
devices (display cases or compressors) implies an increase
on the decision variables but not in an exponential form (like
in MPC with MLD models and integer decision variables,
4185