Professional Documents
Culture Documents
LMI Approach To Output Feedback Control For Linear Uncertain Systems With D-Stability Constraints
LMI Approach To Output Feedback Control For Linear Uncertain Systems With D-Stability Constraints
LMI Approach To Output Feedback Control For Linear Uncertain Systems With D-Stability Constraints
Communicated by E. Polak
Abstract. This paper deals with the problem of designing output feed-
back controllers for linear uncertain continuous-time and discrete-time
systems with circular pole constraints. The uncertainty is assumed to be
norm bounded and enters into both the system state and input matrices.
We focus on the design of a dynamic output feedback controller that,
for all admissible parameter uncertainties, assigns all the closed-loop
poles inside a specified disk. It is shown that the problem addressed can
be recast as a convex optimization problem characterized by linear
matrix inequalities (LMI); therefore, an LMI approach is developed to
derive the necessary and sufficient conditions for the existence of all
desired dynamic output feedback controllers that achieve the specified
circular pole constraints. An effective design procedure for the expected
controllers is also presented. Finally, a numerical example is provided
to show the usefulness and applicability of the present approach.
1. Introduction
1
The work of the first author was supported in part by the Alexander von Humboldt Foun-
dation of Germany and the University of Kaiserslautern, Kaiserslautern, Germany.
2
Staff Member, Control Theory and Applications Centre, School of Mathematical and Infor-
mation Sciences, Coventry University, Coventry, United Kingdom.
3
Professor, Control Theory and Applications Centre, School of Mathematical and Information
Sciences, Coventry University, Coventry, United Kingdom.
357
0022-3239兾02兾0700-0357兾0 2002 Plenum Publishing Corporation
358 JOTA: VOL. 113, NO. 2, MAY 2002
for solving the LMIs. The number of control problems that can be formu-
lated as LMI problems is large and continues to grow. For example, the
continuous-time and discrete-time HS control problem was thoroughly
solved in Ref. 21 based on LMIs. In Ref. 22, a lot of elegant results were
obtained for robust quadratic dissipative control of linear uncertain systems
in terms of LMIs. Chilali and Gahinet (Ref. 23) studied in detail the design
of state-feedback or output-feedback HS controllers that satisfy additional
constraints on the regional pole location. An LMI approach was utilized in
Ref. 23, and an extension to the uncertain case was also included. However,
the uncertain systems investigated in Ref. 23 were described by a polytopic
state-space model; that is, the system matrices take values in the matrix
polytope, and thus the uncertainties were structured. Up to now, there has
been few papers dealing with robust pole assignment problems subjected
to unstructured norm-bounded parameter uncertainties using the LMI
approach, especially for the discrete-time case.
In this paper, an LMI approach developed in Ref. 21 is exploited to
study the problem of the robust output feedback controller design for un-
certain continuous-time and discrete-time systems with circular pole con-
straints. The parameter uncertainty is allowed to be unstructured but norm
bounded, and it exists in both the system state and the system input
matrices. The aim of this problem is the design of a dynamic output feed-
back controller such that, for all admissible uncertainties, the closed-loop
poles are placed within a specified disk. A unified LMI-based approach,
which is suitable for both linear uncertain continuous-time and discrete-
time systems, is developed to derive the necessary and sufficient conditions
for the existence of all desired dynamic output feedback controllers that
achieve the specified circular pole constraints in terms of LMIs. The solu-
tions of the LMIs, if they exist, can be exploited to construct effectively the
expected controllers. It is worthwhile to mention that the LMI toolbox (see
Ref. 24) is now very powerful to solve LMIs. We provide a numerical
example to illustrate the obtained theory. Finally, we point out that:
(i) the main results developed in this paper introduce no
conservativeness;
(ii) although the uncertainty in this paper is assumed to be norm
bounded, it is not difficult to consider a more general description
of the uncertainty (such as the generalized positive real un-
certainty, Ref. 25) within the same framework;
(iii) no stability assumption is needed in this paper for the nominal
system.
The paper is organized as follows. In Section 2, we formulate the
dynamic output feedback controller design problem for both linear
360 JOTA: VOL. 113, NO. 2, MAY 2002
where xp ∈⺢nx is the state vector, u∈⺢nu is the control input vector,
yp ∈⺢ny is the measured output vector, and Ap , Bp , Cp are known constant
matrices. It is assumed that Dp G0 and that the triple (Ap , Bp , Cp) is stabiliz-
able and detectable. It should be pointed out that the assumption Dp G0
causes no loss of generality, while considerably simplifying the algebraic
manipulations; see Ref. 21. ∆Ap and ∆Bp represent parametric perturbations
in the system state matrix and control input matrix, and are assumed to be
of the following form (see e.g. Refs. 26–27):
F TF⁄I (4)
JOTA: VOL. 113, NO. 2, MAY 2002 361
冤x 冥 , 冤x 冥 , 冤0 冥 冤0 冥
xp yp Ap 0 Bp 0
x_ y_ A_ , B_ , (9)
c c 0 Inc
冤0 冥 冤B 冥
Cp 0 Dc Cc
C_ , K_ , [∆A, ∆B]GMF [N1 , N2], (10)
Inc c Ac
冤 0 冥,
Mp
M_ N1 _[Np1 , 0], N2 _[Np2 , 0]. (11)
We now consider a stable disk region D(q, r) in the complex plane with
the center at qCj0 and the radius r; that is, D(q, r) belongs to the left-half
complex plane for continuous-time systems and to the unit disk for discrete-
time systems. To this end, we are in a position to state that: the robust
circular pole-constrained design (RCPD) problem under study is to design
362 JOTA: VOL. 113, NO. 2, MAY 2002
Lemma 3.1. Let the disk D(q, r) and the controller parameter matrix
K be given. Consider the quadratic matrix inequality
Aq[(AC∆A)C(BC∆B)KC]TPAqP[(AC∆A)C(BC∆B)KC]
C[(AC∆A)C(BC∆B)KC]TP[(AC∆A)
C(BC∆B)KC]C(q2Ar2)PF0. (12)
Then, the closed-loop systems (7), (8) are robustly D-stable if and only if
there exists a positive definite solution P to (12).
Lemma 3.2. Schur Complement Lemma (Ref. 28). Given the constant
matrices M, L, Q of appropriate dimensions, where M and Q are symmetric
and QH0, then MCLTQLF0 if and only if
AQ −1 L
冤 冥 冤 冥
M LT
F0 or F0.
L −Q −1 LT M
Lemma 3.4. See Ref. 27. Let A∈⺢nBn, M∈⺢nBi, N∈⺢ jBn,
QGQ T ∈⺢nBn be given matrices, and let F∈⺢iBj be any matrix satisfying
FTF⁄I. Then, there exists a positive-definite matrix PH0 meeting
(ACMFN )TP(ACMFN )CQF0 if and only if there exists a scalar (H0
such that
AP −1C(MM T A
冤A T
( −1N TNCQ
F0. 冥
For the sake of simplicity, we make the following definitions:
Acq G(AAqInxCnc)CBKC, (14)
冤 冥
−P (1兾r)P(AAqInxCnc) (1兾r)PM 0(nxCnc)Bj
(1兾r)(AAqInxCnc ) P −P
T
0(nxCnc )Bi N T1
GG , (15)
(1兾r)M P T
0iB(nxCnc ) −( −1Ii 0iBj
0 jB(nxCnc ) N1 0 jBi −(I jBj
YG[(1兾r)B TP, 0(nuCnc)B(nxCnc), 0(nuCnc)Bi, N T2 ], (16)
ZG[0(nyCnc)B(nxCnc), C, 0(nyCnc)Bi, 0(nyCnc)Bj ], (17)
T T
XG[(1兾r)B , 0(nuCnc)B(nxCnc), 0(nuCnc)Bi, N ].2 (18)
364 JOTA: VOL. 113, NO. 2, MAY 2002
冤 冥
AP (1兾r)P(AAqInxCnc) (1兾r)PM 0(nxCnc)Bj
T
T
(1兾r)(AAqInxCnc) P −P 0(nxCnc)Bi N T1
N Z −1
N Z F0, (19)
(1兾r)M P T
0iB(nxCnc) −( Ii 0iBj
0 jB(nxCnc) N1 0 jBi −(I jBj
−1
冤 冥
AP (1兾r)(AAqInxCnc) (1兾r)M 0(nxCnc)Bj
T (1兾r)(AAqInxCnc)T −P 0(nxCnc)Bi N T1
N X N X F0 (20)
(1兾r)M T 0iB(nxCnc) −( −1Ii 0iBj
0 jB(nxCnc) N1 0 jBi −(I jBj
Proof. The proof technique is along lines similar to those used in Ref.
21. Note that ϒ can be rewritten as
ϒG(1兾r)[(AC∆A)C(BC∆B)KCAqI]
G(1兾r)[(AAqI )CBKC]C(1兾r)MF(N1 CN2 KC). (21)
Lemma 3.1 means that the closed-loop systems (7), (8) are robustly D-stable
if and only if there exists a positive-definite solution PH0 to the inequality
(12) or
ϒTPϒAPF0.
Then, by considering the relationship (21) and Lemma 3.4, we know that
the above inequality holds if and only if there exists a scalar (H0 satisfying
AP −1C((兾r2) MM T
冤 冥
(1兾r)[(AAqI )CBKC]
F0, (22)
(1兾r)[(AAqI )CBKC] ( −1 (N1 CN2 KC)T (N1 CN2 KC)AP
T
JOTA: VOL. 113, NO. 2, MAY 2002 365
AP −1
冤 冥
(1兾r)[(AAqI )CBKC]
(1兾r)[(AAqI )CBKC] −P
T
(1兾r)M T 0 T
(1兾r)M T 0
冤 冥冤 冥冤 冥
(I 0
C F0. (23)
0 N1 CN2 KC 0 ( −1I 0 N1 CN2 KC
It follows from Lemma 3.2 that (23) holds if and only if the following
inequality is true:
AP −1
冤 冥
(1兾r)Acq (1兾r)M 0(nxCnc)Bj
(1兾r)A T
cq −P 0(nxCnc)Bi (N1 CN2 KC)T
F0, (24)
(1兾r)M T
0iB(nxCnc) −( −1Ii 0iBj
0 jB(nxCnc) N1 CN2 KC 0 jBi −(I jBj
where Acq is defined in (14).
Premultiplying and postmultiplying the inequality (24) by
diag{P, I, I, I} respectively yield
冤 冥
AP (1兾r)PAcq (1兾r)PM 0(nxCnc)Bj
(1兾r)A P −P
T
cq 0(nxCnc)Bi (N1 CN2 KC)T
F0, (25)
(1兾r)M TP 0iB(nxCnc) −( −1Ii 0iBj
0 jB(nxCnc) N1 CN2 KC 0 jBi −(I jBj
which, by using the definitions (15)–(17), can be expressed as
GCYTKZCZ TK TYF0. (26)
冤 冥
0(nxCnc)B(nxCnc) 0(nxCnc)Bi 0(nxCnc)Bj
0(nxCnc)B(nxCnc) InxCnc 0(nxCnc)Bi 0(nxCnc)Bj
N YG N X. (28)
0iB(nxCnc) 0iB(nxCnc) Ii 0iBj
0 jB(nxCnc) 0 jB(nxCnc) 0 I jBi
366 JOTA: VOL. 113, NO. 2, MAY 2002
The following theorem provides the necessary and sufficient conditions for
the solvability of the robust D-stability output feedback controller design
problem in terms of three linear matrix inequalities (LMIs).
W T1 AJCf (J ) Ap J N Tp1
冤 冥冤 冥 冤0 冥
0 W1 0
F0, (30)
0 W T2 Np1 J ATp Np1 J N Tp1 A(I j W2
W T3 (−TC( −1N Tp1 Np1) W3 W T3 ATp T 0
冤T Ap W 3
0
−T
M Tp T
T Mp F0,
−( −1I
冥 (31)
冤I T冥H0.
J I
(32)
冤U 冥 冤V 冥
T U J V
PG T , P −1 G T . (33)
T̂ Ĵ
JOTA: VOL. 113, NO. 2, MAY 2002 367
冤0 冥
0nyB(nxCnc) Cp 0nyBnc 0nyB(iCj )
G ,
ncB(nxCnc) 0ncBnx Inc 0ncB(iCj )
X_[(1兾r)B T, 0(nuCnc)B(nxCnc ) , 0(nuCnc)Bi , N T2 ]
(1兾r)B Tp 0nuB(nxCncCi) N Tp2
冤0 冥,
0nuBnc
G
ncBnx (1兾r)Inc 0ncB(nxCncCi) 0ncBj
冤 冥 冤 冥
W1 0 0 InxCnc 0 0
0 0 0 0 W3 0
N XG , N ZG . (34)
0 InxCncCi 0 0 0 0
0 0 W2 0 0 IiCj
Note that the second row of N X and third row of N Z are identically zero.
Now, by using Lemma 3.2, it is immediate to verify the fact that
W T3 (−TC( −1N Tp1 Np1)W3 W T3 ATp T
冤T Ap W 3 −TC(T Mp M Tp T 冥
W T3 (−TC( −1N Tp1 Np1)W3 W T3 ATp T T
冤 冥 冤 冥 冤 冥
0 0
G C (I F0 (35)
TAp W3 −T TMp TMp
is equivalent to the inequality (31). Considering this fact and substituting
both the partition of P in (33) and the second expression of (34) into the
inequality (19), it can be shown that, through some straightforward matrix
manipulations, the inequality (19) is equivalent to the inequality (31). On
the other hand, substituting the partition of P −1 in (33) and the first
expression of (34) into the inequality (20), it can be readily established also
that the condition (20) is equivalent to (30). Hence, P satisfies (19)–(20)
if and only if J, T satisfy (30)–(31). Finally, PH0 and P∈⺢(nxCnc)B(nxCnc)
if and only if J, T satisfy inequality (32); see Ref. 29. This proves the
theorem. 䊐
Theorem 3.2 gives the existence conditions for the robust output feed-
back D-stabilization problem. Assume that the LMIs in (30)–(32) admit
feasible solutions (not necessarily unique) J, T, (. By considering the defi-
nitions in (33), we are now ready to propose the corresponding design pro-
cedure for the expected robust output feedback controllers.
368 JOTA: VOL. 113, NO. 2, MAY 2002
Design Procedure.
Step 1. Compute the full-column rank nx Bnc real matrices V and U
such that VU T GIAJT.
Step 2. Find the unique solution PH0 of the linear equation
冤U 冥 冤 冥
T I I J
T GP ,
0 0 VT
Remark 3.3. When we consider the dynamic state feedback case (i.e.,
Cp GI), it is easy to test that, in Theorem 3.2, only the LMI (30), which is
linear on both J and (, is needed. The corresponding design procedure can
also be simplified. Furthermore, if we consider the static state feedback case
(i.e., nc G0), the results obtained in this paper reduce to those of Ref. 16,
since the Riccati matrix equation conditions derived in Ref. 16 can be con-
verted readily into the associated LMIs. If we consider the static state feed-
back case when the uncertainty disappears, actually the present results
recover those of Ref. 1. On the other hand, since the existence conditions
for the robust D-stability controllers proposed in Refs. 12–13 are merely
sufficient, the results obtained in this paper generalize those of Refs. 12–13.
of an LMI which has a form similar to (26), and then the present techniques
can all be applied.
4. Numerical Example
nc G0, KGDc .
冤 冥 冤 冥
A2 0 0 0 0
Ap G 0 A3 1 , Bp G 1 0 ,
0 0 1 0 1
冤 冥
0.5 0
冤 冥
0 0.5 0
Cp G , Np2 G 0 0 ,
0 0 0.5
0 0.1
and
Ac _(AC∆A)C(BC∆B)KC,
for the static output feedback case, are all assigned inside the prespecified
disk D(3, 2).
By employing the controller design procedure provided in the previous
section, with respect to four different choices of (U, V) satisfying
370 JOTA: VOL. 113, NO. 2, MAY 2002
5. Conclusions
This paper has introduced an LMI approach to the robust output feed-
back control for linear uncertain continuous-time and discrete-time systems
with circular pole constraints. We have derived some linear matrix inequal-
ities whose solutions indicate the achievability of the desired robust D-
stability; i.e., we have shown that the robust D-stabilization problem can
be recast as a convex optimization problem under constraints of LMIs
which can be solved effectively using the recently developed LMI tool. Then,
based on these LMIs, we have given a simple procedure to construct the
required output feedback stabilizing controllers. It has been shown that the
main results obtained in this papers include those of most recent papers
concerning robust D-stability synthesis and design as special cases. A
numerical example has demonstrated the applicability of the proposed
approach.
References
1. FURUTA, K., and KIM, S. B., Pole Assignment in a Specified Disk, IEEE Trans-
actions on Automatic Control, Vol. 32, pp. 423–427, 1987.
2. HADDAD, W. M., and BERNSTEIN, D. S., Controller Design with Regional Pole
Constraints, IEEE Transactions on Automatic Control, Vol. 37, pp. 54–69,
1992.
3. KAWASAKI, N., and SHIMEMURA, E., Pole Placement in a Specified Region
Based on a Linear Quadratic Regulator, International Journal of Control, Vol.
48, pp. 225–240, 1988.
4. LEE, T. T., and LEE, S. H., Discrete Optimal Control with Eigenûalues inside a
Circular Region, IEEE Transactions on Automatic Control, Vol. 31, pp. 958–
962, 1986.
JOTA: VOL. 113, NO. 2, MAY 2002 371
22. XIE, S., XIE, L., and DE SOUZA, C. E., Robust Dissipatiûe Control for Linear
Systems with Dissipatiûe Uncertainty, International Journal of Control, Vol. 70,
pp. 169–191, 1998.
23. CHILALI, M., and GAHINET, P., HS Design with Pole Placement Constraints:
An LMI Approach, IEEE Transactions on Automatic Control, Vol. 41, pp. 358–
367, 1996.
24. GAHINET, P., NEMIROVSKY, A., LAUB, A. J., and CHILALI, M., LMI Control
Toolbox for Use with Matlab, The Math Works, Natick, Massachussets, 1995.
25. XIE, L., and SOH, Y. C., Robust Control of Linear Systems with Generalized
Positiûe Real Uncertainty, Automatica, Vol. 33, pp. 963–967, 1997.
26. KHARGONEKAR, P. P., PETERSEN, I. R., and ZHOU, K., Robust Stabilization of
Uncertain Linear Systems: Quadratic Stabilization and HS Control Theory,
IEEE Transactions on Automatic Control, Vol. 35, pp. 356–361, 1990.
27. XIE, L., and SOH, Y. C., Guaranteed Cost Control of Uncertain Discrete-Time
Systems, Control Theory and Advanced Technology, Vol. 10, pp. 1235–1251,
1995.
28. XIE, L., Output Feedback HS Control of Systems with Parameter Uncertainty,
International Journal of Control, Vol. 63, pp. 741–750, 1996.
29. PACKARD, A., ZHOU, K., PANDEY, P., and BECKER, G., A Collection of Robust
Control Problems Leading To LMIs, Proceedings of the 30th IEEE Conferences
on Decision and Control, Brighton, United Kingdom, pp. 1245–1250, 1991.