AdaptivePolePositioning MIMOSystems
AdaptivePolePositioning MIMOSystems
G. Kalogeropoulos
and
E. A. Santas
Submitted by C. T. Leondes
464
0022-247Xr99 $30.00
Copyright 䊚 1999 by Academic Press
All rights of reproduction in any form reserved.
ADAPTIVE POLE POSITIONING 465
1. INTRODUCTION
time the system becomes unstable. It is worth noticing at this point, that
unstable solutions of the Diophantine equation, can occur even though,
the system under control possesses the parity interlacing property Žp.i.p..
w30x Žis strongly stabilizable .. A plant is said that it possesses the p.i.p. if
the number of its real poles between each pair of zeros in the unstable
domain is even. In this case, it is possible to obtain a stable controller from
these unstable solutions by using the approach presented in w31x, which is
based on an interpolation procedure. Unfortunately, as mentioned above,
this approach can be applied only in cases where the system under control
is strongly stabilizable. When the system under control contains unknown
parameters Žas in the case of adaptive pole placement control., this
information of crucial importance is not available to the designer. Thus, up
to now, the design of a stable and useful adaptive pole placement compen-
sator cannot be guaranteed.
The motivation for studying an adaptive version of the particular con-
troller structure presented in w5x and w19x, is manifold. First, since it does
not rely on pole-zero cancellation, it may be readily applicable for solving
the adaptive pole placement problem for nonstably invertible plants.
Furthermore, the degrees of freedom in the choice of the modulating
function, provide a solution to the problem of assuring persistency of
excitation of the continuous-time plant under control, without imposing
any special assumption either on the existence of special convex sets in
which the estimated parameters belong or on the coprimeness of the
polynomials describing the ARMA model, as in known techniques, or
finally on the richness of the reference signals Žexcept boundedness., as in
known adaptive pole placement techniques. The determination of the
MRIC based adaptive pole placers sought is mainly based on the transfor-
mation of the discrete analogue of the continuous-time system under
control to a phase variable canonical phorm, prior to the application of the
control design procedure. As a consequence of this fact, the solution of the
problem can be obtained by a quite simple utilization of the concept of
state similarity transformation. No Diophantine equation is needed to be
solved here as compared to known techniques. The designed MRIC based
adaptive pole placers are always stable, since gain controllers are needed
to be designed here, as compared to Žpossibly unstable . dynamic compen-
sators obtained by known techniques. Therefore, the proposed adaptive
scheme is readily applicable to plants which do not possess the p.i.p. As a
consequence of this design philosophy, a useful globally stable indirect
adaptive control scheme is derived, which estimates the unknown plant
parameters Žand consequently the controller parameters. on-line, from
sequential data of the inputs and the outputs of the plant, which are
recursively updated within the time limit imposed by a fundamental
sampling period T0 . Finally, it is remarked that the a priori knowledge
468 ARVANITIS, KALOGEROPOULOS, AND SANTAS
˙x Ž t . s Ax Ž t . q Bu Ž t . , y Ž t . s Cx Ž t . Ž 2.1.
m
Ý ni s n and
is1
Note that, LMCI defined as above are also known as the ‘‘Kronecker
invariants’’ or ‘‘Kronecker indexes’’ of the pair ŽA, B..
Consider now applying to system Ž2.1., the multirate control strategy
depicted in Figure 1. With regard to the sampling mechanism, we assume
that all samplers start simultaneously at t s 0. The sampling periods Ti
have rational ratio, i.e., Ti s T0rNi , for i g Jm , where T0 is the common
sampling period, Ni g Zq are the input multiplicities of the sampling. The
hold circuits Hi and H0 are the zero order holds with holding times Ti and
T0 , respectively. Let
m
NU s Ý Ni , l i s NrNi , TN s T0rN
is1
x Ž k q 1 . T0 s Ž ⌽ y K f C . x Ž kT0 . q K f w Ž kT0 . ,
y Ž kT0 . s Cx Ž kT0 . , kG0
T0
Kfs H0 exp A Ž T0 y . BF Ž . d Ž 2.3.
det Ž zI y ⌽ q K f C . ' ˆ
pŽ z . Ž 3.1a.
ADAPTIVE POLE POSITIONING 471
where
n
ˆp Ž z . s Ł Ž z y ˆi . s
ˆ z n q aˆ1 z ny1 q ⭈⭈⭈ qaˆny1 z q aˆn Ž 3.1b.
is1
det Ž zI y ⌽ T q C T K Tf . s ˆ
pŽ z . Ž 3.2.
Consider now the following fictitious discrete time system:
and defining hTj as the ␥ j th row of Py1 , it can be shown that under the
transformation ˜ zŽ kT0 . s Qx
˜Ž kT0 ., where Q g R n= n is the columnar stack
of ␦ 1 q . . . q␦ p Žs n. rows, defined by
hT1
..
.
␦ 1 y1
hT1 Ž ⌽ T .
..
Qs .
hTp
..
.
␦ p y1
hTp Ž ⌽ T .
OŽ ␦ iy1.= ␦ j
⌽iTj s g R ␦ i= ␦ i Ž i / j. ,
yaTi j
OŽ ␦ iy1.=p
CUi s g R ␦ i=p
qTi
ADAPTIVE POLE POSITIONING 473
where
aTii s Ž a ii . 0 Ž aii . 1 ⭈⭈⭈ Ž aii . ␦ iy1 ,
1 q̃T1
0 1 q̃T2
..
Ls .
0 0 ⭈⭈⭈ 0 1 q̃Tpy 1
0 0 ⭈⭈⭈ 0 1
C̃U1
..
CU L s QC T L ' C
˜U s .
C̃Um
where
OŽ ␦ iy1.=p
C̃Ui s
0 Tiy1 1 0 Tpyi
˜z Ž k q 1 . T0 s ⌽U ˜z Ž kT0 . q C
˜U ¨˜Ž kT0 . Ž 3.6.
which is the input Luenberger canonical form corresponding to system
Ž3.3.. In what follows, to system Ž3.6., we apply the following state feedback
law:
¨˜Ž kT0 . s FU ˜
z Ž kT0 . Ž 3.7.
474 ARVANITIS, KALOGEROPOULOS, AND SANTAS
ˆ1 , . . . , ˆn
diag ž / if the desired eigenvalues are distinct
⌸s
½ blockdiag Ž J1 , . . . , Js . if the desired eigenvalues are repeated
Ž 3.10.
with
ˆq
1 0 ⭈⭈⭈ 0
0 ˆq
1 ⭈⭈⭈ 0
Jq s 0 0 ˆq
⭈⭈⭈ 0 g R r q=r q Ž 3.11.
.. .. .. .. 1
. . . .
0 0 0 ⭈⭈⭈ ˆq
and where the order r q of the qth Jordan block Jq is the multiplicity of the
ˆq .
eigenvalue
To solve Ž3.9. for FU and T, partition the matrices ⌽Uii and ⌽Ui j as
ˆ Uii
⌽ ˆ Ui j
⌽
⌽Ui i s , ⌽Ui j s Ž i / j.
yaTii yaTi j
where
ˆ Ui i s 0␦ iy1
⌽ I ␦ iy1 , ˆ Ui j s OŽ ␦ 1y1.= ␦ j
⌽ Ž i / j.
ADAPTIVE POLE POSITIONING 475
T11 ⭈⭈⭈ T1 p
.. .. .. T̂i j
Ts . . . , Ti j s ,
t̃ Ti j
Tp1 ⭈⭈⭈ Tp p
t Ti jl
..
ˆi j s
T . , ˜t Ti j s t Ti j, ␦ i
t Ti j, ␦ iy1
˜Ui as
partition C
C̃q
C̃Ui s
i
c̃ Ti
where
˜qi s OŽ ␦ iy1.=p ,
C ˜c Ti s 0 Tiy1 1 0 Tpy1
and define
⌸ s blockdiag ⌸ 1 ⭈⭈⭈ ⌸ p4
where each matrix Ti j has the dimensionality of ⌽Ui j , and each matrix ⌸ i
has the dimensionality of ⌽Uii , and may have one of the forms given in
Ž3.10. Žor its combination..
Next, define ⌽ˆU, C ˜ U , C,
˜q, ⌽ ˜ and T
˜ as
ˆU s
⌽ U
ž ⌽ˆ /
i j is1, . . . , p , ˜qs Ž C
C ˜qi . is1, . . . , p ,
js1, . . . , p
Ž 3.12a.
ˆs
T ž Tˆ /
i j is1, . . . , p js1, . . . , p
˜U s
⌽ Ž yaTi j . is1, . . . , p , ˜ s Ž˜c Ti . is1, . . . , p ,
C
js1, . . . , p
Ž 3.12b.
˜ s Ž˜t i j . is1, . . . , p
T is1, . . . , p
ˆU
⌽ ˜q U
C ˆ
T
U
q F s ⌸ Ty1 Ž 3.13.
˜
⌽ ˜
C ˜
T
476 ARVANITIS, KALOGEROPOULOS, AND SANTAS
where iTj is a ␦ j-dimensional row vector with arbitrary elements for all
i, j s 1, 2, . . . , p. The general form of T will be
Ž 11
T
⌸ 1k . ks0 , . . . , ␦ 1y1 Ž 12
T
⌸ 2k . ks0 , . . . , ␦ 1y1 ⭈⭈⭈ Ž 1Tp ⌸ kp . ks0 , . . . , ␦ y1
1
Ž 21
T
⌸ lk . ks0 , . . . , ␦ 2y1 Ž 22
T
⌸ 2k . k s 0, . . . , ␦ 2 y 1 ⭈⭈⭈ Ž 2Tp ⌸ kp . ks0 , . . . , ␦ y1
2
Ts .. .. .. ..
. . . .
Ž p1
T
⌸ lk . ks0 , . . . , ␦ y1
p
Ž p2
T
⌸ 2k . ks0 , . . . , ␦ y1
p
⭈⭈⭈ Ž pTp ⌸ kp . ks0 , . . . , ␦ y1
p
Ž 3.19.
ADAPTIVE POLE POSITIONING 477
In Ž3.19., all elements of the first row of each block of T are arbitrary and
hence we have a total number of arbitrary elements in T equal to n = p.
Note also that this arbitrariness is constrained by the requirement that T
must be invertible, i.e., det T / 0.
To find FU , observe that relations Ž3.12., Ž3.18., and Ž3.19. yield
11
T
⌸ 1␦ 1y1 12
T
⌸ 2␦ 1y1 ⭈⭈⭈ 1Tp ⌸ ␦p 1y1
21
T
⌸ 1␦ 2y1 22
T
⌸ 2␦ 2y1 ⭈⭈⭈ 2T p ⌸ ␦p 2y1
T̃ s .. .. .. .. Ž 3.20.
. . . .
p1
T
⌸ 1␦ py1 p2
T
⌸ 2␦ py1 ⭈⭈⭈ pTp ⌸ ␦p py1
FU s y⌽
˜ U q R ⌸U Ty1 Ž 3.21.
⌸ ␦1
U ..
R s blockdiag 1T , . . . , pT 4, ⌸ s . Ž 3.22.
␦p
⌸
⌸ j s blockdiag Ž J j . 1 , . . . , Ž J j . s j ,
½ 5 iTj s Ž iTj . 1 ⭈⭈⭈ Ž iTj . s j
i j1 i j2 ⭈⭈⭈ i j␦ j
i j1 ˆj
ž / i j2 ˆj
ž / ⭈⭈⭈ i j␦ j
ž /ˆj sj
1 2
Ti j s .. .. .. .. Ž 3.24.
. . . .
␦ iy1 ␦ iy1 ␦ iy1
ˆj
i j1 ž / ˆj
i j2
ž / ⭈⭈⭈ ˆj
i j␦ j
ž / ␦j
1 2
478 ARVANITIS, KALOGEROPOULOS, AND SANTAS
FU s y⌽
˜ U q R s p ⌸U Tsy1
p Ž 3.25.
In this case, the open-loop poles contained in the subsystem determined by
⌽Ui j , when closing the feedback, are shifted to the desired poles involved in
the corresponding block ⌸ i .
In order to determine the matrix K f , substitute relation Ž3.21. in Ž3.8. to
yield
T
˜ U y R s p ⌸U Tsy1
K f s QT ⌽ ž p / LT Ž 3.26.
T0
W Ž A, B, T0 . s H0 exp A Ž T0 y . BBT exp AT Ž T0 y . d
f i j Ž t . s f i j, , ᭙ t g Ti , Ž q 1 . Ti . , s 0, 1, . . . , Ni y 1 Ž 4.1.
Ž d i . q Ž t . s Ž d i . q , for t g Ti , Ž q 1 . Ti . ,
q s 0, 1, . . . , Ni y 1, s 0, 1, . . . , Ni y 1 Ž 4.2b.
where Ž d i .q, are constant taking the following values:
1 for s q,
Ž di . q , s ½ 0 for / q
Ž 4.3.
and where vi is as yet unknown. It is worth noticing that the additive term
¨ i Ž t . s d Ti Ž t .vi , ᭙ i g Jm in each one of the inputs of the continuous-time
system are used only for identification purposes and as it will be shown
later, they are selected so that they will not influence the pole placement
problem.
We are now able to establish the following Lemma.
LEMMA 4.1. Consider the controllable and obser¨ able system of the form
Ž2.1., controlled by MRICs of the form Ž4.1.. Furthermore, consider that
persistent excitation signals of the forms Ž4.2. and Ž4.3. are introduced in each
input of the system. Then, the sample closed-loop system takes the form
ˆˆ Ž kT0 . q BU v,
ˆˆ . x Ž kT0 . q BFw
x Ž k q 1 . T0 s Ž ⌽ y BFC
Ž 4.4.
y Ž kT0 . s Cx Ž kT0 . for k G 0
where
ˆs
B ˆ ˆb 1 ⭈⭈⭈ ˆN1 1y1ˆb 1
A ⭈⭈⭈ ˆb m ⭈⭈⭈ ˆ Nmm y1ˆb m
A Ž 4.5a.
 i s
