You are on page 1of 6

ABSTRACT

The backstepping method was applied to a tank system


to control the flow and temperature at the exit. A
backstepping control law and a robust backstepping
control law were developed for the plant without and
with uncertainties, respectively. The designed control
system is asymptotically stable for the plant without
uncertainties and globally uniformly bounded for the
plant with uncertainties.
1. INTRODUCTION
Over the past few years, a considerable number of studies
have been devoted to a new control design methodology:
backstepping ([1]). Unlike feedback linearization,
backstepping can avoid the cancellation of useful
nonlinearities. So, it offers the prospect of a more
practicable nonlinear control law.
This paper describes the application of the backstepping
control strategy to a tank system to control the flow and
temperature at the exit. Mathematical models of the
system are first derived. Then, a backstepping controller
is designed for the nominal plant. However, there are
usually some uncertainties in the mathematical model
of the plant. To achieve robustness for the control system,
a robust backstepping controller is designed by improving
the backstepping control law to guarantee global uniform
boundedness.
Nomenclature
q
i
Rate of inflow of the water ( / ) m s
3
q
o
Rate of outflow of the water ( / ) m s
3

i
Temperature of the inflow (K)

o
Temperature of the outflow (K)

a
Air temperature (K)
h Height of the water level (m)
Flow and Temperature Control of a Tank System
by Backstepping Method
JinHua She
Tokyo Engineering University, Hachioji, Tokyo, Japan, she@cc.teu.ac.jp
Hiroshi Odajima
Advanced Film Technology Inc., Musashino, Tokyo, Japan, PXW13142@niftyserve.or.jp
Hiroshi Hashimoto
Tokyo Engineering University, Hachioji, Tokyo, Japan, hashimoto@cc.teu.ac.jp
Minoru Higashiguchi
Tokyo Engineering University, Hachioji, Tokyo, Japan, hgsgh@cc.teu.ac.jp
A Cross-sectional area of the tank ( ) m
2

i
Heater supplied (W)
R Equivalent heat resistance of the tank (K/W)
a Discharge coefficient of valve ( / )
.
m s
2 5
Density of water ( / ) kg m
3
c
p
Specific heat of water ( / / ) J kg K
2. MATHEMATICAL MODEL OF THE TANK
SYSTEM
The tank system studied here is shown in Fig. 1. In this
system, cold water is sent to the tank from a waterworks.
The water is heated in the tank, and then sent out. The
system has two control inputs: the rate of inflow and the
heater supply. The rate and temperature of the inflow,
the rate of the outflow, and the temperature of the water
in the tank are known.
The rate of outflow is given by
dh
dt
q q
A
i o


, (1)
q a h
o
, (2)
and
q q
o m
> 0. (3)
Let
T
be the heat that the water in the tank possesses,

o
be the heat that the output water takes away,
S
be
the heat released to the air and
c
be the heat that the
inflow brings in, and assume that the temperature of the
water in the tank is uniform. Then we have

T o s c i
+ + . (4)
FIGURE 1: The tank system.
and

T
p
o
o
A c
a
q
d
dt



2
2
, (5)

o p o o
c q , (6)

s
o a o a
o
R h A R q


[ , ] [ ]
, (7)

c p i i
c q . (8)
From the above relationships, the model of the tank can
be written as
dq
dt
a
A
a
A q
q
d
dt
B
c
q q R
B
q R
Bc
q
q
B
q
o
o
i
o
p
o o
o
a
o
p i
o
i
o
i
+
+ +
+ +

'

2 2
2 2
2 2
2 2
1
1

( )
,
(9)
where
B a Ac
p

2
/( ) .
It is clear from (9) that the tank system is a two-input
two-output nonlinear system. If we let q
o
and
o
be
the desired outputs, then the control objective is to make
the outflow and temperature track them. In the design
of such control systems, the flow sub-system and the
temperature sub-system are usually considered
separately, and the correlation between the controlled
outputs is ignored. Linear control theory is mainly used
for control system design. In particular, PID controllers
are generally designed for each linearized sub-system
([2]).
In this study, we used the MIMO nonlinear model directly
so as to take the nonlinearties of the plant and the
correlation between the controlled outputs into account.
Decomposing the outputs yields
q
i
, q
i
q
o
, q
o
h
F
i
q q q
o o oe
o o oe
+
+

