SlideShare une entreprise Scribd logo
1  sur  6
Télécharger pour lire hors ligne
On the Discrete-Time Algebraic Riccati
Equation and Its Solution in Closed-Form
A.J. Rojas ∗
∗
Departamento de Ingenier´ıa El´ectrica,
Universidad de Concepci´on,
Chile.
Email: arojasn@udec.cl
Abstract: In the present paper we obtain a closed-form solution for the class of discrete-time
algebraic Riccati equations (DTARE), whenever the eigenvalues of the A matrix are distinct.
The obtained closed-form solution gives insight on issues such as loss of controllability and it
might also prove comparable in terms of numerical precision over current solving algorithms.
We also consider further extensions of the main result including, for example, a closed-form
expression for the optimal regulator gain matrix K. Whenever possible we discuss the connection
with earlier and established results.
Keywords: Algebraic Riccati equation; Closed-form solution; Controllability.
1. INTRODUCTION
Riccati equations are a recurrent and important feature in
many theoretical control design results and have been the
subject of study for a long time Reid [1972].
When the positive semidefinite solution of the Riccati
equation is time invariant we are then reduced to the
particular, albeit very useful, subset of equations known
as Algebraic Riccati equations (ARE) Lancaster and Rod-
man [1995], Goodwin et al. [2001].
AREs in particular play a central role in many control
design synthesis procedures, Delchamps [1984], Doyle et al.
[1989], including H2 optimal control Zhou et al. [1996]
and H∞ optimal control Petersen [1987], Zhou and Khar-
gonekar [1988] (and more recently Petersen [2009]).
Notwithstanding the many theoretical implications that
relate to solving an ARE, the solution to the ARE itself
is commonly obtained through efficient numerical algo-
rithms, Arnold and Laub [1984], Gohberg et al. [1986],
Ionescu et al. [1997].
Here we focus on the discrete-time ARE (DTARE), [Good-
win et al., 2001, §22.7], whilst we discuss the continuous-
time ARE (CTARE), [Goodwin et al., 2001, §22.5.2], in
the companion submission to the present paper.
The main contribution of the present work is a closed-
form solution for the class of DTAREs with non repeated
eigenvalues. To the best knowledge of the author such
closed-form solution is novel.
We compare the closed-form DTARE solution, both nu-
merically and theoretically, to the standard Matlab solu-
tion based on the DTARE algorithmic solution developed
in Arnold and Laub [1984]. We then show that, as the
state weight Q tends to zero, the present paper main
contribution retrieves the closed-form solution proposed
in [Rojas, 2009, Proposition 1].
We then challenge, for a simple 2 × 2 case, our standing
assumption of non repeated eigenvalues. We thus aim to
illustrate two things: First that the non repeated eigen-
values assumption is not a “hard” limitation when trying
to find a closed-form solution. Second that, although pos-
sible to indeed find a closed-form solution, the repeated
eigenvalues case is far more complex.
As an application of the DTARE the closed-form solution
we introduce, in a series of straightforward lemmas, exten-
sions to the class of DTAREs that accept such a closed-
form solution. We also present as well related closed-form
results that stems from the DTARE closed-form solution
(such as for example the optimal regulator gain K involved
in a state feedback control law of the type u(k) = −Kx(k),
see for example Kwakernaak and Sivan [1972]).
The paper is organised as follows: In Section 2 we introduce
the standing assumptions for the present paper, discuss the
induced closed loop pole locations by present the DTARE
closed-form solution. In Section 3 we discuss the connec-
tion to known results and where possible verify numerically
the exactness of the proposed DTARE closed-form solu-
tion. We also introduce a series of simple extensions of the
main result which include a closed-form for the regulator
gain as well as a DTARE closed-form solution subject to
a non singular transformation of the state. In Section 4
we conclude by presenting our final remarks and possible
future research.
Terminology: let C denote the complex plane. Let D−
,
¯D−
, D+
and ¯D+
denote respectively the open unit-circle,
closed unit-circle, open and closed unit circle complements
in the complex plane C, with ∂D the unit-circle itself. Let
R denote the set of real numbers, R+
the set of positive real
numbers, R+
o the set of non-negative real numbers and R−
the set of real negative numbers. Let Z+
denote the set of
positive integers. A discrete-time signal is denoted by x(k),
k = 0, 1, 2, · · · , and its Z-transform by X(z), z ∈ C. The
expectation operator is denoted by E. A rational transfer
function of a discrete-time system is minimum phase if all
Preprints of the 18th IFAC World Congress
Milano (Italy) August 28 - September 2, 2011
Copyright by the
International Federation of Automatic Control (IFAC)
162
its zeros lie in ¯D−
, and is non minimum phase if it has zeros
in D+
. We use bold notation to represent a generic matrix
A. Similarly, 0 stands for a matrix, of suitable dimensions,
with all its entries set to zero and I for the identity matrix.
Denote the element in the ith
-row, jth
-column of a matrix
A as aij, and equivalently the overall matrix as A = [aij]
. If a in C, ¯a represents its complex conjugate.
2. DTARE EXPLICIT SOLUTION
In the present section we present a technical result which
states in closed-form the solution of a class of minimum
energy Riccati equations.
2.1 Assumptions
The assumptions under consideration are
1) A minimal realisation (A, B, C, 0) of a plant model
G(z).
2) The eigenvalues of A are in C and are all distinct.
3) A is diagonal and B = [1 · · · 1]
T
.
Other assumptions might be stated when required for some
specific results, but the above are standing assumptions for
the present paper.
2.2 Closed Loop Poles Location
A DTARE, see for example [Goodwin et al., 2001, §22.7],
is defined as
X − ¯AT
XA + ¯AT
XB R + BT
XB
−1
BT
XA − Q = 0,
(1)
where both the solution X and the state weight Q are
symmetric matrices. A well know fact that stems from
the solution of the above DTARE is the definition of the
regulator gain K (see for example Kwakernaak and Sivan
[1972]) which is given by
K = (R + BT
XB)−1
BT
XA.
We also define, by means of the state feedback control law
u(k) = −Kx(k) the open loop regulator transfer function
Lreg(z) as
Lreg(z) = K (zI − A)
−1
B, (2)
as well as the sensitivity function Sreg(z) as
Sreg(z) = 1 + K (zI − A)
−1
B
−1
. (3)
We note that an alternative definition for Sreg(z), useful
in the context of the present paper, is also
Sreg(z) =
n
i=1
z − ρi
z − zi
, (4)
where ρi, ∀i = 1, · · · , n, are the eigenvalues of A and zi,
∀i = 1, · · · , n, are the closed loop pole locations induced
by the DTARE solution through the state feedback control
law. From (3) we also obtain another definition for Lreg(z),
alternative to (2), as
Lreg(z) =
n
i=1(z − zi) −
n
i=1(z − ρi)
n
i=1(z − ρi)
. (5)
By means of a spectral factorisation argument, see for ex-
ample [˚Astr¨om, 1970, pp. 99–103], induced by the DTARE
in (1) we have that Sreg(z) satisfies
S−1
reg(z)(R + BT
XB)S−1
reg(z−1
) =
R + BT
zI − ¯AT −1
Q z−1
I − A
−1
B. (6)
Therefore, if for example Q = CT
C, the closed loop poles
zi can be seen to be the stable roots of the polynomial
p(z)p(z−1
) + q(z)q(z−1
), (7)
where G(z) = q(z)/p(z).
Remark 1. We observe, from comparing the limit as z →
∞ of the transfer functions involved on both sides of the
equality in (6), that
BT
XB =
n
k=1
ρk
zk
− R.
Notice that as Q → 0, then each zi → 1/¯ρi and the above
expression converges to
n
k=1 |ρk|2
− R.
Remark 2. It is well known that the closed loop pole
locations zi are defined also as the eigenvalues of A−BK.
However we use the spectral factorisation argument in
(6) and the polynomial (7) because, albeit numerical for
most of the cases, they do not explicitly require a priori
the solution X of the DTARE. That is, by means of the
proposed spectral factorisation argument, we do not need
to solve the DTARE in order to know the closed loop poles.
We now use the two alternative definitions for Sreg(z),
the one in (4) and the one in (3), to state the following
proposition that we require for the proof of the present
paper main result.
Proposition 3. The following equality holds
n
k=1
ρk
zk
ri = ρi
j
xij. (8)
Proof. Observe from (5) that a partial fraction descrip-
tion of Lreg(z) results in
Lreg(z) =
n
i=1
ri
z − ρi
,
with the residue factor ri’s defined as
ri =
n
k=1
(ρi − zk)
n
j=1
j=i
(ρi − ρj)
, ∀i = 1, · · · , n.
On the other hand, from the equivalent definition of
Sreg(z) in (3) we have that a partial fraction description
of Lreg(z) results in
Lreg(z) =
n
i=1
k1i
z − ρi
.
From the definition of
K = (R + BT
XB)−1
BT
XA = [k1i],
we have then that
k1i =
n
k=1
zk
ρk j
ρixij,
and from the fact that both partial fraction description are
equivalent, we obtain the equality proposed in (8), which
concludes the proof.
Remark 4. We observe that Proposition 3 can also be
restated as
n
k=1
ρk
zk
rj = ρj
i
xij.
Preprints of the 18th IFAC World Congress
Milano (Italy) August 28 - September 2, 2011
163
The above expression can be easily verified by invoking
the symmetric condition of X from which we have that
xij = xji.
2.3 Main Result
In this subsection we present the closed-form solution to
the general DTARE in (1) under the assumptions stated
in Subsection 2.1.
Proposition 5. ( Closed-Form Solution for R = 1) The
closed-form solution ˆX = [xij] to the DTARE in (1) with
R = 1 is given by
xij =
n
k=1
ρk
zk
¯rirj − qij
¯ρiρj − 1
, (9)
with ri defined as
ri =
n
k=1
(ρi − zk)
n
j=1
j=i
(ρi − ρj)
, ∀i = 1, · · · , n, (10)
and ρi, ∀i = 1, · · · , n, the distinct eigenvalues of A.
Proof. As a first step let us recognise that matrices A
and B that satisfy assumptions 2) and 3) are given by
A =