ˆ exp Ž ATi . ' exp Ž A l i TN . ,
Ti l iTN Ž 4.5b.
b̂ i s
ˆ H0 exp Ž A . b i d ' H0 exp Ž A . b i d
480 ARVANITIS, KALOGEROPOULOS, AND SANTAS
M1 e j
M2 e jy1
BU s B
ˆ M, Ms .. , Mj s .. Ž 4.5c.
. .
Mm e jyN jq1
U
ˆ and the column ¨ ector v g R N
and where the m = p block matrix F ha¨ e
the forms
ˆf 11 ⭈⭈⭈ ˆf 1 p f i j, N iy1
.. .. .. ..
ˆs
F . . . , ˆf i j s . Ž 4.6a.
ˆf m1 ⭈⭈⭈ ˆf m p f i j, 0
T
v s v1T v2T ⭈⭈⭈ vmT Ž 4.6b.
U
while j s Ýj s1 N , where in general, the ¨ ector e i g R N is the row vector
whose elements are zeros except for a unity appearing in the ith position.
Proof. To show that the sampled closed-loop system takes the form
Ž4.4., we start by discretizing system Ž2.1. with sampling period T0 . This
operation yields
HkTkq1 T exp A Ž k q 1. T
Ž .
x Ž k q 1 . T0 s ⌽ x Ž kT0 . q 0
0 y 4 Bu Ž . d
0
Ž 4.7.
where f iT Ž t . is the ith row of the controller matrix FŽ t . and eŽ kT0 . is given
by
where
HkTkq1 T exp A Ž k q 1. T
Ž .
⌫s 0
0 y 4 BD Ž . d ,
0
DŽ t . s
ˆ blockdiag d Ti Ž t . 4
igJ m
⌫ s ⌫1 ⌫2 ⭈⭈⭈ ⌫m
T
Ž ⌫i . qq 1 s H exp A Ž T0 y . b i Ž d i . q Ž . d for q s 0, 1, . . . , Ni y 1
0
0
Ž 4.10.
HTq1 T exp A Ž T
Ž .
Ž ⌫i . qq 1 s Ý i
0 y . b i Ž di . q , d
s0 i
for q s 0, 1, . . . , Ni y 1 Ž 4.11.
Relation Ž4.11. may further be written as
Niy1
Ti
Ž ⌫i . qq 1 s Ý Ž d i . q , exp A Ž Ni y y 1. Ti H0 exp A Ž Ti y . b i d
s0
Ni
s
ž Ý Ž d i . q , N y Aˆ iy1 ˆb i
i
/
s1
ˆ Ni iyq y1ˆb i
Ž ⌫i . qq 1 s A
Clearly ⌫ ' BU . Application of the above algorithm to the first term of
ˆˆ Žsee w5x for details.. This completes the proof of the
Ž4.9. yields K f ' BF
Lemma.
Thus far, we have established that the pole placement controller matrix
K f is related to the matrix Fˆ via the relation K f s BF.
ˆˆ It remains to
482 ARVANITIS, KALOGEROPOULOS, AND SANTAS
determine F.ˆ To this end, we need the following result, whose proof is
given in w5x.
LEMMA 4.2. Let ŽA, B. be a controllable pair. Let also n i , i g Jm be a set
of locally minimum controllability indices of the pair ŽA, B.. Define an
analytic function ŽTN . by
Then the set of zeros of ŽTN . does not ha¨ e any limiting points except
infinity, and therefore, ŽTN . is not equal to zero for almost all TN Ž i.e., in a
finite inter¨ al w TN1 , TN2 x, there are at most a finite number of points such that
ŽTN . s 0..
ˆ of the form
Applying Lemma 4.2, we can conclude that the matrix S
ˆ s ˆb 1
S ⭈⭈⭈ ˆn11y1ˆb 1
A ⭈⭈⭈ ˆb m ⭈⭈⭈ ˆnmm y1ˆb m
A Ž 4.12.
T
E s E1 E2
where
= N U yN m q1 N U yN m q2 ⭈⭈⭈ N U yN m qn m x
and
= N U yN m qn m q1 ⭈⭈⭈ N U x
U
where, in general, j g R N is the column vector whose elements are zeros
except for a unity appearing in the jth position. Also, let
B噛 s ˆ y1 s Sˆ
ˆ BE ˆ
Q
ADAPTIVE POLE POSITIONING 483
ˆs A
Q ˆn11ˆb 1 ⭈⭈⭈ ˆN1 1y1ˆb 1
A ⭈⭈⭈ ˆnmmˆb m
A ⭈⭈⭈ ˆNmm y1ˆb m
A
U U
Furthermore, let ⌬ g R N =N be the nonsingular permutation matrix with
the property ⌬y1 ' ⌬T, having the form
T
⌬ s ⌬1 ⌬2 ⌬3
where
= N U yn m q1 ⭈⭈⭈ N U x
⌬ 2 s w N1yn1 N1qN 2yn 2 ⭈⭈⭈ N U yn m x
⌬3 s w 1 ⭈⭈⭈ N1yn1y1 N1q1 ⭈⭈⭈ N1qN 2yn 2y1 ⭈⭈⭈
= N U yN m q1 ⭈⭈⭈ N U yn m y1 x
Finally, let
where
ˆU s A
S ˆn11y1ˆb 1 ⭈⭈⭈ ˆb 1 ⭈⭈⭈ ˆnmm y1ˆb m
A ⭈⭈⭈ ˆb m Ž 4.13.
ˆU s A
Q ˆN1 1y1ˆb 1 ⭈⭈⭈ ˆn11q1ˆb 1
A ⭈⭈⭈ ˆ Nmm y1ˆb m
A ⭈⭈⭈ ˆnmm q1ˆb m
A
ˆ by mere inspec-
Using these definitions, it is plausible to determine F
tion, as
T
ˆy1 T ˜ U U y1
F̂ s ET S Q ⌽ y R s p ⌸ Ts p ž / LT
Ž 4.14.
0
v g ker BU or BU v s 0
484 ARVANITIS, KALOGEROPOULOS, AND SANTAS
ˆUy 1 A
yS ˆn11ˆb 1 q ⭈⭈⭈ A
ž ˆnmmˆb m /
vs⌬ T
Ž 4.15.
0 N U ynym
f iT Ž t . s f i1 Ž t . ⭈⭈⭈ fi p Ž t . s e N y ˆ
f i1 ⭈⭈⭈ ˆf i p ,
i
T0 Ž q 1 . T0
᭙ Ft- Ž 4.16.
Ni Ni
x Ž q 1 . s ⌽ x Ž . q B u Ž . , y Ž . s Cx Ž . ,
G0 Ž 5.1.
where
⌽ s exp Ž A . , B s H0 expŽ A . B d
Clearly, uŽ . takes constant values for g w TN , Ž q 1.TN ., G 0.
This can be easily shown by taking into account the action of the proposed
controller. Hence, iterating relation Ž5.1. 6 n y 1 times, we obtain
where
6 ny2
⌽ B
6 ny1
⌽ T N s Ž ⌽ . , BT N s Ý Ž 5.2.
s0
where ŽBT N . i is the ith column of the matrix BT N . Introducing relation Ž5.2.
in Ž5.3., yields
l iy1 Ž6 ny2 .
ˆ i s Ž ⌽ . Ž6 ny1. l i , ˆb i s Ý Ž ⌽ . Ž6 ny1. j ⌽ B
A
js0
žÝ s0
/ i
Ž 5.4.
ˆNi i s ⌽ TNN s Ž ⌽ .
⌽sA
Ž6 ny1 . N
Ž 5.5.
is1, 2, . . . , n
⍀ s ⍀ i j 4 js1, 2, . . . , n , ⍀ i j s C⌽iqjy2 B Ž 5.6.
⌿ Ž . s J1⌿ Ž y 2 n . q J2W Ž . q VW Ž y n .
q VU W Ž y 2 n. Ž 5.7.
where
y Ž y n q 1.
y Ž y n q 2.
⌿ Ž . s ..
.
y Ž .
y Ž y 3n q 1 .
y Ž y 3n q 2 .
⌿ Ž y 2 n. s .. Ž 5.8a.
.
y Ž y 2 n.
u Ž y n q 1.
u Ž y n q 2.
W Ž . s ..
.
u Ž .
ADAPTIVE POLE POSITIONING 487
u Ž y 2 n q 1.
u Ž y 2 n q 2.
W Ž y n. s .. ,
.
u Ž y n.
Ž 5.8b.
u Ž y 3n q 1 .
u Ž y 3n q 2 .
W Ž y 2 n. s ..
.
u Ž y 2 n.
0 ⭈⭈⭈ 0 0
CB ⭈⭈⭈ 0 0
ˆ
J1 s ⌶Uy 1 J 0 ⌶U , J2 s .. .. .. .. ,
0 0 . . . . Ž 5.8c.
C⌽ny 2 B ⭈⭈⭈ CB 0
V s PU ⌺ and V U s ⌶Uy1 Vq 0
and where
C
C⌽
Ĵ s P1U ⌽2 n P1Uy1 , PU s .. ,
. Ž 5.9a.
C⌽ny 1
⌺ s ⌽ny 1 B ⭈⭈⭈ ⌽ B B
P1U
⌶U PU s Ž 5.10 .
0
where P1U g R n= n is the nonsingular matrix whose rows are the linearly
independent rows of the matrix PU . Finally, U1 g R n= n p is the matrix
containing the first n rows of the matrix
U s ⌶U J2 Ž 5.11.
Proof. In order to prove relation Ž5.7., we next generalize the approach
presented in w35x, to the multivariable case. More precisely, from relations
488 ARVANITIS, KALOGEROPOULOS, AND SANTAS
Ž5.1. we have
y Ž y n q 1 . s Cx Ž y n q 1 .
y Ž y n q 2 . s C⌽ x Ž y n q 1 . q CB u Ž y n q 1 .
..
.
y Ž . s C⌽ny 1 x Ž y n q 1 .
ny2
q Ý C⌽ B u Ž y y 1.
s0
or more compactly,
⌿ Ž . s PU x Ž y n q 1 . q J2W Ž . Ž 5.12.
U
where ⌿ Ž . and WŽ . are defined by Ž5.8a. and P and J2 are defined
by Ž5.9a. and Ž5.8c., respectively.
Since, by Assumption 2.2, the pair Ž ⌽ , C. is observable, the matrix PU
has full column rank. Hence, there exists a nonsingular permutation matrix
⌶U g R n p=n p , such that relation Ž5.10. holds, where, as already mentioned,
P1U g R n= n is the nonsingular matrix whose rows are the linearly indepen-
dent rows of the matrix PU . It is pointed out that matrix ⌶U can be defined
as a product of two nonsingular matrices ⌶ ˜ g R n p=n p and ⌶ˆ g R n p=n p
via the following chain of definitions:
e1
e2
.. e j1
. e j2
U en ..
˜ˆ
⌶ s ⌶⌶, ˜s
⌶ , ˆs
⌶ .
1
e jn
2
.. ⌶q
1
.
n pyn
where ⌶q
1 gR
Ž n pyn.=n p
is the matrix produced by the nonsingular matrix
q
⌶ gR n p=n p
of the form
e1
e2
⌶qs ..
.
enp
ADAPTIVE POLE POSITIONING 489
k s Ž j1 . k Ž j . k
2
⭈⭈⭈ Ž j . k
n
0 ⭈⭈⭈ 0 ^y1
`_ 0 ⭈⭈⭈ 0
Ž n q k . th
position
P1U
ZU Ž . s x Ž y n q 1 . q UW Ž .
0
where
ZU Ž . s ⌶U ⌿ Ž . Ž 5.13.
and where U is defined by Ž5.11.. Next, decompose ZU Ž . and U as
follows:
U
ZU1 Ž . U1
Z Ž . s , Us Ž 5.14.
ZU2 Ž . U2
x Ž y n q 1 . s ⌽2 n x Ž y 3n q 1 . q ⌽n ⌺W Ž y 2 n .
q ⌺W Ž y n . Ž 5.17.
490 ARVANITIS, KALOGEROPOULOS, AND SANTAS
where WwŽ y n. x and WwŽ y 2 n. x are given by Ž5.8b., and where ⌺ is
defined by Ž5.9a.. Introducing appropriately relation Ž5.16. in relation
Ž5.17., after some algebraic manipulations, yields
ZU1 Ž . s U1W Ž . q ˆ
JZU1 Ž y 2 n . q V U W Ž y 2 n .
q P1U ⌺W Ž y n . Ž 5.18.
0 ⭈⭈⭈ 0 I
0 ⭈⭈⭈ I 0
⍀ s V⌳ , ⌳ s .. .. .. .. Ž 5.19.
. . . .
I ⭈⭈⭈ 0 0
Relation Ž5.7. will be used in the sequel for the identification of the
unknown matrices J1 , J2 , V, and V U . To this end, relation Ž5.7. is next
written in the linear regression form
⌿ Ž . s ⌰ Ž .
where
⌰ s J1 J2 V VU
Next, define
ˆ Ž kT0 . s J1 Ž kT0 .
⌰ J2 Ž kT0 . V Ž kT0 . V U Ž kT0 .
where J1Ž kT0 ., J2 Ž kT0 ., VŽ kT0 ., and V U Ž kT0 . are the matrices J1 , J2 , V, and
V U evaluated at kT0 , through the identification procedure. Clearly, the
ADAPTIVE POLE POSITIONING 491
Y Ž kT0 . s ⌰Z Ž kT0 .
ˆ Ž kT0 . as
We now choose the recursive algorithm for the estimation of ⌰
ˆ Ž kT0 . s ⌰
⌰ ˆ Ž k y 1 . T0
ˆ Ž k y 1 . T0 Z Ž k y 1 . T0 y Y Ž k y 1 . T0
y ⌰
y1
= Z T Ž k y 1 . T0 ␣ I q Z Ž k y 1 . T0 Z T Ž k y 1 . T0
Ž 5.20.
˜ Ž kT0 . s ⌰
⌰ ˆ T Ž kT0 . y ⌰T Ž 5.21.
Then, for the parameter estimation algorithm of the form Ž5.20., the
following properties hold:
Ža. 5⌰
ˆ Ž kT0 .5 F for some finite g Rq
Žb. ˆ Ž kT0 .
If lim k ª⬁ Ý ks0 minŽZŽ T0 .Z T Ž T0 .. s ⬁ then lim k ª⬁ ⌰
s⌰
where minŽ ⴢ . denotes the minimum eigen¨ alue of a matrix.
Proof. Ža. Taking the transpose of both sides in Ž5.20., introducing
Ž5.21. in the resulting relation and taking into account the fact that
Z T Ž kT0 .⌰ T y Y T Ž kT0 . s 0, we readily obtain
y1
˜ Ž kT0 . s I y ␣ I q Z Ž k y 1 . T0 Z T Ž k y 1 . T0
⌰ ½
=Z Ž k y 1 . T0 Z T Ž k y 1 . T0 5 ⌰˜ Ž k y 1. T 0 Ž 5.22.
ADAPTIVE POLE POSITIONING 493
On the basis of the matrix inversion lemma, relation Ž5.22. may further be
written as
y1
1
˜ Ž kT0 . s I q
⌰ ½ Z Ž k y 1 . T0 Z T Ž k y 1 . T0 5 ˜ Ž k y 1 . T0
⌰
␣
Ž 5.23.
Therefore,
˜ T Ž kT0 . ⌰
⌰ ˜ Ž kT0 . s ⌰
˜ T Ž k y 1 . T0
y2
1
= Iq½ ␣
Z Ž k y 1 . T0 Z T
Ž k y 1 . T0 5
˜ Ž k y 1 . T0
=⌰
y2
min Ž Z Ž k y 1 . T0 Z T Ž k y 1 . T0 .
F 1q
ž ␣ /
˜ T Ž k y 1 . T0 ⌰
=⌰ ˜ Ž k y 1 . T0 Ž 5.24.
By repeatedly using the above inequality, we obtain
y2
ky1 min Ž Z Ž T0 . Z T Ž T0 . .
˜ T Ž kT0 . ⌰
⌰ ˜ Ž kT0 . F Ł 1 q ˜ T0 ⌰
⌰ ˜0
s0 ž ␣ /
y2
1 ky1
F 1q Ý min Ž Z Ž T0 . Z Ž T0 . .
T ˜ T0 ⌰
⌰ ˜ 0 Ž 5.25.
␣ s0
ˆ'F
F ˆŽ⌰
ˆ Ž kT0 . . , ˆ Ž kT0 . .
v ' vŽ⌰ Ž 5.26.
m ny1
q Ý Ý Ž V. Ž ny1. pqi , Ž ny y1. mqj u j Ž y n y .
js1 s0
m ny1
q Ý Ý Ž V U . Ž ny1. pqi , Ž ny y1. mqj u j Ž y 2 n y . Ž 5.28.
js1 s0
ny1
i , u jŽ . y Ý Ž J1 . Ž ny 1. pqi , Ž ny y1. pqi i , u Ž y 2 n y .
j
s u j Ž .
s0
Ž 5.29a.
ny2
yi , u jŽ . s Ý Ž J2 . Ž ny 1. pqi , Ž ny y2. mqj i , u Ž y y 1.
j
s0
ny1
q Ý Ž V. Ž ny1. pqi , Ž ny y1. mqj i , u Ž y n y .
j
s0
ny1
q Ý Ž V U . Ž ny1. pqi , Ž ny y1. mqj i , u Ž y 2 n y .
j
s0
for j g Jm Ž 5.29b.
ny1
i , yŽ . y Ý Ž J1 . Ž ny 1. pqi , Ž ny y1. pqi i , y Ž y 2 n y .
s y Ž .
s0
Ž 5.29c.
ny1
yi , yŽ . s Ý Ž J1 . Ž ny 1. pqi , Ž ny y1. pq i , y Ž y 2 n y .
s0
for s 1, 2, . . . , p, / i Ž 5.29d.
while
m p
yi Ž . s Ý yi , u jŽ . q Ý yi , y Ž . Ž 5.29e.
js1 s1
/i
ADAPTIVE POLE POSITIONING 497
ny1
q Ý Ž V. Ž ny1. pqi , Ž ny y1. mqj i , u Ž y n y .
j
s0
ny1
q Ý Ž V U . Ž ny1. pqi , Ž ny y1. mqj i , u Ž y 2 n y .
s0
j 5
p ny1
q Ý Ý Ž J1 . Ž ny 1. pqi , Ž ny y1. pq i , y Ž y 2 n y .
s1 s0
/i
p ny1
q
s1
Ý
/i
½  , y iŽ . y Ý Ž J1 . Ž ny 1. pq , Ž ny y1. pq
s0
¦¥
= , y i Ž y 2 n y .
§
5 Ž 5.30.
=i , u j Ž y 2 n y .
5 Ž 5.31.
On the basis of relations Ž5.7., Ž5.30., and Ž5.31., the regressor vector
Ž . can also be expressed as
Ž . s ˆ
⌺ ˆŽ .
where
ˆT Ž . s ˜Ž . ⭈⭈⭈ ˜ Ž y 6 n q 2 .
s y 6 n q 2, . . . ,
˜u jŽ . s  1, u jŽ . ⭈⭈⭈  p , u jŽ . ,
s y 6 n q 2, . . . , , j g Jm
498 ARVANITIS, KALOGEROPOULOS, AND SANTAS
˜y 1Ž . s  2, y 1Ž . ⭈⭈⭈  p , y 1Ž . , s y 6 n q 2, . . . ,
s y 6 n q 2, . . . , , s 2, 3, . . . , p
and where ˆ ⌺ g RŽ3 n mqn p.=Ž6 ny1. pŽ pqmy1. is a full row rank matrix. Clearly,
the vector Ž . is persistently exciting if ˆŽ . is also persistently
exciting. So, in what follows, it suffices to investigate excitation of ˆŽ ..
To this end, observe that Ž5.31. can be written as
u j Ž . s jTˆŽ . Ž 5.32.
where jT g RŽ6 ny1. mŽ pqmy1. is a row vector whose elements are known.
In order to prove excitation of ˆŽ ., it suffices to prove that the
following relationship holds:
T0r
for some ) 0. To this end, observe that from relation Ž5.32., we can
easily obtain
T0r T 0r
Ý
s1
u 2j Ž kT0 q . s jT ½Ý s1
5
ˆŽ kT0 q . ˆT Ž kT0 q . j Ž 5.34.
¡0 if s 1, 2, . . . , Ž 6 n y 1 . Ž Nj y n j y 1 . l j y 1
u j Ž kT0 q . s 1 ~ if s Ž 6 n y 1 . Ž Nj y n j y 1 . l j , . . . ,
¢ Ž 6 n y 1 . Ž Nj y n j . l j y 1
T0r
Ž 6 n y 1. l j q Ý u 2j Ž kT0 q .
s Ž6 ny1 .Ž Njyn j . l j
T0r
s jT ½Ý
s1
ˆŽ kT0 q . ˆT Ž kT0 q . j 5
ADAPTIVE POLE POSITIONING 499
and that
T0r
jT j Ž 6 n y 1. l j
½ 5½
5 j 5 Ý ˆŽ kT0 q . ˆT Ž kT0 q .
s1
5½ 55 j 5
G
5 j 5 2
It is now clear that the vector jr5 j 5 is a vector whose norm equals
unity. Hence there is a unity norm vector such that
T0r
Ž 6 n y 1. l j
T ½Ýs1
ˆŽ kT0 q . ˆT Ž kT0 q . y5 5 j 5 2
G0
2 j
Ž a. ,
T0
2 Ž 6 n y 1 . N j
Ž b. ,
T0
s 0, 1, . . . is the difference of
Ž 5.35b.
any two eigenvalues of the matrix A.
Ž c . Ž TN . / 0. Ž 5.35c.
This implies that in the multirate adaptive case treated here, certain
sampling frequencies must be avoided, as compared to the nonadaptive
nonmultirate case. It is pointed out that conditions Ž5.35a. and Ž5.35b. are
standard conditions for the selection of a regular sampling period, in order
to avoid loss of controllability and observability under sampling Žsee w40x
for a detailed analysis of this issue..
6. CONCLUSIONS
REFERENCES
37. S. Sastry and M. Bodson, ‘‘Adaptive Control: Stability, Convergence and Robustness,’’
Prentice Hall International, Englewood Cliffs, NJ, 1989.
38. R. Guidorzi, Canonical structures in the identification of multivariable systems, Automat-
ica J. IFAC 11 Ž1975., 361᎐374.
39. J. K. McElveen, K. R. Lee, and J. E. Bennett, Identification of multivariable linear
systems from input-output measurements, IEEE Trans. Ind. Electr. 39 Ž1992., 189᎐193.
40. R. E. Kalman, Y. C. Ho, and K. S. Narendra, Controllability of linear dynamical systems,
Contrib. Diff. Equations 1 Ž1962., 189᎐213.