ABSTRACT
In this paper, we consider the problem of desgniag a stabiling
liser controlle for a feedback lnearized nonlnear system under
the inlsuence of bounded perturbatios. The feedbak linearized
(and prturbed) nonlinear sysem is equivalent to a Quasi Linear
System. A suficet condition using Lyapunov stability theory is
presnted to obtain a linear state feedback controLler stabilizing the
Quasi Linew System and the nonear system a welL ktmethod
is gi to obtin th least conserative (smalest) stbiliing gain.
The resu are applied on a chemical reactor.
z = T(s)
u
i = Az + Bv + C(z)d
The theory of differential geometry occupies a major position in the field of control theory for nonlinarsystems [1].
In recent years, sveral control applications of differential geometry have appeared in aerospace engineering [2], robotics
[3], power system [41 and chem7ical eneerg 17. However, the control literature deling with differential geometry
as applied to nonline systems perturbed by modeled disturbances is sparse. In this paper, we give some new resuts
addressing this problem.
Our recent work has shown that under the feedback linearization transormations a perturbed nonlinear systm is
in general no longer tranformed to a linear system but to
a so called Quasi Linear System (QLS) 181. This QLS is
then affected by nonlinearities only due to a state dependent perturbation coupled with the external disturbances.
(3)
(4)
(5)
ax=
[(aT)
Ia.-t(s)
where (j) denotes the Jacobian matrix. Necessary and sufficient conditions gurnteeing the existence of these transformations can be found in [8].
STABILIZING A QLS
The problem we addres in this paper is to stabilize a nonlinear system under the influence of disturbances described by
(1) through its equivalent QLS. More specificaly, we attend
to solve the following problem.
We assume that the set of (time varying) disturbances is
bounded by a know value D as in
In this paper, we give a sufficient condition which guarantees that such a QLS can be stabilized by a linear controller
in an arbitrarily small neighborhood of the origin in the presence of bounded disturbances. Equivalently, this meas that
8}.
The following definition adopted fom [9] clarifies the concept of 6-stabflization for a Quas Linear System.
Definition: A QIS is said to be 6-stabilizable if there
exists a linear state feedback control law v,(t) = -Ksz(t)
such that for all admissible disturbances in ID there exists
a T > 0 for which z(t) 6 B(6) Vt > T. The control vg(t) is
then called a -stabiizable control.
'w
TRANSFORMATION
We can now state a theorem which gives a ufficient condition for 6-stability of a QLS. First we require two key as
(4) +f(x)u
1 INTRODUCTION
sumptions.
A.1: The StAe dependent perturbation of the QLS lies in the
control input space, i.e. 3 X(z) s.t. s(z)d = BX(z)d
(1)
(2)
747
!lIx()11'
B(E)
PA + AT P - PB(2R1C - I)BTP + He =0
for sm >0, H = Hr > 0 and R - fT > 0 satisying
a
>S
with
'-pp2D2
fA.(H)-p'OD2e
(6)
9(t) - RR-'BPz(t)
(7)
is a 5-tabilizing control for the QLS for all initial conditin
B(r/1/j
with r- < .
Proof: See A edix.
it i importat to note that a F tends to infinity 5stabilion is asured for el initial oditiomsin R. Also,
similar to the one given
assumption 1 is a
inco
in 1101. However, this assmptoncan be relaxed. Indeed, if
Al is not stisfIe Coe ust vithe lwings
instead of 2:
in
saisfied.
In gral, assuming that the bound of the disturbances D
fied,
is Ib and the region of stabilization (ie. 5) is
thsmethod will give higher -n than nocem i order to
guarantee 5-stability doa QLS. enc, gien two ald pairs of
cosats (n, Pi) and (P2,p2), we will say that one.pair giVW
lee conservtive resl if fo a - set of p
Ho, R
and e,it give sl 5sabiliig gins tha the other -.
tib e
We illustae this fict in Fig.3: the cure gaiuine sos
gum wheras the '-curves C1 and
trend Of the s
C2 show the ted of V for twopuine of constanits (n.i) and
(n,pz). We -e that for c < (respectively e > ) the curve
cI
Cl (G) isbelowcurve.C (C1). Fort correpMdfi-toe
(e > r) curVe Ci (C) Wil give sl stabilizing - than
C (C1). Hence, we rcnzthat the curve below the other
results. In the example we will
one will gi e on
be able to detemine snag all the posible pairs of constat
p and p the one which will give the le conervaive -result.
According to the heorenem, for a specified Swe must have
this fixed value 5,
>5'. Fig.3shown that s a
. Therore the les consrvthe stabilizing gain d
S. We resume the
tive gai willb obtained as we let 6
ld)
P'-crmve
ts. givea,pikP*so thatP60--5(but sWiUS> $).aad.setE
from the V-_curVe.
b
4. Caluae te
4 APPLICATION
As an illustzWaion, we now sow that the sandard CSTR
model perturbed by fuctuations in the feed temperatur and
the feed concentration falls into the category of nonlinearsystem descrbed by (1) and can be rnsformed into a QLS. We
will stabilize the CSTR under the influence of disturbance(s)
in an arbitrary neighborhood of an unstable operating coDi
tion by designing a linear stabilizing control for the equivalent QLS. The only knowledg required about the set of (time
varying) disturbace(s) will be its bound.
748
4.1
time varying disturbances due to fluctuation of the feed temperature d1 and/or of the feed composition d2, can we design
a linear controller which will stabiize the QLS near the origin and henceforth the nonlinear CSTR model in an arbitrary
small neighborhood of the operating condition? More specifically, we want the state of the CSTR to remain bounded in
the domain
QLS
f[2(X) ]I
[2]
][d2
:7
with
lf2(Z)
zi)ap[nez s]1
Z2
PI-(2-2.)
with
=
S(z)-[2
+(Z) [
4.2
(10)
,l
]-1
1+X2Iv)2Da cXp
D<;
1-la ca:p [*
T-(s)
(11)
zi + x7
v n
fDt-+-1+-s
[22X-1-s
, I]/(
n
(13)
where z and x2 are the dimensionles composition and temperature respectively. Da, B, v, , and z22f are the standard
dimensionles parameters 112] and di and d4 are the dimensionles feed temperature and feed composition fluctuations
-espectively 17]. The control variable u is the dimensionles
temperature of the cooling jacket unit. Note that this system is indeed linear with respect to the control variable and
the set of disturbances; thus the CSTR model is of the form
described by (1). In the squel, we wil select the dimensionles parameters to be: Da = 0.072, B = 8, P = 0.3,
u = 20 and z2go = 0. With these parameters, the CSTR
exhibits an ipition/extinction behavior. We will operate at
the unable operating condition us = -0.20, :7 = 0.5 and
7 = 3.03 satids g (2). Now, consider the state and input
transformations
Z = T(z) = X1 - zp
(8)
Zs = T,(X) = fi(z)
vJ< dTC,,f > +u < dT2,g >
(9)
where c .,. > denotes the inner product. Note also that this
state pce coordinate transformation maps z9' to the origin
in the s-state space (i.e. T(t') = 0). Then under these
transformations, the CSTR model is transformed to the QLS
[~~~~~
- AXI1
X< X + AXn
:1
-4:X2 <C X2 < :X 2+ 4n2
(12)
749
X(z
F(
++2/TJ]
Do cr4
=T-'(.)
(z)= [1
DaexP[i']
Is=T-1(.)
aU the
was
the state
obtained by
space with
the
sig; i.e.
esetp
the
B(
ball
i.e.
p =
0.201)
(p,gi)
eshow
line.
have
cons
wi
corr
p*
cure
by
p-r
any
pair wh
to find the
Then the
>pg
that the
than
give
found
2 in the
t
the curvep
HEnc, we realize that a
l1
Having
As
resul
below
we
(pu
theline(p,I
satfyin
wewne
PI >
on the line
of
satisfied with
give
A.2
that
I)iS)112
(if A.2'
so
vatie
othe
on
the
plot
of
afction
a
(mi,PuA)
by
(,) for all value
cated
on
the line
is
ofi.
is alway
lft
of point
on
the
(14)
of4pLwith
"Id82)) = 0 * A.(H) -
Yp = 0
750
CONCLUSION
-Q [11Z2
L(z,[t)
A4,H)
(15)
D2
pg2D2E2j
{oyt-/pi
r,~--pj
if
if
r
< ro
r >ro
(16)
(8
and
Hp
p2D2
a6
(17)
a~ ~,1-1
,A.(H) - p2.02L2 -v5F
Proof Clahim: l I = maz(r,ro) then Ij](0)]j S P and
d(r) = f- .'p
2 f (7p > 1); thus IIz(0)II < 1 5 d(r). Suppose
3t4 8t. I1(hts)Il > d(r) but still I]z4jj < f
(18)
since (-) is contiuow and Ix(0)II < <
f 5 d(r) < IIz(ts)II, then
3t2 < ts a.t- I 2(t2)li= fand II(t)II . PYr E [t2, t5]
(19)
^I
REFERENCES
[1] Isidori A., Nonlinear Control Systems: An Introduction,'
(Lecture Notes in Control and Informatin Sceknces, VoL 72). New
York: Springer-Verag, 1985.
[2J Meyer, G., Su, R., Hunt, H. R., Automatica, VoL 20, No. 1,
pp. 103-107, 198.
[5] Tun, T. J., Beicy, A. K., Iidori, A., Chen, Y., Proc. 23rd
IEEE CDC, Las Vegas, NV, pp. 738-71, December 1984
[4] Marino, R., IEEE b-ans. Autom. Control, Vol. AC-29, No. 3,
Marh 1984.
[5] Hoo, K. A., andKantor, J. C., Chem. Eug. Commun., VoL 48,
385, 1987.
A.(P)iIs(ts)112 S AX(P)12
[8] Kravaris, C., and Chung, C. B., AIChE Jonal, VoL 33, pp.
592-603, 1987.
[7] Calvet, J.P., and Arkun, Y., Industrial and Chemistry Research, VoL 27, No. 10, pp. 1822-1831, 1988.
[8] Calvet, J-P., and Arkun, Y., Int. J. Control, Vol. 48, No. 4,
pp. 1551-1559, 1988.
[9] Schmitendorf, W. E., Int. J. Control, VoL 47, No. 1, pp. 8595,
f Q [IIX(r)112 -_
] dr
(2)
claim is proved.
We no'w complete the proof of the Theorem in two stps.
First; let 110()11 < r S /,f, and 6 < . From the claim we
have Ijl(t)]] < d(6/V9F) butt > g = ro, hence d(8/ffy;)
V z(O) E
/ =
we have
< SVt.
Second; let 110x()]] < r and r/t//i > r > 6/1V/IF, then asme
1988.
[10] Corla, M., and Leitmann, G., IEEE frana. Autom. Control,
Vol AC-26, No. 5, pp. 1139-1144, 1981.
[111 Kwakernaak, 3J N., and Sivan, R., 'Linear Optimal Control
Systems'. Wilsy-Interacience, 1972.
[12] Uppal, A., Ray, W. H., and Poore, A. B., Chem. Eng. Sci.,
VoL 31, pp. 205-, 1976.
[13] Ray, W. H., Proc. of Found. Coaf. on Chemical Proces
ControL Sea Island, Georgia, 1981.
[141 Frnklin, J. N., 'Matrix Theory'. Englewood CUiftr PrenticeHall, pp. 141-, 1988.
[15] Calvet, 3-P., and Arhun, Y., submitted to Compute and
IiI(t)I
B(6/8v')
TThus
IIz(t)jI> 6/,A/i
(21)
with
T A(p)(r2 - 62/7p2)
Q(62/yp -42)
Chemical Engineering.
(22)
APPENDIX
Proof: Consider a candidate Lyapunov function V(z) = TP:.
With the control law given in (7) and according to A.1 the cloedloop sysem is desribe by i = Az-BR'BTPs + BX(z)4.
Then the deivative of V is given by L(x,t) = V(x(t)) =
2TP(As - BT1BYPx + Bx(z)d)
But 2tNrPAx = x(PA + ATP)z ad inside B(r) we have
IIs(t)jI
A.(P)Iz(T112
,X (P) l(T)11 2
I7p
<
and thus
),*(p)Ij Z() 2 fW
f7 Q [03[44 0d-r or after inflPflx()]]2l
tegrting k.(P)Il$T)112
A2(P)62A*(P) or II(T)l[2<
~ T~
lip
'I-p
whichon1tra-
dicts (21), thu 3t2 E [0,Tj s.t. I]z(t2)jI < 6/y5/. Thea from the
caim we obtin Ilx(t)II < d(6/ifj) = 6 yVt t2. This conclude
the proof.
751
MC
80
j. o
J
t0-
.-Jr,
Figure 1: Sbz
fi the Al%
Figue 6: Plos oi r
ti
'.
14
.4-
a
-L-
N1
I
l
is
Rtt
.W"
gue
v
':
is
.o i-tasof*ts
Lb
Yi
timt
of
han
de&d
di.
d-SM
FigureS;
pxthe
ata
/o
to
-'
8 OW
FigUM.NPILNt
05-
(7
by
i*
/
44
S/
t; th
0|
ARC).
0X74
Fiur 4:
Figure
15: Satging Am
0.201).
into 6-0
M*
j.5-s
a
*
Si:S-^#
im
Figure
t.) 0
3
752
d2.
5-contour for