ρ1 0 · · · 0
0 ρ2 · · · 0
...
...
...
...
0 0 · · · ρn



 , B =




1
1
...
1



 .
Rewrite now (1) as
¯AT
XA−X+Q = ¯AT
XB R + BT
XB
−1
BT
XA. (11)
The LHS and RHS of (11), replacing X as in (9), are then
given by
LHS =

¯ρiρj
n
k=1
ρk
zk
¯rirj − qij
¯ρiρj − 1
−
n
k=1
ρk
zk
¯rirj − qij
¯ρiρj − 1

 + [qij]
=
n
k=1
ρk
zk
¯rirj ,
and
RHS = ¯ρi
i
xij
n
k=1
zk
ρk

ρj
j
xij

 .
Now from Proposition 3 we then have that the LHS of
(11), after substituting ˆX as in (9), is equal to the RHS of
(11) which concludes the proof.
Remark 6. Note from the definition of the residue factor
ri in (10) that a loss of controllability is evident when any
ρi matches any ρj.
Remark 7. Note that the complex conjugate case, arising
from possible second order factors in the plant model, is
included in the main result of Proposition 5. This is so
since complex conjugate eigenvalues do not violate the
assumption of distinct eigenvalues and it is the reason why
we have maintained the complex conjugate notation in (1).
The result of Proposition (5) can now serve as a figurative
stepping stone to obtain further results in closed-form
which we investigate in the next section.
3. DISCUSSION AND EXTENSIONS
In the present section we compare Proposition 5 to the
algorithmic solution obtained trough the command care
in Matlab, both numerically an theoretically. We then
show how, as Q → 0, we recover the result presented as
[Rojas, 2009, Proposition 1]. We further investigate, in a
simple 2 × 2 setting, the DTARE closed-form solution for
the case of repeated eigenvalues in A. We then conclude
the section with a series of straightforward extensions of
Proposition 5, including the closed-form solution for R =
1, subject to a state transformation and for multivariable
systems with a block-diagonal Q.
3.1 Numerical Comparison with the Matlab Solution
Here we compare of the closed-form solution ˆX and the
one obtained with Matlab.
Example 8. Consider for this example the following selec-
tion
−2 −1 0 1 2
−250
−200
−150
−100
−50
0
50
ρ
1
error(dB)
Fig. 1. Numerical error between the solution obtained from
Matlab and the proposed closed-form solution.
A =


ρ1 0 0
0
√
2 0
0 0
√
3

 , B =
1
1
1
,
Q = I, R = 1.
The first eigenvalue ρ1 of A is a variable pole defined in
the range ] − 2, 2]. Define E = [eij] = ˆX − Xm where Xm
is the DTARE solution obtained from Matlab. We then
propose as an error function the expression
error =
i j
e2
ij . (12)
In Figure 1 we observe the plot of the resulting error
function for the present example. As the value of ρ1
approaches the value of ρ2 and ρ3 the error spikes out due
to the loss of controllability. Otherwise, we can appreciate,
from Figure 1 that indeed ˆX is equivalent to Xm.
To clarify that the observed spikes in Figure 1 are indeed
due to the loss of controllability and not to a sudden di-
Preprints of the 18th IFAC World Congress
Milano (Italy) August 28 - September 2, 2011
164
vergence between the ˆX and Xm solutions let us introduce
the following alternative error function
F = [fij] = X − ¯AT
XA+
¯AT
XB R + BT
XB
−1
BT
XA − Q.
We evaluated F alternatively for ˆX and for Xm and use a
similar error index as before
error =
i j
f2
ij .
From Figure 2 we have then that the spikes observed in
−2 −1 0 1 2
−300
−250
−200
−150
−100
−50
ρ
1
error(dB)
Matlab
Closed−form
Fig. 2. Numerical error upon replacing the solution ob-
tained from Matlab and the proposed closed-form
solution into the DTARE definition in (1).
Figure 1 are also present, independently for ˆX and Xm,
thus reinforcing the idea that these are indeed due to loss
of controllability whenever ρ1 → ρ2 or ρ1 → ρ3.
We conclude the present subsection by remarking that the
numerical comparison presented in the above example is
not to renege of the closed-form solution in Proposition 5.
The objective of the example was to clearly show that the
closed-form DTARE solution is numerically comparable,
when implemented through Matlab, to the available stan-
dard algorithmic DTARE solution.
3.2 Theoretical Comparison with the Matlab Solution
From Arnold and Laub [1984] we observe that the Matlab
command dare, for the proposed class of AREs, solves an
eigenproblem defined by the Hamiltonian matrix
M =
A + BR−1
BT ¯A−T
Q −BR−1
BT ¯A−T
− ¯A−T
Q ¯A−T .
The solution W to the eigenproblem is such that
W−1
MW =
S11 S12
0 S22
, (13)
with all the eigenvalues of S11 strictly inside the unit circle.
Thus, as intuition would have it, from Proposition 5 we
can also obtain a closed-form solution to the eigenproblem
solved by the algorithm proposed in Arnold and Laub
[1984], namely
ˆW =
ˆX−1
Y
I Y
,
where
Y = A + ¯A−T
− BR−1
BT ¯A−T
+
BR−1
BT ¯A−T
Q + ¯A−T
Q
−1
ˆX−1
S12 − S12 .
Note that for the above expression, as well as in (13), we
assume that S is known (or in its default that just S12 is
known), see Arnold and Laub [1984] for more details.
3.3 Convergence to the ARE with Vanishing State Weight
Result
Here we discuss the convergence of the DTARE solution
in closed-form from Proposition 5 to known results. We
refer in particular to the closed-form solution for the class
of AREs with vanishing state weight, that is Q → 0,
presented in [Rojas, 2009, Proposition 1]. Notice that as
Q → 0 the induced closed loop poles zi tend to the set of
stable eigenvalues and the mirrored (with respect to the
unit circle) unstable eigenvalues of A. As a result for each
stable eigenvalues we will have that the associated ri will
tend to zero, whilst for the mirrored unstable eigenvalues
we will have
ri
Q→0
→ (1 − |ρi|2
)
m
k=1
(1 − ρi ¯ρj)
m
j=1
j=i
(ρi − ρj)
, ∀i = 1, · · · , m, (14)
where all the ρj in the expression above are part of the
set of m unstable eigenvalues of A. Assume, for the sake
of the exposition, that the set of m unstable eigenvalues
of A are also the first m eigenvalues of A. We can then
observe that the expression for ˆX from Proposition 5, as
Q → 0 , will tend to
ˆX
Q→0
→










¯r1r1
¯ρ1ρ1−1 · · · ¯r1rm
¯ρ1ρm−1 0 · · · 0
...
...
...
...
...
...
¯rmr1
¯ρmρ1−1 · · · ¯rmrm
¯ρmρm−1 0 · · · 0
0 · · · 0 0 · · · 0
...
...
...
...
...
...
0 · · · 0 0 · · · 0










,
where each ri is given now as in (14), recovering the result
from [Rojas, 2009, Proposition 1].
3.4 Repeated Poles Case
The study of repeated poles is also of interest, but it is at
the same time more complex. As an example we present
next the case of a pair of repeated eigenvalues. We treat
in the present example the case that A contains a pair of
repeated eigenvalues, that is we have
A =
ρ 1
0 ρ
, B =
0
1
. (15)
The closed-form solution of the DTARE equation (1), with
A and B as above, R = 1 and any symmetric choice of Q
is given by
ˆX =
ρ2
(ρ−z1)2
(ρ−z2)2
−z1z2Q(1,1)
z1z2(ρ2−1)
ρ(ρ−z1)(ρ−z2)
z1z2
ρ(ρ−z1)(ρ−z2)
z1z2
ρ2
z1z2
− 1
. (16)
Although tedious, the above ˆX solution can be verified by
direct replacement in (1), invoking the link between Q and
the closed loop poles imposed by the spectral factorisation
presented in (6).
Preprints of the 18th IFAC World Congress
Milano (Italy) August 28 - September 2, 2011
165
Example 9. Consider for this example the following selec-
tion: ρ in [−2, 2] and A and B as in (15), R = 1 and
Q = [ 1 1
1 1 ]. We use the same error function as in (12) with
hatX as in (16) and Xm the DTARE solution obtained
from Matlab. In Figure 3 we can observe that the error
−2 −1 0 1 2
−350
−300
−250
−200
−150
−100
−50
0
ρ
error(dB)
Fig. 3. Numerical error between the solution obtained from
Matlab and the proposed closed-form solution for the
case of repeated eigenvalues.
function is very small. Although it seems to increase in
the unstable range of ρ it still remains quite negligible.
We then have that the present example shows that the
closed-form solution for the 2 × 2 repeated eigenvalue case
correctly predicts the numerical solution obtained from
Matlab.
Note that controllability is not an issue in the present
subsection since no denominator that could force a division
by zero 1
is apparent in (16). Finally, the expression for
ˆX shows how hard it can be, when considering repeated
eigenvalues, to gain sufficient insight as to find X in closed-
form.
3.5 Extensions
We now introduce a series of straightforward extensions
to showcase the possible uses of the closed-form DTARE
solution. Due to their simplicity we omit the proof of most
such corollaries.
Lemma 10. (Closed-Form Solution for R = λ) The
closed-form solution to the DTARE in (1) with weights
R = λ and Q is given by
ˆXλ
= λˆX,
where ˆX is the closed-form solution to the DTARE in (1)
with weights R = 1 and Q/λ.
After the first and most natural extension of Proposition 5
we study the case in which the original state space repre-
sentation of the plant model
x(k + 1) = Ax(k) + Bu(k)
y(k) = Cx(k),
1 Observe that for ρ = 1, the definition for x11 in ˆX as defined in
(16) changes to
x11 =
(Q(1, 1) − Q(1, 2))z1z2 + (1 − z1)(1 − z2)(1 − Rz1z2)
z1z2
,
whilst the definitions for x12 and x22, as in (16), remain unchanged.
is subject to a nonsingular transformation of the state T
such that ˜x = Tx. The state representation in the new
state space coordinates ˜x(k) becomes
˜x(k + 1) = ˜A˜x(k) + ˜Bu(k)
y(k) = ˜C˜x(k),
where ˜A = TAT−1
, ˜B = TB and ˜C = CT−1
.
Lemma 11. (Transformed Closed-Form Solution) Con-
sider a nonsingular transformation of the state T. The
closed-form solution to the DTARE in (1) with weights
R = 1 and Q in the transformed state ˜x = Tx, is given by
˜X = T−T ˆXT−1
, (17)
where ˜X solves the DTARE in (1) with matrices A
replaced by ˜A = TAT−1
, B replaced by ˜B = TB and
weights ˜R = 1 and ˜Q = T−T
QT−1
.
We next proceed to obtain the regulator gain K in closed-
form.
Lemma 12. (Closed-Form Regulator Gain) Given ˆX
from Proposition 5, the Kalman gain matrix is then
obtained as
K =
n
k=1
zk
ρk
ρ1
n
i=1
n
k=1
ρk
zk
¯rir1−qi1
¯ρiρ1−1
· · · ρn
n
i=1
n
k=1
ρk
zk
¯rirn−qin
¯ρiρn−1
, (18)
where K = (1 + BT
XB)−1
BT
XA and R = 1.
From the plain regulator gain K in closed-form for R = 1,
we now move to the regulator gain K in closed-form case
when subject to a nonsingular transformation T of the
state.
Lemma 13. (Transformed Closed-Form Regulator
Gain) Given ˆX from Proposition 5 and a nonsingular
transformation matrix T, then the Kalman gain matrix
˜K in the transformed state coordinates is obtained as
˜K = KT, (19)
where K is as in (18) and R = 1.
Finally, in order to extend the result of Proposition 5 to the
multiple input multiple-output (MIMO) case we have to
slightly modify the definition of A and B from Assumption
(3). Consider then A and B ordered such that
A =



