Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Abstract— This paper reports a Pointwise Min-Norm control Function (CLF) techniques for adaptive control of hyperbolic
(PWMN) general result for a class of distributed systems that systems are described in [16].
include transport phenomena associated with fluid flow in pipes Nonlinear Model Predictive Control (NMPC) for lumped
and open pool canals. The main goal is to find a numerical
control scheme that ultimately can be embedded in a more systems is a well understood control methodology and its
general Nonlinear Model Predictive Control formulation as an main results can be found in [10] and [27]. For a survey
alternative to ensure closed-loop stability, for moderate values see [28]. Predictive control of hyperbolic PDE systems,
of the receding horizon without increasing dramatically the namely transport-reaction processes, was studied in [8]
computational effort. In fact the PWMN control can be viewed and [29] for SISO cases. In the former the controller is
as the NMPC limit stabilizing solution when the predictive
horizon value goes to zero. A tubular system with finite escape based on a predictive model developed using the method
traveling time is used to illustrate the control performance. An of characteristics and does not consider constraints. In the
application to a canal pool modeled by Saint-Venant’s equations latter finite differences for space discretization and a space
is also given. Canals are formed by a sequence of pools sep- distributed actuator were used with good results.
arated by gates. Water distribution canals provide interesting Adaptive predictive control was obtained via Orthogonal
examples of distributed parameter plants for nonlinear control
application. Collocation reduced modeling, for SISO hyperbolic tubular
transport-reaction processes, can be found in [13] and [14].
I. INTRODUCTION A successful application, for a distributed uncertain solar
power plant, where NMPC was combined with Feedback
This paper describes a Robust Pointwise Min-Norm (RP- Linearizing is presented in [18] and with Lyapunov Adap-
WMN) control general result for a class of distributed tation in [15]. A wide bibliography on water distribution
systems with fluid flow, heat transfer and (bio)reactions pro- in open canals control is available. For a selection of the
cesses modeled by a set of hyperbolic and/or parabolic PDE controller structure combined with robust design methods
equations including convective and dispersive phenomena. in order to achieve a compromise between water resources
This broad class of models arises from physical conservation management and disturbance rejection see [23]. Predictive
principles by balances of mass, energy and linear momentum control with adaptation is considered in [11] and [21] and
and can describe the temperature and (bio)chemical species also in [17] for a multivariate NMPC application to a water
distribution on moving fluids through pipes [2], [24] and also canal pool.
fluids hydraulics in open pool channels at atmospheric pres- In this paper the main goal is to establish a numerical
sure, predicting velocity and mass, space and time behavior PWMN control scheme that ultimately can be combined in
[6]. a more general NMPC design as a way to ensure closed-
Pointwise Control for nonlinear finite dimensional systems loop stability, for moderate values of the prediction horizon,
can be found on several seminal nonlinear control text books and without increasing dramatically the computational effort
[30], [9]. For the control of infinite dimensional see [4] or massive off-line computation. In fact, the PWMN control
and [5]. The first introduces linear control theory for infinite can be viewed as the NMPC limit stabilizing solution when
dimensional systems using semigroups in a mathematical the horizon value goes to zero. The rest of the paper is orga-
background. In the second robust control methodologies to nized as follows: Section 2 introduces the class of systems
deal with hyperbolic and parabolic distributed systems are under study. Section 3 states the main result for RPWMN
developed and a prototype system closely related with the control and discuss its use as a stabilizing limit solution for
present class of systems is introduced. continuous NMPC formulation. Section 4 presents a detailed
In the last decade the use of a PWMN stability condition example for a tubular system with finite escape traveling time
for predictive control was studied in [26] and [12] using and section 5 is dedicated to a canal pool modeled by Saint-
a slightly different approach. Similar Control Lyapunov Venant equations application to illustrate by simulation the
proposed control scheme. Section 6 draws conclusions.
Part of this work was performed in the framework of project AQUANET,
supported by FCT under contract PTDC/EEA-CRO/102102/2008. II. MODELS
J. M. Igreja is with ISEL, Rua Cons. Emı́dio Navarro, 1, 1959-007 Lisboa,
Portugal. jigreja@deea.isel.ipl.pt Consider the following class of PDE models:
J. M. Lemos is with INESC-ID/IST, Rua Alves Redol, 9, 1000-029 ∂ x(z,t)
Lisboa, Portugal. jlml@inesc.pt + L (x(z,t), u(t); θ ) = s(x(z,t), u(t); θ ) (1)
S. J. Costa is with ISEL, Rua Cons. Emı́dio Navarro, 1, 1959-007 Lisboa, ∂t
Portugal. sjcosta@deq.isel.ipl.pt M (x(z,t), u; θ ) = 0
2663
Consider what happens as the horizon T tends to zero: where γ = θuL . Denoting x(0,t) = xin for the boundary
condition, then the solution for the stationary state profile
1 t+T
min lim (V (e(z, τ )) + ρ uT u)d τ is:
u T →0 T t xin
xr (z) = (14)
= min {V (e(z, τ )) + ρ uT u} ⇔ min uT u (10) 1 − γr xin z
u u
Remark that dividing (9) by T has no effect on the opti- With the output set-point xr (1,t) = r, and using (14) it
mization problem and also that when T goes to zero there follows:
is no need to include the term V (e) because it is not affected xin θ rxin
r= and ur = , (15)
by u and so forth constant. Hence this simple observation, 1 − γr xin r − xin
stated in [26], indicates that as T goes to zero receding with ur > 0 which implies r > xin . Substituting (15) in (14)
horizon controllers loses the ability to maintain acceptable it yields:
performance just by minimizing input energy. Performance rxin
xr = (16)
degradation can lead in general to closed-loop instability if r − rz + xin z
the RPWMN condition or some other equivalent mechanism for xr (0) = xin and xr (1) = r.
is not included to assure stability. Remark also that the Stabilizing around the stationary profile, using the candi-
constraint requires V to be a RCLF for any receding horizon date Lyapunov function:
value and by that closed-loop stability is guaranteed. 1
1
IV. FINITE ESCAPE TRAVELING TIME V= e2 dz (17)
2 0
DISTRIBUTED SYSTEM
Consider a possibly uncertain distributed hyperbolic sys- with e = x − xr . Differentiating (17) with respect to time:
1 1
tem with finite traveling escape time, is given by: u ∂x
V̇ = − e dz + e θ x2 dz (18)
∂ x u(t) ∂ x L 0 ∂z 0
+ = θ x2 (11)
∂t L ∂z The feasible optimization problem can be written as:
with parameter θ > θ > θ > 0, solving for x(0,t) = 0 it
min u2 (19)
yields: u>0
1 ∂x u ∂x
x(z,t) = (12) s. t. + = θ x2
ϕ (z, 0) − θ t ∂t L ∂z
1
where ϕ (z, 0) = x−1 (z, 0). Clearly for constant velocity u > u 1 ∂x 1 1 2
− e dz + max θ e x dz + α
2
e dz < 0
θ L to stabilize the system around x(z,t) = 0 if x(z, 0) = 1, L 0 ∂z θ 0 2 0
see Fig. 1.
yielding the following dynamical bound max{V̇ } + α V < 0.
In this case, an analytical solution can be found for (19):
1
Θ̌ e x2 dz + α V
3 u= 0
1 ∂x
L (20)
0 e ∂ z dz
2
where Θ̌ switches from θ to θ with sign( 01 e x2 dz). Remark
1 that u is well-defined because 01 e ∂∂ xz dz = 0 outside the
curve level V (e) = φ and the space operators converge
0 exponentially to zero as e(z,t) → 0. In fact this can be shown
−1
observing that the PDE solution x(z,t) = (xin − θ zL/u(t))−1 ,
−1
1
along characteristic curve ż = u(t)/L, implies ∂∂ xt > 0 and
0.8 e(z,t) = 0 for any z = 0, outside the invariant region.
0.6 Remark also that equation (20) coincides with the control
0.4
0.6
0.8 law obtained through feedback linearization with y ≡ V with
0.2 0.4
Length [m] 0 0.2 a characteristic index equal to one outside the invariant
0
Time [s] region [4].
Figs. 2 and 3 show x(z,t) and u(t) when the set-point
Fig. 1. Numerical solution, by 200 finite differences, for u=2.5 m/s, θ = 2 suddenly changes from 3 to 2 at t = 5 s. This simulation
and x(z, 0) = 1. results were obtained solving (19) for 200 space finite
∂x differences. Figs. 4 and 5 show x(z,t) and u(t) when the
The space stationary profile, defined by ∂t ≡ 0, can be
set-point changes from 3 to 2 at t = 5 s, and from 2 to 3
obtained from:
dx(z) again at t = 10 s for bounded uncertain θ . Remark that in
= γ x2 (13) both cases ur is unknown.
dz
2664
3.5
3.5
3
3
2.5
2.5
x(z,t)
x(z,t)
2 2
1.5 1.5 1
1
1 0.5 1 0.5
0 2 0
4 6 5 z
8 0 10
10 z 15 0
t [s] 20
t [s]
Fig. 2. State x(z,t) transition, for θ = 2, α = 2 and φ = 0.0001. Fig. 4. Robust state x(z,t) transition, for θ ∈ [1.8 2.2], α = 2 and φ =
0.0001.
4
4.2
3.9
4
3.8
3.7 3.8
3.6
u [m/s]
3.6
u [m/s]
3.5
3.4 3.4
3.3
3.2
3.2
3.1 3
3
0 2 4 6 8 10 2.8
t [s] 0 5 10 15 20
t [s]
set of hyperbolic partial differential equations that embody v(0,t) = cd Ad (u) (2g(Hu (t) − h(0,t)))/a(h(0,t)) (22)
2665
TABLE I
P OOL PHYSICAL PARAMETERS .
h(z,t) [m]
Bottom width b 0.15 m 1.6
Trapezoid slope d 0.15 −
Canal slope J 2 × 10−3 − 1.5
Upstream elevation Hu 2.0 m
Downstream elevation Hd 1.0 m
1.4
1
40
0.5
20
30
0.25
0.2
u [m]
0.15
0.1
0.05
0
0 5 10 15 20 25 30 35 40
t [s]
2666
[6] Debnath, L. Nonlinear Partial Differencial Equations for Scientists
0.3
and Engineers, Birkhäuaer, 1997.
[7] Dochain, D., J. P. Babary and N. Tali-Maamar. Modelling and Adap-
0.25 tive Control of a Nonlinear Distributed Parameter Bioreactors via
Orthogonal Collocation, Automatica, Vol. 28, N◦ 5, pages 873-883,
0.2
1992.
[8] Dubljevic, S., P. Mhaskar, N. H. El-Farra and P. Cristofides. Predictive
control of transport-reaction processes. Computer and Chemical
0.15 Engineering, Vol. 29, pages 2335-2345, 2005.
u [m]
2667