Abstract
The \(l_2-l_{\infty }\) filtering problem is studied for a class of discrete-time switched systems under the admissible edge-dependent average dwell time (AED-ADT) switching. Firstly, a new multiple convex Lyapunov function (MCLF) is established as a convex combination form in the context of the \(l_2-l_{\infty }\) filtering problem. Then, corresponding to the MCLF, the quasi-time-dependent switched filter is proposed for the considered switched system, and the sufficient conditions are derived to ensure that the filtering error system is globally uniformly exponentially stable with a prescribed \(l_2-l_{\infty }\) performance index. Owing to the quasi-time-dependent and multi-degree-of-freedom properties of the designed switched filter, the wider feasibility regions of system parameters, more desirable \(l_2-l_{\infty }\) disturbance attenuation levels and tighter bounds on the AED-ADT can be acquired. Finally, a numerical example is given to expound that our approach outperforms the extant results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A switched system [19] is a special hybrid system, which is composed of a few dynamical subsystems and a switching rule responsible for arranging which subsystem and when to be activated. Due to the modeling flexibility, switched systems have been used as modeling tools or controller design strategies to investigate various kinds of practical systems, such as networked control systems [20], DC/DC converters [6], flight control systems [15] and chaos generators [14]. Up to now, many stability analysis and control synthesis results have been obtained for switched systems such as [4, 5, 9, 12, 18, 21, 28] and the references therein.
During the past decades, several Lyapunov function approaches have been proposed to study the stability problem of switched systems. When all the subsystems of a switched system share a common Lyapunov function (CLF) [11], the underlying system is stable under arbitrary switching signals. Nevertheless, many times, the CLF can not be found for switched systems. Because of this, the multiple Lyapunov function (MLF) approach [1, 3, 29] is designed for studying switched systems with constrained switching signals. Recently, Zhao et al. in [24, 25, 31] propose a multiple discontinuous Lyapunov function for continuous-time switched systems and discrete-time switched systems, respectively, where the Lyapunov function for each subsystem is piecewise continuous. In the approach, a parameter \(0<\rho _i<1\) contributes to the deduction of mode-dependent average dwell time (MDADT) bounds. However, a problem also arises that a series of added inequalities \(P_{is}\le \rho _i P_{i(s-1)}\) may bring about the infeasibility of other relevant LMI conditions. It is of significance to develop new Lyapunov functions with more degrees of freedom for decreasing the conservativeness of the obtained results.
Among constrained switching signals, average dwell time (ADT) switching [10] has been extensively employed to study the stability and control problems of switched systems, where the average time between consecutive switchings is required to be not less than a constant. Then, the paper [33] introduces the MDADT, which is more flexible than the general ADT switching [4, 23]. Recently, a novel notion of AED-ADT is proposed in [27] and [7] for designing switching signals. It is defined by means of a directed graph, where an admissible transition edge (ATE) signifies a switching from one subsystem to another. Each ATE has its own transition weight, which is the key of making the AED-ADT switching superior to the MDADT switching. Up to date, there exist very few works that concern AED-ADT switching in the stability analysis and control synthesis fields of switching systems. Furthermore, regardless of which switching method above is adopted, inequalities \(P_{j}\le \mu _jP_i\) or \(P_{j}\le \mu _{ij}P_i\) are necessary at switching points. However, the feasible evaluation of parameters \(\mu _j\) and \(\mu _{ij}\) often induces the conservativeness of ADT bounds, which hinders us from choosing a broader range of switching signals in practical applications.
When unexpected disturbances and measurement missing phenomena happen in practice, the filtering is the popular method to estimate the state or output signals [2]. In recent years, a great deal of attention has been focused on studying the filtering problem of switched systems [13, 22, 30]. The authors in [26] investigate the event-triggered \(H_{\infty }\) filtering problem for discrete-time switched linear systems, where the system output and switching signal are transmitted to the filter via a communication network. As for the asynchronous \(H_{\infty }\) filtering, the paper [17] considers the switched T–S fuzzy systems with applications to the single-link robot arm system, and in [16], the state-dependent switching mechanism is utilized for switched linear systems with unstable subsystems to guarantee that the resulting filtering error system is exponentially mean square stable with a weighted \(l_2\)-gain performance. In [7], the \(l_2-l_{\infty }\) filtering is studied for discrete-time switched systems under the AED-ADT switching, where the traditional MLF approach is used to derive the exponential stability results of the filtering error system. Although the filtering problem has been investigated extensively, the great majority of the extant works focus on the \(H_\infty \) filtering. So far, very few studies have been devoted to the \(l_2-l_{\infty }\) filtering of switched systems, which aims at energy-to-peak disturbance attenuation, completely different from the energy-to-energy performance of the \(H_\infty \) filtering. Besides, another two important issues should be observed for the \(l_2-l_{\infty }\) filtering research of switched systems. On the one hand, the extant \(l_2-l_{\infty }\) filtering results suffer from the conservativeness of the feasibility regions of system parameters. Their slight variations cause frequently the infeasibility of the existing results. In addition, the \(l_2-l_{\infty }\) performance indexes are not reduced to sufficiently low levels in the current literature, which results in the inapplicability of the existing results in many practical situations.
Based on the above discussions of the filtering research status for switched systems, we are motivated to consider the \(l_2-l_{\infty }\) filtering of discrete-time switched systems. The main contributions are shown in the following aspects:
-
(1)
A MCLF for the filtering problem is proposed resorting to a set of quasi-time-dependent functions. It is pointed out below that the MLF typically used in the filtering research of switched systems is the special form of our MCLF and our obtained results generalize the existing ones.
-
(2)
The AED-ADT switching strategy is used to design switching signals, and tighter AED-ADT bounds can be obtained by virtue of our MCLF’s capability to slacken the restricted conditions at switching points.
-
(3)
The quasi-time-dependent \(l_2-l_{\infty }\) switched filter is developed according to the structure of the MCLF, under which the wider feasible regions of system parameters and smaller \(l_2-l_{\infty }\) performance indexes can be achieved.
The remainder of this paper is organized as follows. Section 2 presents the preliminaries and the problem formulation. In Sect. 3, the main results in the paper are put forth. We firstly introduce a MCLF for discrete-time switched systems, and then, an \(l_2-l_{\infty }\) switched filter is derived in a quasi-time-dependent form, where the filtering error system is ensured to be exponentially stable with a prescribed \(l_2-l_{\infty }\) performance. Section 4 gives the numerical example to illustrate the effectiveness of the obtained results. Eventually, the paper is concluded.
Notations The notations in this paper are fairly standard. We use \(A>0\) (\(A<0\)) to stand for a positive definite (negative definite) matrix A. \(A^T\) refers to the transpose of a matrix A. Let \({\mathbf {R}}^n\), \({\mathbf {S}}^n\) and \({\mathbf {Z}}_{\ge 0}\) denote the n-dimensional Euclidean space, the set of n-dimensional symmetric matrices and the set of nonnegative integers, respectively. \(\Vert \cdot \Vert \) is used to denote the vector Euclidean norm. \(l_2[0,\infty )\) is the space of square summable infinite vector sequences, and for \(\omega =\{\omega (k)\}\in l_2[0,\infty )\), its norm is given by \(\Vert \omega \Vert _2=\sqrt{\sum _{k=0}^{\infty }\omega ^T(k)\omega (k)}\); \(l_\infty [0,\infty )\) is the space of all essentially bounded vector functions, and for \(e=\{e(k)\}\in l_\infty [0,\infty )\), its norm is given by \(\Vert e\Vert _\infty =\sqrt{\sup _ke^T(k)e(k)}\). As is commonly used in other literature, \(*\) denotes the elements below the main diagonal of a symmetric matrix, and \(\max \) and \(\min \), respectively, stand for the maximum and minimum. In addition, matrices, if not explicitly stated, are assumed to have compatible dimensions for algebraic operations.
2 Preliminaries and Problem Formulation
Consider the following discrete-time switched system (\(\varSigma _s\))
where \(x(k)\in {{\mathbf {R}}^n}\) and \(y(k)\in {{\mathbf {R}}^{n_y}}\) are the state and measured output, respectively; \(z(k)\in {\mathbf {R}^{n_z}}\) is the signal to be estimated; \(\omega (k)\in {\mathbf {R}^{n_\omega }}\) is the disturbance input belonging to \(l_2[0,\infty )\); the matrices \(A_i\), \(B_i\), \(C_i\), \(D_i\), \(E_i\) are assumed to be known and with appropriate dimensions; \(\sigma (k)\) is a piecewise constant function of time, called a switching signal, which takes its values in a finite set \({\underline{N}}=\{1,2,\ldots ,n_s\}\), \(n_s>1\) is the number of subsystems. For a switching signal \(\sigma (k)\), let \(k_1<k_2<\cdots<k_m<\cdots \) denote the switching instants of \(\sigma (k)\). When \(k_m\le k<k_{m+1}\), the \(\sigma (k_m)\)th subsystem is activated, where we use the notation \(H_{\sigma (k_m)}\) to stand for the length of the time interval \([k_m,k_{m+1})\). Besides, we assume that the switching signal \(\sigma (k)\) is available to the designed filter.
To proceed, some necessary definitions and lemma are reviewed for deriving the main results.
Definition 1
([33]) The equilibrium \(x=0\) of system (1) with \(\omega =0\) is globally uniformly exponentially stable (GUES) under a switching signal \(\sigma (k)\), if there exist constants \(\gamma >0\), \(\lambda >1\) such that the solution x(k) of system (1) satisfies \(\Vert x(k)\Vert \le \gamma \lambda ^{-(k-k_0)}\Vert x(k_0)\Vert \), \(\forall k\ge k_0\) with arbitrary initial conditions.
Definition 2
([33]) For a switching signal \(\sigma (k)\), \(\forall k\ge k_0\ge 0\), let \(N_{\sigma i}(k_0,k)\), \(\forall \, i\in {\underline{N}}\) be the number of times that subsystem i is activated over the interval \([k_0,k)\), and \(T_i(k_0,k)\) denote the total running time of subsystem i over the interval \([k_0,k)\). We say that \(\sigma (k)\) has a mode-dependent average dwell time \(\tau _{ai}\) if there exist positive numbers \(N_{0i}\) and \(\tau _{ai}\) such that
Definition 3
([27]) For a directed switching graph G and \(i,j\in {\underline{N}}\)\((i\ne j)\), if a directed edge from i to j is admissible, then we call S(i, j) as an admissible transition edge (ATE) of G, whose set is denoted by \(S({\underline{N}})\). An ATE S(i, j) has an admissible transition edge-dependent weight (ATEDW) \(\beta _{ij}\), which describes the switching property from i to j and the set of which is signified by W.
In Fig. 1, the periodic switching signal \(\sigma (k):1\rightarrow 3\rightarrow 2\rightarrow \cdots \) has the ATE set \(S({\underline{N}}) = \{ S(1,3), S(3,2), S(2,1)\}\) with the set of ATEDWs \(W = \{\beta _{13}, \beta _{32}, \beta _{21}\}\). The dotted line represents that the corresponding transition edge is not admissible. Next, the definition of AED-ADT is given on the basis of Definition 3.
Definition 4
([27]) For a switching signal \(\sigma (k)\), \(\forall k\ge k_0\ge 0\), \(\forall S(i,j)\in S({\underline{N}})\), let \(N_{ij}^{\sigma }(k_0,k)\) be the switching count from i to j over the interval \([k_0,k)\), and \(T_{ij}(k_0,k)\) denote the total running time of subsystem j over the interval \([k_0,k)\), where i is the previously active subsystem. We say that \(\sigma (k)\) has an AED-ADT \(\tau _{ij}^a\) if there exist positive numbers \(N_{ij}^0\) and \(\tau _{ij}^a\) such that
where \(N_{ij}^0\) are called as the admissible edge-dependent chatter bounds.
Lemma 1
([8]) Let \(P \in {\mathbf {S}}^n\), \(\varLambda \in {\mathbf {S}}^p\), \(\varPhi \) and \(\varPsi \) be matrices of appropriate dimensions. Then, the following statements are equivalent:
-
(i)
Find \(P>0\) such that \(\varPhi ^TP\varPhi -\varLambda <0\);
-
(ii)
Find \(P>0\) and \(\varPsi \) such that \(\left[ \begin{array}{cc} -\varLambda &{}*\\ \varPsi \varPhi &{}-\varPsi -\varPsi ^T+P \end{array}\right] <0\).
Next, a new switched filter (\(\varSigma _f\)) is proposed in the following:
where \(x_f(k)\in {{\mathbf {R}}^n}\) is the state of the filter, \(z_f(k)\in {{\mathbf {R}}^{n_z}}\) is the estimation of z(k), and for any \(k\in [k_m,k_{m+1}), \sigma (k_m)\!=\!i,\)\( A_i^f(k),\ B_i^f(k),\ C_i^f(k)\) are the filter gains to be determined afterward.
Combining system (\(\varSigma _s\)) with filter (\(\varSigma _f\)), the augmented filtering error system (\(\varSigma _e\)) is obtained as follows:
where \(\xi (k)=\left[ \begin{array}{cc} x^T(k)&x_f^T(k) \end{array}\right] ^T,\ e(k)=z(k)-z_f(k)\) and
Our goal within the paper is to design an \(l_2-l_\infty \) switched filter of the form (\(\varSigma _f\)), and find a set of AED-ADT switching signals such that the resulting filtering error system is GUES with \(\omega (k)=0\) and has a guaranteed \(l_2-l_\infty \) disturbance attenuation performance under the zero initial condition, i.e., \(\Vert e\Vert _\infty <\gamma \Vert \omega \Vert _2\) for a constant \(\gamma >0\) and all nonzero \(\omega (k)\in l_2[0,\infty )\).
3 Main Results
In this section, a MCLF is firstly constructed by a convex combination of positive definite matrices so that the restricted conditions of Lyapunov functions at switching points can be relaxed. And the concrete filter gains are set forth in the quasi-time-dependent form. Then, the filter is designed to ensure that the filtering error system is GUES with a prescribed \(l_2-l_\infty \) performance index.
3.1 Lyapunov Function Design
First of all, a MCLF is given for the filtering error system as follows:
where \(\forall k\in [k_m,k_{m+1})\), \(\sigma (k_m)=i\in {{\underline{N}}}\); \(P_{il}=\left[ \begin{array}{cc} P_{il}^1&{}P_{il}^2\\ (P_{il}^2)^T&{}P_{il}^3 \end{array} \right] \), \(l\in {\mathcal {L}}=\{1,2,\ldots ,L\}\), are positive definite matrices; continuous functions \(f_{il}(k-k_m)\), \(l\in {\mathcal {L}}\), are defined on the interval \([k_m,k_{m+1})\) satisfying \(f_{il}(k-k_m)\ge 0,\ \sum _{l=1}^Lf_{il}(k-k_m)=1.\)
Now, it is necessary to develop an effective method to construct functions \(f_{il}(k-k_m),i\in {{\underline{N}}},l\in {\mathcal {L}}\) for further executing the filter design. For any \(i\in {{\underline{N}}},l\in {\mathcal {L}}\), we provide
where parameters a and b will be determined in the following.
Set
where \(0\le a_{il}\le 1,0\le b_{il}\le 1,\sum _{l=1}^La_{il}=1,\sum _{l=1}^Lb_{il}=1\).
From (11) and (12), a simple calculation gives
Thus, we have
and it can be easily verified that
Remark 1
In many filtering-related studies of switched linear systems, although the used Lyapunov functions are of diversified forms, they are essentially the traditional MLFs [7, 16, 26]. By contrast, our MCLF has convex structure and quasi-time dependency due to the introduction of functions \(f_{il}(k-k_m), l\in {\mathcal {L}}\), which can play a vital role in providing the possibility of further extending the feasibility regions of system parameters and slackening the restricted conditions of Lyapunov functions at switching points. These can be verified by the excellent performance of our designed filter in the simulation. And it should be also pointed out that our method is different from the quasi-time-dependent Lyapunov function proposed in [3, 4, 17]. Their quasi-time dependency signifies that Lyapunov function, controller or filter themselves are established as time-scheduled forms, i.e., each step corresponds to different Lyapunov functions or updates of controller matrices and filter matrices, which can effectively reduce the conservativeness of the obtained results. However, our quasi-time dependency is mainly manifested in the coefficients \(f_{il}(k-k_m)\) of the MCLF (10), which, integrated with the convexity, helps to reduce the conservativeness of the obtained filter.
Via the MCLF (10), the filter gains of (\(\varSigma _f\)) are designed as follows:
where \(k\in [k_m,k_{m+1}),\)\(A_{il}^f\), \(B_{il}^f\) and \(C_{il}^f\), \(i\in {\underline{N}}, l\in {\mathcal {L}}\), will be determined later.
Remark 2
Corresponding to the MCLF in (10), the switched filter (\(\varSigma _f\)) is also distinct from the ones in the extant literature. The filter gains \(A_i^f(k),\)\(B_i^f(k),\)\(C_i^f(k)\) are quasi-time-dependent ones and of convex structure, which depend on \(k-k_m\) and carry multiple vertex matrices. For example, \(A_i^f(k)\) has L vertex matrices \(A_{il}^f\). Such features are conducive to decreasing the conservativeness of the designed filter, which will be elaborated below.
3.2 \(l_2-l_\infty \) Filter Design
Now, it is in a position to cope with the \(l_2-l_\infty \) filter design problem for the switched system (\(\varSigma _s\)).
Theorem 1
Consider the filtering error system (\(\varSigma _e\)). For scalars \(0<\alpha _j<1, \beta _{ij}>1, \forall S(i,j)\in S({\underline{N}})\), \(\gamma >0\), suppose that there exist positive definite matrices \(P_{jl}^1,P_{jl}^3\), invertible matrices \(M^2_{j}\) and matrices \(P_{jl}^2\), \(A_{jl}^F\), \(B_{jl}^F\), \(C_{jl}^F\), \(M^1_{jl}\), \(M^3_{jl}\), such that the following inequalities hold
where
Then, there exists an \(l_2-l_\infty \) switched filter in the form of (\(\varSigma _f\)) such that the resulting filtering error system (\(\varSigma _e\)) is GUES and has the \(l_2-l_\infty \) performance index \(\gamma \) for any AED-ADT switching signal satisfying
Moreover, the filter gains are given as follows:
Proof
Construct matrices
Noting (14) and (16), (20), (21), one can infer that
where
On the basis of Lemma 1, it can be derived that inequality (23) for matrix \(M_{j}(k)\) is equivalent to the following inequality
Along the trajectory of system (8), \(\forall k\in [k_m,k_{m+1}), \sigma (k_m)=i\), we calculate
On the other hand, it is easy to obtain
Integrating (24) with (25), (26) gives
Noting (18), \(\forall k\in [k_m,k_{m+1})\), one gets
In a recurrent fashion, this, integrated with (18) and (27), yields
\(\square \)
Remark 3
The detailed steps for deriving (28) are omitted since the proof for (28) is regular and the similar proof can be seen in [7].
Then, the subsequent discussions fall into two parts in the light of \(\omega (k)=0\) or not:
-
(1)
If \(\omega (k)=0\), (28) becomes
$$\begin{aligned} V_{\sigma (k)}\!(k)\!&\!\le \!&e^{\sum _{S(i,j)\in S({\underline{N}})}\!N^0_{ij}\ln \beta _{ij}}\!e^{\sum _{S(i,j)\in S({\underline{N}})}\!(\frac{\ln \beta _{ij}}{\tau ^a_{ij}}+\ln (1-\alpha _j))T_{ij}(k_0,k)}V_{\sigma (k_0)}\!(k_0). \end{aligned}$$From (19), it follows that \(\frac{\ln \beta _{ij}}{\tau ^a_{ij}}+\ln (1-\alpha _j)<0\), and then, we can deduce that system \((\sum _e)\) is GUES according to Definition 1.
-
(2)
For \(\forall S(i,j)\in S({\underline{N}})\), from \(0<\alpha _j<1, \beta _{ij}>1\) and (19), we have
$$\begin{aligned} 0<1-\alpha _j<1,\ \ e^{\sum _{S(i,j)\in S({\underline{N}})}{N_{ij}^0\ln \beta _{ij}}}\ge 1,\\ 0<e^{\sum _{S(i,j)\in S({\underline{N}})}{\Big (\ln (1-\alpha _j)+\frac{\ln \beta _{ij}}{\tau _{ij}^a}\Big )T_{ij}(k_q,k)}}\le 1. \end{aligned}$$Thus, under zero initial condition, inequality (28) implies
$$\begin{aligned} V_{\sigma (k)}(k)\le & {} e^{\sum _{S(i,j)\in S({\underline{N}})}{N_{ij}^0\ln \beta _{ij}}}\sum _{q=1}^{m}\sum _{s=k_{q-1}}^{k_q-1}{\omega ^T(s)\omega (s)} +\sum _{s=k_m}^{k-1}{\omega ^T(s)\omega (s)}\nonumber \\= & {} e^{\sum _{S(i,j)\in S({\underline{N}})}{N_{ij}^0\ln \beta _{ij}}}\sum _{s=k_0}^{k_m-1}{\omega ^T(s)\omega (s)}+\sum _{s=k_m}^{k-1}{\omega ^T(s)\omega (s)}\nonumber \\\le & {} e^{\sum _{S(i,j)\in S({\underline{N}})}{N_{ij}^0\ln \beta _{ij}}}\sum _{s=k_0}^{k-1}{\omega ^T(s)\omega (s)}\nonumber \\= & {} \delta ^{-1}\sum _{s=k_0}^{k-1}{\omega ^T(s)\omega (s)}, \end{aligned}$$(29)where \(\delta =e^{-\sum _{S(i,j)\in S({\underline{N}})}{N_{ij}^0\ln \beta _{ij}}}\).
Integrated with (14), (17) and (22), Schur lemma yields
$$\begin{aligned} {\overline{E}}^T_j(k){\overline{E}}_j(k)-\gamma ^2\delta P_{j}(k)<0, \end{aligned}$$(30)which together with (29) gives
$$\begin{aligned}&e^T(k)e(k)-\gamma ^2\sum _{s=k_0}^{k-1}{\omega ^T(s)\omega (s)}\le e^T(k)e(k)-\gamma ^2\delta V_{\sigma (k)}(k)\nonumber \\&\quad =\xi ^T(k)({\overline{E}}^T_{\sigma (k)}(k){\overline{E}}_{\sigma (k)}(k)-\gamma ^2\delta P_{\sigma (k)}(k))\xi (k)<0. \end{aligned}$$(31)Therefore, under zero initial condition, \(\Vert e\Vert _\infty <\gamma \Vert \omega \Vert _2\) is concluded for any \(\omega (k)\in l_2[0,\infty )\).
The proof is completed.
Remark 4
It is easily observed that when \(L=1\), our MCLF (10) will reduce to the used Lyapunov function in [7], and conditions (16), (17) and (18) in Theorem 1 become inequalities (30), (31) and (32) in Theorem 3 of [7]. This means that Theorem 3 of [7] can be viewed as the special case of our Theorem 1, i.e., our Theorem 1 generalizes Theorem 3 of [7].
Remark 5
Because the MCLF (10) and the switched filter (\(\varSigma _f\)) carry more degrees of freedom, condition (18) can be loosened largely and further smaller \(\beta _{ij}\) can be selected. Consequently, AED-ADT bounds can be decreased, which enhances the application flexibility of our designed switching signals. On the other hand, it can be found that the evaluations of parameters \(\beta _{ij}\) severely affect the magnitude of the \(l_2-l_{\infty }\) performance index \(\gamma \). From (17), the smaller parameters \(\beta _{ij}\) are chosen, the smaller index \(\gamma \) can be allowed. All the discussions will be verified in the simulation by comparing our result with the one in [7].
Remark 6
As stated above, our filter design method is based on the available switching signals. Once all the switching instants or some switching instants are unknown, our method cannot be utilized. In the future, we will further consider the prediction algorithms of switching signals, the asynchronous filtering problem [17] and the delay control method [32], or develop new filter design methods without switching information or only with partial switching information.
The following corollaries can be obtained by the similar proof, which ensure that the resulting filtering error system (\(\varSigma _e\)) is GUES with an \(l_2-l_\infty \) performance under the MDADT and ADT switching strategies, respectively.
Corollary 1
Consider the filtering error system (\(\varSigma _e\)). For scalars \(0<\alpha _j<1, \beta _{j}>1, \forall j\in {\underline{N}}, \gamma >0\), suppose that there exist positive definite matrices \(P_{jl}^1,P_{jl}^3\), invertible matrices \(M^2_{j}\) and matrices \(P_{jl}^2,A_{jl}^F,B_{jl}^F,C_{jl}^F,M^1_{jl},M^3_{jl}\), such that inequalities (16), (17) hold and
where \(\delta =\exp \Bigg ( -\sum _{j\in {\underline{N}}}N_{0j}\ln \beta _{j} \Bigg ). \) Then, there exists an \(l_2-l_\infty \) switched filter in the form of (\(\varSigma _f\)) such that the filtering error system (\(\varSigma _e\)) is GUES and has the \(l_2-l_\infty \) performance index \(\gamma \) for any MDADT switching signal satisfying
Moreover, the filter gains are given as shown in (20), (21) and (22).
Remark 7
The ATEDW \(\beta _{ij}\) is the key of making the AED-ADT switching superior to the MDADT switching. For the MDADT switching [33], the parameter \(\beta _j\) in (32) represents the switching cost from all other subsystems to subsystem j, which relies on all ATEs \(S(i,j)\in S({\underline{N}})\) ending in j for all \(i\in {\underline{N}}\). In the case of AED-ADT switching, the ATEDW \(\beta _{ij}\) in (18) denotes the switching cost from subsystem i to subsystem j, which only relies on ATE S(i, j) and has nothing to do with other subsystems or ATEs. The AED-ADTs \(\tau _{i_1j}^{a}\) and \(\tau _{i_2j}^{a},\, i_1\ne i_2\) may be separated due to the different ATEs \(S(i_1,j)\) and \(S(i_2,j)\), respectively. Therefore, it follows from (19) and (33) that \(\tau _{ij}^{a*}\le \tau _{aj}^*, \forall S(i,j)\in S({\underline{N}})\). From this, the MDADT switching can be viewed as the special case of the AED-ADT switching, and the latter is of better flexibility and less conservativeness than the former.
Corollary 2
Consider the filtering error system (\(\varSigma _e\)). For scalars \(0<\alpha <1, \beta>1, \gamma >0\), suppose that there exist positive definite matrices \(P_{jl}^1,P_{jl}^3\), invertible matrices \(M^2_{j}\) and matrices \(P_{jl}^2,A_{jl}^F,B_{jl}^F,C_{jl}^F,M^1_{jl},M^3_{jl}\), such that inequalities (16), (17) hold and
where \(\alpha _j\) is replaced as \(\alpha \), and \( \delta =\exp ( -N_{0}\ln \beta ). \) Then, there exists an \(l_2-l_\infty \) switched filter in the form of (\(\varSigma _f\)) such that the filtering error system (\(\varSigma _e\)) is GUES and has the \(l_2-l_\infty \) performance index \(\gamma \) for any ADT switching signal satisfying
Moreover, the filter gains are given as shown in (20), (21) and (22).
Remark 8
For any \(i\in {\underline{N}}\), it is reasonable that the length of each switching interval of subsystem i is assumed to be no larger than a positive integer \(\tau _{\max }^i\). For any \(k\in [k_m,k_{m+1}),\) there exists a constant \(\eta \in {\mathbf {Z}}_{\ge 0}\) such that \(k\!=\!k_m+\eta ,\)\(0\!\le \! \eta \!\le \! \tau _{\max }^i\). Since \(A_i^f(k)\!=\!\sum _{l=1}^Lf_{il}(\eta )A_{il}^f,\, B_i^f(k)\!=\!\sum _{l=1}^Lf_{il}(\eta )B_{il}^f,\, C_i^f(k)\!=\!\sum _{l=1}^Lf_{il}(\eta )C_{il}^f\), the filter gains \(A_i^f(k),\, B_i^f(k),\, C_i^f(k)\) can be calculated and stored in advance by \(\sum _{l=1}^Lf_{il}(\eta )A_{il}^f,\)\(\sum _{l=1}^Lf_{il}(\eta )B_{il}^f,\)\(\sum _{l=1}^Lf_{il}(\eta )C_{il}^f,\)\(\eta =0, 1,\ldots , \tau _{\max }^i\), which can avoid recalculating the filter gains as the updates of time k happen. Furthermore, the computational complexity of both the filter gains and the LMI conditions in Theorem 1, Corollary 1 and Corollary 2 is closely related to the parameter L, the subsystem number \(n_s\) and the dimensions \(n, n_y, n_z, n_w\) of the system state, the measured output, the estimated signal and the disturbance input. Making a compromise of the disturbance attenuation level and the computational complexity, the above parameter L should be selected cautiously. For example, if the underlying switched system carries large subsystem number \(n_s\) and state dimension n, large parameter L will generate enormous computational burden. Appropriate L, such as \(L=2 and L=3\), should be chosen.
4 Numerical Example
Now, we provide an example to demonstrate the validity of the main results in this paper. Consider the switched system (\(\varSigma _s\)) including three subsystems as follows:
For the usage of the MCLF, we choose parameters
Under parameters \(\alpha _1=\alpha _2=\alpha _3=0.76, \beta _{21}=\beta _{31}=\beta _{12}=\beta _{32}=\beta _{13}=\beta _{23}=3.0 \) and \(\gamma ^2=0.25\), the feasibility regions for parameters \(a=[-0.5,1], b=[0,1], c=[0,1]\) will be identified, respectively, via our Theorem 1 and Theorem 3 in [7], which are depicted in Fig. 2. Intuitively, red marks \(\triangle \) surround blue marks \(+\), by virtue of which an initial judgement can be given that our approach is preferable to the one in [7]. Through statistical analysis, the count ratio of marks \(\triangle \) to marks \(+\) can be obtained: \(56.93\%\). In other words, our Theorem finds much more feasible points than Theorem 3 of [7]. This corroborates our judgement from a different perspective.
On the other hand, for system parameters \(a=0.1, b=0.7, c=0.6\), Table 1 and Table 2 list the relevant parameters and the corresponding results obtained by our Theorem 1 and Theorem 3 of [7] under two periodic switching signals, respectively. Regardless of which switching signal is adopted, the MCLF achieves the tighter AED-ADT bounds \(\tau _{ij}^{a*}\) and more desirable minimum \(l_2-l_{\infty }\) performance indexes \(\gamma _{min}\).
Choose the periodic switching path \(1\rightarrow 3\rightarrow 2\cdots \), and parameters for Theorem 1 shown in Table 1. The corresponding filter parameters can be computed as follows:
Setting the initial value \(\xi (0)=\left[ \begin{array}{cccc} 0.5&0.2&0.3&-0.4 \end{array} \right] ^T\), the trajectories of system state x(k) and filter state \(x_f(k)\), and the switching signal with \(\tau _{13}^a=4,\tau _{32}^a=3,\tau _{21}^a=1\) are shown in Fig. 3. We also present the filtering error e(k) in Fig. 4. They display that the designed switched filter (\(\varSigma _f\)) by the MCLF is effective.
5 Conclusion
This paper concerns the problem of \(l_2-l_\infty \) filtering for discrete-time switched systems with AED-ADT. By the aid of the MCLF approach, the quasi-time-dependent \(l_2-l_\infty \) switched filter has been designed such that the filtering error system is GUES with a guaranteed \(l_2-l_\infty \) performance. It has been pointed out that we obtain more general theoretic results than the existing results. In the end, an interesting example is offered to illustrate the effectiveness of the developed results.
References
M.S. Branicky, Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Trans. Autom. Control 43(4), 475–782 (1998)
X.H. Chang, Y.M. Wang, Peak-to-peak filtering for networked nonlinear DC motor systems with quantization. IEEE Trans. Ind. Inform. 14(12), 5378–5388 (2018)
Z.Y. Fei, S. Shi, T. Wang, C.K. Ahn, Improved stability criteria for discrete-time switched T-S fuzzy systems. IEEE Trans. Syst., Man, Cybern. Syst. (2018). https://doi.org/10.1109/TSMC.2018.2882630
Z.Y. Fei, S. Shi, Z.H. Wang, L.G. Wu, Quasi-time-dependent output control for discrete-time switched system with mode-dependent average dwell time. IEEE Trans. Autom. Control 63(8), 2647–2653 (2017)
S.G. Gao, H.R. Dong, B. Ning, H.W. Wang, Stabilization of switched nonlinear systems by adaptive observer-based dynamic surface control with nonlinear virtual and output feedback. Circuits Syst. Signal Process. 38(3), 1063–1085 (2019)
F. Guerin, D. Lefebvre, S.B. Mboup, Hybrid modeling for performance evaluation of multisource renewable energy systems. IEEE Trans. Autom. Sci. Eng. 8(3), 532–539 (2011)
L.L. Hou, X.D. Zhao, H.B. Sun, G.D. Zong, \(l_2\)-\(l_\infty \) filtering of discrete-time switched systems via admissible edge-dependent switching signals. Syst. Control Lett. 113, 17–26 (2018)
A. Kruszewski, R. Wang, T. Guerra, Nonquadratic stabilization conditions for a class of uncertain nonlinear discrete time T-S fuzzy models: a new approach. IEEE Trans. Autom. Control 53(2), 606–611 (2008)
J.X. Liang, B.W. Wu, Y.E. Wang, B. Niu, X.J. Xie, Input-output finite-time stability of fractional-order positive switched systems. Circuits Syst. Signal Process. 38(4), 1619–1638 (2019)
D. Liberzon, A.S. Morse, Basic problems in stability and design of switched systems. IEEE Control Syst. Mag. 19(5), 59–70 (1999)
D. Liberzon, Switching in Systems and Control (Birkhauser, Boston, 2003)
L. Ma, L. Huo, X.D. Zhao, B. Niu, G.D. Zong, Adaptive neural control for switched nonlinear systems with unknown backlash-like hysteresis and output dead-zone. Neurocomputing 357, 203–214 (2019)
M.S. Mahmoud, P. Shi, Asynchronous \(H_\infty \) filtering of discrete-time switched systems. Signal Process. 92(10), 2356–2364 (2012)
K. Mitsubori, T. Saito, Dependent switched capacitor chaos generator and its synchronization. IEEE Trans. Circuits Syst. I Fundam. Theory Appl. 44(12), 1122–1128 (1997)
P. Pellanda, P. Apkarian, H. Tuan, Missile autopilot design via a multi-channel LFT/LPV control method. Int. J. Robust Nonlinear Control 12(1), 1–20 (2012)
H. Sang, H. Nie, J. Zhao, Dwell-time-dependent asynchronous \(H_\infty \) filtering for discrete-time switched systems with missing measurements. Signal Process. 151, 56–65 (2018)
S. Shi, Z.Y. Fei, P. Shi, C.K. Ahn, Asynchronous filtering for discrete-time switched T-S fuzzy systems. IEEE Trans. Fuzzy Syst. (2019). https://doi.org/10.1109/TFUZZ.2019.2917667
Z.B. Song, P. Li, J.Y. Zhai, Z. Wang, X. Huang, Global fixed-time stabilization for switched stochastic nonlinear systems under rational switching powers. Appl. Math. Comput. (2019). https://doi.org/10.1016/j.amc.2019.124856
Z.D. Sun, S.S. Ge, Stability Theory of Switched Dynamical Systems (Springer, London, 2011)
Z.D. Sun, S.S. Ge, Switched Linear Systems: Control and Design (Springer, Berlin, 2004)
J.L. Tan, W.Q. Wang, J. Yao, Finite-time stability and boundedness of switched systems with finite-time unstable subsystems. Circuits Syst. Signal Process. (2018). https://doi.org/10.1007/s00034-018-1001-7
D. Wang, W. Wang, P. Shi, Exponential \(H_\infty \) filtering for switched linear systems with interval time-varying delay. Int. J. Robust Nonlinear Control 19(5), 532–551 (2009)
R.H. Wang, S.M. Fei, New stability and stabilization results for discrete-time switched systems. Appl. Math. Comput. 238, 358–369 (2014)
R.H. Wang, L.L. Hou, G.D. Zong, S.M. Fei, D. Yang, Stability and stabilization of continuous-time switched systems: a multiple discontinuous convex Lyapunov function approach. Int. J. Robust Nonlinear Control 29(5), 1499–1514 (2019)
R.H. Wang, T.C. Jiao, T. Zhang, S.M. Fei, Improved stability results for discrete-time switched systems: a multiple piecewise convex Lyapunov function approach. Appl. Math. Comput. 353, 54–65 (2019)
X.Q. Xiao, J.H. Park, L. Zhou, Event-triggered \(H_\infty \) filtering of discrete-time switched linear systems. ISA Trans. 77, 112–121 (2018)
J.Q. Yang, X.D. Zhao, X.H. Bu, W. Qian, Stabilization of switched linear systems via admissible edge-dependent switching signals. Nonlinear Anal. Hybrid Syst. 29, 100–109 (2018)
Y.F. Yin, X.D. Zhao, X.L. Zheng, New stability and stabilization conditions of switched systems with mode-dependent average dwell time. Circuits Syst. Signal Process. 36(1), 82–98 (2017)
S. Yuan, L. Zhang, B.D. Schutter, A novel Lyapunov function for a non-weighted \(L_2\) gain of asynchronously switched linear systems. Automatica 87, 310–317 (2018)
L.X. Zhang, X.K. Dong, J.B. Qiu, \(H_\infty \) filtering for a class of discrete-time switched fuzzy systems. Nonlinear Anal. Hybrid Syst. 14, 74–85 (2014)
X.D. Zhao, P. Shi, Y.F. Yin, S.K. Nguang, New results on stability of slowly switched systems: a multiple discontinuous Lyapunov function approach. IEEE Trans. Autom. Control 57(7), 1809–1815 (2017)
X.D. Zhao, Y.F. Yin, L. Liu, X.M. Sun, Stability analysis and delay control for switched positive linear systems. IEEE Trans. Automat. Control 63(7), 2184–2190 (2018)
X.D. Zhao, L.X. Zhang, P. Shi, M. Liu, Stability and stabilization of switched linear systems with mode-dependent average dwell time. IEEE Trans. Autom. Control 57(7), 1809–1815 (2012)
Acknowledgements
This work was supported by the Project of Shandong Province Higher Educational Science and Technology Program (J18KA324) and the National Natural Science Foundation of China (61773236).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Wang, R., Xue, B., Hou, L. et al. Quasi-time-Dependent \(l_2-l_\infty \) Filtering of Discrete-Time Switched Systems with Admissible Edge-Dependent Average Dwell Time. Circuits Syst Signal Process 39, 4320–4338 (2020). https://doi.org/10.1007/s00034-020-01386-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00034-020-01386-x