A1 · · · 0
... · · ·
...
0 · · · Ar


 ,
B =



B1 · · · 0
... · · ·
...
0 · · · Br


 , (20)
where
Aj =



ρ1,j · · · 0
...
...
...
0 · · · ρnj ,j


 ∈ Cnj ×nj
,
Bj =



1
...
1


 ∈ Rnj ×1
, j = 1, · · · , r,
Preprints of the 18th IFAC World Congress
Milano (Italy) August 28 - September 2, 2011
166
and
r
j=1 nj = n. We introduce next the MIMO closed-
form characterisation of ˆX, the non-trivial solution to the
DTARE.
Proposition 14. (MIMO Closed-Form Solution for
R = I) the closed-form solution to the DTARE in (1)
with B as in (20), and
Q =



Q1 · · · 0
...
...
...
0 · · · Qr


 ,
is given by
ˆX =



ˆX1 · · · 0
... · · ·
...
0 · · · ˆXr


 . (21)
Each ˆXj, ∀j = 1, · · · , r, in turn is given by
ˆXj =






n
k=1
ρk
zk
¯r1,j r1,j −q11,j
¯ρ1,j ρ1,j −1 · · ·
...
...
n
k=1
ρk
zk
¯rnj ,j r1,j −qnj 1,j
¯ρnj ,j ρ1,j −1 · · ·
n
k=1
ρk
zk
¯r1,j rnj ,j −q1nj ,j
¯ρ1,j ρnj ,j −1
...
n
k=1
ρk
zk
¯rnj ,j rnj ,j −qnj nj ,j
¯ρnj ,j ρnj ,j −1






, (22)
with ri,j, ∀j = 1, · · · , r, defined as
ri,j =
nj
k=1
(ρi,j − zk,j)
nj
l=1
l=i
(ρi,j − ρl,j)
, ∀i = 1, · · · , nj, (23)
Proof. Consider the DTARE in (1) with R = I. Due to
(20) this is equivalent to a collection of DTAREs, each
given by
Xj − ¯AT
j XjAj − Qj+
¯AT
j XjBj 1 + BT
j XjBj
−1
BT
j XjAj = 0,
for , ∀j = 1, · · · , r. By means of Proposition 5 we have
the solution for each of the above minimum energy AREs
which is given by (22) with ri,j defined as in (23). Finally,
the complete solution ˆX can be constructed by collecting
each solution as in (21), which concludes the proof.
Notice that the result in Proposition 14 does not include
the more challenging case of a full symmetric matrix Q.
4. CONCLUSION
In the present paper we have presented a closed-form
solution for the DTARE, whenever the eigenvalues of the
A matrix are distinct. We have shown how the present
closed-form result can be linked to previous work about
AREs, Arnold and Laub [1984], Rojas [2009], both nu-
merically and theoretically. We have presented a series
of straightforward extension of the main result including
a closed-form version of the regulator gain K. Future
research should consider the more demanding cases of
repeated eigenvalues for A, MIMO with full Q matrix
and the possible application of the DTARE closed-form
solution to existing H2 or H∞ control design results.
REFERENCES
W.F.III Arnold and A.J. Laub. Generalized Eigenproblem
Algorithms and Software for Algebraic Riccati Equa-
tions. Proceedings of the IEEE, 72(12):1746–1754, De-
cember 1984.
K.J. ˚Astr¨om. Introduction to Stochastic Control Theory.
Academic Press, 1970.
D.F. Delchamps. Analytic Feedback Control and the
Algebraic Riccati Equation. IEEE Transactions on
Automatic Control, 29(11):1031–1033, November 1984.
J.C. Doyle, P.P. Glover, K.and Khargonekar, and B.A.
Francis. State-Space Solutions to Standard H2 and H∞
Control Problems. IEEE Transactions on Automatic
Control, 34(8):831–847, August 1989.
I. Gohberg, P. Lancaster, and L. Rodman. On Hermitian
Solutions of the Symmetric Algebraic Riccati Equation.
SIAM Journal on Control and Optimization, 24(6):
1323–1334, November 1986.
G.C. Goodwin, S.F. Graebe, and M.E. Salgado. Control
System Design. Prentice Hall, 2001.
V. Ionescu, C. Oara, and M. Weiss. General matrix
pencil techniques for the solution of algebraic Riccati
equations: A unified approach. IEEE Transactions on
Automatic Control, 42(8):1085–1097, August 1997.
H. Kwakernaak and R. Sivan. Linear Optimal Control
Systems. Wiley-Interscience, 1972.
P. Lancaster and L. Rodman. Algebraic Riccati Equations.
Oxford Science Publications, 1995.
I.R. Petersen. Disturbance Attenuation and H∞
Opti-
mization: A Design Method Based on the Algebraic
Riccati Equation. IEEE Transactions on Automatic
Control, 32(5):427–429, May 1987.
I.R. Petersen. Robust H∞
Control of an Uncertain
System Via a Stable Output Feedback Controller. IEEE
Transactions on Automatic Control, 54(6):1418–1423,
June 2009.
W.T. Reid. Riccati Differential Equations. Academic
Press, 1972.
A.J. Rojas. Closed-Form Solution for a Class of Discrete-
Time Algebraic Riccati Equations. In Proceedings of the
2009 American Control Conference, pages 482–487, St.
Louis, Missouri, USA, June 2009.
K. Zhou and P.P. Khargonekar. An algebraic riccati
equation approach to H∞
optimization. Systems &
Control Letters, 11(2):85–91, August 1988.
K. Zhou, J.C. Doyle, and K. Glover. Robust and optimal
control. Prentice Hall, 1996.
Preprints of the 18th IFAC World Congress
Milano (Italy) August 28 - September 2, 2011
167

Contenu connexe

Tendances

Numerical solution of fuzzy hybrid differential equation by third order runge...
Numerical solution of fuzzy hybrid differential equation by third order runge...Numerical solution of fuzzy hybrid differential equation by third order runge...
Numerical solution of fuzzy hybrid differential equation by third order runge...Alexander Decker
 
11.numerical solution of fuzzy hybrid differential equation by third order ru...
11.numerical solution of fuzzy hybrid differential equation by third order ru...11.numerical solution of fuzzy hybrid differential equation by third order ru...
11.numerical solution of fuzzy hybrid differential equation by third order ru...Alexander Decker
 
Gentle Introduction to Dirichlet Processes
Gentle Introduction to Dirichlet ProcessesGentle Introduction to Dirichlet Processes
Gentle Introduction to Dirichlet ProcessesYap Wooi Hen
 
Prime numbers boundary
Prime numbers boundary Prime numbers boundary
Prime numbers boundary Camilo Ulloa
 
Compensating Joint Configuration through Null Space Control in Composite Weig...
Compensating Joint Configuration through Null Space Control in Composite Weig...Compensating Joint Configuration through Null Space Control in Composite Weig...
Compensating Joint Configuration through Null Space Control in Composite Weig...Waqas Tariq
 
Using Alpha-cuts and Constraint Exploration Approach on Quadratic Programming...
Using Alpha-cuts and Constraint Exploration Approach on Quadratic Programming...Using Alpha-cuts and Constraint Exploration Approach on Quadratic Programming...
Using Alpha-cuts and Constraint Exploration Approach on Quadratic Programming...TELKOMNIKA JOURNAL
 
