Stabilization of LPV Systems
-
Upload
giovanni-mattei -
Category
Documents
-
view
215 -
download
0
Transcript of Stabilization of LPV Systems
-
8/8/2019 Stabilization of LPV Systems
1/6
Stabilization of LPV systems: state feedback, state estimation and duality
Franco Blanchini
DIMI, Universita di Udine
Via delle Scienze 208,
33100 Udine, Italy
tel: (39) 0432 558466
fax: (39) 0432 558499
Stefano Miani
DIEGM, Universita di Udine
Via delle Scienze 208,
33100 Udine, Italy
tel: (39) 0432 558262
fax: (39) 0432 558251
Abstract In this paper, the problem of the stabilizationof Linear Parameter Varying systems by means of GainScheduling Control, is considered This technique consists ondesigning a controller which is able to update its parametersonline according to the variations of the plant parameters.We first consider the state feedback case and we show adesign procedure based on the construction of a Lyapunov
function for discretetime LPV systems in which the parametervariations are affine and occur in the state matrix only. Thisprocedure produces a nonlinear static controller. We show that,differently from the robust stabilization case, we can alwaysderive a linear controller, that is nonlinear controllers cannotoutperform linear ones for the gain scheduling problem. Thenwe show that this procedure has a dual version which leads tothe construction of a linear gain scheduling observer. The twoprocedures may be combined to derive an observerbased gainscheduling compensator.
Keywords LPV systems, scheduling, Lyapunov design.
I. INTRODUCTION
The gain scheduling approach for the control of Linear
Parameter Varying (LPV) systems is a problem encoun-tered in several applications in industrial world. when the
plant parameter variations can be measured on line and
the compensator may take advantage from this knowledge
and improve its performances. However only quite recently
techniques which have been heuristically applied became a
subject of mathematical investigation. In [33] [34] a rigorous
stability analysis of some general gainscheduled schemes is
provided. A pole placementlike technique for gain schedul-
ing synthesis is proposed in [30]. In [16] it is considered the
problem of designing a nonlinear controller whose lineariza-
tions in several operating points match the linear controllers
designed for these points. An LMI technique for the gain
scheduled control design is proposed in [31]. A analysisapproach is proposed in [15]. A more recent technique based
on a settheoretic approach is presented in [35] for discrete
time LPV systems with bounded variations. The reader is
referred to [32] for a tutorial exposition.
Although the knowledge of the plant parameters is an
advantage for the compensator, an interesting exception has
been investigated in the literature which concerns the state
feedback case. Indeed for the class of controlaffine nonlin-
ear continuoustime systems in which the term associated
with the control is certain [22] or the so called convex
processes [8], the knowledge of the parameter is not an
advantage for the compensator as far as it concerns its
stabilization capability. As a particular case, gain scheduling
design for state feedback LPV systems can be handled
without restriction as a robust design, with the remarkable
advantage that no parameter measurement are needed..
In the discretetime case this property does not hold. As
we will see, trivial examples exist of LPV discretetime
systems that can be stabilized via gainscheduling controller
but not by means of state feedback controllers which ignore
the parameter. This facts motivated us to derive a procedure
to design a gain scheduling control in which the exploitation
of the parameter measurement is allowed. In particular we
consider a procedure for the robust stabilization case [6],
which is in principle unsuitable for the gain scheduling
design, and we show that it still comes into help if applied to
a proper subsystem evidenced by a suitable transformation.
Furthermore we show that in the gain scheduling case,
nonlinear compensator cannot outperform linear ones. This
is in contrast with the robust stabilization case in which
nonlinear controller can outperform linear ones [9] (see also
[21] for further implications). Thus limiting the attention to
linear compensator is not a restriction for gain scheduling
statefeedback stabilization.
Then we consider the dual problem of designing a
gain scheduling state observer of the type considered in
[26][20][36]. We show that necessary and sufficient condi-
tions for the existence of a linear observer are the dual of
those for the existence of a gain scheduling state feedback
(linear or not) compensator. We show how this kind of dualitydoes not hold for the robust state estimation problem, i.e.
when the parameters are not available to the observer.
Finally we show that the two procedures for state feedback
stabilization and state detection can be combined together to
solve the problem of stabilization by means of an observer
based compensator.
Due to lack of space the present version of the paper does
not report any of the proofs.
Proceedings of the 42nd IEEE
Conference on Decision and Control
Maui, Hawaii USA, December 2003 TuPPI-7
0-7803-7924-1/03/$17.00 2003 IEEE 1492
-
8/8/2019 Stabilization of LPV Systems
2/6
I I . PROBLEM STATEMENT AND BASIC RESULTS
In this paper we consider LPV systems of the form
x(k+ 1) = A(w(k))x(k) +Bu(k)y(k) = Cx(k)
(1)
where x(k) IRn is the state, u(k) IRq is the control
input, y(k) IRp is the control output and w(k) is a timevarying parameter. We assume that the state matrix A(w(k))is constrained to belong to the matrix polytope:
A(w(k)) =m
h=1
A(h)wh(k) (2)
where, for every k, w(k) W= {w : wh 0, mh=1 wh = 1},
and A(h), h = 1,2, . . . ,m are assigned constant n n matrices.We consider the following assumption.
Assumption 1: The matrices B and Chave full column and
row rank respectively.
The basic problem considered in this paper is the stabilization
of system (1) by means of a state observer and an estimated-
state feedback compensator which are scheduled on the
parameter w(k). Definition 2.1: The system (1) is gain scheduling state
feedback (GSSF) stabilizable if there exists a (possibly dy-
namic) continuous statefeedback compensator whose equa-
tions are function of the timevarying parameter w(k)
z(k+ 1) = F(z(k),x(k),w(k))u(k) = G(z(k),x(k),w(k))
(3)
such that the resulting closedloop system is globally uni-
formly asymptotically stable.
The next definition is essentially the dual
Definition 2.2: The system (1) is gain scheduling de-tectable (GSDE) if there exists a (possibly dynamic) system
whose equations are function of the timevarying parameter
w(k)z(k+ 1) = F(z(k),y(k),w(k))
x(k) = G(z(k),y(k),w(k))(4)
and such that for all x(0), z(0), w() the condition e(k).
=x(k) x(k) 0 as k is assured.
With obvious meaning, we will say that (1) is robustly sta-
bilizable (RS) and robustly detectable (RD) if the equations
(3) and (4) do not depend on the parameter w. Furthermore,
we will distinguish the case in which (3) and (4) are linear
with respect to x(k) and z(k) (respectively y(k) and z(k)).
A. Robust stabilization and state detection
One of the main points of the paper is to show that there is
no apparent duality between the problem of robust detection
and robust state feedback stabilization while, in turn, a kind
of duality relationship exists between the gain scheduling
stabilization and detection.
Let us consider the following system
x(k+ 1) = A(w(k))x(k) +Bu(k)y(k) = x(k)
(5)
and let us define the dual as follows
x(k+ 1) = AT(w(k))x(k) + u(k)y(k) = BTx(k)
(6)
As it is well known, if A is a constant matrix, we have
a duality relation which says that (5) is reachable iff (6) is
observable. In our case such a relation does not exist as longas the parameter w is unknown as it can be shown by the
next counterexamples. Consider the systemx1(k+ 1)x2(k+ 1)
=
2 0
1 + w(k) 0
x1(k)x2(k)
y(k) = x2(k)
with |w(k)| w. Such a system is such that there is noobserver which can estimate asymptotically x1(k) ignoringw(k). Indeed, the second state equation x1(k) enters in theterm
.= (1 + w(k))x1(k). Even if (k) = x2(k+ 1) can be
determined with one step delay, it is impossible to estimate
x1(k) from (k), if w > 0, up to the fact it belongs to the
uncertainty interval /(1 + w) x1 /(1 w), which sizegrows arbitrarily if x1(0) = 0. Conversely, the dual of thissystem
x1(k+ 1)x2(k+ 1)
=
2 1 + w(k)0 0
x1(k)x2(k)
+
0
1
u(k)
with the control u(k) = 4x1(k) 2x2(k) is stable providedthat w is sufficiently small. Thus, roughly, robust stabilizabil-
ity does not imply the robust detectability of the dual.
It can be easily shown that robust detectability does not
imply the robust stabilizability of the dual, as well. To this
aim it is sufficient to consider the following simple example
with A(w(k)) = w(k), B = 1 and C= 1 (say the system andis dual coincide)
x(k+ 1) = w(k)x(k) + u(k) (7)
y(k) = x(k) (8)
with |w(k)| 2 which can not be robustly stabilized by anystate feedback, but is obviously detectable.
Note in passing that the last example shows that robust
state feedback stabilization and the gain scheduling state
feedback stabilization are different problems for discrete
time systems. Indeed the system can be gainscheduling
stabilized (e.g. by u(k) = w(k)x(k)), but not robustly stabi-lized. This fact was pointed out in [8] and will motivate the
results of the next section in which we will present a pro-cedure for the gainscheduling statefeedback stabilization
by means of the procedures already available for the robust
control synthesis [6].
B. Some preliminary results
In this section we will remind some basic results concern-
ing the stability of linear LPV systems. We denote by C-set a
convex and compact set containing the origin as an interior
point. Given x IRn the (dual) one and infinity norms are
1493
-
8/8/2019 Stabilization of LPV Systems
3/6
defined as x1 =ni=1 |xi| and x = maxi |xi|, respectively,
and the corresponding induced norm for matrices are H1 =
supx=0Hx1x1
= supjni=1 |Hi j| and H = supx=0
Hxx
=
supinj=1 |Hi j|.
We define (symmetric) polyhedral function the Minkowski
functional of a 0-symmetric convex and compact set contain-
ing the origin as an interior point (in brief symmetric C-set).Such a function can be represented as
(x) = Fx, (9)
where F IRsn is a full column rank matrix, or in its dualform
(x) = inf{p1, s.t. x = X p} (10)
where now the matrix X IRnl is full row rank. There is aduality relation between (9) and (10) in the sense that the two
definitions give the same function if and only if the convex
hull of all the column vectors of X and its opposite X isthe unit ball of Fx.
Such duality holds also for the stability of an autonomoussystems, as per the following (duality) lemma.
Lemma 2.1: The system
x(k+ 1) = A(w(k))x(k), (11)
where A(w) is as in (2), is robustly stable for all admissiblew(k) if and only if any of the following holds:
i) there exists a full row rank matrix X IRnl and mmatrices P(h) IRll such that P(h)1 < 1 and
A(h)X = X P(h).
ii) there exists a full column rank matrix F IRsn and m
matrices H(h
) IRss
such that H(h
) < 1 and
FA(h) = H(h)F.The coefficient above turns out to be an index of the
speed of convergence. The proofs of the above lemma follows
immediately by the fact that if the system is stable, then it
admits a polyhedral Lyapunov function [1][2][25][23]. The
details can be found in [7].
This also means that (11) is robustly if and only if the
dual system is robustly stable.
III. SOLUTION OF THE GAIN SCHEDULING STATE
FEEDBACK STABILIZATION PROBLEM
In this section we consider the problem of determininga state feedback control of the gain scheduling type for the
system (1). To this aim we introduce the following important
notion of speed of convergence.
Definition 3.1: We say that the system (1) is Gain
Scheduling stabilizable with speed of convergence if thereexists a control such that
xcl(k) Ckxcl(0),
where Xcl is the closedloop system state.
Note that the definition above implies exponential conver-
gence of the state to 0. We will see that any stabilizable
system of the considered class can be indeed exponentially
stabilized.
A. Problem solvability
To solve our problem we consider the class of the poly-hedral functions as candidate Lyapunov functions. The next
theorem motivates this choice by showing that the existence
of such function is necessary and sufficient for the Gain
Scheduling stabilizability of system (1).
Theorem 3.1: The following statements are equivalent.
i The system (1) is gain scheduling stabilizable.
ii There exists a control (x,w) such that the poly-hedral function (10) is a Lyapunov function for the
system (1).
iii There exist a full row rank matrix X IRnl , mmatrices P(h) IRll and U(h) IRql such that
A(h)X+BU(h) = X P(h), with P(h)1 < < 1,(12)
The previous theorem states that eq. (12) is crucial, since
the existence of a solution in terms of X, P(h) and U(h) is
necessary and sufficient for the GS stabilization problem
to be solvable. The next theorem states that as long as
the parameter w is known to the controller, we can always
implement a linear controller for the system, namely GS
stabilizability implies GS stabilizability by means of a linear
controller. This result extends that in [8] to the discretetime
case. To introduce the theorem we augment the equation (12)
as follows
A(h) 0
0 0
XZ
+
B 00 I
U(h)V(h)
=
XZ
P(h),
(13)
with P(h)1 < 1 and where, Z is an arbitrary matrix such
that
X
Z
is square invertible and V(h)
.=ZP(h). We are now
able to state the following theorem which states that Gain
Scheduling stabilizability is equivalent to GainScheduling
stabilizability via linear control.
Theorem 3.2: If system (1) is GS stabilizable, then it is
GS stabilizable via linear control. A stabilizing control is
given by
u(k) = K(w)x(k) +H(w)z(k)z(k+ 1) = G(w)x(k) + F(w)z(k), (14)
whereK(w) H(w)G(w) F(w)
=
m
h=1
K(h) H(h)
G(h) F(h)
wh (15)
with K(h) H(h)
G(h) F(h)
=
U(h)
V(h)
X
Z
1(16)
1494
-
8/8/2019 Stabilization of LPV Systems
4/6
B. Computation of the Lyapunov function
The results above are nonconstructive as long as we
cannot provide algorithms to compute the matrices X(h), P(h)
and U(h) in equation (12). As observed in [7] such type of
equations are not convenient to solve the problem, since they
are bilinear as long as X and P(h) are both unknown. Note
also that the same problem holds in the robust stabilizationcase, where we have to cope with the same equation with the
difference that [7] the matrices U(h) are all equal according
to the following proposition.
Proposition 1: [6]. The system
x(k+ 1) = A(w(k))x(k) +B(w(k))u(k)y(k) = x(k)
(17)
where A(w(k)) is as in (2) and
B(w(k)) =m
h=1
B(h)wh(k) (18)
and B(h)
IRnq, h = 1,2, . . . ,m are assigned constant matri-
ces, is robustly stabilizable if and only if there exist a full
row rank matrix X IRnl , m matrices P(h), and a singlematrix U IRql such that
A(h)X+B(h)U = XP(h), with P(h)1 < 1, (19)In [6] an iterative procedure is proposed to solve the prob-
lem of the determination of X(h), P(h) and U. Clearly this
procedure may be applied in a conservative way to our
problem since if a system is robustly stabilizable then it
is also GS stabilizable. However, for discretetime systems
this is a conservative way of proceeding, since, as we have
seen, the knowledge of w can be an advantage for the
compensator. The next result will allow us to exploit the
existing procedures for the solution of the robust stabilization
problem for GS stabilizability.
In view of Assumption 1 we can consider the system in
the following form:
x1(k+ 1) = A11(w) x1(k) + A12(w) x2(k) (20)
x2(k+ 1) = A21(w) x1(k) + A22(w) x2(k) + u(k) (21)
It is immediately seen that this form is achieved by
applying to all the generating matrices A(h) the linear trans-
formation T =
B B
, where B is any matrix such that T is
invertible.
By means of this form, we can recast the GS stabiliza-
tion problem in a robust stabilization problem for the pair( A11(w(k)), A12(w(k))) according to the following theorem.
Theorem 3.3: System (1) is GS stabilizable if and only if
the system
x1(k+ 1) = A11(w) x1(k) + A12(w) x2(k), (22)
(where x2 has now to be thought to as input), is robustly
stabilizable.
Thus the above result allows us to use existing algorithms
(properly modified) to compute a solution of (12).
IV. SOLUTION OF THE GAIN SCHEDULING STATE
ESTIMATION PROBLEM
In the previous section we have considered the problem
of designing a statefeedback gain scheduling compensator.
Among the results we have seen that if a system is gain
scheduling stabilizable, then is gain scheduling stabilizable
via linear state feedback control. Now we cope with the dual
problem of designing a state observer for the system
x(k+ 1) = A(w(k))x(k) + v(k)y(k) = Cx(k)
For this system we consider a linear observer of the form:
z(k+ 1) = P(w(k))z(k) L(w(k))y(k) + T1(w(k))v(k)x(k) = Q(w(k))z(k) +R(w(k))y(k)
(23)
with z IRs. Definition 4.1: The system (23) is an asymptotic observer
if and only if
i for all w(k), v(k) and x(0) and z(0) we have x(k)x(k) 0 as k ;
ii If x(0) = 0, z(0) = 0 then x(k) =x(k) for all w(k) W and v(k).
It is known that, for a given constant w, the system (23)
represents the most general form of a linear observer [26].
Furthermore, for a given constant w, for (23) to be an
observer the following necessary and sufficient conditions
must hold
P(w)T1(w) T1(w)A(w) = L(w)CQ(w)T1(w) +R(w)C = I
(24)
and
P(w) is a stable matrix (i.e. its eigenvalues are in theopen unit disk);
T1(w) has full column rank
The main problem is now to see what happens when w(k)is timevarying as in our case. To this aim introduce the
assumption that the family of matrices P(w) does not containcommon invariant subspaces included in the kernel of Q(w).
We say that a subspace S of IRn is P(w)invariant, ifx Simplies P(w)x S for all w W. Furthermore we call thekernel of Q(w) the set of all vectors r such that Q(w)r= 0for all w W.
Assumption 2: There are no P(w)invariant subspaces in-
cluded in the kernel of Q(w).The assumption below essentially means that the system
cannot be reduced by the transformation [S S], where S isa basis of S, the invariant subspace and S is a complement
matrix, to the form
P(w) =
P11(w) P12(w)
0 P22(w)
, Q(w) =
0 Q2(w)
Note that for known P and Q this is just an observability as-
sumption. The restriction above is obviously nonrestrictive,
1495
-
8/8/2019 Stabilization of LPV Systems
5/6
since, if the decomposition above can be achieved, then we
can eliminate the nonobservable part of the system.
Consider now a new variable r(k) such that
z(k) = r(k) + T1(w(k))x(k) (25)
With simple computations if we replace (25) in (23) in viewof (24) we get the following equation
r(k+ 1) = P(w(k))r(k) + [T1(w(k+ 1))T1(w(k))]x(k+ 1)
x(k) x(k) = Q(w(k))r(k)(26)
We have now the following result that concerns the structure
of (23).
Lemma 4.1: The system (23) is an observer only if the
matrix T1(w) = T1 is a constant.
Given that T1 must be constant, without restriction we can
consider observer of the form
z(k+ 1) = P(w(k))z(k) L(w(k))y(k) + T1v(k)x(k) = Q(w(k))z(k) +R(w(k))y(k) (27)
whose associated error equation, derived from (26), is
r(k+ 1) = P(w(k))r(k)e(k)
.= x(k) x(k) = Q(w(k))r(k)
(28)
The previous equation together with Assumption 2 leads us
immediately to the following basic result.
Lemma 4.2: The system (27) under Assumption 2 is an
observer only if the system
r(k+ 1) = P(w(k))r(k)
is stable and there exists a full row rank matrix T1
P(w)T1 T1A(w) = L(w)CQ(w)T1 +R(w)C = I
(29)
The proof of the above Lemma is immediate and thus it is
omitted. We are in the position now to prove the main result
of this section.
Theorem 4.1: The following statements are equivalent.
i The system (27) is an observer.
ii There exists full column rank matrix F, m matrices
H(h) and m matrices Y(h) such that
FA(h) +Y(h)C= H(h)F, with H(h) < 1, (30)
iii The dual system
x(k+ 1) = AT(w(k))x(k) +CTu(k)
is gain scheduling stabilizable.
The previous result is constructive, since, by duality, we
can always apply the procedure to design a gainscheduling
state feedback stabilizer to the dual system (AT(w),CT) todesign the observer.
V. A SEPARATION PRINCIPLE FOR DESIGN
We briefly describe a way to stabilize the system by means
of a linear observer and gain scheduling estimated state
feedback. The next theorem is a simple consequence of the
results of the previous section. It shows that one can always
synthesize a stabilizing compensator by separately designing
an observer and a state feedback control if the system is
statefeedback stabilizable and detectable.
Theorem 5.1: Assume that (A(w),B) is gain schedulingstabilizable and (C,A(w)) is gain scheduling detectable. Thenthe dynamic controller (we dropped the time-dependence in
w(k) for clarity)
zc(k+ 1) = G(w) x(k) + F(w)zc(k)zo(k+ 1) = P(w)zo(k) L(w)y(k) + T1Bu(k)
x(k) = Q(w)zo(k) +R(w)y(k)u(k) = K(w) x(k) +H(w)zc(k),
(31)
where the matrices in the above equations are as in theorem
3.2 and lemma 4.2, asymptotically stabilizes the plant.
V I . CONCLUDING DISCUSSIONS
In this paper we focused our attention on the stabilization
of Linear Parameter Varying (LPV) discrete-time systems.
We showed by very simple examples that the robust sta-
bilization and the gain scheduling stabilization problems,
differently from the continuous-time case, are rather different
problems. We also showed the existence of a duality relation
between the gain scheduling control and the gain scheduling
observation problem for LPV. Finally a separation principle
to derive output feedback stabilizing controllers was derived.
VII. REFERENCES
[1] N. E. Barabanov, Lyapunov indicator of discrete inclu-
sion , Autom. Rem. Contr., parts I,II,III, Vol. 49, no. 2,
pp. 152-157; no. 4, pp. 283-287; no. 5, pp. 558-566,
1988.
[2] R. K. Brayton and C. H. Tong, Constructive stability
and asymptotic stability of dynamical systems, IEEE
Trans. Circ. Syst., Vol. 27, no. 11, pp. 1121-1130, 1980.
[3] B. R. Barmish, I. Petersen, and A. Feuer, Linear
Ultimate Boundedness Control of Uncertain Systems,
Automatica, Vol. 19, no. 5, pp. 523-532, 1983.
[4] B. R. Barmish, M. Corless, and G. Leitmann, A new
class of stabilizing controllers for uncertain dynamicallysystems, SIAM J. Contr. Optim., Vol. 21, no. 2, 1983.
[5] B. R. Barmish and A. R. Galimidi, Robustness
of Luemberger Observers: Linear Systems Stabilized
via Non-linear control, Automatica, Vol. 22, no. 4,
pp. 413-423, 1986.
[6] F. Blanchini, Ultimate boundedness control for
discrete-time uncertain system via set-induced Lya-
punov functions, IEEE Trans. Aut. Contr., Vol. 39,
no. 2, pp. 428-433, 1994.
1496
-
8/8/2019 Stabilization of LPV Systems
6/6
[7] F. Blanchini, Set invariance in control a survey,
Automatica, Vol. 35, no. 11, pp.17471767, 1999.
[8] F. Blanchini, The gain scheduling and the robust state
feedback stabilization problems, Proc. 38th Contr. Dec.
Conference CDC99, Phoenix, 1999, to appear also in
IEEE Trans. Aut. Contr..
[9] F. Blanchini and A. Megretski, Robust state feedbackcontrol of LTV systems: nonlinear is better than linear,
IEEE Trans. Aut. Contr., Vol. 44, no. 4, pp. 802807,
1999.
[10] F. Blanchini and S. Miani, A universal class of smooth
functions for robust control, IEEE Trans. Aut. Contr.,
Vol. 35, no. 3, pp. 155163, 1998.
[11] E. B. Castelan and J.C. Hennet, On invariant poly-
hedra of continuous-time linear systems. IEEE Trans.
Aut. Contr., Vol. 38, no. 11, pp. 16801685, 1993.
[12] C. E. T.Dorea and J.C. Hennet, (A,B)invarianceconditions of polyhedral domains for continuoustime
systems, Eur. J. Contr., Vol. 5, no. 1, pp. 70-81, 1999.[13] R. A. Freeman and P. V. Kokotovic, Inverse Optimality
in Robust Stabilization, SIAM J. Contr. Optim., Vol. 34,
no. 4, pp. 1365-1391, 1996.
[14] S. Gutman, Uncertain dynamic systems a Lyapunov
mimmax approach, IEEE Trans. Aut. Contr., Vol. 24,
no. 3, pp. 437443, 1979.
[15] A. Helmerson, Synthesis and LFT Gain Scheduling
with Real Uncertainties, Int. J. Rob. Nonlin. Contr.,
Vol. 8, pp. 631642, 1998.
[16] D. A. Lawrence and W. J. Rugh, Gain Scheduling Dy-
namic Controllers for a Nonlinear Plant, Automatica,
Vol. 31, no. 3, pp. 381390, 1995.
[17] G. Leitmann, Guaranteed Asymptotic Stability forSome Linear Systems With Bounded Uncertainties,
Trans. ASME, Vol. 101, pp. 212216, 1979.
[18] Y. Lin, E. D. Sontag, and Y. Wang, A smooth converse
Lyapunov theorem for robust stability, SIAM J. Contr.
Optim., Vol. 34, no. 1, pp. 124-160, 1996.
[19] Y. Lin and E. D. Sontag, ControlLyapunov Universal
Formulas for Restricted Inputs, Control Theory Adv.
Tech., Vol. 10, no. 4, part 5, pp. 19812004, 1995.
[20] D. G. Luenberger, An introduction to observers, IEEE
Trans. Aut. Contr., Vol. 16, no. 6, pp. 596602, 1971.
[21] A. Megretski, How conservative is the circle crite-
rion?, in V. D. Blondel, E. D. Sontag, M. Vidyasagarand J. C. Willems, editors, Open problems in Mathe-
matical System and Control Theory, Springer, 1998.
[22] A. M. Meilakhs, Design of stable systems subject to
parametric perturbations, Autom. Rem. Contr., Vol. 39,
no. 10, pp. 14091418, 1979.
[23] A. N. Michel, B. H. Nam, and V. Vittal, Computer gen-
erated Lyapunov Functions for interconnected Systems:
improved results with applications to power systems,
IEEE Trans. Circ. Syst., Vol. 31, no. 2, 1984.
[24] A. P. Molchanov and E. S. Pyatnitskii, Lyapunov
functions specifying necessary and sufficient conditions
of absolute stability of nonlinear nonstationary controlsystem, Autom. Rem. Contr., parts I,II,III, Vol. 47,
no. 3, pp. 344-354; no. 4, pp. 443-451; no. 5, pp. 620-
630, 1986.
[25] Y. Ohta, H. Imanishi, L. Gong, and H. Haneda, Com-
puter generated Lyapunov functions for a class of
nonlinear systems, IEEE Trans. Circ. Syst., Vol. 40,
no. 5, 1993.
[26] J. OReilly, Observers for linear systems, Academic
Press, London, New York, 1983.
[27] I. R. Petersen and B. R. Barmish, Control effort con-
siderations in the stabilization of uncertain dynamical
systems, Syst. Contr. Lett., Vol. 9, pp. 417-422, 1987.
[28] M. A. Rotea and P. P. Khargonekar, Stabilization ofuncertain systems with norm-bounded uncertainty: a
Lyapunov function approach, SIAM J. Contr. Optim.,
Vol. 27, pp. 1462-1476, 1989.
[29] N. Rouche, P. Habets, and M. Laloy, Stability theory
by Lyapunovs direct method, Appl. Math. Science,
SpringerVerlag, 1977.
[30] S. M. Shahruz and S. Behtash, Design Controllers
for Linear ParameterVarying Systems by the Gain
Scheduling Technique, J. Math. Anal. Appl., Vol. 168,
pp. 195217, 1992.
[31] G. Scorletti and L. El Ghaoui, Improved LMI Con-
ditions for Gain Scheduling and Related Control Prob-
lems, Int. J. Rob. Nonlin. Contr., Vol. 8, pp. 845877,
1992.
[32] J. S. Shamma, Linearization and Gain Scheduling, in
W. Levine, editor, The Control Handbook, pp. 388396,
CRC Press, 1996.
[33] J. S. Shamma and M. Athans, Analysis of Gain Sched-
uled Control for Nonlinear Plants, IEEE Trans. Aut.
Contr., Vol. 35, no. 8, pp. 898-907, Aug. 1990.
[34] J. S. Shamma and M. Athans, Guaranteed properties of
Gain Scheduled Control for Linear Parametervarying
Plants, Automatica, Vol. 27, no. 3, pp. 559564, 1991.
[35] J. S. Shamma and D. Xiong, Control of Rate Con-
strained Linear Parameter Varying Systems, in Proc.34th Contr. Dec. Conference CDC95, pp. 25152520,
New Orleans, La, 1995.
[36] C. C. Tsui, A new design approach to unknown input
observers, IEEE Trans. Aut. Contr., Vol. 41, pp. 464
468, 1996.
1497