Professional Documents
Culture Documents
A b s t r a c t . In this paper, the optimal filtering prob- ity of papers presented during the recent IFAC Workshop
lem for a linear system over observations with a fixed on Time Delay Systems [3]deal with the controller design
delay is treated, proceeding from the general expression for systems with delays. Most of the relevant prior work
for the stochastic It0 differential of the optimal estimate on optimal filtering considers a single delayed measure-
and its variance. As a result:the optimal filtering equa- ment. Both discrete and continuous cases were studied.
tions similar to the traditional Kalman-Bucy filter are However, the optimal filter for fusing multiple mea-
ohtained in the form dual to the Smith predictor, com- surements with different (and time-varying) delays, in-
monlg used control structure for model-based time delay cluding the measurements with no time delays, is not
compensation. The paper then presents a robustification known. Further details on this subject can be found
algorithm for the obtained optimal filter based on slid- in [4]. additional results were obtained in [5] and [SI for
ing mode compensat,ion of disturbances. As a result, the the systems with identical delays in state and measure-
sliding mode control of observations leading to suppres- ment equations. The Kalman filters for discrete linear
sion of the disturbances in a finite time is designed. This stochastic systems with measurements delayed by a fixed
control algorithm also guarantees finite-time convergence fraction of the sample time can be handled optimally af-
of the estimate based on the corrupted observations t o ter modifying the observation equation, as shown in [7].
the optimal estimate satisf)-ing the obtained optimal fil- It was suggested in [8] and [9] that the problem with
tering equations over delayed observations. multiple time delays can be converted t o the known opti-
mal filtering problem by introducing new fictitious states
that correspond to the delayed states of the original sys-
tem. Clearly, such an approach will lead to a substan-
1. Introduction tial increase of the order of the state model for a large
number of delayed measurements and cannot be used for
The optimal filteriiig and coutrol prohlenis for linear the systems with time-wrying and continuum delays. In
systems \\-it11 nieasurenient delaj-s and its dual optimal discrete systems, a practical filter incorporating the de-
coutrol problem rerirain t,lieoretically unsolved in t,heir layed measurements was ohtained in [lo], which requires
most general fornrulat,iouwith niultiple and time-varying the calculat.ion of a correction term that is added to the
delays, although the importance of t,he optimal filter- state estimation when the delayed measurement becomes
ing problem for h e a r dynamic systeins with observa- available. Such a filter is optimal nndcr certain condi-
tion delays was recognized a long time ago. The duality t,ions described in [lo]. .4n alt,ernat,ivefiltering mct,hod,
of the control and filtering problems in linear systems based on the extrapolation of the dcla.yed observations,
implies that the optimal state estimation for the system is dcvclopcd in [ll]and allows for the incorporation of
with measurement delays is closely related to the optimal a considerable nnmbcr of delayed and non-delayed mea-
quadratic regulator problem \vit.h delays in inputs, which surements. For systems with deterministic uncertainties,
was extensively studied ([1],[2]and references therein). A the robust H , filtering problem was treated in [I21 for
significantly smaller number of publications consider the discrete systems and in [13, 141 for continuous-time sys-
problem of optimal filtering for systems with measure- tems. Comprehensive reviews of theory and algorithms
ment delays. As a representative example, a vast major- tems are given in [IS, IS].
2595
where ~ ( z = +
) ao(t) a ( t ) z ( t ) and i p l ( z ) = .4o(t) +
.-I(t)z(t - h). After obvious manipulations and noting
that E ( z ( t - h) I F z ) = E ( z ( t - h) I F z h ) = m(t - h ) ,
the estimate equation takes the following form:
l-hI
@(kr ) b ( r ) d W( r ) ,
where @ ( t , r )is the state transition matrix of the h e
niogeneous equation (1). @(t,r) is the solution of the
matrix equation
x (B(t)BT(t))-'(dy(t)- ( & ( t ) + d ( t ) m ( t- / t ) ) d t ) .
(4) x exp (-
Lh aT(s)ds)A T ( t )( E (t , 8 ) B T (t , s)) -'
The gain matrix of thc optimal filter is now cqual For linear systems with Gaussian noises and initial
P ( t ) e a p ( - S ~ - h a T ( s ) d s ) ( B ( t ) B T ( t ) )which
- l , is asim- conditions, z ( t ) itself is conditionally Gaussian. Since
ilar expression to the traditional Kalman filter gain conditional third central moment E ( ( z ( t )- m ( t ) ) ( z ( t )-
with an exception of the delay-dependent adjustment - m(t) I F:) is equal t o zero for conditionally
rn(t))(z(t)
exp (- .f& a'(s)ds). Gaussian z ( t ) ,the last equation yields that
To obtain the optimal filter in the closed form, we now
need to find the equation for P ( t ) . The starting point is dP(t) = P(t)a'(t) + a(t)P(t)+ b(s)bT(s) (5)
2596
-P(t) exp (- /'
t-h
a T ( s ) d s ) A T ( t ) ( B ( ts)BT(t,s))-'
, (gi(z(t),t)+ g z ( z ( t - h ) ; t ) ) d t ,
wheregl(z(t),t) and gz(z(t-h),t) arenon-Gaussianand,
(6)
x ( B ( t ) B T ( t ) ) - l ( d y o ( t )- (.4o(t) .4(t)mo(t - h ) ) d t ) .
bly, deterministic, unknown disturbances, which do not
bear any useful information and should be suppressed to Tbe idea is to use tlie previous equation as the defini-
guarantee the quality of estimation. The robust filter is tion of tlie sliding mode manifold and to desigii an obser-
designed using the sliding mode assignment of t.he obser- vation control such that the estimate m ( t ) ,based on the
vation manifold and subsequent movement to and along corrupted observations y ( t ) , is driven to tlie sliding man-
this manifold using relay control. ifold. !&'eseek an observation cont.rol as an additive term
K y l ( t ) in the measurement model ( G ) , such that ifm(t) is
based on t,he corrected measurements y ( t )+Kyl(t), con-
4. Robust Sliding Mode Filter with Delayed vergence of m ( t ) to the optimal estimate mo(t)is guar-
Observations anteed.
The following sliding mode t,echnique solves this prob-
Assume that the observation proccss (2) is rorruptcd lem. Let s ( t ) = 0 be anot,her sliding manifold that would
by unknown disturbanccs: be defined in such a way that convergence t,o this sliding
manifold also implies convergence of m ( t ) to the optimal
d y ( t ) = (.4o(t) + A(t)z(t- h))dt + B ( t ) d W z ( t ) + estimate mo(t).
2597
+
Define s ( t ) as s ( t ) = z ( t ) so(t), where so(t) = nLo(t) w h e r e g i ( d t ) , t ) = K - r l ( d t ) , t ) , Ilri(d%t)lI5 qi11dt)ll
is the ideal sliding manifold and z ( t ) is an auxiliary vari- +
p l , ql,pl > 0, and n ( z ( t o ) , t a= ) 0, the observation
able to he assigned. During the motion along the sliding process (9) can be separated in the useful and parasitic
manifold, d s ( t ) / d t = 0, which yields: +
parts, y(t) = y o ( t ) y,(t), where dyo(t) = (.4o(t) +
A ( t ) z ( t ) ) d t + B ( t ) d ~ , ~andz ( td) y p ( t ) = gl(z(t),t)dt. The
d s ( t ) = dz(t)+G(t)[(Ao(t)+A(t)z(t-h))dt+B(t)dCI’z(t) optimal estimate mo(t) based on yo(t) is given by the
Kalman-Bucy filtering equations
+ K ( n ( z ( t ) , t ) r l t + n ( z ( t - h ) , t ) d t ) + K ~ ~ , q=
( t 0,
) l (7)
where G ( t )= dso(y(t))/dy, and Ky,,,(t) stands for the + +
dVlo(t) = @(t) a(t)mo(t) P ( t ) A T ( t )
values of the observation control K y l ( t ) on the sliding
manifold. Clearly, to compensate for unknown obser- x(B(t)B’(t))-l(dyo(t) - (4o(t) + A(t)mo(t))W
vation disturbances on the sliding manifold, we need to The auxiliary variable z(t) satisfies the equation
have
t 2h
d z ( t ) = -G(t)[(Ao(t)+A(t)z(t))dt+B(t)dWz(t)],
yieq(t) = -(7i(z(t):t) + YZ(Z(~ - h),t)). (8)
ensuring that G[$(t) - do(t)] = 0, m(t)= ma(t),and the
In doing so; and noting that ds(t)/dt = d z ( t ) / d t + desired sliding mode manifold s ( t ) = 0 is found from the
dso(t)/dt, the auxiliary variable z ( t ) is defined by equa- solution of the following equation:
tion
s(t) = G ( t ) [ K ( n ( z ( t ) , t ) + If~ieq(t)l
dz(t) = t 2h
-G(t)[(Ao(t)+A(t)z(t-h))dt+B(t)dlVz(t)],
Finally, the observation control Kyl(t) that enables us
which ensures that G [ o ( t )-uo(t)]= 0 and m(t)= mo(t) to reach the sliding manifold s ( t ) = 0 in a finite time is
as long as m(to) = mo(to) = E[z(to)I Fi]. With the assigned using the relay control design as
proposed selection of Kyleq(t), the effect of unknown
observation disturbances is reduced on the sliding man- Y l W = -hf(z(t),z(t - h),t))sign[s(t)l,
ifold. In view of the equations (8) and (7), s ( t ) satisfies
the following equation: whcreAl =q(liz(t)ll)+p: q > q l ; p > p i . Onthesliding
manifold s ( t ) = 0,
S ( t ) = G ( t ) [ l ( ( y t ( z ( t ) , t ) + ~ z ( z ( t - h ) , t ) d+Kyleq(t)l,
t)
Yl(t) = Yl&) = -(n(dt):t),
assuming t.hat sliding mode must be achieved on the
manifold s ( t ) = 0. The only thing left to do is to de- thus compensating for unknown disturbances in ohserva-
sign K y l ( t ) that enables us t o reach the sliding manifold tions and providing the estimate m o ( t ) , which coincides
s ( t ) = 0 in a finite time, where Kyl ( t ) = Kyl,,(t). This with the hest Kalman-Bucy estimate, starting with the
can he done by using conventional relay control design moment when the sliding manifold s(t) = 0 is reached.
in the form
References
yl(t) = - A M t ) , Z ( t - h),t))sign[s(t)l, [l] R. L. -4lford and E. B. Lee, “Sampled data hered-
itary systems: linear quadratic theory,” IEEE Punsac-
There .&I = s(ll4t)ll + I l d t - h)ll) + P , 4 > 41, 42 and tions on Automatic Control, pp. 60-65, 1986.
P > Pl.
[Z] E. D. Lee and A. Olbrot, “Observability and re-
4.1. Robust Kalrnan-Bucy filter lated structural results for linear hereditary syst,ems,”
An important particular case corresponds to disturbed Int. J . Control, vol. 34, pp. 1061-1078,1970.
measurement, hut without time delays, h = 0. The de- [3] C. T. Abdallab and K. G. (Eds.), Pmc. 3rd IFAC
scribed sliding mode technique for suppressing observa- Workshop on Time Delay Systems. Madison: OhlIiI-
tional disturbances yields a robust version of the classical PRESS, 2001.
Kalman-Bucy filter [26] in the presence of non-Gaussian 141 S. C. A. Thomopoulos, “Decentralized filtering in
or deterministic noises. Indeed, if the observation equa- the presence of delays: Discrete-time and continuous-
tion is in the form time cases,’. Information Sciences, 1994.
+ +
dy(t) = ( A o ( t ) A ( t ) z ( t ) ) d t B(t)dlVz(t) (51 G. N. hlil’shtein and S. A. P’yanzin, “A discretiza-
tion method in designing an optimal filter for systems
+91(z(t),t)dt, (9) with delay,” Automation and Remote Control, 1990.
2598
[6] S. J. Lee, S. M. Hong, and G. G. Goodwin, “Loop disturbances,” ASME Bansactiom. J. of Dynamic Sys-
transfer recovery for linear systems with delays in the tems, Measurement, and Control, vol. 122, pp. 732-737,
state and output,” International Journal of Control, 2000.
1994. [20] Y.-H. Fbh and J.-H. Oh, “Robust stabilization
171 G. T. Andersen, A. C. Cristensen, and 0. Ravn, of uncertain input delay systems by sliding mode con-
“Augmented models for improving vision control of a trol with delay compensation,” Automatica: vol. 35,
mobile robot,“ in Proc. 3rd IEEE Conf. on Control Ap- pp. 1861-1865,1999.
plicntions, 1994.
I211 S. K . Nguang, “Comments on robust stabilization
[SI F. H. Hsiao and S. T. Pan, “Robust Kahnan fil- of uncertain input delay systems by sliding mode control
ter synthesis for uncertain multiple timedelay stochastic with delay compensation,” Automatica, vol. 37, p. 1677,
systems,” ASME Tmnsactiom. J. of Dynamic Systems, 2001.
Measurement, and Control, 1996.
[22] L. Ridman, A. Polyakov, and P. Acosta, “Robust
[9] E. Kaszkurewicz and .4. Bhaya, “Discrete-time eigenvalue assignment for uncertain delay control sys-
state estimat.ion with two counters and measurement de- tems,” in Proc. 3rd IFAC Workshop on Time Delay Sys-
lay,” in Pmc. 35th IEEE Cunf. on Decision and Control, tems, pp. 239-244, Madison: OMKIPRESS, 2001.
1996.
[23] S. V. Drakunov, “An adaptive quasioptimal fil-
[lo] H. L. .Ilexander, “State estimation for distributed ter with discont,inuousparameters,” Automation and Re-
systems with sensing delay;“ SPIE. Data Structures and mote Control, vol. 44, pp. 1167-1175, 1983.
Target Classification, vol. 1470, 1991.
[24] V. Utkin, J. Guldner, and J. Shi, Sliding modes
[11] T. D. Larsen, N. A. Andersen, 0. Ravn, and N. K. control of Electromechanical Systems. Taylor and Fran-
Poulsen, “Incorporation of the time-delayed measure cis, 1999.
ments in a discretetime Kalman filter,” in Proc. 37th
Conf. on Decision and Control, pp. 3972-3977, 1998. [25] M. Wilt, C. Schenkel, B. Spies, C. Torres-Verdin,
and D. Alumbaugh, “Measurements of surface and bore-
[U] C. E. de Souza, R. h4. Palhares, and P. L. D. hole electromagnetic fields in 2-D and 3-D geology:“ in
Peres, “Robust H , filter design for uncertain discrete- Three-dimensional electromagnetics, Geohysical derelop-
time statedelayed systems: An LMI approach,” in Pmc. ment series, pp. 545-564, Tulsa: Society of Exploration
38th IEEE Conf. on Decision and Control, pp. 2347- Geophysicists, 1999.
2352, 1999.
[26] R. E. Kalman and R. S. Bucy, “New results in
(131 C. E. de Souza, R. M. Palhares, and P. L. D. linear filtering and prediction theory,“ ASME J o u r n u l of
Peres, “Robust H , filtering for uncertain linear sys- Basic Engineering, Ser: D, vol. 83: pp. 95-108, 1961.
tems with multiple time-varying state delays: An LMI
approach,” in Pmc. 38th IEEE Conf on Decision and [27] A. Fattouh, 0. Sename, and J. h l . Dion, “An un-
Control, pp. 2023-2028, 1999. known input observer design for linear timodelay sys-
tems,” in Pmc. 38th IEEE Conf. on Decision and Con-
[14] A. Fattouh, 0. Sename, and 3. M. Dion, ‘‘H- trol, pp. 4222-4227, 1999.
observer design for timodelay systems,” in Proc. 37th
IEEE Conf. on Decision and Control, pp. 4545-4546, [28] L. Fridman, E. Ridman, and E. Shust,in, “Stcady
1998. modes and sliding modes in relay control systrms n-it,h
delay,” in Sliding mode control in engineering, Cont,rol
[lj] 1’.B. Kolmanovskii and L. E. Shaikhet, Control of Engineering, pp. 261-294, Yew York Marcel Dekker,
Systems with Afterefect. Providence: American Mathe- 2002.
matical Society, 1996.
[29] R. Murray and S. Sastry, “Nonbolonomic motion
[16] V. B. Kolmanovskii and A. D. Myshkis, Intmduc- planning: steering using sinusoids,” IEEE Trans. Au-
tion to the Theoy and Applications of Functional Dif- tomat. Contr., vol. 38, pp. 700-716, 1993.
ferential Equations. New York Kluwer, 1999.
[30] A. Poznyak, R. Martinez-Guerra, and -4.Osorio-
1171 V. S . Pugachev
~ and I. N. Sinitsyn, Stochastic dif- Cordero, “Robust high gain observer for nonlinear closed
ferential systems; analysis and filtering. Chichester:
loop stochastic systems,” Mathematical Methods in En-
John Wiley & Sons, 1987.
gineering, vol. 6, pp. 31-60, 2000.
[I81 0. J. hl. Smith, Feedback Contml Systems. New
York McGraw Hill, 1958.
[IQ] E. Fridman, L. Fridman, and E. Shustin, “Steady
modes in relay control systems with delay and periodic
2599