PhD thesis presentation of Nguyen Bich Van
PhD thesis presentation of Nguyen Bich VanPhD thesis presentation of Nguyen Bich Van
PhD thesis presentation of Nguyen Bich VanNguyen Bich Van
 
Lewenz_McNairs-copy
Lewenz_McNairs-copyLewenz_McNairs-copy
Lewenz_McNairs-copyAnna Lewenz
 
article_imen_ridha_2016_version_finale
article_imen_ridha_2016_version_finalearticle_imen_ridha_2016_version_finale
article_imen_ridha_2016_version_finaleMdimagh Ridha
 
The discrete quartic spline interpolation over non uniform mesh
The discrete  quartic spline interpolation over non uniform meshThe discrete  quartic spline interpolation over non uniform mesh
The discrete quartic spline interpolation over non uniform meshAlexander Decker
 
Decay Property for Solutions to Plate Type Equations with Variable Coefficients
Decay Property for Solutions to Plate Type Equations with Variable CoefficientsDecay Property for Solutions to Plate Type Equations with Variable Coefficients
Decay Property for Solutions to Plate Type Equations with Variable CoefficientsEditor IJCATR
 
A common random fixed point theorem for rational inequality in hilbert space
A common random fixed point theorem for rational inequality in hilbert spaceA common random fixed point theorem for rational inequality in hilbert space
A common random fixed point theorem for rational inequality in hilbert spaceAlexander Decker
 
A new generalized lindley distribution
A new generalized lindley distributionA new generalized lindley distribution
A new generalized lindley distributionAlexander Decker
 
Talk given at the Workshop in Catania University
Talk given at the Workshop in Catania University Talk given at the Workshop in Catania University
Talk given at the Workshop in Catania University Marco Frasca
 
Spectral sum rules for conformal field theories
Spectral sum rules for conformal field theoriesSpectral sum rules for conformal field theories
Spectral sum rules for conformal field theoriesSubham Dutta Chowdhury
 
Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...
Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...
Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...Avichai Cohen
 
Pert 05 aplikasi clustering
Pert 05 aplikasi clusteringPert 05 aplikasi clustering
Pert 05 aplikasi clusteringaiiniR
 
A common fixed point theorem in cone metric spaces
A common fixed point theorem in cone metric spacesA common fixed point theorem in cone metric spaces
A common fixed point theorem in cone metric spacesAlexander Decker
 
Ottosen&petersson fem cap 5
Ottosen&petersson fem cap 5Ottosen&petersson fem cap 5
Ottosen&petersson fem cap 5guest0d07c9db
 

Tendances (20)

Numerical solution of fuzzy hybrid differential equation by third order runge...
Numerical solution of fuzzy hybrid differential equation by third order runge...Numerical solution of fuzzy hybrid differential equation by third order runge...
Numerical solution of fuzzy hybrid differential equation by third order runge...
 
11.numerical solution of fuzzy hybrid differential equation by third order ru...
11.numerical solution of fuzzy hybrid differential equation by third order ru...11.numerical solution of fuzzy hybrid differential equation by third order ru...
11.numerical solution of fuzzy hybrid differential equation by third order ru...
 
Gentle Introduction to Dirichlet Processes
Gentle Introduction to Dirichlet ProcessesGentle Introduction to Dirichlet Processes
Gentle Introduction to Dirichlet Processes
 
Prime numbers boundary
Prime numbers boundary Prime numbers boundary
Prime numbers boundary
 
Compensating Joint Configuration through Null Space Control in Composite Weig...
Compensating Joint Configuration through Null Space Control in Composite Weig...Compensating Joint Configuration through Null Space Control in Composite Weig...
Compensating Joint Configuration through Null Space Control in Composite Weig...
 
Using Alpha-cuts and Constraint Exploration Approach on Quadratic Programming...
Using Alpha-cuts and Constraint Exploration Approach on Quadratic Programming...Using Alpha-cuts and Constraint Exploration Approach on Quadratic Programming...
Using Alpha-cuts and Constraint Exploration Approach on Quadratic Programming...
 
PhD thesis presentation of Nguyen Bich Van
PhD thesis presentation of Nguyen Bich VanPhD thesis presentation of Nguyen Bich Van
PhD thesis presentation of Nguyen Bich Van
 
Lewenz_McNairs-copy
Lewenz_McNairs-copyLewenz_McNairs-copy
Lewenz_McNairs-copy
 
article_imen_ridha_2016_version_finale
article_imen_ridha_2016_version_finalearticle_imen_ridha_2016_version_finale
article_imen_ridha_2016_version_finale
 
The discrete quartic spline interpolation over non uniform mesh
The discrete  quartic spline interpolation over non uniform meshThe discrete  quartic spline interpolation over non uniform mesh
The discrete quartic spline interpolation over non uniform mesh
 
Decay Property for Solutions to Plate Type Equations with Variable Coefficients
Decay Property for Solutions to Plate Type Equations with Variable CoefficientsDecay Property for Solutions to Plate Type Equations with Variable Coefficients
Decay Property for Solutions to Plate Type Equations with Variable Coefficients
 
A common random fixed point theorem for rational inequality in hilbert space
A common random fixed point theorem for rational inequality in hilbert spaceA common random fixed point theorem for rational inequality in hilbert space
A common random fixed point theorem for rational inequality in hilbert space
 
A new generalized lindley distribution
A new generalized lindley distributionA new generalized lindley distribution
A new generalized lindley distribution
 
Talk given at the Workshop in Catania University
Talk given at the Workshop in Catania University Talk given at the Workshop in Catania University
Talk given at the Workshop in Catania University
 
RebeccaSimmsYTF2016
RebeccaSimmsYTF2016RebeccaSimmsYTF2016
RebeccaSimmsYTF2016
 
Spectral sum rules for conformal field theories
Spectral sum rules for conformal field theoriesSpectral sum rules for conformal field theories
Spectral sum rules for conformal field theories
 
Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...
Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...
Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...
 
Pert 05 aplikasi clustering
Pert 05 aplikasi clusteringPert 05 aplikasi clustering
Pert 05 aplikasi clustering
 
A common fixed point theorem in cone metric spaces
A common fixed point theorem in cone metric spacesA common fixed point theorem in cone metric spaces
A common fixed point theorem in cone metric spaces
 
Ottosen&petersson fem cap 5
Ottosen&petersson fem cap 5Ottosen&petersson fem cap 5
Ottosen&petersson fem cap 5
 

Similaire à Discrete form of the riccati equation

EXACT SOLUTIONS OF A FAMILY OF HIGHER-DIMENSIONAL SPACE-TIME FRACTIONAL KDV-T...
EXACT SOLUTIONS OF A FAMILY OF HIGHER-DIMENSIONAL SPACE-TIME FRACTIONAL KDV-T...EXACT SOLUTIONS OF A FAMILY OF HIGHER-DIMENSIONAL SPACE-TIME FRACTIONAL KDV-T...
EXACT SOLUTIONS OF A FAMILY OF HIGHER-DIMENSIONAL SPACE-TIME FRACTIONAL KDV-T...cscpconf
 
Planning Under Uncertainty With Markov Decision Processes
Planning Under Uncertainty With Markov Decision ProcessesPlanning Under Uncertainty With Markov Decision Processes
Planning Under Uncertainty With Markov Decision Processesahmad bassiouny
 
Redundancy in robot manipulators and multi robot systems
Redundancy in robot manipulators and multi robot systemsRedundancy in robot manipulators and multi robot systems
Redundancy in robot manipulators and multi robot systemsSpringer
 
digital control Chapter 2 slide
digital control Chapter 2 slidedigital control Chapter 2 slide
digital control Chapter 2 slideasyrafjpk
 
Adomian Decomposition Method for Certain Space-Time Fractional Partial Differ...
Adomian Decomposition Method for Certain Space-Time Fractional Partial Differ...Adomian Decomposition Method for Certain Space-Time Fractional Partial Differ...
Adomian Decomposition Method for Certain Space-Time Fractional Partial Differ...IOSR Journals
 
Efficient Solution of Two-Stage Stochastic Linear Programs Using Interior Poi...
Efficient Solution of Two-Stage Stochastic Linear Programs Using Interior Poi...Efficient Solution of Two-Stage Stochastic Linear Programs Using Interior Poi...
Efficient Solution of Two-Stage Stochastic Linear Programs Using Interior Poi...SSA KPI
 
A Branch And Bound Algorithm For The Generalized Assignment Problem
A Branch And Bound Algorithm For The Generalized Assignment ProblemA Branch And Bound Algorithm For The Generalized Assignment Problem
A Branch And Bound Algorithm For The Generalized Assignment ProblemSteven Wallach
 
Hierarchical matrices for approximating large covariance matries and computin...
Hierarchical matrices for approximating large covariance matries and computin...Hierarchical matrices for approximating large covariance matries and computin...
Hierarchical matrices for approximating large covariance matries and computin...Alexander Litvinenko
 
6-Nfa & equivalence with RE.pdf
6-Nfa & equivalence with RE.pdf6-Nfa & equivalence with RE.pdf
6-Nfa & equivalence with RE.pdfshruti533256
 
DSP_FOEHU - MATLAB 03 - The z-Transform
DSP_FOEHU - MATLAB 03 - The z-TransformDSP_FOEHU - MATLAB 03 - The z-Transform
DSP_FOEHU - MATLAB 03 - The z-TransformAmr E. Mohamed
 
第5回CCMSハンズオン(ソフトウェア講習会): AkaiKKRチュートリアル 1. KKR法
第5回CCMSハンズオン(ソフトウェア講習会): AkaiKKRチュートリアル 1. KKR法第5回CCMSハンズオン(ソフトウェア講習会): AkaiKKRチュートリアル 1. KKR法
第5回CCMSハンズオン(ソフトウェア講習会): AkaiKKRチュートリアル 1. KKR法Computational Materials Science Initiative
 
