Beruflich Dokumente
Kultur Dokumente
php
AND
G. LEITMANN
Abstract. This paper is concerned with the problem of designing a stabilizing controller for a class of
uncertain dynamical systems. The vector of uncertain parameters q(.) is time-varying, and its values q(t)
lie within a prespecified bounding set Q in R p. Furthermore, no statistical description of q(.) is assumed,
and the controller is shown to render the closed loop system "practically stable" in a so-called guaranteed
sense; that is, the desired stability properties are assured no matter what admissible uncertainty q(.) is
realized. Within the perspective of previous research in this area, this paper contains one salient feature:
the class of stabilizing controllers which we characterize is shown to include linear controllers when the
nominal system happens to be linear and time-invariant. In contrast, in much of the previous literature
(see, for example, [1], [2], [7], and [9]), a linear system is stabilized via nonlinear control. Another feature
of this paper is the fact that the methods of analysis and design do not rely on transforming the system
into a more convenient canonical form; e.g., see [3]. It is also interesting to note that a linear stabilizing
controller can sometimes be constructed even when the system dynamics are nonlinear. This is illustrated
with an example.
"
246
247
Downloaded 01/03/13 to 128.148.252.35. Redistribution subject to SIAM license or copyright; see http://www.siam.org/journals/ojsa.php
threshold.
Our second assumption reflects the fact that the uncertainties must be bounded
in order to permit one to guarantee stability.
Assumption 2. The set O c R" is compact.
Our next assumption is introduced to guarantee the existence of solutions of the
state equations.
Assumption 3. The mappings f(. ): R x R
E(.) (see Assumption 1) are continuous. 3
R n, B (): R x R
This notion is not to be interpreted in the sense of Lasalle and Lefschetz [12] but as defined
subsequently.
That is, one begins with a linear control law for a linear system and generalizes the controller in
such a way that is applies to a class of nonlinear systems.
In fact, one can modify the analysis to follow so as to allow mappings which are Carath6odory and
satisfy certain integrability conditions. See, for example, Corless and Leitmann [7]. All the results of this
paper still hold under this weakening of hypotheses.
Downloaded 01/03/13 to 128.148.252.35. Redistribution subject to SIAM license or copyright; see http://www.siam.org/journals/ojsa.php
248
In order to satisfy our final assumption, one may need to "precompensate" the
so-called nominal system, that is, the system with Af(x, q, t)=--O and AB(x, q, t)----0;
e.g., see [2]. Thus, prior to controlling the effects of the uncertainty, it may be necessary
to employ a portion of the control to obtain an uncontrolled nominal system
(UC)
(t)=f(x(t),t)
(2.2)
v (llxll)
R by
a 0 V(x, t)
o(X, t) =+VxV(x,t)f(x,t),
(2.3)
where
"R
at
denotes the transpose of the gradient operation, we also require that
(2.4)
Xo.
The limit condition on 33( can in fact be removed at the expense of a somewhat more technical
development; e.g., see [7].
This is not to be confused with Lyapunov stability, because the required gain k depends on the size
of the neighborhood to which we wish to drive the state.
249
Downloaded 01/03/13 to 128.148.252.35. Redistribution subject to SIAM license or copyright; see http://www.siam.org/journals/ojsa.php
(ii) Given any r>0 and any solution x(.):[to, tl]-->R n, X(to)=Xo, of (2.4) with
[to, tl].
(iii) Every solution x(. ): [to, t]--> R can be continued over [to, oo).
(iv) Given any d >_- _d, any r > 0 and any solution x (.)" [to, oo) --> R ", x (to) Xo, of
(2.4) with Ilxoll--<r, there exists a finite time T(a, r)< oo, possibly dependent on r but
not on to, such that Ilx (t)ll-<- a7 for all >_- to + T(a, r).
(v) Given any d ->_d and any solution x(): [to, oo)-->R", X(to) =Xo, of (2.4), there
is a constant 6 (a)> 0 such that Ilxoll-<- (a7) implies that
IIx (t)ll--< a7
for all
>= to.
(3.1)
(3.2)
The standing Assumptions 1-4 assure that there is a A2(x, t) such that
1) A2(x, t)<l can be satisfied for all (x, t)eR"R;
2) A(. and A2(.) can be chosen to be continuous; e.g., see [10, p. 116].
Now, one simply selects any continuous function y(. ):R" R --> [0, oo) satisfying
(3.3)
"g(x,
where
a(x,t)
a) C1< 1;
b) either C1 # 0 or C2 # 0;
(3.4)
c) C2 # 0 whenever limx_,0 [A(x, t)/o(X, t)] does not exist;
d)
C (
<
v v)(_d).
1
-C
Note that these conditions can indeed be satisfied because of continuity of the 3(.)
and the fact that lim_,o y(r)= 0 for
1, 2, 3.
This construction then enables one to let
(3.5)
Remark. In fact, (3.3) and (3.5) describe a class of controllers yielding practical
stability. It will be shown in 5 that this class includes linear controllers when the
nominal system happens to be linear and time-invariant.
4. Main result and stability estimates. The theorem below and its proof differ
from existing results (see [1], [2] and [6]) in one fundamental way: The control p_a()
which leads to the satisfaction of the conditions for practical stabilizability degenerates
Downloaded 01/03/13 to 128.148.252.35. Redistribution subject to SIAM license or copyright; see http://www.siam.org/journals/ojsa.php
250
(4.1)
t)ll
(.)" R
R --> R be given by
&(x, t) a---B(x, t)VxV(x, t),
and recalling the definition of AI(. and Az(. ), a straightforward computation yields
a(x,t)
4V(x,t)(1-A2(x,t))
A(x, t)
+/-(x, t)ll (x, t)ll-2(1_
t)[
a=(x
t))3,(x, t)
-x
(1-A(x, t))y(x,
A(x, t)
- <- o(X, t) + 4y(x, t)(1- Az(x, t))
<-- (1-- C1)o(X, t) + C2.
Downloaded 01/03/13 to 128.148.252.35. Redistribution subject to SIAM license or copyright; see http://www.siam.org/journals/ojsa.php
251
Combining Cases 1 and 2, and noting that C1 < 1, we conclude (as a consequence of
Assumption 4) that
(x, t) <-( -C)o(X, t)+ C <-- ( -C,)(llx II)+ C
(4.2)
for all (x, t) e R" x R. Having this inequality available now enables one to apply directly
the results of [7]. That is, the closed loop system (2.4) possesses a solution x(. ): [to, t]-->
R ", x (to) Xo, which is required by condition (i) in the definition of practical stabilizability. Moreover, in accordance with [7], if Ilx0ll--< r, one can satisfy the uniform boundedness requirement (ii) by selecting
ifr<-R,
(,y-I y2)(r) if r > R,
where
d(r)&{(y-ly2)(R)
R V (C2/1
It now follows that there is no finite escape time so that the solution is continuable
over [to, m) and hence condition (iii) holds. Again for aT>_-_d, using the estimates
provided in [7], one can define
0
T(d-, r) A
(4.3)
if r _-< (yl
y2(r) Z(]/_l
(1 C1)(y3
yl)(a),
yl "y1)(d)
"- "
"1)= C2
otherwise,
and in accordance with [7], the desired uniform ultimate boundedness condition (iv)
holds with the proviso that
(4.4)
Note that this requirement is implied by the satisfaction of condition (d) of (3.4) which
entered into the construction of the controller.
Finally, to complete the proof, it remains to establish the desired uniform stability
property. Indeed, let d->_d be specified and notice that if 6(d)= R, the following
property will hold" Given any solution x()[t0, )R", X(to)=Xo of (2.4) with
tlx011=<3(d), it follows (in view of the uniform boundedness property (ii) and the
requirements on the Ci) that [[x(t)ll<=d(R)<= for all t->t0. ]
(5.)
X(to)-Xo,
where A, AA (q (t)), B and AB (q (t)) are matrices of appropriate dimensions and w (q (t))
is an n-dimensional vector. In light of Assumptions 1 and 3 given in 2, it follows that
for all q e Q
AA(q)=BD(q),
(5.2)
AB (q
BE (q ),
w(q)=Bv(q),
E(q)ll< 1
Downloaded 01/03/13 to 128.148.252.35. Redistribution subject to SIAM license or copyright; see http://www.siam.org/journals/ojsa.php
252
where D (.), E (.) and v (.) have appropriate dimensions and depend continuously on
their arguments. In accordance with Assumption 4, the matrix A must be asymptotically stable. To obtain a Lyapunov function for the uncontrolled nominal system, we
select simply an n x n positive-definite symmetric matrix H and solve the equation
AP + PA -H
(5.3)
for P which is positive-definite; see [11]. Then we have
V(x, t) xPx
(5.4)
and
(5.5)
0(x, t)=-xHx.
It is clear from (5.4) and (5.5) that one can take the bounding functions yi() to be
yl(r) h min[e]r 2, "y2 (r) -& h max[.P]r 2, "y3 (r) h min[H]r 2,
(5.6)
where h max(min)[ denotes the operation of taking the largest (smallest) eigenvalue.
Construction of the controller. We take _d >0 as prescribed and construct the
controller p_d(" given in 3. Using the notation above, we define first 6
po a--maxl[O(q)[I, pz a-maxl[E(q)ll<l p a=maxllv(q)[I.
(5.7)
qO
qO
qO
Then, in agreement with (3.1) and (3.2), we may take
(5.8)
Al(x, t)
0ollxll + 0,
A=(x, t) pz.
Using these choices in (3.3) and the fact that o(X, t)<-- Amin[H]llx[[ 2, one can select
3() such that
(po +
>
y(x, t)_(5.9)
2
IIx
4(1 pz)(Chmin[H]llxll + C)
with the constants Cx and C2 yet to be specified. We shall examine three possible
cases and see that in all instances one can take y(x, t) constant. Of course, this
implies that the control p_a(" is a linear time-invariant feedback; that is,
(5.10)
pa_ (x, t)=-2yoBPx,
where 30 is the constant value of 3(" ), which will be specified.
Case 1. po > O, p O. In this case, we may select C2- 0 and
sequently, we can satisfy (5.9) by choosing
(5.11)
Case 2. po
(5.12)
Po
4(1 -pE)Chmin[H]"
02
4(1 p)C2
(5.13)
with
6
X min[e]
C2 < Amin[H]_d
2
1 C1 Amax[P]
C1 0 in the above.
One can in fact use overestimates to and tSE for Po and pE as long as the inequality tSz < is satisfied.
Downloaded 01/03/13 to 128.148.252.35. Redistribution subject to SIAM license or copyright; see http://www.siam.org/journals/ojsa.php
253
Ca (0, 1), C2
Letting f(r) denote the bracketed quantity in (5.14) above, a straightforward but
lengthy differentiation yields
1
(5.15)
maxf(r)=
r_->0
020
4(1-Oz) Clhmin[H]
+P22}
Hence, any 3o equal to or exceeding this maximum value will be appropriate in (5.14).
6. Illustrative example. We consider now the simple pendulum which was
analyzed in [7]. However, here it will be shown that the desired practical stability can
actually be achieved via a linear control. This may seem somewhat surprising in light
of the fact that the nominal system dynamics are nonlinear. A pendulum of length
is subjected to a control moment u (.) (per unit mass). The point of support is subject
to an uncertain acceleration q(.), with [q(t)[ <_-l =- constant. Letting x denote the
angle between the pendulums arm and a vertical reference line, one obtains the state
equations
21(t)=x2(t),
(6.1)
22(t)=_a
where a > 0 is a given constant. In order to satisfy the assumptions of 2 one must
assure a uniformly asymptotically stable equilibrium for (UC), the uncontrolled
nominal system. Hence, for a given _d > 0, we propose a controller of the form
(6.2)
where b and c are positive constants and p_a(.) will be specified later in accordance
with the results of 3. The linear portion of the controller (6.2) is used to obtain a
stable nominal system. Substitution of (6.2) into (6.1) now yields the state equation
(6.3)
2 (t)
where
(6.4)
f(x, t)
h(x, q, t)
-bx-cxE-a sinx
-q cos xl
(6.5)
V(x,t)=(b+gc 2\)x2
+cxxE+x +2a(1-cosx),
3"(r)=Alr 2,
2r
/3(r) X3r
+ 4a
if r >
254
Downloaded 01/03/13 to 128.148.252.35. Redistribution subject to SIAM license or copyright; see http://www.siam.org/journals/ojsa.php
,5
(6.7)
P=[ b+c2 ]
(6.8)
min {/, c },
&b+amin
x
( x) >0.
si
l(X,t)=lcosxl,
(6.9)
,.
Xmax[P],
=(x, t) 0.
e(x, t)
(6. 0)
COS X
4[
C 0
(6.11)
(x, t)v0>
=4C"
a>
(6.12)
0<C<(3oa
h3
o)(g)=(h_d
-4a).
Case 2. hlNh +4a. In this case, the constraints imposed by (6.12) are
C > 0 is chosen suNciently small so that
met if
(6.13)
2a(
h2C2
+ 1-cos
<d.
Having now selected C, the controller is specified by (3.5) in conjunction with (6.11);
that is,
the nonlinear saturation controller of [7] remains bounded by the bound of the
uncertainty, and the radius can be decreased by increasing the nonlinear gain; i.e.,
by approaching a discontinuous control.
eels. This paper addresses the so-called problem of practical stabilizability for a class of uncertain dynamical systems. In contrast to previous work on
problems of this sort, the main emphasis here is on the structure of the controller. It
is shown that by choosing the function T( in a special way, the resultant control law
can often be realized as a linear time-invariant feedback.
REFERENCES
[1] G. LEITMANN, Guaranteed asymptotic stability for some linear systems with bounded uncertainties, J.
Dynamic Systems, Meaurement and Control, 101 (1979), pp. 212-216.
[2] S. GUTMAN, Uncertain dynamical systems, a Lyapunov rain-max approach, IEEE Trans. Automat.
Control, AC-24 (1979), pp. 437-443; correction, 25 (1980), p. 613.
Downloaded 01/03/13 to 128.148.252.35. Redistribution subject to SIAM license or copyright; see http://www.siam.org/journals/ojsa.php
255
[3] J. S. THORP AND B. R. BARMISH, On Guaranteed Stability of Uncertain Linear Systems via Linear
Control, J. Optim. Theory and Applications, in press.
[4] S. S. L. CHANG AND T. K. C. PENG, Adaptive Guaranteed Cost Control of Systems with Uncertain
Parameters, IEEE Transactions on Automatic Control, AC-17 (1972), pp. 474-483.
[5] A. VINKLER AND I. J. WOOD, Multistep Guaranteed Cost Control of Linear Systems with Uncertain
Parameters, J. Guidance and Control, 2, 6 (1980), pp. 449-456.
[6] P. MOLANDER, Stabilization of Uncertain Systems, Report LUTFD2/(TRFT-1020)/1-111/(1979),
Lund Institute of Technology, August 1979.
[7] M. CORLESS AND G. LEITMANN, Continuous State Feedback Guaranteeing Uniform Ultimate
Boundedness for Uncertain Dynamic Systems, IEEE Trans. Automat. Control, AC-26, 5 (1981),
pp. 1139-1144.
AND I. J. WOOD, A Comparison of Several Techniques for Designing Controllers of
Uncertain Dynamic Systems, Proceedings of the IEEE Conference on Decision and Control, San
[8] A. VINKLER
153-157.