Академический Документы
Профессиональный Документы
Культура Документы
I. I NTRODUCTION
Distributed parameter systems (DPSs) are characterized by
an infinite dimensional state [1], [2]. The dynamical behavior
of a distributed parameter system (DPS) is described by partial
differential equations (PDEs) [3]. Controller design for DPS
can be achieved following either the early or the late lumping
approaches [1]. Both approaches leads to a controller of high
dimension that involves the state of the DPS. Thus, due to the
dimension of the state, the implementation of the controller
needs the availability of the whole state. From practical point
of view, in addition to the noise that affects the measurements,
to have the whole state one needs to place all necessary sensors
which is physical impossible and very expensive.
Thus, an interesting and economical solution is to use
an observer to estimate the whole state of the DPS. State
estimation theory of DPSs constitutes an active research area
[3], [4]. If for linear DPSs, this theory is well-established, for
nonlinear DPSs few contributions are reported in the literature
and limited to bilinear DPSs [5]. For nonlinear DPSs, the
state estimation is more complex due to their nonlinear nature,
which needs sophisticated mathematical tools for both design
and convergence analysis of the observer.
In this paper, one propose to exploit the well-developed
state estimation theory of linear DPSs to design observers
for nonlinear DPSs. The idea is based on the use of tangent
transformations [6], which represent an interesting mathematical tool that simplifies the analysis of some nonlinear PDEs.
These transformations, under some sound assumptions, allow
to convert a nonlinear partial differential equation (PDE) to
a linear one. This idea is exploited in this work to design
an observer for a nonlinear DPS. Thus, by linearizing the
978-1-4673-6673-1/15/$31.00
2015
c
IEEE
x(z, 0) = x0 (z)
(1)
(2)
(3)
(4)
2015 IEEE
y(0) = y0
(7)
(6)
y(0) = y0
(10)
y(t)
= Ay(t) + Bu(t)
ym (t) = Cy(t)
(8)
(9)
y(0) = y0
ym (t) = C y(t)
y(t) = T
(12)
(13)
(14)
(x(t))
x
(t) = T (
y (t))
(15)
(16)
(17)
(18)
(19)
t
t
(20)
= lim T 1 (x) T 1 (
x) = 0
(21)
hence
lim T 1 (x) = lim T 1 (
x)
Under the assumption that the ratio = kc is approximately constant, the nonlinear diffusion equation can be
linearized by the Kirchhoff tangent transformation, which is
a particular case of the Cole-Hopf tangent transformation
[10]. This assumption is acceptable from physical viewpoint
since the thermal conductivity changes very slowly with the
temperature x [11]. The Kirchhoff tangent transformation is
defined as follows [10]
y = T 1 (x)
Z x
1
k() d
=
k(0) 0
or equivalently
lim (x x
) = 0
(23)
ym
T 1
+
+
B. Filtering problem
For this problem, it is assumed that the whole state x is
available but corrupted with Gaussian white noise signal
of standard deviation = 50 K, that is, the measured state
is xm = x + . In this case, one consider the filtering of
the temperature of the steel plate due to the initial condition
x(z, 0), that is, without heated source. The complete model is
x(z, t)
x(z, t)
c(x(z, t))
=
k(x(z, t))
(27)
t
z
z
x(0, t) = 800 [K]
(28)
x(L, t) = 800 [K]
(29)
(30)
y(z, 0) = T
(31)
(32)
(x(L, t))
(33)
(x(z, 0))
(34)
ym = y
x
Nonlinear observer
(35)
= xm +
T
(26)
Remark 3: The derivation of the Kirchhoff tangent transformation is discussed in detail in [10].
y(L, t) = T
u
(25)
(22)
(24)
y(z, t)
y(z, t)
=
+ 6 sin(z)
t
z 2
y(z, 0) = y(z, 0)
x
= T (
y)
(37)
(ym y) dz
(38)
(39)
C. State estimation
12
q (1z)
(z) = q e
2
0
0
1000
2000
3000
4000
5000
t [s]
Fig. 2. Filtering problem: evolution of the L2 -norm of the estimate error
e(t).
50
45
(45)
40
35
(46)
(47)
30
25
20
15
10
5
0
0
t [s]
5
4
x 10
(51)
(52)
(44)
(z)
t
z 2
z
z
(48)
y(0, t)
q
y(0, t)
(49)
z
k(0)
y(L, t) = T 1 (xL (t))
(50)
y(z, 0) = T 1 (x(z, 0))
(43)
ke(t)kL2 ()
10
ke(t)kL2 ()
x(z, t)
x(z, t)
=
k(x(z, t))
(40)
c(x(z, t))
t
z
z
x(0, t)
= q x(0, t) (q = 102 )
(41)
z
x(L, t) = xL (t)
(42)
(53)
(54)
x
z
(55)
y(z, t)
2 y(z, t)
ym (L, t) y(L, t)
=
(z)
t
z 2
z
z
(56)
y(0, t)
q
=
y(0, t)
(57)
z
k(0)
y(L, t) = T 1 (xL (t))
(58)
D. Simulation results
The capabilities of the designed nonlinear observer are
evaluated through numerical simulation runs. The observers
are implemented using the method of lines [13]. The quality
of the results is quantified by assuming the L2 -norm of the
estimation error defined as follows
(59)
x
(z, t) = T (
y (z, t))
(60)
ke(t)k2H=L2 () =
Z
0
x(z, t) x
(z, t)2 dz
(61)
The results obtained for the filtering and the state estimation
are given by Figure 2 and 3, respectively. These Figures show
the good performance of the proposed nonlinear observer in
reconstructing the state. In the case of filtering (Fig. 2), e(t) is
bounded. This is expected because with noisy measurements
it is not possible to achieve a zero estimation error. In the state
estimation case (Fig. 3), it follows that the e(t) converges to
zero.
VII. C ONCLUSION
In this paper, a state estimation scheme is proposed for a
nonlinear DPS. The observer developed is constructed around
a linear observer designed for an equivalent linear model
obtained using a tangent transformation. This transformation
represents the relation that exists between the state of the
linear system and the state of nonlinear system. Thus, having
estimate the state of the linear system using well-developed
observers, one can deduce the estimate state of the nonlinear
system using the tangent transformation. The performance of
the proposed observer is demonstrated by simulation in the
case of a nonlinear heat equation.
R EFERENCES
[1] Christofides PD. Control of nonlinear distributed process systems: recent
developments and challenges. AIChE Journal 2001; 47(3):514518.
[2] Curtain RF, Zwart H. Introduction to Infinite-Dimensional Linear Systems Theory. Springer-Verlag, 1995.
[3] Ray WH. Advanced Process Control. Butterworths: Boston, 1989.
[4] Hidayat Z, Babusska, De Schutter B, Nun ez. Observers for Linear
Distributed Parameter Systems: A Survey. In Proceedings of the 2011
IEEE International Symposium on Robotics and Sensors Environments
Montreal, Canada, 2011; pages 166171.
[5] Bounit A, Hammouri. Observers design for infinite dimensional bilinear
systems. European Journal of Control 1997; 3(1):325339.
[6] Meleshko SV. Methods for Constructing Exact Solutions of Partial
Differential Equations. Mathematical and Analytical Techniques with
Applications in Engineering. Springer-Verlag, 2005.
[7] Emirsjlow Z, Townley S. From PDEs with Boundary Control to the
Abstract State Equation with an Undounded Input Operator: A Tutorial.
European Journal of Control 2000; 6(1):2749.
[8] Smyshlyaev A, Krstic M. Backstepping observers for a class of parabolic
PDEs. Systems and Control Letters 2007; 54(7):613625.
[9] Taler J and Duda P. Solving Direct and Inverse Heat Conduction
Problems. Springer-Verlag, 2006.
[10] Vadasz P. Analytical solution to nonlinear thermal diffusion: Kirchhoff
versus Cole-Hopf transformations. Journal of Heat Transfer 2010;
132(12):121302.1121306.6.
[11] Farlow SJ. Partial Differential Equations for Scientists and Engineers.
Dover Publications, 1982.
[12] Meditch JS. Least-Squares Filtering and Smoothing for Linear Distributed Parameter Systems. Automatica 1971; 7(3):315322.
[13] Van de Wouwer A, Saucez P, Schiesser WE. Adaptive method of lines.
Chapman and Hall/CRC, 2001.