Professional Documents
Culture Documents
Backstepping Control
We have seen in Section 5.3 that there is always a proper coordinate transformation
such that any system of two linear balance laws can be written in the general form
@t S1 C 1 .x/@x S1 C a.x/S2 D 0;
t 2 0; C1/; x 2 0; L; (7.1)
@t S2 2 .x/@x S2 C b.x/S1 D 0;
where 1 , 2 are in C1 .0; LI RC / and a, b are in C1 .0; LI R/. This system is here
considered under the boundary conditions
where is a real constant. This is a control system where u.t/ 2 R is the command
signal. From Section 5.6, we know that, if this system is open-loop unstable, there
is a limitation to the stabilization with a static boundary output feedback (i.e., a
feedback of the state values at the boundaries only): there is a maximal length L
above which the stabilization by a static boundary output feedback is impossible.
In this chapter, we show how this limitation can be bypassed by using a dynamic
boundary output feedback in the so-called observer-controller form. In a first
step, we design a full-state feedback control law. Then we design a boundary
feedback state observer. Finally the stabilizing output feedback controller is built
by combining both designs.
We define a linear reference model of the following form:
S1? .t; 0/ D kS2? .t; 0/; S2? .t; L/ D S1? .t; L/; t 2 0; C1/; (7.4)
where k is a tuning parameter selected such that jk j < 1. According to Theo-
rem 2.4, this reference model is exponentially stable for the L2 -norm. The design
method is then to seek a feedback control law which transforms the closed loop
system into this reference model (which, for this reason, is also called target system
in the literature).
where the map P W X ! M2;2 , with X , f.x; /I 0 6 x 6 6 Lg. The map
S.t; :/ 7! S? .t; :/ is a Volterra transformation of the second kind. The transformation
is linear, continuous, and bijective from L2 ..0; L/I R2 / into L2 ..0; L/I R2 /, see
Volterra (1896) and Evans (1910).
Using (7.5) and (7.6), we have
Z L
St .t; x/ D S?t .t; x/ C P.x; /St .t; /d
x
Z L
D S?t .t; x/ P.x; / ./Sx .t; / C M./S.t; / d
x
Z L
D S?t .t; x/ C P .x; /./ C P.x; /x ./ P.x; /M./ S.t; /d
x
with
E3 .x; / , P .x; /./ C .x/Px .x; / C P.x; /x ./ P.x; /M./:
We denote
p00 p01
P, :
p10 p11
Let us now show how the map P can be selected such that E1 D 0, E2 D 0, and
E3 D 0. We see that E1 D 0 is equivalent to
a.x/ b.x/
p01 .x; x/ D ; p10 .x; x/ D : (7.9)
1 .x/ C 2 .x/ 1 .x/ C 2 .x/
222 7 Backstepping Control
P .x; /./ C .x/Px .x; / C P.x; /x ./ P.x; /M./ D 0 (7.11)
under the boundary conditions (7.9) and (7.10). The well-posedness of the sys-
tem (7.9), (7.10), and (7.11) is established in Vazquez et al. (2011) for 0.
In the special case where D 0, the reference model is modified as follows:
@t S1? C 1 .x/@x S1? g.x/S2? .L; t/ D 0;
In order to realize the dissipative boundary condition (7.4), the feedback control law
is defined as
Z
L
u.t/ D kS2 .t; 0/ C p00 .0; / kp10 .0; / S1 .t; /
0
C p01 .0; / kp11 .0; / S2 .t; / d; (7.12)
where k is a tuning parameter selected such that jk j < 1. Hence this control law
exponentially stabilizes the control system (7.1), (7.2). In the special case of a dead-
beat control (i.e., k D 0), the steady state is reached in finite time
Z
L
1 1
tF D C d:
0 1 ./ 2 ./
7.3 Observer Design and Output Feedback 223
Obviously, from (7.12), the practical implementation of this feedback control law
needs the on-line knowledge of the full state S.t; x/ on 0; L. In the next section,
we shall see how this knowledge can be provided by a state-observer that uses a
boundary on-line measurement of S2 .t; 0/ only.
The objective is now to design an observer for the on-line estimation of S.t; x/.
Assuming that the output S2 .t; 0/ is measured on-line, the observer is a copy of the
system (7.1) with additional so-called output injection terms:
b .x/
St .t; x/ C .x/b
Sx .t; x/ C M.x/b
SC 1 S2 .t; 0/ b
S2 .t; 0/ D 0 (7.13)
2 .x/
b
S1 .t; 0/ D u.t/; b
S2 .t; L/ D b
S1 .t; L/: (7.14)
In these equations, the estimates are denoted by a hat accent while 1 .x/ and 2 .x/
are the output injection gains. We define the estimation errors
e
S1 , S1 b
S1 ; e
S2 , S2 b
S2 :
Then the so-called error system is obtained by subtraction of the observer equa-
tions (7.13) from the system equations (7.5):
St .t; x/ C .x/e
e Sx .t; x/ C M.x/e
S N.x/e
S.t; 0/ D 0; (7.15)
e
S1 .t; 0/ D 0; e
S2 .t; L/ D e
S1 .t; L/: (7.16)
In order to find the output injection gains i .x/, we use a backstepping transforma-
tion of the following form:
Z x
e
S.t; x/ , S] .t; x/ C e
P.x; /S] .t; /d: (7.18)
0
224 7 Backstepping Control
] ]
@t S2 2 .x/@x S2 D 0;
] ]
S1 .t; 0/ D 0; S2 .t; L/ D S1 .t; L/:
with
]
A.t; x/ , St .t; x/ C .x/S]x .t; x/
]
E1 .x/ , e
P.x; x/.x/ .x/e
P.x; x/ M.x/;
]
E2 .t; x/ , .N.x/ e
P.x; 0/.0//S] .t; 0/;
]
E3 .x; / , P .x; /./ C e
P.x; /x ./ C M.x/e
P.x; / C .x/e
Px .x; /:
Denoting
e pQ 00 pQ 01
P, ;
pQ 10 pQ 11
a.x/ b.x/
p01 .x; x/ D ; p10 .x; x/ D : (7.21)
1 .x/ C 2 .x/ 1 .x/ C 2 .x/
7.3 Observer Design and Output Feedback 225
] ]
Using the boundary condition S1 .t; 0/ D 0, we see that E2 .t; x/ D 0 if
0
.N.x/ e
P.x; 0/.0// D 0 for any S2 .t; 0/;
S2 .t; 0/
and therefore if the output injection gains are chosen such that
1 .x/ D 2 .0/Qp01 .x; 0/; 2 .x/ D 2 .0/Qp11 .x; 0/: (7.22)
] ]
Moreover, in order to satisfy the boundary condition S2 .t; L/ D S1 .t; L/, we impose
]
Then, in order to have E3 .t; x/ D 0, the matrix function e
P.x; / is defined as the
solution, in the domain XQ , f.x; /I 0 6 x 6 6 Lg, of the matrix hyperbolic
partial differential equation
e
P .x; /./ C e
P.x; /x ./ M.x/e
P.x; / C .x/e
Px .x; / D 0 (7.24)
under the boundary conditions (7.21) and (7.23). The well-posedness of the
system (7.21), (7.23), (7.24) is established in Vazquez et al. (2011).
The exponential stability of the error system (7.15) follows. This implies that the
state estimate bS.t; x/ exponentially converges to the real state S.t; x/, and even in
finite time in the special case where D 0.
A stabilizing output feedback controller is then obtained by combining the full
state feedback controller (7.12) and the observer (7.13) as
Z
L
u.t/ D kS2 .t; 0/ C p00 .0; / kp10 .0; / bS1 .t; /
0
C p01 .0; / kp11 .0; / b
S2 .t; / d; (7.25)
In this section, we briefly examine how the backstepping control approach can be
extended to the nonlinear case, with a local stability property. We consider a general
system of two balance laws in quasilinear form:
A W R2 0; L ! M2;2 .R/; B W R2 0; L ! R2 ;
A.0; x/ D diag f1 .x/; 2 .x/g with i .x/ > 0 and B.0; x/ D 0 8x 2 0; L:
Remark that these assumptions imply that Z 0 may be a steady state of the
system. With the notation Z , .Z1 ; Z2 /T , the system (7.26) is considered under
boundary conditions of the following form:
where the functions '1 and '2 are given by (5.26). Then, it can be shown (for details
see Coron et al. (2013)) that the quasilinear system (7.26) is written as follows in
the S coordinates:
where
! !
1 .x/ 0 0 a.x/
.x/ , ; M.x/ , ;
0 2 .x/ b.x/ 0
'1 .x/ '2 .x/
a.x/ , 1 .x/; b.x/ , 2 .x/;
'2 .x/ '1 .x/
and
h i
f .S; x/ , .x/ A.1 .x/S; x/ .x/ @x 1 .x/S
with
'2 .L/ 0 S1
, G .0/ and g.S1 / , '2 .L/G. / S1 :
'1 .L/ '1 .L/
It is clear that, in these equations, the nonlinear terms satisfy f .0; x/ D 0, g.0/ D 0,
and g0 .0/ D 0. Then we see that the linear parts of (7.29) and (7.30) are indeed
identical to the linear system equations (7.1) and (7.2) in Section 7.1.
Therefore, it is quite natural to apply the linear observer-controller designed in
the previous sections to the quasi-linear system case and to get a local stability
property in H 2 -norm in the same vein as what has been done in Section 6.2. The
details of the analysis can be found in Coron et al. (2013).
designs were proposed for the heat equation in Liu (2003) and Smyshlyaev and
Krstic (2004). The applications to wave equations appeared later in Krstic et al.
(2008), Smyshlyaev and Krstic (2009), Smyshlyaev et al. (2010). An excellent
introduction to the backstepping method for PDEs is the book Boundary control of
PDEs: A course on backstepping designs by Krstic and Smyshlyaev (2008b).
In this chapter we have only considered systems of two hyperbolic balance laws.
More general systems have also been considered in the literature: linear systems
with only one negative characteristic velocity in Di Meglio et al. (2013), systems of
three linear balance laws in Hu and Di Meglio (2015), systems of n linear balance
laws in Hu et al. (2016), and systems of n nonlinear balance laws in Hu et al.
(2015b). Note that in all these papers the reference models (target systems) need
to be more complicated than in this chapter.
Let us finally mention the following interesting contributions on the backstepping
approach for hyperbolic systems.
An extension of backstepping to Navier-Stokes two-dimensional time-varying
problems can be found in Vazquez et al. (2008)
In some cases it is useful to use more general integral transformations than
integral Volterra transformations of the second kind: see Smyshlyaev et al. (2009)
for an Euler-Bernoulli beam equation and Coron and L (2014) for a Korteweg-
de Vries equation.
In the special case of systems of two linear balance laws, it is possible to find
the exact analytical solution to a Goursat PDE system governing the kernels of a
backstepping-based boundary control law that stabilizes the system, see Vazquez
and Krstic (2013).
The backstepping method can also be extended to design adaptive output feed-
back controllers for hyperbolic systems with the goal of disturbance rejection,
see Aamo (2013), or to account for unknown parameters, see Bernard and Krstic
(2014).
In Lamare et al. (2015a), the backstepping method is used for trajectory
generation and the design of PI controllers for 2 2 linear hyperbolic systems
with nonuniform coefficients.