'

,
(10)
where q
oe
and
oe
are the errors between the real and
the desired outputs. If we substitute (10) into (9) and
transform the control inputs into
q q q u
q q c
R R
q q c u
i o oe q
i o oe p o
a
o oe p i
+ +
+ +
+ +

'

( )( )
{( ) }
( ) ,
1
1

(11)
then the plant model becomes
dq
dt
a
A
u
d
dt
Bc
q q
B
q q R
Bc
q q
u
B
q q
u
oe
q
oe
p oe
o oe
oe
o oe
p i
o oe
q
o oe


+

+
+
+
+
+

'

2
2
2
2

( )
( )
.

(12)
If we let
x q
oe oe
T
:
[ ]
, (13)
and rewrite the model in the form:
dx dt f x g x u g x u
q
/ ( ) ( ) ( ) + +
1 2
, (14)
then
f x
Bc
q q
B
q q R
g x
a
A
Bc
q q
g x
B
q q
p oe
o oe
oe
o oe
p i
o oe
o oe
( )
( )
( ) ( )
( )
.

+

+

1
]
1
1

1
]
1
1
1
1

1
]
1
1

'

0
2
0
2
1
2
2
2

(15)
(14) is the nominal model of the plant. Since it is hard
to obtain an exact model of a real plant, it is useful to
include uncertainties in the plant model as follows:
dx dt f x g x u g x u
a
A q q
B
q q
q
o oe o oe
T
/ ( ) ( ) ( )
( )
,
+ + +

+ +

1
]
1

'

1 2
2
1 2 2
2
1



(16)
with

1 1 2 2
, . (17)
3. DESIGN OF BACKSTEPPING CONTROL
LAWS
We first consider a plant without uncertainties. If a
Lyapunov function is defined as
V x x x q
T
oe oe
( ) : +
1
2
1
2
1
2
2 2
, (18)
it is clear that the following control law

u
u
x
x
g x g x
k q
k
k
A
a
q
B
q q k q k q q
q q q oe
oe
q oe
o oe q i oe o oe oe

1
]
1

1
]
1

[ ]

1
]
1

+ + +

1
]
1
1
1

:
( )
( )
( ) ( )
( )[ ( ) ]

1 2
1
2
2
1
2
(19)
makes
dV
dt
V
x
f g g
q
+ +

( )
1 2
negative definite if
k k
q
,

> 0 (20)
are chosen.
Now, backstepping the plant (14) gives
dx dt f x g x v g x v
d
dt
v
v
u
u
q
q q
/ ( ) ( ) ( )
.
+ +

1
]
1

1
]
1

'

1 2

(21)
A new Lyapunov function is selected:
V V x z z
a q
: ( ) + +
1
2
1
2
2 2

, (22)
where
z v x
z v x
q q q
: ( )
: ( )

'


. (23)
Then we have the following lemma.
Lemma 1: The control law
u k k
A
a
a
A
q k k v
Bc
q q
q q oe q q
p i
o oe
oe
+ +

+
( ) ( )
,
1 2
2
1
2
2

(24-1)
u k v
B
q q k q
k q q c k q q
k q q v k c q q
k
R
c q q v v
B
o oe q i oe
o oe oe p q i o oe
o oe oe q p oe o oe
oe
p i o oe q
oe

+ +
+ + +
+ + + +
+ +

2
1
2
2
{ ( )[
( ) ]} { ( )
( ) } ( )
{ ( ) }