ON RUN-LENGTH-CONSTRAINED BINARY SEQUENCES
ON RUN-LENGTH-CONSTRAINED BINARY SEQUENCESON RUN-LENGTH-CONSTRAINED BINARY SEQUENCES
ON RUN-LENGTH-CONSTRAINED BINARY SEQUENCESijitjournal
 
Conformable Chebyshev differential equation of first kind
Conformable Chebyshev differential equation of first kindConformable Chebyshev differential equation of first kind
Conformable Chebyshev differential equation of first kindIJECEIAES
 
Problem Solving by Computer Finite Element Method
Problem Solving by Computer Finite Element MethodProblem Solving by Computer Finite Element Method
Problem Solving by Computer Finite Element MethodPeter Herbert
 
Solving the Poisson Equation
Solving the Poisson EquationSolving the Poisson Equation
Solving the Poisson EquationShahzaib Malik
 
On approximate bounds of zeros of polynomials within
On approximate bounds of zeros of polynomials withinOn approximate bounds of zeros of polynomials within
On approximate bounds of zeros of polynomials withineSAT Publishing House
 

Similaire à Discrete form of the riccati equation (20)

EXACT SOLUTIONS OF A FAMILY OF HIGHER-DIMENSIONAL SPACE-TIME FRACTIONAL KDV-T...
EXACT SOLUTIONS OF A FAMILY OF HIGHER-DIMENSIONAL SPACE-TIME FRACTIONAL KDV-T...EXACT SOLUTIONS OF A FAMILY OF HIGHER-DIMENSIONAL SPACE-TIME FRACTIONAL KDV-T...
EXACT SOLUTIONS OF A FAMILY OF HIGHER-DIMENSIONAL SPACE-TIME FRACTIONAL KDV-T...
 
Planning Under Uncertainty With Markov Decision Processes
Planning Under Uncertainty With Markov Decision ProcessesPlanning Under Uncertainty With Markov Decision Processes
Planning Under Uncertainty With Markov Decision Processes
 
Redundancy in robot manipulators and multi robot systems
Redundancy in robot manipulators and multi robot systemsRedundancy in robot manipulators and multi robot systems
Redundancy in robot manipulators and multi robot systems
 
peters_corrected-1
peters_corrected-1peters_corrected-1
peters_corrected-1
 
digital control Chapter 2 slide
digital control Chapter 2 slidedigital control Chapter 2 slide
digital control Chapter 2 slide
 
02_AJMS_297_21.pdf
02_AJMS_297_21.pdf02_AJMS_297_21.pdf
02_AJMS_297_21.pdf
 
Adomian Decomposition Method for Certain Space-Time Fractional Partial Differ...
Adomian Decomposition Method for Certain Space-Time Fractional Partial Differ...Adomian Decomposition Method for Certain Space-Time Fractional Partial Differ...
Adomian Decomposition Method for Certain Space-Time Fractional Partial Differ...
 
Timoteo carletti stefano marmi
Timoteo carletti stefano marmiTimoteo carletti stefano marmi
Timoteo carletti stefano marmi
 
Efficient Solution of Two-Stage Stochastic Linear Programs Using Interior Poi...
Efficient Solution of Two-Stage Stochastic Linear Programs Using Interior Poi...Efficient Solution of Two-Stage Stochastic Linear Programs Using Interior Poi...
Efficient Solution of Two-Stage Stochastic Linear Programs Using Interior Poi...
 
A Branch And Bound Algorithm For The Generalized Assignment Problem
A Branch And Bound Algorithm For The Generalized Assignment ProblemA Branch And Bound Algorithm For The Generalized Assignment Problem
A Branch And Bound Algorithm For The Generalized Assignment Problem
 
Hierarchical matrices for approximating large covariance matries and computin...
Hierarchical matrices for approximating large covariance matries and computin...Hierarchical matrices for approximating large covariance matries and computin...
Hierarchical matrices for approximating large covariance matries and computin...
 
6-Nfa & equivalence with RE.pdf
6-Nfa & equivalence with RE.pdf6-Nfa & equivalence with RE.pdf
6-Nfa & equivalence with RE.pdf
 
DSP_FOEHU - MATLAB 03 - The z-Transform
DSP_FOEHU - MATLAB 03 - The z-TransformDSP_FOEHU - MATLAB 03 - The z-Transform
DSP_FOEHU - MATLAB 03 - The z-Transform
 
第5回CCMSハンズオン(ソフトウェア講習会): AkaiKKRチュートリアル 1. KKR法
第5回CCMSハンズオン(ソフトウェア講習会): AkaiKKRチュートリアル 1. KKR法第5回CCMSハンズオン(ソフトウェア講習会): AkaiKKRチュートリアル 1. KKR法
第5回CCMSハンズオン(ソフトウェア講習会): AkaiKKRチュートリアル 1. KKR法
 
BNL_Research_Report
BNL_Research_ReportBNL_Research_Report
BNL_Research_Report
 
ON RUN-LENGTH-CONSTRAINED BINARY SEQUENCES
ON RUN-LENGTH-CONSTRAINED BINARY SEQUENCESON RUN-LENGTH-CONSTRAINED BINARY SEQUENCES
ON RUN-LENGTH-CONSTRAINED BINARY SEQUENCES
 
Conformable Chebyshev differential equation of first kind
Conformable Chebyshev differential equation of first kindConformable Chebyshev differential equation of first kind
Conformable Chebyshev differential equation of first kind
 
Problem Solving by Computer Finite Element Method
Problem Solving by Computer Finite Element MethodProblem Solving by Computer Finite Element Method
Problem Solving by Computer Finite Element Method
 
Solving the Poisson Equation
Solving the Poisson EquationSolving the Poisson Equation
Solving the Poisson Equation
 
On approximate bounds of zeros of polynomials within
On approximate bounds of zeros of polynomials withinOn approximate bounds of zeros of polynomials within
On approximate bounds of zeros of polynomials within
 

Dernier

VIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 BookingVIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 Bookingdharasingh5698
 
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance BookingCall Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance Bookingroncy bisnoi
 
Double Revolving field theory-how the rotor develops torque
Double Revolving field theory-how the rotor develops torqueDouble Revolving field theory-how the rotor develops torque
Double Revolving field theory-how the rotor develops torqueBhangaleSonal
 
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...roncy bisnoi
 
VIP Model Call Girls Kothrud ( Pune ) Call ON 8005736733 Starting From 5K to ...
VIP Model Call Girls Kothrud ( Pune ) Call ON 8005736733 Starting From 5K to ...VIP Model Call Girls Kothrud ( Pune ) Call ON 8005736733 Starting From 5K to ...
VIP Model Call Girls Kothrud ( Pune ) Call ON 8005736733 Starting From 5K to ...SUHANI PANDEY
 
CCS335 _ Neural Networks and Deep Learning Laboratory_Lab Complete Record
CCS335 _ Neural Networks and Deep Learning Laboratory_Lab Complete RecordCCS335 _ Neural Networks and Deep Learning Laboratory_Lab Complete Record
CCS335 _ Neural Networks and Deep Learning Laboratory_Lab Complete RecordAsst.prof M.Gokilavani
 
Online banking management system project.pdf
Online banking management system project.pdfOnline banking management system project.pdf
Online banking management system project.pdfKamal Acharya
 
The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...
The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...
The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...ranjana rawat
 
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756dollysharma2066
 
ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdf
ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdfONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdf
ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdfKamal Acharya
 
data_management_and _data_science_cheat_sheet.pdf
data_management_and _data_science_cheat_sheet.pdfdata_management_and _data_science_cheat_sheet.pdf
data_management_and _data_science_cheat_sheet.pdfJiananWang21
 
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...Call Girls in Nagpur High Profile
 
Unit 1 - Soil Classification and Compaction.pdf
Unit 1 - Soil Classification and Compaction.pdfUnit 1 - Soil Classification and Compaction.pdf
Unit 1 - Soil Classification and Compaction.pdfRagavanV2
 
KubeKraft presentation @CloudNativeHooghly
KubeKraft presentation @CloudNativeHooghlyKubeKraft presentation @CloudNativeHooghly
KubeKraft presentation @CloudNativeHooghlysanyuktamishra911
 
Call Girls In Bangalore ☎ 7737669865 🥵 Book Your One night Stand
Call Girls In Bangalore ☎ 7737669865 🥵 Book Your One night StandCall Girls In Bangalore ☎ 7737669865 🥵 Book Your One night Stand
Call Girls In Bangalore ☎ 7737669865 🥵 Book Your One night Standamitlee9823
 
PVC VS. FIBERGLASS (FRP) GRAVITY SEWER - UNI BELL
PVC VS. FIBERGLASS (FRP) GRAVITY SEWER - UNI BELLPVC VS. FIBERGLASS (FRP) GRAVITY SEWER - UNI BELL
PVC VS. FIBERGLASS (FRP) GRAVITY SEWER - UNI BELLManishPatel169454
 
BSides Seattle 2024 - Stopping Ethan Hunt From Taking Your Data.pptx
BSides Seattle 2024 - Stopping Ethan Hunt From Taking Your Data.pptxBSides Seattle 2024 - Stopping Ethan Hunt From Taking Your Data.pptx
BSides Seattle 2024 - Stopping Ethan Hunt From Taking Your Data.pptxfenichawla
 

Dernier (20)

VIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 BookingVIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 Booking
 
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance BookingCall Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
 
Double Revolving field theory-how the rotor develops torque
Double Revolving field theory-how the rotor develops torqueDouble Revolving field theory-how the rotor develops torque
Double Revolving field theory-how the rotor develops torque
 
Roadmap to Membership of RICS - Pathways and Routes
Roadmap to Membership of RICS - Pathways and RoutesRoadmap to Membership of RICS - Pathways and Routes
Roadmap to Membership of RICS - Pathways and Routes
 
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...
 
