Filtering of Polytopic-Type Uncertain State-Delayed Noisy Systems
Eli Gershon
Holon Institute of Technology, HIT, Holon, Israel
Keywords:
Robust Estimation, Stochastic Systems, Finsler Lemma, Polytopic Uncertainties.
Abstract:
The problem of H
state estimation is considered for uncertain polytopic retarded linear discrete-time stochas-
tic systems. We first bring the solution of the estimation problem for the nominal case based on a previously
developed BRL for state-delayed stochastic systems. We then extend our solution to the robust uncertain
polytopic case where a vertex-dependent approach is applied. The latter is achieved via the application of a
modified version of the Finsler lemma. The use of this lemma enable us to derive a solution which is less
conservative comparing to the ”quadratic” solution where a single Lyapunov function is applied over all the
uncertain polytope. The solution obtained for the robust case is composed of a set of LMIs based on only two
tuning parameters. The theory presented is demonstrated by a numerical example.
1 INTRODUCTION
We address the problem of state-estimation of lin-
ear stochastic state-multiplicative systems which are
state-delayed and may contain large uncertainties. In
our study we make use of a general-type filter and
we first bring the solution of the estimation problem
for nominal systems via a single LMI condition based
on a Bounded Real Lemma (BRL) for these systems
(Gershon and Shaked, 2013),(Fridman, 2014). Based
on the latter solution, we solve the estimation prob-
lem for polytopic-type uncertain systems where we
apply a special version of the Finsler lemma. This
lemma enable us to assign a different Lyapunov func-
tion to each vertex of the uncertain polytope, thus
greatly reducing the over-design which is inherent to
the quadratic solution, which, in turn, is based on as-
signing the same Lyapunov function over all the un-
certain polytope.
The field of control and estimation of stochastic
state-multiplicative noisy systems has been greatly
developed since the onset of the H
control theory
in the early 80‘s (see (Gershon and Shaked, 2013),
(Gershon et al., 2005) and the references therein).
Within a span of more than four decades, many ap-
proaches to the study of the various stochastic con-
trol and filtering problems, including those that en-
sure a worst case performance bound in the H
sense,
have been derived for both: delay-free systems (Ger-
shon et al., 2005), (Dragan and Stoica, 1998),(Dragan
and Morozan, 1997a), (Dragan and Morozan, 1997b),
(Dragan et al., 1992), (Hinriechsen and Pritchard,
1998), (Bouhtouri et al., 1999) and state-delayed, lin-
ear, stochastic systems (Gershon et al., 2007), (Ger-
shon and Shaked, 2011), (Verriest and Florchinger,
1995), (Mao, 1996), (Xu et al., 2005), (Chen et al.,
2005), (Gao and Chen, 2007), (Yue et al., 2009).
Delay-free systems with parameter uncertainties
that are modeled as white noise processes in a
linear setting have been treated in (Gershon and
Shaked, 2013), (Gershon et al., 2005), (Dragan and
Stoica, 1998) for both the continuous-time and the
discrete-time cases. Such models of uncertainty are
encountered in many areas of applications such as:
nuclear fission and heat transfer, population models
and immunology. In control theory, such models are
encountered in gain scheduling when the scheduling
parameters are corrupted with measurement noise.
The study of both continuous-time and discrete-
time retarded systems has been developed extensively
since the emergence of optimal control theory.
In the field of control and estimation theory, the
input-output approach has been applied, in the last
two decades, to both continuous and discrete-time
retarded systems. The input-output approach is
based on the representation of the system’s delay
action by delay-free linear operators which allows
one to replace the underlying system with one that
possesses a norm-bounded uncertainty, and therefore
may be treated by the theory of norm bounded uncer-
tain, non-retarded systems with state-multiplicative
Gershon, E.
Filtering of Polytopic-Type Uncertain State-Delayed Noisy Systems.
DOI: 10.5220/0013715500003982
Paper published under CC license (CC BY-NC-ND 4.0)
In Proceedings of the 22nd International Conference on Informatics in Control, Automation and Robotics (ICINCO 2025) - Volume 1, pages 399-405
ISBN: 978-989-758-770-2; ISSN: 2184-2809
Proceedings Copyright © 2025 by SCITEPRESS Science and Technology Publications, Lda.
399
noise (Gershon et al., 2005). Based on the latter
approach, the stability and BRL issues of stochastic
state-multiplicative systems were obtained (Ger-
shon and Shaked, 2013), followed by the solution
of various control problems that include, among
others, state-feedback control, filtering and static and
dynamic output-feedback control. We note that the
robust solution of both the state-feedback control and
filtering problems for uncertain systems in (Gershon
and Shaked, 2013), rely on assigning a single Lya-
punov function over all the uncertainty polytope (the
so called ”quadratic” solution) thus leading to the
most conservative solution type (see (Gershon and
Shaked, 2013) and the references therein). Obviously,
the latter handicap can be relaxed by resorting to
vertex-dependent solution which is the merit of the
present work.
Similarly to the systems treated in (Gershon and
Shaked, 2013), in the present theory, our systems may
encounter a time-varying delay where the uncertain
stochastic parameters multiply both the delayed and
the non delayed states in the dynamics state-space
model of the systems as well as the non-delayed states
in the system measurement. We treat both the nomi-
nal case and the uncertain case where the system ma-
trices encounter polytopic type uncertainties. In the
latter case, we apply the Finsler lemma which leads
to a less conservative solution compared to the sim-
ple “quadratic” solution where the same decision vari-
ables are assigned to all the vertices of the polytope.
The paper is organized as follows: Following
the problem formulation in Section 2, we bring
a preliminary result in Section 3. Based on the
latter result, we bring the solution of the improved
robust vertex-dependant H
filter in Section 4. In
Section 5 an example is given that demonstrates the
applicability and tractability of the various solution
methods derived in this work.
Notation: Throughout the paper the superscript
T ’ stands for matrix transposition, R
n
denotes the n
dimensional Euclidean space and R
n×m
is the set of
all n ×m real matrices. For a symmetric P R
n×n
,
P > 0 means that it is positive definite. We de-
note expectation by E {·} and we provide all spaces
R
k
, k 1 with the usual inner product < ·, · > and
with the standard Euclidean norm ||·||. By ||f (t)||
2
R
we denote the product of f
T
(t)R f (t). We denote by
L
2
(, R
k
) the space of square-integrable R
k
valued
functions on the probability space (, F , P ), where
is the sample space, F is a σ algebra of a sub-
sets of called events and P is the probability mea-
sure on F . By (F
t
)
t>0
we denote an increasing
family of σ-algebras F
t
F . We also denote by
˜
L
2
([0, );R
k
) the space of nonanticipative stochas-
tic processes f (·) = ( f (t))
t[0,)
in R
k
with respect
to (F
t
)
t[0,)
satisfying
||f (·)||
2
˜
L
2
= E{
Z
0
||f (t)||
2
dt} =
Z
0
E{||f (t)||
2
}dt < ,
and by C o{
¯
1
,
¯
2
, ...,
¯
N
} the convex hull of the ma-
trices
¯
i
, i = 1, ..., N. Stochastic differential equa-
tions will be interpreted to be of It ˆo type (Hinriechsen
and Pritchard, 1998).
2 PROBLEM FORMULATION
We consider the following nominal linear stochastic
retarded system:
dx =[A
0
x(t) + A
1
x(t τ(t)) + B
1
w(t)]d t+
Hx(t τ(t))dν(t)+Gx(t)dβ(t), x(θ)=0, θ 0,
y(t) = C
2
x(t) + D
21
n(t) + Fx(t)dζ(t),
z(t) = Cx(t),
(1a-c)
where x(t) R
n
is the state vector, w(t)
˜
L
2
F
t
([0, );R
q
) is an exogenous disturbance, y(t)
R
m
is the measurement vector, n(t)
˜
L
2
F
t
([0, );R
q
)
is an additive measurement noise, z(t) R
r
is the ob-
jective vector, A
0
, A
1
, B
1
, C, C
2
, D
21
and F, G, H are
time-invariant matrices of the appropriate dimension.
τ(t) is an unknown time-delay which satisfies:
0 τ(t) h,
˙
τ(t) d < 1.
(2a,b)
The zero-mean real scalar Wiener process
β(t), ν(t), ζ(t) satisfy:
E{ζ(t)ζ(s)} = min(t, s), E {β(t)β(s)} =min(t, s),
E{ν(t)ν(s)} = min(t, s),
E{β(t)ν(s)}= 0, E{ν(t)ζ(t)}= 0, E{β(t)ζ(s)}= 0
In the uncertain case, we assume that the system
matrices in (1a-c), lie within the following polytope:
¯
=
A A
1
B
1
C C
2
D
21
F G H
,
(3)
which is described by the vertices:
¯
= C o{
¯
1
,
¯
2
, ...,
¯
N
}, (4)
where
¯
i
=
h
A
(i)
A
(i)
1
B
(i)
1
C
(i)
C
(i)
2
D
(i)
21
F
(i)
G
(i)
H
(i)
i
(5)
ICINCO 2025 - 22nd International Conference on Informatics in Control, Automation and Robotics
400
and where N is the number of vertices. In other
words:
¯
=
N
i=1
¯
i
f
i
,
N
i=1
f
i
= 1, f
i
0. (6)
We treat the following problem:
i) Robust H
Filtering:
We consider the system of (1a-c) where the system
matrices lie within the polytope
¯
of (3). We consider
an estimator of the following general form:
d ˆx(t) = A
c
ˆx(t)dt + B
c
y(t),
ˆz(t) = C
c
ˆx(t).
(7a,b)
We denote
e(t) = x(t) ˆx(t) and ¯z(t) = z(t) ˆz(t), (8)
and consider the following cost function:
J
F
= ||¯z(t)||
2
˜
L
2
γ
2
[||w(t)||
2
˜
L
2
+ ||n(t)||
2
˜
L
2
]. (9)
Given γ > 0 , we seek an estimate C
c
ˆx(t) of
Cx(t) over the infinite time horizon [0, ) such
that J
F
given by (9) is negative for all nonzero
w(t)
˜
L
2
([0, );R
q
), n(t)
˜
L
2
([0, );R
p
).
3 PRELIMINARY RESULT
In this section we bring the solution of the continuous-
time robust quadratic filtering problem of uncer-
tain polytopic systems with state-multiplicative noise.
The result in the sequel was obtained in (Gershon and
Shaked, 2013), Chapter 2, Theorem 2.12).
Denoting ξ
T
(t)
= [x(t)
T
ˆx(t)
T
], ¯w
T
(t)
=
[w(t)
T
n(t)
T
] we obtain the following augmented
system:
dξ(t) = [
˜
A
0
ξ(t) +
˜
B ¯w(t)]dt +
˜
A
1
ξ(t τ(t))d t
+
˜
Hξ(t τ(t))dν(t) +
˜
Gξ(t)dβ(t) +
˜
Fξ(t)dζ(t),
ξ(θ) = 0, over[h 0],
˜z(t) =
˜
Cξ(t),
(10)
where
˜
A
0
=
A
0
0
B
c
C
2
A
c
,
˜
B =
B
1
0
0 B
c
D
21
,
˜
A
1
=
A
1
0
0 0
,
˜
H =
H 0
0 0
,
˜
G =
G 0
0 0
,
˜
F =
0 0
B
c
F 0
,
˜
C = [C
1
C
c
].
(11)
where the system matrices lie within the polytope
¯
of (3). We obtain the following lemma:
Lemma 1. (Gershon and Shaked, 2013) Con-
sider the system of (1a-c) where the system matri-
ces lie within the polytope
¯
of (3). For a prescribed
scalar γ > 0 and tuning scalar ε
f
, there exists a filter
of the structure (7) that achieves (9) for all nonzero
w
˜
L
2
([0, );R
q
), n
˜
L
2
([0, );R
q
), if there exist
matrices
¯
X > 0, Y > 0, K
0
, U,
¯
R
1
,
˜
M, Z, that satisfy
(13).
Γ
i
1
=
˜
ϒ
i,11
˜
ϒ
i,12
˜
M
˜
ϒ
i,14
˜
ϒ
i,15
¯
R
1
0 0
˜
ϒ
i,25
ε
f
¯
X
Y
0 ε
f
h
˜
M
T
γ
2
I
2q
˜
ϒ
i,45
ε
f
¯
X
Y
(12)
˜
ϒ
i,16
˜
ϒ
i,17
˜
ϒ
i,18
0
0 0 0
˜
ϒ
i,29
0 0 0 0
0 0 0 0
0 0 0 0
I
r
0 0 0
∗∗
¯
X
Y
0 0
¯
X
Y
0
¯
X
Y
< 0, (13)
i, i = 1, 2, ...., N, where
˜
ϒ
i,11
=
"
¯
XA
i
0
+ A
i,T
0
¯
X
˜
ϒ
i,11a
YA
i
0
+UC
i
2
+ K
0
+ A
i,T
0
¯
X
˜
ϒ
i,11b
#
,
+
˜
M +
˜
M
T
+
1
1d
¯
R
1
,
˜
ϒ
i,11a
=
¯
XA
i
0
+ A
i,T
0
Y +C
i,T
2
U
T
+ K
T
0
,
˜
ϒ
i,11b
= YA
i
0
+UC
i
2
+ A
i,T
0
Y +C
i,T
2
U
T
˜
ϒ
i,12
=
¯
XA
i
1
¯
XA
i
1
YA
i
1
YA
i
1
˜
M,
˜
ϒ
i,14
=
¯
XB
i
1
0
Y B
i
1
UD
i
21
,
Filtering of Polytopic-Type Uncertain State-Delayed Noisy Systems
401
˜
ϒ
i,15
= ε
f
h[
"
A
i,T
0
¯
X A
i,T
0
Y +C
i,T
2
U
T
+ K
T
0
A
i,T
0
¯
X C
i,T
2
U
T
#
+
˜
M
T
],
˜
ϒ
i,17
=
G
i,T
¯
X G
i,T
Y
G
i,T
¯
X G
i,T
Y
,
˜
ϒ
i,18
=
0 F
i,T
U
T
0 F
i,T
U
T
˜
ϒ
i,25
= ε
f
h
"
A
i,T
1
¯
X A
i,T
1
Y
A
i,T
1
¯
X A
i,T
1
Y
#
+ ε
f
h
˜
M
T
,
˜
ϒ
i,29
=
H
i,T
¯
X H
i,T
Y
H
i,T
¯
X H
i,T
Y
,
˜
ϒ
i,45
= ε
f
h
˜
ϒ
T
i,14
,
(14)
and
˜
ϒ
i,16
=
C
i,T
Z
T
C
i,T
. In the latter case the filter
parameters can be extracted as follows:
A
c
= N
T
K
0
XM
1
, B
c
= N
T
U, C
c
= Z
¯
XM
1
.
(15)
Proof: see (Gershon and Shaked, 2013), Section
2.6.1.
4 ROBUST h
FILTERING
The solution of the filtering problem for uncer-
tain systems has already appeared in (Gershon and
Shaked, 2013) for the most conservative case where
the same Lyapunov function is assigned all over the
uncertainty polytope. In this section we show that
relying on Lemma 1, one can manipulate the re-
sulting LMI condition of the latter lemma in such
a way that a vertex-dependent solution is obtained
for a minimal number of tuning parameters. Even-
tually, the quadratic solution can be derived from
our new vertex-dependent solution as a special case.
We consider the result of Lemma 1 and we denote
E =
I
n
0
I
n
I
n
and J
E
= diag{E, E, E,
ˆ
I, E, I
r
, E, E, E}. We then
consider the inequality of
ˆ
J
i
1
< 0 where,
ˆ
J
i
1
= J
E
Γ
i
1
J
T
E
=
ˆ
ϒ
i,11
ˆ
ϒ
i,12
ˆ
M
ˆ
ϒ
i,14
ˆ
ϒ
i,15
ˆ
ϒ
i,16
ˆ
ϒ
i,17
ˆ
ϒ
i,18
0
ˆ
R
1
0 0
ˆ
ϒ
i,25
0 0 0
ˆ
ϒ
i,29
ˆ
ϒ
i,33
0
ˆ
ϒ
i,35
0 0 0 0
γ
2
ˆ
I
ˆ
ϒ
i,45
0 0 0 0
ˆ
ϒ
i,33
0 0 0 0
I
r
0 0 0
ˆ
ϒ
i,33
0 0
ˆ
ϒ
i,33
0
ˆ
ϒ
i,33
,
(16)
ˆ
R
1
= E
¯
R
1
E
T
,
ˆ
M = E
˜
ME
T
,
ˆ
I =
I
q
0
I
q
I
q
,
ˆ
ϒ
i,33
= ε
f
diag{
¯
X
i
,
i
},
ˆ
ϒ
i,35
= ε
f
h
ˆ
M
T
,
ˆ
ϒ
i,11
=
¯
X
i
A
i
0
i
A
T
c
i
A
i
0
+ B
c
C
i
2
i
A
T
c
+
ˆ
M
+(
¯
X
i
A
i
0
i
A
T
c
i
A
i
0
+ B
c
C
i
2
i
A
T
c
+
ˆ
M)
T
+
1
(1d)
ˆ
R
1
ˆ
ϒ
i,12
=
¯
X
i
A
i
1
0
i
A
i
1
0
ˆ
M,
ˆ
ϒ
i,14
=
¯
X
i
B
i
1
¯
X
i
B
i
1
i
B
i
1
i
B
i
1
+ B
c
D
i
21
,
ˆ
ϒ
i,15
= ε
f
h
"
A
i,T
0
¯
X
i
A
i,T
0
i
+C
i,T
2
B
T
c
i
A
T
c
0 A
i,T
0
i
i
A
T
c
#
+ε
f
h
ˆ
M
T
,
ˆ
ϒ
i,16
=
C
i,T
+
i
C
T
c
2C
i,T
i
C
T
c
,
ˆ
ϒ
i,17
=
G
i,T
¯
X
i
G
i,T
i
0 0
ˆ
ϒ
i,18
=
0 F
i,T
B
T
c
0 0
,
ˆ
ϒ
i,25
= ε
f
h
"
A
i,T
1
¯
X
i
A
i,T
1
i
0 0
#
+ε
f
h
ˆ
M
T
,
ˆ
ϒ
i,29
=
H
i,T
¯
X
i
H
i,T
i
0 0
,
and
ˆ
ϒ
i,45
= ε
f
h
ˆ
ϒ
T
i,14
.
(17)
Remark 1: As given in (Gershon and Shaked,
2013), Section 2.6.1, since Y X + N
T
M = I we chose
N = I and obtained that K
0
= A
c
where =Y
¯
X.
We also have then that U = B
c
and that M
¯
X = .
We also denote:
ˆ
i
= diag{
i
,
i
, 0
5n+2q
,
i
, 0
n+r
,
i
, 0
3n
,
i
},
ˆ
X
i
= diag{
¯
X
i
, 0
5n+2q
,
¯
X
i
, 0
n+r
,
¯
X
i
, 0
3n
,
¯
X
i
, 0
n
},
Φ
i
=
0 A
T
c
A
i
0
A
T
c
0 0
A
i
1
0
0
2n
0 0
B
i
1
B
i
1
0
2n
0
2n
0
2n
0
2n,2q
0
2n
0
2n
0
2n
0
2n,2q
0
2q,2n
0
2q,2n
0
2q,2n
0
2q
ε
f
h
0 0
A
i
0
A
i
0
ε
f
h
0 0
A
i
1
0
0
2n
ε
f
h
0 0
B
i
1
B
i
1
0
r,2n
0
r,2n
0
r,2n
0
r,2q
0 0
G
i
0
0
2n
0
2n
0
2n,2q
0
2n
0
2n
0
2n
0
2n,2q
0
2n
0 0
H
i
0
0
2n
0
2n,2q
ICINCO 2025 - 22nd International Conference on Informatics in Control, Automation and Robotics
402
ε
f
h
0 A
T
c
0 A
T
c
C
T
c
C
T
c
0
2n,6n
0
2n
0
2n,r
0
2n,6n
0
2n
0
2n,r
0
2n,6n
0
2q,2n
0
2q,r
0
2q,6n
0
2n
0
2n,r
0
2n,6n
0
r,2n
0
r
0
r,6n
0
2n
0
2n,r
0
2n,6n
0
2n
0
2n,r
0
2n,6n
0
2n
0
2n,r
0
2n,6n
and Φ
i
X
=
Φ
i
11
Φ
i
12
0
2n
Φ
i
14
0
2n
0
2n,6n+r
0
2n
0
2n
0
2n
0
2n,2q
0
2n
0
2n,6n+r
0
2n
0
2n
0
2n
0
2n,2q
0
2n
0
2n,6n+r
0
2q,2n
0
2q,2n
0
2q,2n
0
2q,2q
0
2q,2n
0
2q,6n+r
Φ
i
11
Φ
i
12
0
2n
Φ
i
14
0
2n
0
2n,6n+r
0
r,2n
0
r,2n
0
r,2n
0
r,2q
0
r,2n
0
r,6n+r
Φ
i
71
0
2n
0
2n
0
2n,2q
0
2n
0
2n,6n+r
0
2n
0
2n
0
2n
0
2n,2q
0
2n
0
2n,6n+r
0
2n
H
i
0
0 0
0
2n
0
2n,2q
0
2n
0
2n,6n+r
(18a-d)
where
Φ
i
11
=
A
i
0
0
0 0
, Φ
i
12
=
A
i
1
0
0 0
,
Φ
i
14
=
B
i
1
B
i
1
0 0
, Φ
i
71
=
G
i
0
0 0
,
where 0
m
and 0
m,r
are the m ×m and m ×r matri-
ces of zeros, respectively.
We also define:
ˆ
J
i
0
=
ˆ
J
i
1
ˆ
i
Φ
i
Φ
i,T
ˆ
i
ˆ
X
i
Φ
i
X
Φ
i,T
X
ˆ
X
i
(19)
and build below the following requirement by apply-
ing the Finsler lemma
ˆ
J
i
0
+
ˆ
i
Φ
i
+ Φ
T,i
ˆ
i
+
ˆ
X
i
Φ
i
X
+ Φ
T,i
X
ˆ
X
i
< 0 (20)
Denoting:
ˆ
S
1
= diag{S
1
, S
1
, 0
5n+2q
, S
1
, 0
n+r
, S
1
, 0
3n
, S
1
},
ˆ
S
2
= diag{S
2
, 0
5n+2q
, S
2
, 0
n+r
, S
2
, 0
3n
, S
2
, 0
n
},
ˆ
H
1
= diag{ε
1
S
1
, S
1
, I
5n+2q
, H
1
, 0
n+r
, H
1
, 0
3n
, H
1
},
ˆ
H
2
= diag{H
2
, I
5n+2q
, H
2
, I
n+r
, H
2
, I
3n
, H
2
, 0
n
},
where ε
1
is a positive tuning parameter. We thus
obtain the following theorem:
Theorem 1: Consider the system of (1a-c) where
the system matrices lie within the polytope
¯
of (3). For a prescribed scalar γ > 0 and tun-
ing positive scalars ε
f
, ε
1
, there exists a filter of
the structure (7) that achieves (9) for all nonzero
w
˜
L
2
([0, );R
q
), n
˜
L
2
([0, );R
p
), if there
exist a matrix B
c
and positive definite matrices:
i
,
ˆ
X
i
, i = 1, ..., N, H
1
, H
2
, S
1
and S
2
that, for
i = 1, ..., N, solve the following set of inequalities:
¯
Ψ
i
¯
i
1
¯
i
2
2diag{
˜
H
1
,
˜
H
2
}
< 0, i = 1, ..., N (21)
where:
¯
Ψ
i
=
ˆ
J
i
0
+
ˆ
S
1
ˆ
S
2
Φ
i
Φ
i
X
+
h
Φ
i,T
Φ
i,T
X
i
ˆ
S
1
ˆ
S
2
=
Ψ
i,11
Ψ
i,12
ˆ
M Ψ
i,14
Ψ
i,15
Ψ
i,16
Ψ
i,17
Ψ
i,18
0
ˆ
R
1
0 0 Ψ
i,25
0 0 0 Ψ
i,29
X
i
i
0 ε
f
h
ˆ
M
T
0 0 0 0
γ
2
ˆ
I Ψ
i,45
0 0 0 0
X
i
i
0 0 0 0
I
r
0 0 0
X
i
i
0 0
X
i
i
0
X
i
i
(22)
with:
ˆ
I =
I
q
0
I
q
I
q
, X
i
i
= ε
f
diag{
¯
X
i
,
i
},
Ψ
i,11
=
S
2
A
i
0
ˆ
A
T
F
S
1
A
i
0
+ B
c
C
i
2
ˆ
A
T
F
+
ˆ
M
+ [
S
2
A
i
0
ˆ
A
T
F
S
1
A
i
0
+ B
c
C
i
2
ˆ
A
T
F
+
ˆ
M]
T
+
1
(1d)
ˆ
R
1
Ψ
i,12
=
S
2
A
i
1
0
S
1
A
i
1
0
ˆ
M,
Ψ
i,14
=
S
2
B
i
1
S
2
B
i
1
S
1
B
i
1
S
1
B
i
1
+ B
c
D
i
21
,
Ψ
i,15
= ε
f
h
"
A
i,T
0
S
2
A
i,T
0
S
1
+C
i,T
2
B
T
c
ˆ
A
T
F
0 A
i,T
0
S
1
ˆ
A
T
F
#
+ ε
f
h
ˆ
M
T
Ψ
i,16
=
"
C
i,T
+
ˆ
C
T
F
2C
i,T
ˆ
C
T
F
#
, Ψ
i,17
=
G
i,T
S
2
G
i,T
S
1
0 0
,
ˆ
ϒ
i,18
=
0 F
i,T
B
T
c
0 0
, Ψ
i,25
= ε
f
h
"
A
i,T
1
S
2
A
i,T
1
S
1
0 0
#
+ε
f
h
ˆ
M
T
, Ψ
i,29
=
H
i,T
S
2
H
i,T
S
1
0 0
,
Ψ
i,45
= ε
f
hΨ
T
i,14
,
(23)
Filtering of Polytopic-Type Uncertain State-Delayed Noisy Systems
403
and where we denoted
ˆ
A
F
= A
c
S
1
and
ˆ
C
F
= C
c
S
1
.
¯
i
1
=
¯
i
11
A
iT
0
H
1
A
iT
0
H
1
G
iT
H
1
0
n
0
2n,n
¯
i
21
ε
f
hA
iT
1
H
1
0
n
0
n
0
n
H
iT
H
1
0
n
0
2n
0
2n
0
2n,n
0
n
¯
i
41
hε
f
B
iT
1
H
1
B
iT
1
H
1
0
2n,n
0
2n,n
¯
i
51
0
n
i
S
1
0
2n,n
0
2n,n
¯
i
61
0
r,n
0
r,n
0
r,n
0
2n
0
2n,n
0
n
i
S
1
0
2n,n
0
4n,2n
0
4n,n
0
4n,n
0
3n,n
i
S
1
where
¯
i
11
=
i
S
1
ε
1
A
iT
0
S
1
ε
1
A
F
i
S
1
+ ε
1
A
F
,
¯
i
21
=
0
n
ε
1
A
iT
1
S
1
0
n
0
n
,
¯
i
41
=
0
q,n
ε
1
B
iT
1
S
1
0
q,n
ε
1
B
iT
1
S
1
,
¯
i
51
=
0
n
0
n
ε
1
A
F
ε
1
A
F
,
¯
i
61
=
ε
1
C
F
0
,
is the matrix that is obtained by deleting in the ma-
trix
ˆ
i
ˆ
S
1
+ Φ
iT
ˆ
H
1
the 9n + 2q + r columns that are
identically zero, and
¯
i
2
=
A
iT
0
H
2
+
¯
X
i
S
2
A
iT
0
H
2
G
iT
H
2
0
n
0
n
0
n
0
n
0
n
A
iT
1
H
2
hε
f
A
iT
1
H
2
0
n
H
iT
1
H
2
0
3n,n
0
3n,n
0
3n,n
0
3n,n
B
iT
1
H
2
B
iT
1
H
2
0
q,n
0
q,n
B
iT
1
H
2
B
iT
1
H
2
0
q,n
0
q,n
0
2n,n
¯
X
i
S
2
0
n
0
2n,n
0
2n,n
0
r,n
0
r,n
0
r,n
0
r,n
0
n
0
n
¯
X
i
S
2
0
n
0
3n,n
0
3n,n
0
3n,n
0
3n,n
0
n
0
n
0
n
¯
X
i
S
2
0
n
0
n
0
n
0
n
is the matrix that is obtained by deleting the 10n+
r + 2q zero columns in
ˆ
X
i
ˆ
S
2
+ Φ
iT
X
ˆ
H
2
.
ˆ
H
1
= diag{ε
1
S
1
, S
1
, H
1
, H
1
, H
1
},
and
ˆ
H
2
= diag{H
2
, H
2
, H
2
, H
2
}.
Proof: The result of (21) is obtained by applying the
Finsler lemma twice. We first apply the latter to:
ˆ
J
i
2
+
ˆ
i
Φ
i
+ Φ
i,T
ˆ
i
< 0, where
ˆ
J
i
2
=
ˆ
J
i
0
+
ˆ
X
i
Φ
i
X
+
Φ
i,T
X
ˆ
X
i
and obtain the requirement:
ˆ
J
i
2
+
ˆ
S
1
Φ
i
+ Φ
i,T
ˆ
S
1
ˆ
i
ˆ
S
1
+ Φ
i,T
ˆ
H
1
2
ˆ
H
1
< 0.
To the (1,1) block of the latter inequality we apply
again the Finsler lemma and readily obtain (21).
Remark 2: In the above, we consider S
1
A
T
C
= A
T
F
and S
1
C
T
C
= C
T
F
in the LMI of (21) to be decision vari-
ables.
5 EXAMPLE
We consider the system (1a,c) which is described by:
A
0
=
2 ±a 0
1 1
, A
1
=
1 0
0.5 1
,
G = H =
0.1I
2
, with
B
2
= 0, D
12
= 0, C
2
=
1 2
,
F =
0.03 0.02
, D
21
= 0.01 and
¯
C
2
= [0 0], C
1
=
0.5 1
, d = 0, where a = 0.9.
We assume that the stochastic multiplicative noise
processes in both the delayed and the non delayed
states are uncorrelated. Considering the nomi-
nal case where a=0 and taking h = 0.1 and applying
the results of Theorem 2.10 in (Gershon and Shaked,
2013) for the near minimum attenuation level of γ =
0.136 is obtained.
Considering the uncertain case and applying the var-
ious solution methods, the results of Table 1 are ob-
tained. There, the quadratic H
solution method was
calculated by assigning a single Lyapunov function
over the uncertainty polytope and is given in Lemma
1. We note that in the case where h = 0.8 the H
attenuation level is γ = 41.16 whereas the quadratic
approach of Lemma 1 fails to solve the problem. We
note also the significant reduction in the H
system
norm, in the improved vertex-dependent case, com-
pared to the quadratic solution.
The resulting filter parameters for the robust case
are:
A
C
=
25.8337 10.2329
20.8500 0.4604
, B
C
=
0.3239
2.5225
,
C
C
= [24.6821 14.0506].
ICINCO 2025 - 22nd International Conference on Informatics in Control, Automation and Robotics
404
Table 1: The results of the various solution methods in Ex-
ample 1. The nominal solution for the H
case was obtained
in (Gershon and Shaked, 2013), Chapter 2, Theorem 2.10.
The ”Robust Vertex-dependent” (RVd) result refers to the
application of the Finsler lemma in the solution of the ro-
bust case [Theorem 1].
Solution Method γ
Nominal 0.136, (Theorem 2.10. )
Quadratic 0.61, (Lem. 1)
RVd 0.48, ε
1
= 0.001, ε
f
= 5,[Thm. 1]
6 CONCLUSIONS
In this paper the theory of robust linear H
estima-
tion of state-multiplicative noisy systems is developed
and extended for state-delayed continuous-time un-
certain systems with multiplicative noise, that is en-
countered in both the dynamic and the measurement
matrices in the state space model of the system. Suf-
ficient conditions are derived for the estimation prob-
lem of uncertain polytopic-type systems by applying
a vertex-dependent Lyapunov function, based on the
Finsler lemma. This approach enables us to apply a
unique Lyapunov function to each vertex of the uncer-
tain polytope. As shown in the example, the vertex-
dependent approach performs better the the solution
which is based on a single Lyapunov function over all
the uncertain polytope. We note also that our solution
depends only on two tuning parameters that can be
readily determined.
REFERENCES
Bouhtouri, A. E., Hinriechsen, D., and Pritchard, A. (1999).
h
type control for discrete-time stochasic systems. In
Int. J. Robust Nonlinear Control, vol. 9, pp. 923-948.
Chen, W. H., Guan, Z., and Lu, X. (2005). Delay-dependent
exponential stability of uncertain stochastic systems
with multiple delays: an lmi approach. In Systems
and Control Letters, vol. 54, pp. 547-555.
Dragan, V. and Morozan, T. (1997a). Mixed input-output
optimization for time-varying ito systems with state
dependent noise. In Dynamics of Continuous, Discrete
and Impulsive Systems, vol. 3, pp. 317-333.
Dragan, V. and Morozan, T. (1997b). Mixed input-output
optimization for time-varying ito systems with state
dependent noise. In Dynamics of Continuous, Discrete
and Impulsive Systems,vol. 3, pp. 317-333.
Dragan, V., Morozan, T., and Halanay, A. (1992). Optimal
stability compensator for linear systems with state de-
pendent noise. In Stochastic Analysis and Application,
vol. 10, pp. 557-572.
Dragan, V. and Stoica, A. (1998). A γ attenuation prob-
lem for discrete-time time-varying stochastic systems
with multiplicative noise. In Reprint series of the In-
stitute of Mathematics of the Romanian Academy, vol.
10. 317-333.
Fridman, E. (2014). Introduction to Time Delay Systems:
Analysis and Control. Birkhauser, London, 1st edi-
tion.
Gao, H. and Chen, T. (2007). New results on stability of
discrete-time systems with time-varying state delay.
In IEEE Trans. on Automat. Contr., vol. 52(2), pp.
328-334.
Gershon, E. and Shaked, U. (2011). Robust h
output-
feedback control of state-multiplicative stochastic sys-
tems with delay. In International Journal of Robust
and Nonlinear Control, vol. 21(11), pp. 1283-1296.
Gershon, E. and Shaked, U. (2013). Advanced Topics in
Control and Estimation of State-multiplicative Noisy
Systems. Lecture Notes in Control and Information
sciences, LNCIS, Springer, Vol. 439, London, 1st edi-
tion.
Gershon, E., Shaked, U., and Berman, N. (2007). H
control
and estimation of state-multiplicative stochastic sys-
tems with delay. In IEEE Trans. on Automat. Contr.,
vol. 52(9), pp. 329-334.
Gershon, E., Shaked, U., and Yaesh, I. (2005). H
con-
trol and Estimation of State-multiplicative linear sys-
tems. Lecture Notes in Control and Information sci-
ences, LNCIS, Springer, London, 1st edition.
Hinriechsen, D. and Pritchard, A. (1998). Stochastic h
. In
SIAM Journal of Control Optimization, vol. 36(5), pp.
1504-1538.
Mao, X. (1996). Robustness of exponential stability of
stochastic differential delay equations. In IEEE Trans.
on Automat. Contr., vol. 41, pp. 442-447.
Verriest, E. I. and Florchinger, P. (1995). Stability of
stochastic systems with uncertain time delays. In Sys-
tems and Control Letters, vol. 24(1), pp. 41-47.
Xu, S., Lam, J., Mao, X., and Zou, Y. (2005). A new
lmi condition for delay-dependent robust stability of
stochastic time-delay systems. In Asian Journal of
Control, vol. 7, pp. 419-423.
Yue, D., Tian, E., and Zhang, Y. (2009). Stability analysis
of discrete systems with stochastic delay and its appli-
cations. In International Journal of Innovative Com-
puting, Information and Control, vol. 5(8), pp. 2391 -
2403.
Filtering of Polytopic-Type Uncertain State-Delayed Noisy Systems
405