(( ) q q
o oe
+
2
(24-2)
guarantees the global asymptotic stability of the system
(21) at ( , ) ( , ) q q
o o o o
for any k k
1 2
0 , > .
Proof:
dV dt dV dt v u d dt
v u d dt
V
x
f g g g z g z
z u
x
f g v g v
z u
x
f g v g
a q q q q
q q
q q
q
q
q
/ / ( )( / )
( )( / )
( )
[ ( )]
[ (
+
+
+ + + +
+ + +
+ + +



1 2 1 2
1 2
1 2
vv

)].
So, if the control law is chosen to be
u k v
x
f g v g v
V
x
g
k v k
A
a
q k v
a
A
q
Bc
q q
k k
A
a
a
A
q k k v
Bc
q
q q q
q
q
q q oe q q oe
p i
o oe
oe
q oe q q
p i
+ + +
+
+
+ +
1 1 2 1
1 2
2
1 2
2
1
2
2
2
2
( ) ( )
( )
( ) ( )

oo oe
oe
q +
,
u k v
x
f g v g v
V
x
g
k v
B
q q k q k q q
c k q q k q q v
k c
q
o oe q i oe o oe oe
p q i o oe o oe oe q
p oe

+ + +
+ + + +
+ + +
+
2 1 2 2
2
1
2
2
( ) ( )
{ ( )[ ( ) ]}
{ ( ) ( ) }
(

qq q
k
R
c q q v v
B
q q
o oe
oe
p i o oe q
oe
o oe
+
+ +
+
)
{ ( ) }
( )
,


2
then
dV
dt
V
x
f g g k z k z
a
q q
+ + <

( )
1 2 1
2
2
2
0

.
That guarantees the global asymptotic stability at
( , ) ( , ) q
oe oe
0 0 , i.e. ( , ) ( , ) q q
o o o o
. (QED)
Based on the above backstepping control law, a robust
backstepping control law is derived for a plant with
uncertainties (16):
Lemma 2: The control law
u k k
A
a
a
A
q k k v
Bc
q q
k k z
q q
u k v
B
q q k q
k q q c k q q
q q oe q q
p i
o oe
oe q q
o oe
o oe q i oe
o oe oe p q i o
+ +

+

+
+ +
+ + +
( ) ( )
sgn[ ] ,
{ ( )[
( ) ]} { (
1 2
2
1
1
1
2
2
2
1
2
2


oe oe
o oe oe q p o oe oe
oe
p i o oe q
oe
o oe
p q i oe oe
o oe oe
o oe
k q q v k c q q
k
R
c q q v v
B
q q
k z c k q q
k q q
q q
k
)
( ) } ( )
{ ( ) }
( )
sgn[ ]{(
( ) )
+ + + +
+ +

+
+
+ +
+
+


2
2
1
2
1

2
}

'

(25)
guarantees the global uniform boundedness of the system:
dx dt f x g x v g x v
d
dt
v
v
u
u
q
q q
/ ( ) ( ) ( ) + + +

1
]
1

1
]
1

'

1 2

(26)
at ( , ) ( , ) q q
o o o o
for any k
q
k
q
q
m m
>
1 1
0
2 4
, ,

k k
1 2
0 , > and k k
1 2
0 , > .
Proof: Defining


x x x
R : ( )

1
]
1
1

1 2

sgn( ) : sgn( ) sgn( ) y y y
[ ]
1 2
for y y y
[ ]
1 2
and

+ +

1
]
1
a
A q q
B
q q
o oe o oe
T
2
1 2 2
2
1
( )
yields
dV dt dV dt v u d dt
v u d dt
V
x
f g g g z g z
V
x
z u
x
f g v g v z
x
a q q q q
q q
q q
q
q q
q
/ / ( )( / )
( )( / )
( )
{ ( )}
+
+
+ + + + +
+ + +

1 2 1 2
1 2
+ + + z u
x
f g v g v z
x
q



{ ( )} .

1 2
Using Young's Inequality

+
2 2
1
4
,
where ( , ) R
2
and l is any positive number, yields


V
x
a
A
q
q q
B
q q
q
q q
a
A q q
B
q
q q
a
A
B
oe
o oe
oe
o oe
oe
o oe
oe
o oe
oe
m
oe
m

+
+
+