NFPA 5000 2024 standard .
NFPA 5000 2024 standard                                  .NFPA 5000 2024 standard                                  .
NFPA 5000 2024 standard .
 
VIP Model Call Girls Kothrud ( Pune ) Call ON 8005736733 Starting From 5K to ...
VIP Model Call Girls Kothrud ( Pune ) Call ON 8005736733 Starting From 5K to ...VIP Model Call Girls Kothrud ( Pune ) Call ON 8005736733 Starting From 5K to ...
VIP Model Call Girls Kothrud ( Pune ) Call ON 8005736733 Starting From 5K to ...
 
CCS335 _ Neural Networks and Deep Learning Laboratory_Lab Complete Record
CCS335 _ Neural Networks and Deep Learning Laboratory_Lab Complete RecordCCS335 _ Neural Networks and Deep Learning Laboratory_Lab Complete Record
CCS335 _ Neural Networks and Deep Learning Laboratory_Lab Complete Record
 
Online banking management system project.pdf
Online banking management system project.pdfOnline banking management system project.pdf
Online banking management system project.pdf
 
The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...
The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...
The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...
 
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
 
ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdf
ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdfONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdf
ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdf
 
data_management_and _data_science_cheat_sheet.pdf
data_management_and _data_science_cheat_sheet.pdfdata_management_and _data_science_cheat_sheet.pdf
data_management_and _data_science_cheat_sheet.pdf
 
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
 
Unit 1 - Soil Classification and Compaction.pdf
Unit 1 - Soil Classification and Compaction.pdfUnit 1 - Soil Classification and Compaction.pdf
Unit 1 - Soil Classification and Compaction.pdf
 
KubeKraft presentation @CloudNativeHooghly
KubeKraft presentation @CloudNativeHooghlyKubeKraft presentation @CloudNativeHooghly
KubeKraft presentation @CloudNativeHooghly
 
Call Girls In Bangalore ☎ 7737669865 🥵 Book Your One night Stand
Call Girls In Bangalore ☎ 7737669865 🥵 Book Your One night StandCall Girls In Bangalore ☎ 7737669865 🥵 Book Your One night Stand
Call Girls In Bangalore ☎ 7737669865 🥵 Book Your One night Stand
 
PVC VS. FIBERGLASS (FRP) GRAVITY SEWER - UNI BELL
PVC VS. FIBERGLASS (FRP) GRAVITY SEWER - UNI BELLPVC VS. FIBERGLASS (FRP) GRAVITY SEWER - UNI BELL
PVC VS. FIBERGLASS (FRP) GRAVITY SEWER - UNI BELL
 
(INDIRA) Call Girl Meerut Call Now 8617697112 Meerut Escorts 24x7
(INDIRA) Call Girl Meerut Call Now 8617697112 Meerut Escorts 24x7(INDIRA) Call Girl Meerut Call Now 8617697112 Meerut Escorts 24x7
(INDIRA) Call Girl Meerut Call Now 8617697112 Meerut Escorts 24x7
 
BSides Seattle 2024 - Stopping Ethan Hunt From Taking Your Data.pptx
BSides Seattle 2024 - Stopping Ethan Hunt From Taking Your Data.pptxBSides Seattle 2024 - Stopping Ethan Hunt From Taking Your Data.pptx
BSides Seattle 2024 - Stopping Ethan Hunt From Taking Your Data.pptx
 

