Professional Documents
Culture Documents
Connection Between Continuous and Discrete
Connection Between Continuous and Discrete
discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/3360646
ARTICLE in CONTROL THEORY AND APPLICATIONS, IEE PROCEEDINGS D [SEE ALSO IEE PROCEEDINGS-CONTROL
THEORY AND APPLICATIONS] · FEBRUARY 1988
DOI: 10.1049/ip-d.1988.0004 · Source: IEEE Xplore
CITATIONS READS
48 157
3 AUTHORS, INCLUDING:
the delta form relative to the shift form in solving Riccati span the nth-order stable invariant subspace, then the
equations. stabilising solution for eqn. 10 is
COV{ w , } = R l ( A ) + RJA)
)
R,
dz~ 4 Q , (16)
(17)
I E E PROCEEDINGS, Vol. 135, Pt. D,N o . 1, J A N U A R Y 1988 29
with The corresponding steady state solution satisfies the
following discrete algebraic Riccati equation (DARE):
R,(t) 4 :m
j j:mh(t - z')R,(z' - 2") P, = Q, + A,P,A,T - [A,P,CJ + S,]
x h(t - T " ) ~d.r' dz" (18) x [ R , + C,P,C,']-'[C,P,A: + S]: (34)
Solution techniques for the DARE are very similar to
those described earlier for the CARE; particularly the
generalised Schur decomposition technique is also applic-
able to the discrete case [6] including cases where A , is
singular [6, 141. In particular, the following Hamiltonian
matrix arises in conjunction with these problems:
+
H,(k) = [A,P(k)C: S,](C,P(k)C: + R J ' ; lim R , = co (43)
A-0
with R(0) = i o (32)
lim A , =I (44)
where P(k) satisfies the following discrete Riccati differ- A-0
ence equation (DRDE):
lirn H , =0 (45)
P,(k + 1) = Q, + A , P,(k)A,' - [ A , P,(k)C,' + S,] A-0
Lemma 4.1
0003(i , I I , I I , , I I
0 3 6 9 I2 15 I8 21 24 27 30
iteration number
where Fig. 1 Comparison oferrors for the dynamic Riccati equation (DRDE)
using delta (6) and shft (4) operators with A = 0.075
E = max I cij I G 2-"
i, j
where [P(I)]Fp and P([) denote the floating point and
and where 11. IIF denotes the Frobenius norm. 'infinite' precision solution of the Riccati equation, and
Proof: The result is immediate on noting that, from eqn.
11. ( I F denotes the Frobenius norm.
It can be seen from the Figure that the delta formula-
67, we have tion leads to a significant improvement in the relative
IICXIFP - XII, d max IEijI IlXllF (71) error in the computation of the DRDE.
i, j
To compare the results in lemma 4.1, we will use the 4.2 The algebraic Riccati equation
spectral radius as a lower bound for the norm of A, and Most methods for solving the algebraic Riccati equation
A , because the spectral radius is less than or equal to any (ARE) start from the Hamiltonian matrix. We will use the
consistent norm [ 1 7 ] ; i.e. well known [13] solution method based on eigenvectors.
For simplicity, we will assume that the eigenvalues of the
L, B / E~ ~ [ A ,=] E
=EI/A,~ max I e"lAI (72) Hamiltonian matrices are distinct.
I
Let us assume that M E R2" is a Hamiltonian matrix
L, = E A J I A ,2
~ JE~A ~ C A ,=
] E max le"" - 1 1 (73) with different eigenvalues; then there exists a nonsingular
I
matrix X such that
where p [ . ] denotes spectral radius and { o i } denotes the
eigenvalues of the continuous time 'A' matrix.
(75)
For fast sampling (relative to the time constants of the
system), we have I eUiAI N 1 for i = 1 , . . . , n. In which case, where A , , A 2 E R" are diagonal matrices and where AI
the lower bound on L, given in eqn. 7 2 is much greater contains only the stable eigenvalues.
than the lower bound on L , given in eqn. 73. Inspection
of eqns. 68 and 69 then suggests that the delta form leads If
to a smaller error than the shift form. To be more precise
about this comparison, we need to consider specific struc-
tures for the matrices A , and A , . For example, if we use LA21 I "22A
for the ARE can be evaluated as P = X21X;t. where {pi} denotes the eigenvalues of M, .
Clearly, the sensitivity of the solution method depends Thus, for fast sampling (relative to the time constants
on the sensitivity of the eigenvectors. To carry out the of M, which are the regulator or filter time constants),
analysis, we will use the perturbation method proposed IpiAI 6 1 and, hence, the lower bound on U , given in
in Reference 17. inequality 85 is much greater than the lower bound in U ,
We consider a model for the perturbations as in eqn. given in inequality 86. This suggests that the delta form
67. This leads to leads to smaller error than does the shift form. As for the
(76) DRDE, the result can be made more explicitly if specific
canonical forms are used for the matrices.
(77)
where [M,IP and [MalP denote the perturbed matrices Remark 4.1 : An alternative expression for the perturbed
and eigenvector is given in [l8] as
/IEqIIF d &IIMqllF (78) 2n yTExi
/lEbllF EIIMdllF (79)
CxiIP = xi + j = 1 (Ai - A,)yTxj xj + qE2) (89)
To state the main result of this Section, we need the fol- where E E F : is the perturbation matrix (E, or E,) with
lowing preliminary result : llFl12= 1, yj: left eigenvector associated with A j , W E 2 ) :
residual of a Taylor expansion around E = 0.
Result 4.1: Hamiltonian matrices M, and M, have the
same eigenvectors. By neglecting W E 2 ) , we obtain
Proof: Immediate from the definition of the matrices.
/Ixi - {xi)P112
d (82)
n
where ci is the two norm of the perturbation matrix and
SZ < min { \ A i SI} - j = 1, 2, ..., 2n (83)
I
j;ti
u, 2 &AP(M,)~ (86) the relative error between Delta and shift for A = 0.075,
0, while Fig. 3 gives the corresponding results for A = 0.05.
where we have used the fact that R, = R,/A, as 1, = AA, It is clear from the Figures that the delta performance is
+1. better.
IEE PROCEEDINGS, Vol. 135, P t . D, No. I , J A N U A R Y 1988 33
~ ~
IO h 7 References
1 GOODWIN, G.C. : ‘Some observations on robust estimation and
control’. Plennary address, 7th IFAC symposium on identification
and system parameter estimation, York, 1985
2 MIDDLETON, R.H., and GOODWIN, G.C.: ‘Improved finite
wordlength characteristics in digital control using delta operators’,
IEEE Trans., 1986, AC-31, (ll), pp. 101S1021
3 GELB, A.: ‘Applied optimal estimation’ (TASC, 1974)
4 ARNOLD, W., and LAUB, A.J.: ‘Generalized eigenproblem algo-
rithms and software for algebraic Riccati equations’, Proc. IEEE,
1984,72, (12), pp. 17461754
5 VAN DOOREN, P.: ‘A generalized eigenvalue approach for solving
Riccati equations’, SIAM J. Sci & Stat. Cornput., 1981, 2, (2),
pp. 121-135
6 PAPPAS, T., LAUB, A., and SANDELL, N.R.: ‘On the numerical
4 6 8 IO 12 1A 16 18 20 22 24 solution of the discrete-time algebraic Riccati equation’, IEEE
mantissa bits Trans., 1980, AC-25, (4), pp. 631441
7 WILLIAMSON, D.: ‘Finite wordlength design of digital Kalman
Fig. 3 Comparison of errors for the algebraic Riccati equation ( A R E ) filters for state estimation’. IEEE Trans., 1985, AC-30, (lo), pp. 9 3 G
using delta ( 6 )and shift ( 4 )operators with A = 0.05 939
8 SRIDHARAN, S.: ‘Finite wordlength considerations in the imple-
mentation of digital filters’. PhD thesis, University of New South
W es, March 1985
1