Abstract
This paper deals with \(H_{\infty }\) filtering problem of linear discrete-time uncertain systems with finite frequency input signals. The uncertain parameters are supposed to reside in a polytope. By applying the generalized Kalman–Yakubovich–Popov lemma, polynomially parameter-dependent Lyapunov function and some key matrices to eliminate the product terms between the filter parameters and the Lyapunov matrices, an improved condition is obtained for analyzing the \(H_{\infty }\) performance of the filtering error system. Then sufficient condition in terms of linear matrix inequality is established for designing filters with a guaranteed \(H_{\infty }\) filtering performance level. Finally, a numerical examples are used to demonstrate the effectiveness of the proposed method.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Over the past decades, the filtering problem has been widely studied and has found many practical applications in signal processing and communication, particularly for the study of practical electrical circuits systems. The \(H_{\infty }\) filtering was introduced for the first time in Elsayed and Grimble (1989), in which external noise signal is assumed to be energy bounded, and the main objective is to minimize the \(H_{\infty }\) norm from the process noise to the estimation error. A great number of \(H_{\infty }\) filtering results have been reported (Li and Fu 1977; Oliveira et al. 1999; Benzaouia et al. 2016; Boukili et al. 2013), and various approaches, such as the linear matrix inequalities (LMIs) and parameter-dependent Lyapunov function, were adopted in order to reduce the conservatism of the problem. For instance, the polynomial equation approach (Gao and Li 2014; Grimble and El Sayed 1990; El-Kasri et al. 2013; De Souza et al. 2010; Boukili et al. 2016a; Gao et al. 2008; Lacerda et al. 2011), the algebraic Riccati equation approach (Nagpal and Khargonekar 1991; Takaba and Katayama 1996), the reduced order \(H_{\infty }\) filtering problem (Geromel and Levin 2006; Boukili et al. 2016b), the mixed \(H_{\infty }/H_{2}\) filtering design problem (Li et al. 2016; Rotstein et al. 1996; Qiu et al. 2008; Palhares and Peres 2001), the robust \(H_{\infty }\) filtering problem, and the \(H_{\infty }\) filtering problem for uncertain discrete-time systems (Duan et al. 2006; Chang et al. 2015; Dong and Yang 2013) are among the results on this topic.
The aforementioned techniques deal with the full frequency domain, however, if the frequency ranges of noises are known beforehand, for these case, designing a filter in the full frequency domain may introduce some unnecessary conservatism. In this view, the generalized Kalman–Yakobovich–Popov (gKYP) lemma (Iwasaki and Hara 2005) may be used to cast a certain frequency domain inequality in a finite frequency range in terms of an LMIs condition, which involves the matrices that composes the system’s transfer function. The results of the literature dealing this problem are given in Gao and Li (2011), Iwasaki et al. (2005, 2011), Wang et al. (2013), Lee (2013), Li and Yang (2014), Romao et al. (2016), Ding and Yang (2009), Li and Gao (2012), Li and Gao (2013), Chen et al. (2010), El-amrani et al. (2016) and reference therein.
The aim of this paper is to cope with the \(H_{\infty }\) filtering problem for a class of discrete time systems with finite frequency specifications. We use the gKYP lemma, and the homogeneous polynomially parameter-dependent matrices of arbitrary degree approach. In the case in which a priori information about the noise is known (i.e, their frequency spectrum), the filters designed by the proposed condition have better performance in terms of the \(H_{\infty }\) norm than those obtained with full frequency specifications. The theoretical results are given in the form of LMIs, which can be solved by standard numerical software, thus providing a simple methodology. By comparing with the existing full frequency methods (Gao and Li 2014; Lacerda et al. 2011; Lee 2013) and FF approach in Lee (2013), the FF method proposed in this paper receives better results for the cases when frequency ranges of noises are known. Numerical examples are also given to illustrate the effectiveness of the proposed approach.
This paper is organized as follows. In Sect. 2, the system description and the design objectives are presented. In Sect. 3, a sufficient condition guaranteeing robust asymptotic stability with finite frequency and entire frequency \(H_{\infty }\) performance for such discrete time systems is derived by means of LMI technique. Using this result, the filter design problem is solved in Sect. 4. Examples are given in Sect. 5, and conclusions are drawn in Sect. 6.
\(\mathbf {Notations:}\) The superscript \(``T''\) stands for matrix transposition. In symmetric block matrices or long matrix expressions, we use an asterisk \(``*''\) to represent a term that is induced by symmetry. The notation \(P>0\) means that matrix P is positive semi definite. The symbol I denotes an identity matrix with appropriate dimension. Generally, \(sym\{A\}\) denotes \(A+A^{T}\), \(diag\{..\}\) stands for block diagonal matrix. \({\bar{\sigma }}(G)\) denotes the maximum singular value of the transfer matric G.
2 Problem Formulation and Preliminaries
Consider the following robust asymptotically stable linear time-invariant discrete-time system:
where \(x{(k)}\in {\mathbb {R}}^{n_{x}}\) is the state vector, \(y{(k)}\in {\mathbb {R}}^{n_{y}}\) is the measured output, \(z{(k)}\in {\mathbb {R}}^{n_{z}}\) is the signal to be estimated, \(w{(k)}\in {\mathbb {R}}^{n_{w}}\) is the noise series satisfying \(w={w(k)}\in \ell _{2}[0,\infty )\), whose energy is known to reside in one of the following sets frequency of w(k) resides in a known but finite frequency set \(\varTheta \) is assumed to be the general LF/MF/HF form defined as
where LF, MF and HF stand for low-, middle-, and high- frequency ranges, respectively. The system matrices
belong to a convex bounded polyhedral domain, described by
where
denotes the ith vertex of the polytope. The dynamic matrix \(A_{\alpha }\) is said to be Hurwitz (Schur) stable if the eigenvalues lie in the open left-half plane (inside the unit disk) for all \(\alpha \in \Gamma \).
In this paper, we consider the following \(H_{\infty }\) filter to estimate z(k)
where \(\hat{x}(k)\in {\mathbb {R}}^{n_{x}}\) is the filter state vector, \(\hat{z}(k)\in {\mathbb {R}}^{n_{z}}\) is the output of the filter. The matrices \(A_{f}\), \(B_{f}\), \(C_{f}\) and \(D_{f}\) are the filter matrices to be determined.
Defining \(\xi (k)=\left[ \begin{array}{cc} x(k)^{T} &{} \quad \hat{x}(k)^{T}\\ \end{array} \right] ^{T}\) and \(e(k)=z(k)- \hat{z}(k)\), the filtering error system is given by
where
The transfer function of the filtering error system (7) is then
Thus, the robust \(H_{\infty }\) filtering error problem can be stated as follows:
\(\mathbf {Problem\; description}\): The robust \(H_{\infty }\) filtering problem for uncertain discrete time systems with finite frequency specifications is formulated as: find an admissible filter in (6) for the system in (1) such that two conditions are satisfied:
-
The filtering error system in (7) is robustly asymptotically stable.
-
Under zero-initial conditions, the following finite frequency index holds:
$$\begin{aligned} \bar{\sigma }(G(e^{j\theta }))<\gamma \forall \theta \in (2), \forall \alpha \in (4). \end{aligned}$$(10)
Lemma 2.1
(Lacerda et al. 2011) Let \(\varDelta \in {\mathbb {R}}^{n}\), \(\Sigma \in {\mathbb {R}}^{n\times n}\) and \(\varLambda \in {\mathbb {R}}^{m\times n}\) with rank \((\varLambda )=r<n\) and \(\varLambda ^{\perp }\in {\mathbb {R}}^{n\times (n-r)}\) be full-column-rank matrix satisfying \(\varLambda \varLambda ^{\perp }=0\). Then, the following conditions are equivalent:
-
(i)
\(\varDelta ^{T}\Sigma \varDelta <0, \forall \varDelta \ne 0:\varLambda \varDelta =0\)
-
(ii)
\(\varLambda ^{\perp T}\Sigma \varLambda ^{\perp }<0\)
-
(iii)
\(\exists \mu \in {\mathbb {R}}: \;\;\;\;\;\;\Sigma -\mu \varLambda ^{T}\varLambda <0\)
-
(vi)
\(\exists Z\in {\mathbb {R}}^{n\times m}: \Sigma +Z\varLambda + \varLambda ^{T}Z^{T}<0\)
Lemma 2.2
(Iwasaki and Hara 2005) Consider the filtering error system (7), for a given symmetric matrix
the following statements are equivalent
-
1.
The FF inequality
$$\begin{aligned} \left[ \begin{array}{cc} G(e^{j\theta })&\quad I \end{array} \right] \varPi \left[ \begin{array}{c} G(e^{j\theta })^{T} \\ I \end{array} \right] <\gamma \forall \theta \in (2), \forall \alpha \in (4).\nonumber \\ \end{aligned}$$(11) -
2.
There exist Hermitian matrix functions \(P_{\alpha }\), \(Q_{\alpha }\) satisfying \(Q_{\alpha }>0\) such that
$$\begin{aligned}&\left[ \begin{array}{cc} {\bar{A}}_{\alpha } &{} \quad \bar{B}_{\alpha } \\ I &{} \quad 0 \\ \end{array} \right] ^{T}\varXi \left[ \begin{array}{cc} {\bar{A}}_{\alpha } &{} \quad \bar{B}_{\alpha } \\ I &{} \quad 0 \\ \end{array} \right] \nonumber \\&\quad + \left[ \begin{array}{cc} \bar{C}_{\alpha } &{} \quad {\bar{D}}_{\alpha }\\ 0 &{} \quad I \\ \end{array} \right] ^{T}\varPi \left[ \begin{array}{cc} \bar{C}_{\alpha } &{} \quad {\bar{D}}_{\alpha }\\ 0 &{} \quad I \\ \end{array} \right] <0 \end{aligned}$$(12)where
-
For the low-frequency range \(|\theta |\le \theta _{l}\)
$$\begin{aligned} \varXi _{\alpha }= & {} \left[ \begin{array}{ll} P_{\alpha } &{} \quad Q_{\alpha }\\ Q_{\alpha } &{} \quad -P_{\alpha }-2cos\theta _{l}Q_{\alpha } \\ \end{array} \right] \end{aligned}$$(13) -
For the middle-frequency range \(\theta _{1}\le \theta \le \theta _{2}\)
$$\begin{aligned} \varXi _{\alpha }= & {} \left[ \begin{array}{ll} P_{\alpha } &{} \quad e^{j\theta _{c}}Q_{\alpha }\\ e^{-j\theta _{c}}Q_{\alpha } &{}\quad -P_{\alpha }-2cos\theta _{w}Q_{\alpha } \\ \end{array} \right] \end{aligned}$$(14)$$\begin{aligned} \theta _{c}= & {} \frac{\theta _{2}+\theta _{1}}{2},\quad \theta _{w}=\frac{\theta _{2}-\theta _{1}}{2}. \end{aligned}$$ -
For the high-frequency range \(|\theta |\ge \theta _{h}\)
$$\begin{aligned} \varXi _{\alpha }= & {} \left[ \begin{array}{ll} P_{\alpha }&{} \quad -Q_{\alpha } \\ -Q_{\alpha } &{} \quad -P_{\alpha }+2cos\theta _{h}Q_{\alpha } \\ \end{array} \right] \end{aligned}$$(15)
-
Remark 2.3
Condition (12) is the extension of the gKYP lemma for polytopic systems. Note that \(P_{\alpha }\) and \(Q_{\alpha }\) are chosen to be parameter-dependent to relax the condition, decreasing the conservatism when compared to the case in which P and Q are parameter-independent.
3 \(H_{\infty }\) Filtering Analysis
In this section, stable filters with finite frequency performance are designed.
Theorem 3.1
Consider the system in (1). For given \(\gamma >0\), a filter of from (6) exists such that the filtering error system in (7) is asymptotically stable with an \(H_{\infty }\) performance bound \(\gamma \). If there exist Hermitian matrices \(P_{\alpha }\), \(Q_{\alpha }>0\) and matrices \(G_{\alpha }\), \(F_{\alpha }\), \({\bar{F}}_{\alpha }\), \(\bar{G}_{\alpha }\) and \(H_{\alpha }\) and symmetric matrix \({\bar{P}}_{\alpha }>0\), for all \(\alpha \in (4) \) satisfying
where
-
For the low-frequency (LF) range \(|\theta |\le \theta _{l}\)
$$\begin{aligned} \varPhi _{1\alpha }= & {} P_{\alpha }-G_{\alpha }- G^{T}_{\alpha };\\ \varPhi _{2\alpha }= & {} Q_{\alpha }-F^{T}_{\alpha }+G_{\alpha }{\bar{A}}_{\alpha };\\ \varPhi _{3\alpha }= & {} -P_{\alpha }-2cos\theta _{l}Q_{\alpha }+F_{\alpha }{\bar{A}}_ {\alpha }+{\bar{A}}^{T}_{\alpha }F^{T}_{\alpha }. \end{aligned}$$ -
For the middle-frequency range (MF) range \(\theta _{1}\le \theta \le \theta _{2}\)
$$\begin{aligned}&\varPhi _{1\alpha }=P_{\alpha }-G_{\alpha }- G^{T}_{\alpha };\\&\varPhi _{2\alpha }= e^{j\theta _{c}}Q_{\alpha }-F^{T}_{\alpha } +G_{\alpha }{\bar{A}}_{\alpha };\\&\varPhi _{3\alpha }=-P_{\alpha }-2cos\theta _{w}Q_{\alpha } +F_{\alpha }{\bar{A}}_{\alpha }+{\bar{A}}^{T}_{\alpha }F^{T}_{\alpha };\\&\theta _{c}=\frac{(\theta _{1}+\theta _{2})}{2}; \theta _{w} =\frac{(\theta _{2}-\theta _{1})}{2}. \end{aligned}$$ -
For the high-frequency (HF) range \(|\theta |\ge \theta _{h}\)
$$\begin{aligned} \varPhi _{1\alpha }= & {} P_{\alpha }-G_{\alpha }- G^{T}_{\alpha };\\ \varPhi _{2\alpha }= & {} -Q_{\alpha }-F_{\alpha }^{T}+G_{\alpha }{\bar{A}}_{\alpha };\\ \varPhi _{3\alpha }= & {} -P_{\alpha }+2cos\theta _{h}Q_{\alpha }+F_{\alpha }{\bar{A}} _{\alpha }+{\bar{A}}^{T}_{\alpha }F^{T}_{\alpha }. \end{aligned}$$
and
Proof 3.2
First, we consider the LF case, we prove that (12–13) is equivalent to (16). Suppose that (16) hold, denote
By Shur complement, (16) is equivalent to
under condition (iv) of Lemma 2.1, with
which, using condition (ii) of Lemma 2.1, given (12–13).
In addition, let us construct a Lyapunov function inequality, \({\bar{A}}_{\alpha }\) is stable if and only if there exists \(\bar{P}_{\alpha }=\bar{P}_{\alpha }^{T}>0\) such that
which is rewritten in the form
Define
By Lemma 2.1, (21) and (22) are equivalent to
which is nothing but (17).
Similar to the LF case, the proof for MF and HF cases can be completed. It is omitted for brevity. \(\square \)
For finite frequency \(H_{\infty }\) filtering performance analysis, Theorem 3.1 provides a new condition with the property of matrix decouple. In the sequel, the existence conditions of finite frequency \(H_{\infty }\) filters will be investigated based on this developed analysis condition.
4 \(H_{\infty }\) Filtering Design
In this section, a methodology is established for designing the finite frequency \(H_{\infty }\) filter (6), that is, to determine the filter matrices such that the filtering error system (7) is asymptotically stable with an \(H_{\infty }\)-norm bounded by \(\gamma \) .
4.1 Finite Frequency Case
Based on Theorem 3.1, we select for variables \(P_{\alpha }\), \(Q_{\alpha }\) and \(\bar{P}_{\alpha }\) the following structures
Then, let the slack variables \(G_{\alpha }\) , \(F_{\alpha }\), \(H_{\alpha }\), \({\bar{F}}_{\alpha }\) and \(\bar{G}_{\alpha }\) take the following structure
V is fixed for the entire uncertainty domain and, without loss of generality, invertible; the scalar parameters \(\lambda _{1}\), \(\lambda _{2}\) and \(\lambda _{3}\) will be used as optimization parameters. With a structure of variable matrices, we obtain the following results:
Theorem 4.1
Consider the system (1). For given a constants \(\gamma >0\), \(\lambda _{1}\), \(\lambda _{2}\), \(\lambda _{3}\), a filter of from (6) exists such that the filtering error system in (7) is asymptotically stable with an \(H_{\infty }\) performance bound \(\gamma \). If there exist Hermitian matrices \(P_{\alpha =}\left[ \begin{array}{cc} P_{1\alpha } &{} \quad P_{2\alpha }\\ *&{} \quad P_{3\alpha }\\ \end{array} \right] \), \(Q_{\alpha }=\left[ \begin{array}{cc} Q_{1\alpha } &{} \quad Q_{2\alpha }\\ *&{} \quad Q_{3\alpha }\\ \end{array} \right] >0\) and symmetric matrix \(\bar{P}_{\alpha }=\left[ \begin{array}{cc} \bar{P}_{1\alpha } &{} \quad \bar{P}_{2\alpha } \\ *&{} \quad \bar{P}_{3\alpha }\\ \end{array} \right] >0\) and matrices \({\hat{A}}_{f}\), \({\hat{B}}_{f}\), \(\hat{C}_{f}\), \(\hat{D}_{f}\), \(G_{1\alpha }\), \(G_{2\alpha }\), \(\bar{G}_{1\alpha }\), \(\bar{G}_{2\alpha }\), \(F_{1\alpha }\), \(F_{2\alpha }\), \({\bar{F}}_{1\alpha }\), \({\bar{F}}_{2\alpha }\), V and \(H_{1\alpha }\), for all \(\alpha \in \) (4) such that
with
Matrix \(\bar{\varOmega }_{\alpha }\) is defined as follows:
-
For the low-frequency (LF) range \(|\theta |\le \theta _{l}\)
$$\begin{aligned} \bar{\varOmega }_{\alpha }= & {} \left[ \begin{array}{llllll} P_{1\alpha } &{} \quad P_{2\alpha } &{} \quad Q_{1\alpha } &{} \quad Q_{2\alpha } &{} \quad 0 &{} \quad 0 \\ *&{} \quad P_{3\alpha } &{} \quad Q_{2\alpha }^{T} &{} \quad Q_{3\alpha } &{} \quad 0 &{} \quad 0 \\ *&{} \quad *&{} \quad \bar{\varOmega }_{1\alpha } &{} \quad -P_{2\alpha }-2cos \theta _{l}Q_{2\alpha } &{} \quad 0 &{} \quad 0\\ *&{} \quad *&{} \quad *&{} \quad -P_{3\alpha }-2cos\theta _{l}Q_{3\alpha } &{} \quad 0 &{} \quad 0\\ *&{} \quad *&{} \quad *&{} \quad *&{} \quad 0 &{} \quad 0 \\ *&{} \quad *&{} \quad *&{} \quad *&{} \quad *&{} \quad 0\\ \end{array} \right] \end{aligned}$$$$\begin{aligned} \bar{\varOmega }_{1\alpha }= & {} -P_{1\alpha }-2cos\theta _{l}Q_{1\alpha }. \end{aligned}$$ -
For the middle-frequency (MF) range \(\theta _{1}\le \theta \le \theta _{2}\)
$$\begin{aligned} \bar{\varOmega }_{\alpha }= & {} \left[ \begin{array}{llllll} P_{1\alpha } &{} \quad P_{2\alpha } &{} \quad e^{j\theta _{c}}Q_{1\alpha } &{} \quad e^{j\theta _{c}}Q_{2\alpha } &{} \quad 0 &{} \quad 0 \\ *&{} \quad P_{3\alpha } &{} \quad e^{-j\theta _{c}}Q_{2\alpha }^{T} &{} \quad e^{j\theta _{c}}Q_{3\alpha } &{} \quad 0 &{} \quad 0 \\ *&{} \quad *&{} \quad \bar{\varOmega }_{1\alpha } &{} \quad -P_{2\alpha }-2cos\theta _{w}Q_{2\alpha } &{} \quad 0 &{} \quad 0\\ *&{} \quad *&{} \quad *&{} \quad -P_{3\alpha }-2cos\theta _{w}Q_{3\alpha } &{} \quad 0 &{} \quad 0\\ *&{} \quad *&{} \quad *&{} \quad *&{} \quad 0 &{} \quad 0 \\ *&{} \quad *&{} \quad *&{} \quad *&{} \quad *&{} \quad 0\\ \end{array} \right] \end{aligned}$$$$\begin{aligned} \bar{\varOmega }_{1\alpha }= & {} -P_{1\alpha }-2cos\theta _{w}Q_{1\alpha };\\ \theta _{c}= & {} \frac{(\theta _{1}+\theta _{2})}{2};\;\;\;\; \theta _{w}=\frac{(\theta _{2}-\theta _{1})}{2}. \end{aligned}$$ -
For the high-frequency (HF) range \(|\theta |\ge \theta _{h}\)
$$\begin{aligned} \bar{\varOmega }_{\alpha }= & {} \left[ \begin{array}{llllll} P_{1\alpha } &{} \quad P_{2\alpha } &{} \quad -Q_{1\alpha } &{} \quad -Q_{2\alpha } &{} \quad 0 &{} \quad 0 \\ *&{} \quad P_{3\alpha } &{} \quad -Q_{2\alpha }^{T} &{} \quad -Q_{3\alpha } &{} \quad 0 &{} \quad 0 \\ *&{} \quad *&{} \quad \bar{\varOmega }_{1\alpha } &{} \quad -P_{2\alpha }+2cos\theta _{h}Q_{2\alpha } &{} \quad 0 &{} \quad 0\\ *&{} \quad *&{} \quad *&{} \quad -P_{3\alpha }+2cos\theta _{h}Q_{3\alpha } &{} \quad 0 &{} \quad 0\\ *&{} \quad *&{} \quad *&{} \quad *&{} \quad 0 &{} \quad 0 \\ *&{} \quad *&{} \quad *&{} \quad *&{} \quad *&{} \quad 0\\ \end{array} \right] \end{aligned}$$$$\begin{aligned} {\bar{\varOmega }}_{1\alpha }= & {} -P_{1\alpha }+2cos\theta _{h}Q_{1\alpha }. \end{aligned}$$
Moreover, if the previous conditions are satisfied, an state-space realization of the \(H_{\infty }\) filter is given by
4.2 Entire Frequency Case
In this subsection, we discuss the entire frequency (EF) case of Theorem 4.1. For the EF case, \(Q_{k\alpha }\) is set as \(Q_{k\alpha }=0\), \(k=1,2,3\) while \(P_{\alpha }\) is set to satisfy \(\left[ \begin{array}{cc} P_{1\alpha } &{} P_{2\alpha } \\ *&{} P_{3\alpha }\\ \end{array} \right] >0\) such that stability is also implied by inequality in (26). In summary, Theorem (4.1) is reduced to the following result for EF \(H_{\infty }\) filtering.
Corollary 1
Consider the system in (1) . For Given \(\gamma >0\), and scalars \(\lambda _{1}\), \(\lambda _{2}\), \(\lambda _{3}\), a filter of from (5) exists such that the filtering error system in (6) is asymptotically stable with an \(H_{\infty }\) performance bound \(\gamma \). If there exist symmetric matrix \(\bar{P}_{\alpha }=\left[ \begin{array}{cc} \bar{P}_{1\alpha } &{} \bar{P}_{2\alpha }\\ *&{} \bar{P}_{3\alpha }\\ \end{array} \right] >0\) and matrices \({\hat{A}}_{f}\), \({\hat{B}}_{f}\), \(\hat{C}_{f}\), \(\hat{D}_{f}\), \(G_{1\alpha }\), \(G_{2\alpha }\), \(F_{1\alpha }\), \(F_{2\alpha }\), V and \(H_{1\alpha }\), for all \(\alpha \in \) (4) satisfying
Moreover, if (29) are feasible, then a suitable filter can be obtained by (28).
4.3 Solution Using Parameter-Dependent Polynomails
Before presenting the formulation of Theorem 4.1 and Corollary 2 using homogeneous polynomially parameter-dependent matrices, some definitions and preliminaries from Gao et al. (2008) are needed to represent and handle products and sums of homogeneous polynomials. First, we define the homogeneous polynomially parameter-dependent matrices of degree g by
Similarly, matrices \(\bar{P}_{2\alpha }\), \(\bar{P}_{3\alpha }\), \(P_{v\alpha }\), \(Q_{v\alpha }\), \(v=1,2,3\), \(F_{t\alpha }\), \({\bar{F}}_{t\alpha }\), \(G_{t\alpha }\), \(\bar{G}_{t\alpha }\), \(t=1,2\) and \(H_{1\alpha }\) take the same form.
The notations in the above are explained as follows. Define K(g) as the set of N-tuples obtained as all possible combination of \([k_{1},k_{2}, \ldots ,k_{N}]\), with \(k_{i}\) being nonnegative integers, such that \(k_{1}+k_{2}+ \cdots +k_{N}=g\). \(K_{j}(g)\) is the jth N-tuples of K(g) which is lexically ordered, \(j=1, \ldots ,J(g)\). Since the number of vertices in the polytope \(\Gamma \) is equal to s, the number of elements in K(g) as given by \(J(g)=\frac{(N +g-1)!}{g!(N -1)!}\). These elements define the subscripts \(k_{1},k_{2}, \ldots ,k_{N}\) of the constant matrices
(where \(v=1,2,3\) and \(t=1,2.\)), which are used to construct the homogeneous polynomial dependent matrices \(\bar{P}_{v\alpha }\), \(P_{v\alpha }\), \(Q_{v\alpha }\), \(F_{t\alpha }\), \({\bar{F}}_{t\alpha }\), \(G_{t\alpha }\), \(\bar{G}_{t\alpha }\) (where \(v=1,2,3\) and \(t=1,2\)) and \(H_{1\alpha }\) in (29).
For each set K(g), define also the set I(g) with elements \(I_{j}(g)\) given by subsets of \(i,\; i\in \{1,2, \ldots ,N\}\), associated to s-tuples \(K_{j}(g)\) whose \(k_{i}\)’s are nonzero. For each i, i = 1, ...,N, define the s-tuples \(K_{j}^{i}(g)\) as being equal to \(K_{j}(g)\) but with \(k_{i}>0\) replaced by \(k_{i}-1\). Note that the s-tuples \(K_{j}^{i}(g)\) are defined only in the cases where the corresponding \(k_{i}\) is positive. Note also that, when applied to the elements of \(K(g+1)\), the s-tuples \(K_{j}^{i}(g+1)\) define subscripts \(k_{1},k_{2}, \ldots ,k_{N}\) of matrices \(\bar{P}_{vk_{1},k_{2}, \ldots k_{N}}\), \(P_{vk_{1},k_{2}, \ldots k_{N}}\), \(Q_{vk_{1},k_{2}, \ldots k_{N}}\), \(F_{ t k_{1},k_{2}, \ldots k_{N}}\), \(G_{tk_{1},k_{2}, \ldots k_{N}}\), \({\bar{F}}_{ t k_{1},k_{2}, \ldots k_{N}}\), \(\bar{G}_{tk_{1},k_{2}, \ldots k_{N}}\), (where \(v=1,2,3\) and \(t=1,2\)) and \(H_{1k_{1},k_{2}, \ldots k_{N}}\), associated with homogeneous polynomial parameter-dependent matrices of degree g.
Finally, define the scalar constant coefficients \(\beta _{j}^{i}(g+1)=\frac{g!}{(k_{1}!k_{2}! \ldots k_{N}!)},\) with \([k_{1},k_{2}, \ldots ,k_{N}]\in K_{j}^{i}(g+1)\).
The main result in this section is given by the following Theorem 4.2 and Corollary 2 respectively.
Theorem 4.2
Given a stable system (1). For given a constants \(\gamma >0\), \(\lambda _{1}\), \(\lambda _{2}\), \(\lambda _{3}\), a filter of from (5) exists such that the filtering error system in (6) is asymptotically stable with an \(H_{\infty }\) performance bound \(\gamma \). If there exist Hermitian matrices \(P(k_{j}(g))=\left[ \begin{array}{cc} P_{1k_{j}(g)} &{} P_{2k_{j}(g)} \\ *&{} P_{3k_{j}(g)}\\ \end{array} \right] \), \(Q(k_{j}(g))=\left[ \begin{array}{cc} Q_{1k_{j}(g)} &{} Q_{2k_{j}(g)} \\ *&{} Q_{3k_{j}(g)}\\ \end{array} \right] >0\) and symmetric matrix \(\bar{P}(k_{j}(g))=\left[ \begin{array}{cc} \bar{P}_{1k_{j}(g)} &{} \bar{P}_{2k_{j}(g)} \\ *&{} \bar{P}_{3k_{j}(g)}\\ \end{array} \right] >0\), matrices \({\hat{A}}_{f}\), \({\hat{B}}_{f}\), \(\hat{C}_{f}\), \(\hat{D}_{f}\), \(G_{tk_{j}(g)}\), \(F_{t k_{j}(g)}\) (where \(t=1,2\)), \(H_{1k_{j}(g)}\), V and the real scalars \(\lambda _{1}\), \(\lambda _{2}\) and \(\lambda _{3}\) such that the following LMIs hold for all \(K_{l}(g+1)\in K(g+1)\) , \(l=1, \ldots ,J(g+1)\):
with
Matrix \(\bar{\varOmega }_{k}\) is defined as follows:
-
For the low-frequency (LF) range \(|\theta |\le \theta _{l}\)
$$\begin{aligned} \bar{\varOmega }_{k}= & {} \left[ \begin{array}{llllll} P_{1k_{j}(g)} &{} \quad P_{2k_{j}(g)} &{} \quad Q_{1k_{j}(g)} &{} \quad Q_{2k_{j}(g)} &{} \quad 0 &{} \quad 0 \\ *&{} \quad P_{3k_{j}(g)} &{} \quad Q_{2k_{j}(g)}^{T} &{} \quad Q_{3k_{j}(g)} &{} \quad 0 &{} \quad 0 \\ *&{} \quad *&{} \quad \bar{\varOmega }_{1k} &{} \quad \bar{\varOmega }_{2k} &{} \quad 0 &{} \quad 0\\ *&{} \quad *&{} \quad *&{} \quad \bar{\varOmega }_{3k} &{} \quad 0 &{} \quad 0\\ *&{} \quad *&{} \quad *&{} \quad *&{} \quad 0 &{} \quad 0 \\ *&{} \quad *&{} \quad *&{} \quad *&{} \quad *&{} \quad 0\\ \end{array} \right] \end{aligned}$$$$\begin{aligned} {\bar{\varOmega }}_{1k}= & {} -P_{1k_{j}(g)}-2cos\theta _{l}Q_{1k_{j}(g)};\\ {\bar{\varOmega }}_{2k}= & {} -P_{2k_{j}(g)}-2cos\theta _{l}Q_{2k_{j}(g)};\\ {\bar{\varOmega }}_{3k}= & {} -P_{3k_{j}(g)}-2cos\theta _{l}Q_{3k_{j}(g)}. \end{aligned}$$ -
For the middle-frequency (MF) range \(\theta _{1}\le \theta \le \theta _{2}\)
$$\begin{aligned} \bar{\varOmega }_{k}= & {} \left[ \begin{array}{llllll} P_{1k_{j}(g)} &{} \quad P_{2k_{j}(g)} &{} \quad e^{j\theta _{c}}Q_{1k_{j}(g)} &{} \quad Q_{2k_{j}(g)} &{} \quad 0 &{} \quad 0 \\ *&{} \quad P_{3k_{j}(g)} &{} \quad e^{-j\theta _{c}}Q_{2k_{j}(g)}^{T} &{} \quad e^{j\theta _{c}}Q_{3k_{j}(g)} &{} \quad 0 &{} \quad 0 \\ *&{} \quad *&{} \quad \bar{\varOmega }_{1k} &{} \quad \bar{\varOmega }_{2k} &{} \quad 0 &{} \quad 0\\ *&{} \quad *&{} \quad *&{} \quad \bar{\varOmega }_{3k} &{} \quad 0 &{} \quad 0\\ *&{} \quad *&{} \quad *&{} \quad *&{} \quad 0 &{} \quad 0 \\ *&{} \quad *&{} \quad *&{} \quad *&{} \quad *&{} \quad 0\\ \end{array} \right] \end{aligned}$$$$\begin{aligned} {\bar{\varOmega }}_{1k}= & {} -P_{1k_{j}(g)}-2cos\theta _{w}Q_{1k_{j}(g)};\\ {\bar{\varOmega }}_{2k}= & {} -P_{2k_{j}(g)}-2cos\theta _{w}Q_{2k_{j}(g)};\\ {\bar{\varOmega }}_{3k}= & {} -P_{3k_{j}(g)}-2cos\theta _{w}Q_{3k_{j}(g)};\\ \theta _{c}= & {} \frac{(\theta _{1}+\theta _{2})}{2},\;\;\;\;\theta _{w}=\frac{(\theta _{2}-\theta _{1})}{2}. \end{aligned}$$ -
For the high-frequency (HF) range \(|\theta |\ge \theta _{h}\)
$$\begin{aligned} {\bar{\varOmega }}_{\alpha }= & {} \left[ \begin{array}{llllll} P_{1k_{j}(g)} &{} \quad P_{2k_{j}(g)} &{} \quad -Q_{1k_{j}(g)} &{} \quad Q_{2k_{j}(g)} &{} \quad 0 &{} \quad 0 \\ *&{} \quad P_{3k_{j}(g)} &{} \quad -Q_{2k_{j}(g)}^{T} &{} \quad -Q_{3k_{j}(g)} &{} \quad 0 &{} \quad 0 \\ *&{} \quad *&{} \quad \bar{\varOmega }_{1k} &{} \quad \bar{\varOmega }_{2k} &{} \quad 0 &{} \quad 0\\ *&{} \quad *&{} \quad *&{} \quad \bar{\varOmega }_{3k} &{} \quad 0 &{} \quad 0\\ *&{} \quad *&{} \quad *&{} \quad *&{} \quad 0 &{} \quad 0 \\ *&{} \quad *&{} \quad *&{} \quad *&{} \quad *&{} \quad 0\\ \end{array} \right] \end{aligned}$$$$\begin{aligned} {\bar{\varOmega }}_{1k}= & {} -P_{1k_{j}(g)}+2cos\theta _{h}Q_{1k_{j}(g)};\\ {\bar{\varOmega }}_{2k}= & {} -P_{2k_{j}(g)}+2cos\theta _{h}Q_{2k_{j}(g)};\\ {\bar{\varOmega }}_{3k}= & {} -P_{3k_{j}(g)}+2cos\theta _{h}Q_{3k_{j}(g)}. \end{aligned}$$
Then the homogeneous polynomially parameter-dependent matrices given by (30) ensure (26) and (27) for all \(\alpha \in \Gamma \). Moreover, if the LMIs of (31) and (32) are fulfilled for a given degree \(\bar{g}\), then the LMIs corresponding to any degree \(g>\bar{g}\) are also satisfied.
Proof 4.3
The proof is similar to that of Theorem 3 in Gao et al. (2008) and is thus omitted. \(\square \)
Corollary 2
Given a stable system (1). For given a constants \(\gamma >0\), \(\lambda _{1}\), \(\lambda _{2}\), \(\lambda _{3}\), a filter of from (5) exists such that the filtering error system in (6) is asymptotically stable with an \(H_{\infty }\) performance bound \(\gamma \). If there exist symmetric matrix \(P(k_{j}(g))=\left[ \begin{array}{cc} P_{1k_{j}(g)} &{} P_{2k_{j}(g)} \\ *&{} P_{3k_{j}(g)}\\ \end{array} \right] >0\), matrices \({\hat{A}}_{f}\), \({\hat{B}}_{f}\), \(\hat{C}_{f}\), \(\hat{D}_{f}\), \(\bar{G}_{tk_{j}(g)}\), \({\bar{F}}_{tk_{j}(g)}\) (where \(t=1,2\)), \(H_{1k_{j}(g)}\), V and the real scalars \(\lambda _{1}\), \(\lambda _{2}\) and \(\lambda _{3}\) such that the following LMIs hold for all \(K_{l}(g+1)\in K(g+1)\) , \(l=1, \ldots ,J(g+1)\):
with
Then the homogeneous polynomially parameter-dependent matrices given by (30) ensure (29) for all \(\alpha \in \Gamma \). Moreover, if the LMIs of (33)is fulfilled for a given degree \(\bar{g}\), then the LMIs corresponding to any degree \(g>\bar{g}\) are also satisfied.
Proof 4.4
The proof is parallel to that of Theorem 3 in Gao et al. (2008), using the result in Corollary 2, so it is omitted. \(\square \)
Remark 4.5
Theorem 4.2 provide sufficient conditions for the FF \(H_{\infty }\) filtering for uncertain discrete-time linear systems in different frequency ranges. Numerical examples show that the proposed FF approach has better performances than the existing full frequency ones when the frequency ranges of the noises are known.
Remark 4.6
When the scalars \(\lambda _{1}\), \(\lambda _{2}\) and \(\lambda _{3}\) of Theorems 4.1, 4.2 and Corollaries 1, 2 are fixed to be constants, then (26), (27), (29), (31), (32) and (33) are LMIs which are effectively linear in the variables. To select values for these scalars, optimization can be used to optimize some performance measure (for example \(\gamma \) , the disturbance attenuation level).
Remark 4.7
As the degree g of the polynomial increases, the conditions become less conservative since new free variables are added to the LMIs. Although the number of LMIs is also increased, each LMIs becomes easier to be fulfilled due to the extra degrees of freedom provided by the new free variables and smaller values of \(H_{\infty }\) guaranteed costs can be obtained.
5 Numerical Examples
In this section, simulation examples are provided to illustrate the effectiveness of the proposed filtering design approach. We compare our work with some elegant results from the literature.
5.1 Numerical Example 1:
Consider a system of from (1) is described by Gao and Li (2014):
The uncertain parameters \(\delta \) is now assumed to be \(-0.25\le \delta \le 0.25\), so the above system is represented by a two-vertex polytope. Our aim is to design a finite frequency \(H_{\infty }\) filter in the form of (6) such that the resulting filtering error system in (7) is asymptotically stable with a guaranteed \(H_{\infty }\) disturbance attenuation level.
LMIs (31), (32) and (33) were solved using Yalmip (Lofberg 2004) and SeDuMi (Sturm et al. 1999) in MATLAB 7.6, for increasing values of the degree g. The comparison result with the technique proposed in Algorithm 8 (Gao and Li 2014) in shown in Table 1, which shows the smaller conservativeness of the approach proposed in this paper.
In addition, the \(H_{\infty }\) performance improved when the parameters \(\lambda _{1}\), \(\lambda _{2}\), \(\lambda _{3}\) and \(\lambda _{4}\) of Theorem 4.2 and Corollary 2 are searched using simplex algorithm. The role of these scalar parameters in the LMIs conditions is to provide extra degrees and to reduce the conservativeness of the LMIs tests.
The filter parameters are given as follows:
5.1.1 Entire Frequency Case:(Corollary 1)
For degree \(g=0\), the obtained disturbance attenuation level is \(\gamma =1.0494\) and the corresponding filter matrices are:
On the other hand, when degree \(g=1\), \(\gamma =0.2815 \) and the corresponding filter matrices are:
Finally, when degree \(g=2\), \(\gamma =0.2558\) and the corresponding filter matrices are:
5.1.2 Finite Frequency: (Theorem 4.2)
Low-Frequency (LF) Range \(|\theta |\le \frac{\pi }{8}\): For degree \(g=0\), \(\gamma =0.4579\) and the corresponding filter matrices are:
In addition, when degree \(g=1\), \(\gamma =0.1862\) and the corresponding filter matrices are:
Finally, when \(g=2\), \(\gamma =0.1688\) and the corresponding filter matrices are:
Middle-Frequency (MF) Range \(\frac{\pi }{8}\le |\theta |\le \frac{\pi }{5}\):
For degree \(g=0\), the obtained disturbance attenuation level is \(\gamma =0.7626\) and the corresponding filter matrices are:
On the other hand, when degree \(g=1\), \(\gamma =0.2389\) and the corresponding filter matrices are:
In addition, when degree \(g=2\), \(\gamma =0.2268\) and the corresponding filter matrices are:
High-Frequency (HF) Range \(|\theta |\ge \frac{\pi }{6}\): For degree \(g=0\), \(\gamma =0.2000\) and the corresponding filter matrices are:
In addition, when degree \(g=1\), \(\gamma =0.1453\) and the corresponding filter matrices are:
Finally, when \(g=2\), \(\gamma =0.1453\) and the corresponding filter matrices are:
To illustrate the effectiveness of these designed filters, we consider polytopic case (degree \(g=1\)), by, respectively, connecting (36), (39), (42) and (45) to the systems in (34), the frequency responses of the filtering error systems are depicted in Figs. 1, 2, 3, 4. All the singular values in these figures are lower than the achieved \(H_{\infty }\) filtering performance disturbance attenuation level \(\gamma \), which demonstrates the effectiveness of our proposed method.
Assume that the uncertain parameter \(\delta =-0.25\) and degree \(g=1\), applying the obtained low-frequency \(|\theta |\le \frac{\pi }{8}\), the disturbance input
the initial conditions are chosen as \(x(0)=[-0.1\;\;0.1]^{T}\) and \(\hat{x}(0)=[0\;\;0]^{T}\), the simulation result of the filtering error \(e(k)=z(k)-\hat{z(k)}\) with the filtering matrices (35) and (38) is shown in Fig. 5. It is shown that the filtering error e(k) tends to zero, which means that the estimated \(\hat{z(k)}\) follows z(k) well. The ratio of \(\sqrt{\sum _{k=0}^{\infty }e^{T}(k)e(k)/\sum _{k=0}^{\infty }w^{T}(k)w(k)}\) can show the influence of the disturbance w(k) on the filter error e(k) , and the plot of the ratio is shown in Fig. 6. It can be seen that the ratio tends to a constant value 0.1552, which is less than the prescribed value 0.1862. It can be seen from Fig. 6 that the proposed method has a better noise-attenuation performance over the existing method.
5.2 Numerical Example 2:
Based on the example given in Lee (2013), Lacerda et al. (2011) described by:
where \(\delta \) is uncertain real parameter satisfying \(|\beta |\le 0.45\).
By using Theorem 4.2 and Corollary 2, in different frequency ranges. Let \(g=1\) (linearly parameter-dependent polynomial), we get the following robust filter’s parameters:
for EF range, with an \(H_{\infty }\) performance index \(\gamma =1.6398\).
for LF \(|\theta |\le \frac{\pi }{6}\), with an \(H_{\infty }\) performance index \(\gamma =1.1401\).
for MF \(\frac{\pi }{6}\le |\theta |\le \frac{\pi }{4}\), with an \(H_{\infty }\) performance index \(\gamma =0.7173\).
for HF \(|\theta |\ge \frac{5\pi }{6}\) with an \(H_{\infty }\) performance index \(\gamma =0.1023\).
In order to demonstrate the value of our proposed approach, we provide in Table 2 the robust \(H_{\infty }\) filtering performance levels obtained by the finite frequency approaches proposed in this work and in Lee (2013).
In addition, Table 3 shows that even in the EF range, our proposed approach outperform some recent results in the literature, which study the full frequency robust \(H_{\infty }\) filtering problem.
It is clearly shown that Theorem 4.2 yields less conservative results than the FF method proposed in Lee (2013), as well as the EF methods in Corollary 2, and Lacerda et al. (2011). We consider polytopic case (degree \(g=1\)), by, respectively, connecting (49), (50), and (52) to the systems in (48), the frequency responses of the filtering error systems are depicted in Figs. 7, 8, 9. From the results, it is clear that the singular values evaluated in a certain frequency domain are always lower than the robust \(H_{\infty }\) performance estimated using Corollary 2 and Theorem 4.2. This shows the efficiency of the proposed method.
We assume that \(\frac{\pi }{6}\le |\theta |\le \frac{\pi }{4}\), and degree \(g=1\), the initial conditions are chosen as \(x(0)=[0\;\;0]^{T}\) and \(\hat{x}(0)=[0\;\;0]^{T}\). The ratio of \(\sqrt{\sum _{k=0}^{\infty }e^{T}(k)e(k)/\sum _{k=0}^{\infty }w^{T}(k)w(k)}\) can show the influence of the disturbance w(k) in (47) on the filter error e(k) , and the plot of the ratio is shown in Fig. 6. It can be seen that the ratio tends to a constant value 0.4896, which is less than the prescribed value 0.7173. It can be seen from Fig. 10 that the proposed method has a better noise-attenuation performance over the existing method.
6 Conclusions
This paper has investigated the problem of filtering design a finite frequency for the linear time-invariant discrete-time with polytopic uncertainties. The contribution of the paper is to assume that the disturbance has energy limited on LF/MF/HF ranges, and to use the gKYP in order to develop new filter design conditions. Numerical experiments show the advantage of the developed approach in comparison with the existing results.
References
Benzaouia, A., Hmamed, A., & Tadeo, F. (2016). Two-dimensional systems. Studies in Systems Decision and Control, 28. doi:10.1007/978-3-319-20116-0-3.
Boukili, B., Hmamed, A., Benzaouia, A., & El Hajjaji, A. (2013). \(H_{\infty }\) filtering of two-dimensional T–S fuzzy systems. Circuits, Systems and Signal Processing, 33(6), 1737–1761.
Boukili, B., Hmamed, A., & Tadeo, F. (2016). Robust \(H_{\infty }\) filtering for 2-D discrete roesser systems. Journal of Control, Automation and Electrical Systems, 27(5), 497–505. doi:10.1007/s40313-016-0251-5.
Boukili, B., Hmamed, A., & Tadeo, F. (2016). Reduced-order \(H_{\infty }\) filtering with intermittent measurements for a class of 2D systems. Journal of Control, Automation and Electrical Systems, 27(6), 597–607.
Chang, X. H., Park, J. H., & Tang, Z. (2015). New approach to \(H_{\infty }\) filtering for discrete-time systems with polytopic uncertainties. Signal Processing, 113, 147–158.
Chen, Y., Zhang, W., & Gao, H. (2010). Finite frequency \(H_{\infty }\) control for building under earthquake excitation. Mechatronics, 20(1), 128–142.
Duan, Z., Zhang, J., Zhang, C., & Mosca, E. (2006). Robust \(H_{2}\) and \(H_{\infty }\) filtering for uncertain linear systems. Automatica, 42(11), 1919–1926.
Dong, J., & Yang, G. H. (2013). Robust static output feedback control synthesis for linear continuous systems with polytopic uncertainties. Automatica, 49, 1821–1829.
De Oliveira, M. C., Bernussou, J., & Geromel, J. C. (1999). A new discrete-time robust stability condition. Systems & Control Letters, 37(4), 261–265.
De Souza, C., Xie, L., & Coutinho, D. (2010). Robust filtering for 2D discrete-time linear systems with convex-bounded parameter uncertainty. Automatica, 46(4), 673–681.
Ding, D., & Yang, G. (2009). Finite frequency \(H_{\infty }\) filtering for uncertain discrete-time switched linear systems. Progress in Natural Science, 19(11), 1625–1633.
Li, X., Lam, J., Gao, H., & Xiong, J. (2016). \(H_{\infty }\) and \(H_{2}\) filtering for linear systems with uncertain Markov transitions. Automatica, 67, 252–266.
El-Kasri, C., Hmamed, A., & Tadeo, F. (2013). Reduced-order \(H_{\infty }\) filters for uncertain 2D continuous systems, via LMIs and polynomial matrices. Journal of Circuits Systems and Signal Processing, 33(4), 1189–1214.
El-amrani, A., Hmamed, A., Boukili, B. & El hajaji, A. (2016). \(H_{\infty }\) Filtering of T–S fuzzy systems in finite frequency domain. In 5th International conference on systems and control (ICSC). doi:10.1109/ICoSC.2016.7507038.
Elsayed, A., & Grimble, M. J. (1989). A new approach to \(H_{\infty }\) design of optimal digital linear filters. IMA Journal of Mathematical Control and Information, 6(2), 233–251.
Gao, H., & Li, X. (2014). Robust filtering for uncertain systems. A parameter-dependent approach. New York: Springer - Communications and Control Engineering Series.
Gao, C. Y., Duan, G. R., & Meng, X. Y. (2008). Robust \(H_{\infty }\) filter design for 2D discrete systems in Roesser model. International Journal of Automation and Computing, 5(4), 413–418.
Gao, H., & Li, X. (2011). \(H_{\infty }\) filtering for discrete-time state-delayed systems with finite frequency specifications. IEEE Transactions on Automatic Control, 56(12), 2935–2941.
Geromel, J. C., & Levin, G. (2006). Suboptimal reduced-order filtering through an LMI-based method. IEEE Transactions on Signal Processing, 54(7), 2588–2595.
Grimble, M., & El Sayed, A. (1990). Solution of the \(H_{\infty }\) optimal linear filtering problem for discrete-time systems. IEEE Transactions on Acoustics, Speech, and Signal Processing, 38(7), 1092–1104.
Iwasaki, T., & Hara, S. (2005). Generalized KYP lemma: Unified frequency domain inequalities with design applications. IEEE Transactions on Automatic Control, 50(1), 41–59.
Iwasaki, T., Hara, S., & Fradkov, A. L. (2005). Time domain interpretations of frequency domain inequalities on (semi) finite ranges. Systems Control Letters, 54(7), 681–691.
Iwasaki, T., Hara, S., & Fradkov, A. L. (2011). Restricted frequency inequalities equivalent to restricted dissipativity. In The 43rd IEEE conference on decision and control, pp. 14–17.
Lee, D. H. (2013). An improved finite frequency approach to robust \(H_{\infty }\) filter design for LTI systems with polytopic uncertainties. International Journal of Adaptive Control and Signal Processing, 27(11), 944–956.
Li, H., & Fu, M. (1977). A linear matrix inequality approach to robust \(H_{\infty }\) filtering. IEEE Transactions on Signal Processing, 45(9), 2338–2350.
Li, X. J., & Yang, G. H. (2014). Fault detection in finite frequency domain for TakagiSugeno fuzzy systems with sensor faults. IEEE Transactions on Cybernetics, 44(8), 1446–1458.
Li, X., & Gao, H. (2012). Robust finite frequency \(H_{\infty }\) filtering for uncertain 2-D Roesser systems. Automatica, 48(6), 1163–1170.
Li, X., & Gao, H. (2013). Robust finite frequency \(H_{\infty }\) filtering for uncertain 2-D systems: The FM model case. Automatica, 49, 2446–2452.
Lacerda, M. J., Oliveira, R. C. L. F., & Peres, P. L. D. (2011). Robust \(H_{2}\) and \(H_{\infty }\) filter design for uncertain linear systems via LMIs and polynomial matrices. Signal Processing, 91(5), 1115–1122.
Lofberg, J. (2004). YALMIP: A toolbox for modeling and optimization in MATLAB. In Proceedings of the IEEE computer-aided control system design conference, Taipei, pp. 284-289.
Nagpal, K. M., & Khargonekar, P. P. (1991). Filtering and smoothing in an \(H_{\infty }\) setting. IEEE Transactions on Automatic Control, 36(2), 152–166.
Palhares, R. M., & Peres, P. L. D. (2001). LMI approach to the mixed \(H_{2}/H_{\infty }\) filtering design for discrete-time uncertain systems. IEEE Transactions on Aerospace and Electronic Systems, 37(1), 292–296.
Qiu, J., Feng, G., & Yang, J. (2008). Robust mixed \(H_{2}/H_{\infty }\) filtering design for discrete-time switched polytopic linear systems. The Institution of Engineering and Technology, 2(5), 420–430.
Romao, L. B. R. R., De Oliveira, M. C., Peres, P. L. D. & Oliveira, R. C. L. F. (2016). State-feedback and filtering problems using the generalized KYP lemma. In IEEE conference on computer aided control system design (CACSD), pp. 1054–1059.
Rotstein, H., Sznaier, M. & Idan, M. (1996). \(H_{2}/H_{\infty }\) filtering theory and an aerospace application. International Journal of Robust and Nonlinear Control, 6(4), 347–366.
Sturm, J. F. (1999). Using SeDuMi 1.02. A MATLAB toolbox for optimization over symmetric cones. Optimization Methods and Software, 11(1–4), 625–653.
Takaba, K., & Katayama, T. (1996). Discrete-time \(H_{\infty }\) algebraic Riccati equation and parametrization of all H filters. International Journal of Control, 64(6), 1129–1149.
Wang, H., Peng, L. Y., Ju, H. H., & Wang, Y. L. (2013). \(H_{\infty }\) state feedback controller design for continuous-time T–S fuzzy systems in finite frequency domain. Information Sciences, 223, 221–235.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
El-amrani, A., Boukili, B., Hmamed, A. et al. Robust \(H_{\infty }\) Filters for Uncertain Systems with Finite Frequency Specifications. J Control Autom Electr Syst 28, 693–706 (2017). https://doi.org/10.1007/s40313-017-0336-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40313-017-0336-9