Discrete form of the riccati equation

  • 1. On the Discrete-Time Algebraic Riccati Equation and Its Solution in Closed-Form A.J. Rojas ∗ ∗ Departamento de Ingenier´ıa El´ectrica, Universidad de Concepci´on, Chile. Email: arojasn@udec.cl Abstract: In the present paper we obtain a closed-form solution for the class of discrete-time algebraic Riccati equations (DTARE), whenever the eigenvalues of the A matrix are distinct. The obtained closed-form solution gives insight on issues such as loss of controllability and it might also prove comparable in terms of numerical precision over current solving algorithms. We also consider further extensions of the main result including, for example, a closed-form expression for the optimal regulator gain matrix K. Whenever possible we discuss the connection with earlier and established results. Keywords: Algebraic Riccati equation; Closed-form solution; Controllability. 1. INTRODUCTION Riccati equations are a recurrent and important feature in many theoretical control design results and have been the subject of study for a long time Reid [1972]. When the positive semidefinite solution of the Riccati equation is time invariant we are then reduced to the particular, albeit very useful, subset of equations known as Algebraic Riccati equations (ARE) Lancaster and Rod- man [1995], Goodwin et al. [2001]. AREs in particular play a central role in many control design synthesis procedures, Delchamps [1984], Doyle et al. [1989], including H2 optimal control Zhou et al. [1996] and H∞ optimal control Petersen [1987], Zhou and Khar- gonekar [1988] (and more recently Petersen [2009]). Notwithstanding the many theoretical implications that relate to solving an ARE, the solution to the ARE itself is commonly obtained through efficient numerical algo- rithms, Arnold and Laub [1984], Gohberg et al. [1986], Ionescu et al. [1997]. Here we focus on the discrete-time ARE (DTARE), [Good- win et al., 2001, §22.7], whilst we discuss the continuous- time ARE (CTARE), [Goodwin et al., 2001, §22.5.2], in the companion submission to the present paper. The main contribution of the present work is a closed- form solution for the class of DTAREs with non repeated eigenvalues. To the best knowledge of the author such closed-form solution is novel. We compare the closed-form DTARE solution, both nu- merically and theoretically, to the standard Matlab solu- tion based on the DTARE algorithmic solution developed in Arnold and Laub [1984]. We then show that, as the state weight Q tends to zero, the present paper main contribution retrieves the closed-form solution proposed in [Rojas, 2009, Proposition 1]. We then challenge, for a simple 2 × 2 case, our standing assumption of non repeated eigenvalues. We thus aim to illustrate two things: First that the non repeated eigen- values assumption is not a “hard” limitation when trying to find a closed-form solution. Second that, although pos- sible to indeed find a closed-form solution, the repeated eigenvalues case is far more complex. As an application of the DTARE the closed-form solution we introduce, in a series of straightforward lemmas, exten- sions to the class of DTAREs that accept such a closed- form solution. We also present as well related closed-form results that stems from the DTARE closed-form solution (such as for example the optimal regulator gain K involved in a state feedback control law of the type u(k) = −Kx(k), see for example Kwakernaak and Sivan [1972]). The paper is organised as follows: In Section 2 we introduce the standing assumptions for the present paper, discuss the induced closed loop pole locations by present the DTARE closed-form solution. In Section 3 we discuss the connec- tion to known results and where possible verify numerically the exactness of the proposed DTARE closed-form solu- tion. We also introduce a series of simple extensions of the main result which include a closed-form for the regulator gain as well as a DTARE closed-form solution subject to a non singular transformation of the state. In Section 4 we conclude by presenting our final remarks and possible future research. Terminology: let C denote the complex plane. Let D− , ¯D− , D+ and ¯D+ denote respectively the open unit-circle, closed unit-circle, open and closed unit circle complements in the complex plane C, with ∂D the unit-circle itself. Let R denote the set of real numbers, R+ the set of positive real numbers, R+ o the set of non-negative real numbers and R− the set of real negative numbers. Let Z+ denote the set of positive integers. A discrete-time signal is denoted by x(k), k = 0, 1, 2, · · · , and its Z-transform by X(z), z ∈ C. The expectation operator is denoted by E. A rational transfer function of a discrete-time system is minimum phase if all Preprints of the 18th IFAC World Congress Milano (Italy) August 28 - September 2, 2011 Copyright by the International Federation of Automatic Control (IFAC) 162
  • 2. its zeros lie in ¯D− , and is non minimum phase if it has zeros in D+ . We use bold notation to represent a generic matrix A. Similarly, 0 stands for a matrix, of suitable dimensions, with all its entries set to zero and I for the identity matrix. Denote the element in the ith -row, jth -column of a matrix A as aij, and equivalently the overall matrix as A = [aij] . If a in C, ¯a represents its complex conjugate. 2. DTARE EXPLICIT SOLUTION In the present section we present a technical result which states in closed-form the solution of a class of minimum energy Riccati equations. 2.1 Assumptions The assumptions under consideration are 1) A minimal realisation (A, B, C, 0) of a plant model G(z). 2) The eigenvalues of A are in C and are all distinct. 3) A is diagonal and B = [1 · · · 1] T . Other assumptions might be stated when required for some specific results, but the above are standing assumptions for the present paper. 2.2 Closed Loop Poles Location A DTARE, see for example [Goodwin et al., 2001, §22.7], is defined as X − ¯AT XA + ¯AT XB R + BT XB −1 BT XA − Q = 0, (1) where both the solution X and the state weight Q are symmetric matrices. A well know fact that stems from the solution of the above DTARE is the definition of the regulator gain K (see for example Kwakernaak and Sivan [1972]) which is given by K = (R + BT XB)−1 BT XA. We also define, by means of the state feedback control law u(k) = −Kx(k) the open loop regulator transfer function Lreg(z) as Lreg(z) = K (zI − A) −1 B, (2) as well as the sensitivity function Sreg(z) as Sreg(z) = 1 + K (zI − A) −1 B −1 . (3) We note that an alternative definition for Sreg(z), useful in the context of the present paper, is also Sreg(z) = n i=1 z − ρi z − zi , (4) where ρi, ∀i = 1, · · · , n, are the eigenvalues of A and zi, ∀i = 1, · · · , n, are the closed loop pole locations induced by the DTARE solution through the state feedback control law. From (3) we also obtain another definition for Lreg(z), alternative to (2), as Lreg(z) = n i=1(z − zi) − n i=1(z − ρi) n i=1(z − ρi) . (5) By means of a spectral factorisation argument, see for ex- ample [˚Astr¨om, 1970, pp. 99–103], induced by the DTARE in (1) we have that Sreg(z) satisfies S−1 reg(z)(R + BT XB)S−1 reg(z−1 ) = R + BT zI − ¯AT −1 Q z−1 I − A −1 B. (6) Therefore, if for example Q = CT C, the closed loop poles zi can be seen to be the stable roots of the polynomial p(z)p(z−1 ) + q(z)q(z−1 ), (7) where G(z) = q(z)/p(z). Remark 1. We observe, from comparing the limit as z → ∞ of the transfer functions involved on both sides of the equality in (6), that BT XB = n k=1 ρk zk − R. Notice that as Q → 0, then each zi → 1/¯ρi and the above expression converges to n k=1 |ρk|2 − R. Remark 2. It is well known that the closed loop pole locations zi are defined also as the eigenvalues of A−BK. However we use the spectral factorisation argument in (6) and the polynomial (7) because, albeit numerical for most of the cases, they do not explicitly require a priori the solution X of the DTARE. That is, by means of the proposed spectral factorisation argument, we do not need to solve the DTARE in order to know the closed loop poles. We now use the two alternative definitions for Sreg(z), the one in (4) and the one in (3), to state the following proposition that we require for the proof of the present paper main result. Proposition 3. The following equality holds n k=1 ρk zk ri = ρi j xij. (8) Proof. Observe from (5) that a partial fraction descrip- tion of Lreg(z) results in Lreg(z) = n i=1 ri z − ρi , with the residue factor ri’s defined as ri = n k=1 (ρi − zk) n j=1 j=i (ρi − ρj) , ∀i = 1, · · · , n. On the other hand, from the equivalent definition of Sreg(z) in (3) we have that a partial fraction description of Lreg(z) results in Lreg(z) = n i=1 k1i z − ρi . From the definition of K = (R + BT XB)−1 BT XA = [k1i], we have then that k1i = n k=1 zk ρk j ρixij, and from the fact that both partial fraction description are equivalent, we obtain the equality proposed in (8), which concludes the proof. Remark 4. We observe that Proposition 3 can also be restated as n k=1 ρk zk rj = ρj i xij. Preprints of the 18th IFAC World Congress Milano (Italy) August 28 - September 2, 2011 163
  • 3. The above expression can be easily verified by invoking the symmetric condition of X from which we have that xij = xji. 2.3 Main Result In this subsection we present the closed-form solution to the general DTARE in (1) under the assumptions stated in Subsection 2.1. Proposition 5. ( Closed-Form Solution for R = 1) The closed-form solution ˆX = [xij] to the DTARE in (1) with R = 1 is given by xij = n k=1 ρk zk ¯rirj − qij ¯ρiρj − 1 , (9) with ri defined as ri = n k=1 (ρi − zk) n j=1 j=i (ρi − ρj) , ∀i = 1, · · · , n, (10) and ρi, ∀i = 1, · · · , n, the distinct eigenvalues of A. Proof. As a first step let us recognise that matrices A and B that satisfy assumptions 2) and 3) are given by A =     ρ1 0 · · · 0 0 ρ2 · · · 0 ... ... ... ... 0 0 · · · ρn     , B =     1 1 ... 1     . Rewrite now (1) as ¯AT XA−X+Q = ¯AT XB R + BT XB −1 BT XA. (11) The LHS and RHS of (11), replacing X as in (9), are then given by LHS =  ¯ρiρj n k=1 ρk zk ¯rirj − qij ¯ρiρj − 1 − n k=1 ρk zk ¯rirj − qij ¯ρiρj − 1   + [qij] = n k=1 ρk zk ¯rirj , and RHS = ¯ρi i xij n k=1 zk ρk  ρj j xij   . Now from Proposition 3 we then have that the LHS of (11), after substituting ˆX as in (9), is equal to the RHS of (11) which concludes the proof. Remark 6. Note from the definition of the residue factor ri in (10) that a loss of controllability is evident when any ρi matches any ρj. Remark 7. Note that the complex conjugate case, arising from possible second order factors in the plant model, is included in the main result of Proposition 5. This is so since complex conjugate eigenvalues do not violate the assumption of distinct eigenvalues and it is the reason why we have maintained the complex conjugate notation in (1). The result of Proposition (5) can now serve as a figurative stepping stone to obtain further results in closed-form which we investigate in the next section. 3. DISCUSSION AND EXTENSIONS In the present section we compare Proposition 5 to the algorithmic solution obtained trough the command care in Matlab, both numerically an theoretically. We then show how, as Q → 0, we recover the result presented as [Rojas, 2009, Proposition 1]. We further investigate, in a simple 2 × 2 setting, the DTARE closed-form solution for the case of repeated eigenvalues in A. We then conclude the section with a series of straightforward extensions of Proposition 5, including the closed-form solution for R = 1, subject to a state transformation and for multivariable systems with a block-diagonal Q. 3.1 Numerical Comparison with the Matlab Solution Here we compare of the closed-form solution ˆX and the one obtained with Matlab. Example 8. Consider for this example the following selec- tion −2 −1 0 1 2 −250 −200 −150 −100 −50 0 50 ρ 1 error(dB) Fig. 1. Numerical error between the solution obtained from Matlab and the proposed closed-form solution. A =   ρ1 0 0 0 √ 2 0 0 0 √ 3   , B = 1 1 1 , Q = I, R = 1. The first eigenvalue ρ1 of A is a variable pole defined in the range ] − 2, 2]. Define E = [eij] = ˆX − Xm where Xm is the DTARE solution obtained from Matlab. We then propose as an error function the expression error = i j e2 ij . (12) In Figure 1 we observe the plot of the resulting error function for the present example. As the value of ρ1 approaches the value of ρ2 and ρ3 the error spikes out due to the loss of controllability. Otherwise, we can appreciate, from Figure 1 that indeed ˆX is equivalent to Xm. To clarify that the observed spikes in Figure 1 are indeed due to the loss of controllability and not to a sudden di- Preprints of the 18th IFAC World Congress Milano (Italy) August 28 - September 2, 2011 164
  • 4. vergence between the ˆX and Xm solutions let us introduce the following alternative error function F = [fij] = X − ¯AT XA+ ¯AT XB R + BT XB −1 BT XA − Q. We evaluated F alternatively for ˆX and for Xm and use a similar error index as before error = i j f2 ij . From Figure 2 we have then that the spikes observed in −2 −1 0 1 2 −300 −250 −200 −150 −100 −50 ρ 1 error(dB) Matlab Closed−form Fig. 2. Numerical error upon replacing the solution ob- tained from Matlab and the proposed closed-form solution into the DTARE definition in (1). Figure 1 are also present, independently for ˆX and Xm, thus reinforcing the idea that these are indeed due to loss of controllability whenever ρ1 → ρ2 or ρ1 → ρ3. We conclude the present subsection by remarking that the numerical comparison presented in the above example is not to renege of the closed-form solution in Proposition 5. The objective of the example was to clearly show that the closed-form DTARE solution is numerically comparable, when implemented through Matlab, to the available stan- dard algorithmic DTARE solution. 3.2 Theoretical Comparison with the Matlab Solution From Arnold and Laub [1984] we observe that the Matlab command dare, for the proposed class of AREs, solves an eigenproblem defined by the Hamiltonian matrix M = A + BR−1 BT ¯A−T Q −BR−1 BT ¯A−T − ¯A−T Q ¯A−T . The solution W to the eigenproblem is such that W−1 MW = S11 S12 0 S22 , (13) with all the eigenvalues of S11 strictly inside the unit circle. Thus, as intuition would have it, from Proposition 5 we can also obtain a closed-form solution to the eigenproblem solved by the algorithm proposed in Arnold and Laub [1984], namely ˆW = ˆX−1 Y I Y , where Y = A + ¯A−T − BR−1 BT ¯A−T + BR−1 BT ¯A−T Q + ¯A−T Q −1 ˆX−1 S12 − S12 . Note that for the above expression, as well as in (13), we assume that S is known (or in its default that just S12 is known), see Arnold and Laub [1984] for more details. 3.3 Convergence to the ARE with Vanishing State Weight Result Here we discuss the convergence of the DTARE solution in closed-form from Proposition 5 to known results. We refer in particular to the closed-form solution for the class of AREs with vanishing state weight, that is Q → 0, presented in [Rojas, 2009, Proposition 1]. Notice that as Q → 0 the induced closed loop poles zi tend to the set of stable eigenvalues and the mirrored (with respect to the unit circle) unstable eigenvalues of A. As a result for each stable eigenvalues we will have that the associated ri will tend to zero, whilst for the mirrored unstable eigenvalues we will have ri Q→0 → (1 − |ρi|2 ) m k=1 (1 − ρi ¯ρj) m j=1 j=i (ρi − ρj) , ∀i = 1, · · · , m, (14) where all the ρj in the expression above are part of the set of m unstable eigenvalues of A. Assume, for the sake of the exposition, that the set of m unstable eigenvalues of A are also the first m eigenvalues of A. We can then observe that the expression for ˆX from Proposition 5, as Q → 0 , will tend to ˆX Q→0 →           ¯r1r1 ¯ρ1ρ1−1 · · · ¯r1rm ¯ρ1ρm−1 0 · · · 0 ... ... ... ... ... ... ¯rmr1 ¯ρmρ1−1 · · · ¯rmrm ¯ρmρm−1 0 · · · 0 0 · · · 0 0 · · · 0 ... ... ... ... ... ... 0 · · · 0 0 · · · 0           , where each ri is given now as in (14), recovering the result from [Rojas, 2009, Proposition 1]. 3.4 Repeated Poles Case The study of repeated poles is also of interest, but it is at the same time more complex. As an example we present next the case of a pair of repeated eigenvalues. We treat in the present example the case that A contains a pair of repeated eigenvalues, that is we have A = ρ 1 0 ρ , B = 0 1 . (15) The closed-form solution of the DTARE equation (1), with A and B as above, R = 1 and any symmetric choice of Q is given by ˆX = ρ2 (ρ−z1)2 (ρ−z2)2 −z1z2Q(1,1) z1z2(ρ2−1) ρ(ρ−z1)(ρ−z2) z1z2 ρ(ρ−z1)(ρ−z2) z1z2 ρ2 z1z2 − 1 . (16) Although tedious, the above ˆX solution can be verified by direct replacement in (1), invoking the link between Q and the closed loop poles imposed by the spectral factorisation presented in (6). Preprints of the 18th IFAC World Congress Milano (Italy) August 28 - September 2, 2011 165
  • 5. Example 9. Consider for this example the following selec- tion: ρ in [−2, 2] and A and B as in (15), R = 1 and Q = [ 1 1 1 1 ]. We use the same error function as in (12) with hatX as in (16) and Xm the DTARE solution obtained from Matlab. In Figure 3 we can observe that the error −2 −1 0 1 2 −350 −300 −250 −200 −150 −100 −50 0 ρ error(dB) Fig. 3. Numerical error between the solution obtained from Matlab and the proposed closed-form solution for the case of repeated eigenvalues. function is very small. Although it seems to increase in the unstable range of ρ it still remains quite negligible. We then have that the present example shows that the closed-form solution for the 2 × 2 repeated eigenvalue case correctly predicts the numerical solution obtained from Matlab. Note that controllability is not an issue in the present subsection since no denominator that could force a division by zero 1 is apparent in (16). Finally, the expression for ˆX shows how hard it can be, when considering repeated eigenvalues, to gain sufficient insight as to find X in closed- form. 3.5 Extensions We now introduce a series of straightforward extensions to showcase the possible uses of the closed-form DTARE solution. Due to their simplicity we omit the proof of most such corollaries. Lemma 10. (Closed-Form Solution for R = λ) The closed-form solution to the DTARE in (1) with weights R = λ and Q is given by ˆXλ = λˆX, where ˆX is the closed-form solution to the DTARE in (1) with weights R = 1 and Q/λ. After the first and most natural extension of Proposition 5 we study the case in which the original state space repre- sentation of the plant model x(k + 1) = Ax(k) + Bu(k) y(k) = Cx(k), 1 Observe that for ρ = 1, the definition for x11 in ˆX as defined in (16) changes to x11 = (Q(1, 1) − Q(1, 2))z1z2 + (1 − z1)(1 − z2)(1 − Rz1z2) z1z2 , whilst the definitions for x12 and x22, as in (16), remain unchanged. is subject to a nonsingular transformation of the state T such that ˜x = Tx. The state representation in the new state space coordinates ˜x(k) becomes ˜x(k + 1) = ˜A˜x(k) + ˜Bu(k) y(k) = ˜C˜x(k), where ˜A = TAT−1 , ˜B = TB and ˜C = CT−1 . Lemma 11. (Transformed Closed-Form Solution) Con- sider a nonsingular transformation of the state T. The closed-form solution to the DTARE in (1) with weights R = 1 and Q in the transformed state ˜x = Tx, is given by ˜X = T−T ˆXT−1 , (17) where ˜X solves the DTARE in (1) with matrices A replaced by ˜A = TAT−1 , B replaced by ˜B = TB and weights ˜R = 1 and ˜Q = T−T QT−1 . We next proceed to obtain the regulator gain K in closed- form. Lemma 12. (Closed-Form Regulator Gain) Given ˆX from Proposition 5, the Kalman gain matrix is then obtained as K = n k=1 zk ρk ρ1 n i=1 n k=1 ρk zk ¯rir1−qi1 ¯ρiρ1−1 · · · ρn n i=1 n k=1 ρk zk ¯rirn−qin ¯ρiρn−1 , (18) where K = (1 + BT XB)−1 BT XA and R = 1. From the plain regulator gain K in closed-form for R = 1, we now move to the regulator gain K in closed-form case when subject to a nonsingular transformation T of the state. Lemma 13. (Transformed Closed-Form Regulator Gain) Given ˆX from Proposition 5 and a nonsingular transformation matrix T, then the Kalman gain matrix ˜K in the transformed state coordinates is obtained as ˜K = KT, (19) where K is as in (18) and R = 1. Finally, in order to extend the result of Proposition 5 to the multiple input multiple-output (MIMO) case we have to slightly modify the definition of A and B from Assumption (3). Consider then A and B ordered such that A =    A1 · · · 0 ... · · · ... 0 · · · Ar    , B =    B1 · · · 0 ... · · · ... 0 · · · Br    , (20) where Aj =    ρ1,j · · · 0 ... ... ... 0 · · · ρnj ,j    ∈ Cnj ×nj , Bj =    1 ... 1    ∈ Rnj ×1 , j = 1, · · · , r, Preprints of the 18th IFAC World Congress Milano (Italy) August 28 - September 2, 2011 166
  • 6. and r j=1 nj = n. We introduce next the MIMO closed- form characterisation of ˆX, the non-trivial solution to the DTARE. Proposition 14. (MIMO Closed-Form Solution for R = I) the closed-form solution to the DTARE in (1) with B as in (20), and Q =    Q1 · · · 0 ... ... ... 0 · · · Qr    , is given by ˆX =    ˆX1 · · · 0 ... · · · ... 0 · · · ˆXr    . (21) Each ˆXj, ∀j = 1, · · · , r, in turn is given by ˆXj =       n k=1 ρk zk ¯r1,j r1,j −q11,j ¯ρ1,j ρ1,j −1 · · · ... ... n k=1 ρk zk ¯rnj ,j r1,j −qnj 1,j ¯ρnj ,j ρ1,j −1 · · · n k=1 ρk zk ¯r1,j rnj ,j −q1nj ,j ¯ρ1,j ρnj ,j −1 ... n k=1 ρk zk ¯rnj ,j rnj ,j −qnj nj ,j ¯ρnj ,j ρnj ,j −1       , (22) with ri,j, ∀j = 1, · · · , r, defined as ri,j = nj k=1 (ρi,j − zk,j) nj l=1 l=i (ρi,j − ρl,j) , ∀i = 1, · · · , nj, (23) Proof. Consider the DTARE in (1) with R = I. Due to (20) this is equivalent to a collection of DTAREs, each given by Xj − ¯AT j XjAj − Qj+ ¯AT j XjBj 1 + BT j XjBj −1 BT j XjAj = 0, for , ∀j = 1, · · · , r. By means of Proposition 5 we have the solution for each of the above minimum energy AREs which is given by (22) with ri,j defined as in (23). Finally, the complete solution ˆX can be constructed by collecting each solution as in (21), which concludes the proof. Notice that the result in Proposition 14 does not include the more challenging case of a full symmetric matrix Q. 4. CONCLUSION In the present paper we have presented a closed-form solution for the DTARE, whenever the eigenvalues of the A matrix are distinct. We have shown how the present closed-form result can be linked to previous work about AREs, Arnold and Laub [1984], Rojas [2009], both nu- merically and theoretically. We have presented a series of straightforward extension of the main result including a closed-form version of the regulator gain K. Future research should consider the more demanding cases of repeated eigenvalues for A, MIMO with full Q matrix and the possible application of the DTARE closed-form solution to existing H2 or H∞ control design results. REFERENCES W.F.III Arnold and A.J. Laub. Generalized Eigenproblem Algorithms and Software for Algebraic Riccati Equa- tions. Proceedings of the IEEE, 72(12):1746–1754, De- cember 1984. K.J. ˚Astr¨om. Introduction to Stochastic Control Theory. Academic Press, 1970. D.F. Delchamps. Analytic Feedback Control and the Algebraic Riccati Equation. IEEE Transactions on Automatic Control, 29(11):1031–1033, November 1984. J.C. Doyle, P.P. Glover, K.and Khargonekar, and B.A. Francis. State-Space Solutions to Standard H2 and H∞ Control Problems. IEEE Transactions on Automatic Control, 34(8):831–847, August 1989. I. Gohberg, P. Lancaster, and L. Rodman. On Hermitian Solutions of the Symmetric Algebraic Riccati Equation. SIAM Journal on Control and Optimization, 24(6): 1323–1334, November 1986. G.C. Goodwin, S.F. Graebe, and M.E. Salgado. Control System Design. Prentice Hall, 2001. V. Ionescu, C. Oara, and M. Weiss. General matrix pencil techniques for the solution of algebraic Riccati equations: A unified approach. IEEE Transactions on Automatic Control, 42(8):1085–1097, August 1997. H. Kwakernaak and R. Sivan. Linear Optimal Control Systems. Wiley-Interscience, 1972. P. Lancaster and L. Rodman. Algebraic Riccati Equations. Oxford Science Publications, 1995. I.R. Petersen. Disturbance Attenuation and H∞ Opti- mization: A Design Method Based on the Algebraic Riccati Equation. IEEE Transactions on Automatic Control, 32(5):427–429, May 1987. I.R. Petersen. Robust H∞ Control of an Uncertain System Via a Stable Output Feedback Controller. IEEE Transactions on Automatic Control, 54(6):1418–1423, June 2009. W.T. Reid. Riccati Differential Equations. Academic Press, 1972. A.J. Rojas. Closed-Form Solution for a Class of Discrete- Time Algebraic Riccati Equations. In Proceedings of the 2009 American Control Conference, pages 482–487, St. Louis, Missouri, USA, June 2009. K. Zhou and P.P. Khargonekar. An algebraic riccati equation approach to H∞ optimization. Systems & Control Letters, 11(2):85–91, August 1988. K. Zhou, J.C. Doyle, and K. Glover. Robust and optimal control. Prentice Hall, 1996. Preprints of the 18th IFAC World Congress Milano (Italy) August 28 - September 2, 2011 167