+
+ +
+
+
+ + +
2
1 2 2
2
2
4
2 1
2
2
4
2
2
2
2
2
2
4
4
2 1
2
2
2
2
2
16 4
16 4
( )
( ) ( )
.
So, if the control law is chosen to be
u k v
x
f g v g v
V
x
g
k v
x
k k
A
a
a
A
q k k v
Bc
q q
k k z
q q
q q q
q
q
q q
q
q oe q q
p i
o oe
oe q q
o oe
+ + +

+ +

+

+
1 1 2 1
1
1 2
2
1
1
1
2
2
( ) ( )
sgn[ ]
( ) ( )
sgn[ ] ,

u k v
x
f g v g v
V
x
g k v
x
k v
B
q q k q
k q q c k q q
k q
q
o oe q i oe
o oe oe p q i o oe
o

+ + +

+ +
+ + +
+ +
2 1 2
2 2
2
1
2
2
( ) ( )
sgn[ ]
{ ( )[
( ) ]} [ ( )
(

qq v k c q q
R
c q q v v
B
q q
k z
c k q q
q q
k q q
q q
k
oe oe q p oe o oe
oe
p i o oe q
oe
o oe
p q i o oe
o oe
o oe oe
o oe
) ] { ( )
( ) }
( )
sgn[ ](
(
( ) )
),

+ +
+ +

+

+
+
+
+
+
+

2 2
1 2
2
then
dV
dt
V
x
f g g k z k z
a
q q
+ +

( )
1 2 1
2
2
2

+ +
+

+

V
x
k z
x
z
z
x
k
k z
x
z
z
x
k
k
q
q k z k
q
k z
a
A
q
q
q
q
q
q
m
oe q
m
oe

1
1
2
2
2
2
1
2
4
2
2
2
4
2
1 1
16
sgn[ ] (
sgn[ ]
)
sgn[ ] (
sgn[ ]
)
( ) ( )
11
2
2
2
2
4
+
B
.
That implies that dV dt
a
/ is negative when
X
a
A
B
>
+
4
2 1
2
2
2
2
16 4

, where X q z z
oe oe q
T
:
[ ]


and

: min( , , , ) k
q
k
q
k k
q
m m
1 1
2 4 1 2
, i.e. the
state X is globally uniformly bounded. (QED)
4. NUMERICAL EXAMPLE
Let the parameters of the tank system be
A m
a m s
R K W
K
K
a
i

'

0 2826
8 688 10
1000
288 15
289 15
2
3 2 5
. ( )
. ( / )
( / )
. ( )
. ( )
.



(27)
and
q m s
K
o
o
( ) . ( / )
( ) . ( )
0 0 0013
0 279 15
3

'



(28)
The desired outputs are
q m s
K
o
o

'

0 001
282 15
3
. ( / )
. ( )
(29)
The simulation results are shown in Figs. 2 and 3.
In Fig. 2, the nominal plant is controlled by the control
law (24). The parameters of the controller are
k k
k k
q

'

0 00473
0 75 10
1 2
6
.
.
(30)
It can be seen that the designed control system is stable
and the outputs reach the desired values after 1000
minutes.
FIGURE 2: Simulation results for the nominal plant.
In Fig. 3, the plant is assumed to contain uncertainties,
and
1
and
2
are white noise with the bounds

1
5
2
4
5 0 10
1 0 10

'

. sin( )
. sin( )
t
t
(31)
The parameters of the controller (25) are chosen to be
(30) and
FIGURE 3: Simulation results for a plant
with uncertainties.
k k
1 2
1 0 . (32)
The simulation results show that the designed control
system is globally uniformly bounded and the outputs
converge to the desired values after 1000 minutes.
5. CONCLUSIONS
In this paper, a mathematical model of a tank system is
first derived, and a backstepping control law is developed
for the nominal plant. Then, based on the control law, a
robust backstepping control law is developed for a plant
with uncertainties. The validity of these control laws is
demonstrated by simulations.
REFERENCES
1. M. Krstic, I. Kanellakopoulos and P. Kokotovic:
Nonlinear and Adaptive Control Design, John Wiley
& Sons, Inc., 1995
2. N. Suda, PID Control, Asakura Shoten, 1992