Skip to main content

Distributed extended Kalman filtering for state-saturated nonlinear systems subject to randomly occurring cyberattacks with uncertain probabilities

Abstract

In this paper, the extended Kalman filtering scheme in a distributed manner is presented for state-saturated nonlinear systems (SSNSs), where the randomly occurring cyberattacks (ROCAs) with uncertain occurring probabilities (UOPs) are taken into account. In particular, a novel cyberattack model is constructed by the consideration of false data-injection attacks (FDIAs) and denial-of-service attacks (DoSAs) simultaneously. The ROCAs are described by a series of Bernoulli distributed stochastic variables, where the so-called UOPs are considered and described by the nominal mathematical expectations and error bounds. The major effort is to develop a novel DEKF strategy for SSNSs with consideration of state delay and ROCAs with UOPs. In what follows, an upper bound with respect to the filtering error covariance is derived and minimized by selecting the suitable filter parameter. Besides, the concrete expression of the filter parameter is formed by solving matrix difference equations (MDEs). Meanwhile, a sufficient condition under certain constraints is proposed to testify the boundedness regarding the given upper bound. Finally, we use the experiments and corresponding comparisons to verify the feasibility of the designed extended Kalman filtering approach in a distributed way.

Introduction

During the past few decades, the dynamical networks have been extensively applied to the modeling in a wealth of areas such as air cooperative monitoring, seismic sensing, target tracking and so forth, see, e.g., [16] for more details. Accordingly, a wireless sensor network (WSN) comprises a majority of intelligent nodes, which are capable of sensing, monitoring, collecting data information, and communicating with their adjacent nodes at the same time. In order to reduce production costs, each intelligent node normally has small size and limited power in practical engineering systems. Thus, the traditional filtering method, which requires that every node transmits the information to the fusion center or other sensor nodes, has certain application limitations [7, 8]. To handle this issue, the distributed filtering (DF) whose core idea is to estimate the target’s state on account of the local information performs better to some extent. To name a few works in this area, the \(H_{\infty }\) filtering problem in a distributed setting has been tackled in [9] for Markovian jump systems by solving some matrix inequalities. In addition, the DF schemes with fading measurements and redundant channels have been presented in [10] and [11], respectively. And in [12], the DF issue has been addressed for nonlinear systems with switching topology and multiplicative link noises, where the filter parameters have been obtained by means of handling convex optimization problems.

It should be noted that the state saturation occurs frequently in the practical engineering, which can reflect the limitation of systems’ state or the protection of the machinery equipment. Generally speaking, the state variables of the physical target are constrained in a bounded set [13, 14]. If the state saturation is not aptly addressed, the desired performance of dynamic systems cannot be always ensured. So far, many efforts have been devoted to the studies of synthesis and analysis for state saturated systems [15, 16]. For instance, the state-saturated filtering issue has been solved in [17] via certain mathematical computations. In [18], a set-membership filtering algorithm has been studied for state-saturated systems in light of dealing with some linear matrix inequalities. The DF strategy has been proposed in [19] for state-saturated systems under fading measurements and quantization in terms of the feasibility of certain matrix difference equations (MDEs). Moreover, the nonlinearities are ubiquitous in actual world, which should be tackled in a proper way [2024]. For instance, a new filtering algorithm by considering the event-based communication criterion has been proposed in [25] for nonlinear systems. Nevertheless, it should be noted that few approaches are available to tackle the DF problem for time-varying saturated nonlinear systems, which is one motivation of this paper.

Accompanied with the broad utilizations of open but unprotected shared networks, the sensor networks are extremely vulnerable to attacks, see, e.g., [26, 27]. In fact, the fundamental goal of these attacks is to break data information through the shared communication network so as to drive the physical plant to become oscillating or even instable. In [28], the recursive filtering method has been proposed for state-saturated systems under deception attacks, where the attacks have been characterized by a series of Bernoulli stochastic variables with a known occurrence probability. It is worthwhile to notice that the behaviors of attacks might be irregularly intercepted by the protection equipment, namely the attacks generally occur in a random manner. In [29], the extended Kalman filtering issue has been addressed for stochastic systems under randomly occurring cyberattacks (ROCAs). Unfortunately, it should be pointed out that the occurrence probability of the attacks is commonly supposed to be deterministic among the existing results, where such a situation cannot be guaranteed always and restricts its applications. Recently, the recursive filtering method under the variance-constraint criterion has been developed in [30] to attenuate the impacts caused by multiple missing measurements with uncertain missing probabilities. However, there are few studies about the cyberattacks with uncertain occurring probabilities (UOPs) and the state saturation in the existing literature, which deserves further investigations in order to develop the corresponding filtering algorithms with potential robustness. Moreover, time delay unavoidably exists in practical systems, see, e.g., [3133]. Accordingly, the performance of the system might be destroyed if the time delay cannot be effectively handled [34, 35]. In [36], the variance-constrained filtering method has been established for stochastic genetic regulatory networks subject to state delay. Nevertheless, it should be noticed that few methods can be found that handle the delayed time-varying stochastic systems with state saturation, not to mention the presence of ROCAs with UOPs. Hence, the goal of this paper is to fill such a gap by designing a novel distributed extended Kalman filtering (DEKF) strategy for the addressed problem.

Inspired by the aforementioned discussions, we attempt to provide a DEKF algorithm for state-saturated nonlinear systems (SSNSs) subject to state delay and ROCAs with UOPs. The phenomena of cyberattacks are adequately considered and characterized by a sequence of nominal means, error upper bounds, as well as the bound of the attack signal. The key motivations/challenges can be mentioned from three aspects: (i) How to comprehensively take the state saturation, time-delay and ROCAs with UOPs into account when conducting the design problem of DEKF? (ii) How to design the proper filter gain with an easy-to-implement form to realize the expected DEKF performance requirement? (iii) How to evaluate the estimation method performance and ensure the boundedness requirement regarding the upper bound matrix of the filtering error covariance. In order to better answer the above questions, an effective optimal DEKF method is established, where the accurate expression of the filter gain is presented by solving two MDEs. The main contributions can be summarized as follows: (1) the constructed dynamic system model is fairly comprehensive and contains nonlinearity disturbance, state saturation, time-delay, and ROCAs with UOPs, thus better reflecting the practical engineering situations; (2) a matrix simplification technology is exploited to cope with the design difficulty of filter gain caused by the sparseness of the fixed topology; (3) a sufficient condition is devised to guarantee the boundedness of the proposed upper bound matrix; and (4) the newly proposed DEKF scheme can be applied for online implementations. Finally, the usefulness of the main results is certified by a few simulations.

Now, we outline the rest of the paper. The DEKF problem is formulated in Sect. 2 for state-saturated systems under a given network topology. In Sect. 3, the upper bound for the state estimation error covariance is obtained firstly and then the proper filter parameter is chosen to minimize such an upper bound. Moreover, the boundedness is analyzed and the proof is provided under an assumption. Two numerical simulations are utilized in Sect. 4 to demonstrate the usefulness of our main theoretical results. Finally, we summarize the conclusions in Sect. 5.

Notations

The symbols utilized throughout the paper are standard. The n-dimensional Euclidean space is denoted by \(\mathbb{R}^{n}\). The symbol \(C\geq D\), where C and D are both symmetric matrices, implies that \(C-D\) is positive semi-definite. For a matrix W, \(\|W\|\), \(\rho (W)\), \(W^{T}\), \(\sigma _{\mathrm{max}}(W)\) and \(\operatorname{tr}\{W\}\) stand for the spectral norm of matrix W, the spectral radius of matrix W, the transpose of matrix W, the largest singular value of matrix W, and the trace of matrix W, respectively; \(\operatorname{col}\{W_{1}, W_{2},\ldots ,W_{N}\}\) represents [ W 1 T W 2 T W N T ] T ; denotes the Hadamard product operator, with \([P\circ Q]_{ij}=P_{ij}Q_{ij}\); \(\operatorname{diag}\{\cdot \}\) is a block-diagonal matrix; I represents an identity matrix with proper dimension. Furthermore, matrices are assumed to have suitable dimensions for the mathematical operations if they are not explicitly pointed out.

Problem formulation

The DEKF problem with attacks is drawn in Fig. 1. From the diagram, it is easy to see that the outputs are measured by some sensor nodes. Meanwhile, the information can be collected from the individual and the neighboring nodes according to a certain topological structure. Additionally, the cyberattacks randomly occur in the shared communication networks between the sensors and the remote filters.

Figure 1
figure 1

The DEKF problem under attacks

The topological structure of the WSN is modeled by a graph \(\mathcal{G}=(\mathcal{U},\mathcal{E},\mathcal{A})\), where the set of nodes, the set of edges, as well as the weighted adjacency matrix are denoted by \(\mathcal{U}=\{1,2, \ldots , N\}\), \(\mathcal{E} \subseteq \mathcal{U}\times \mathcal{U}\), and \(\mathcal{A}=[\alpha _{ij}]_{N\times N}\) with \(\alpha _{ij}>0\), respectively. An edge of \(\mathcal{G}\) is given by \((i,j)\). Also \(\alpha _{ij}>0\Longleftrightarrow (i,j)\in \mathcal{E}\) which shows that there is an edge from j to i. Besides, \(\mathcal{N}_{i}=\{j\in \mathcal{U}:\alpha _{ij}>0\}\) represents the set of adjacent nodes for node i, including itself.

In this paper, the considered SSNSs are described by the following dynamical equations:

$$\begin{aligned}& x_{k+1} = \mu \bigl(A_{k}x_{k}+f(x_{k-d}) \bigr)+B_{k}\omega _{k}, \end{aligned}$$
(1)
$$\begin{aligned}& \mathbf {y}_{i,k} = h_{i}(x_{k})+\nu _{i,k}, \end{aligned}$$
(2)

where \(x_{k}\in \mathbb{R}^{n}\) depicts the state vector that cannot be directly measured, the initial value of \(x_{k}\) has mean \(\bar{x}_{0}\) and covariance \(P_{0}\), and \(\mathbf {y}_{i,k}\in \mathbb{R}^{m_{y}}\) (\(i=1, 2, \ldots , N\)) is the output signal collected by sensors. The random parameters \(\omega _{k}\in \mathbb{R}^{n_{w}}\) and \(\nu _{i,k}\in \mathbb{R}^{m_{y}}\) are the process and measurement noises with zero mean and known covariances, \(R_{k}>0\) and \(Q_{i,k}>0\), respectively. The known positive integer d depicts the time delay. The system matrices \(A_{k}\) and \(B_{k}\) are known with proper dimensions. The nonlinearities \(f(\cdot )\) and \(h_{i}(\cdot )\) are both supposed to be continuously differentiable.

The nonlinearity \(h_{i}(x_{k}):\mathbb{R}^{n}\mapsto \mathbb{R}^{m_{y}}\) satisfies the following condition:

$$ \bigl\Vert h_{i}(x_{k}) \bigr\Vert \leq \delta _{1} \Vert x_{k} \Vert +\delta _{2}, $$
(3)

where \(\delta _{1}\) and \(\delta _{2}\) are nonnegative scalars.

The saturation function \(\mu (\cdot ):\mathbb{R}^{n}\mapsto \mathbb{R}^{n}\) can be defined as

$$ \mu (\varsigma )= \begin{bmatrix} \mu _{1}(\varsigma _{1}) & \mu _{2}(\varsigma _{2}) & \cdots & \mu _{n}( \varsigma _{n}) \end{bmatrix}^{T}, $$
(4)

where

$$ \mu _{i}(\varsigma _{i})=\operatorname{sign}(\varsigma _{i})\min\bigl\{ \varsigma _{i,\max }, \vert \varsigma _{i} \vert \bigr\} , $$
(5)

\(\varsigma _{i,\max }\) stands for the ith element of the saturation level \(\varsigma _{\max }\), \(\varsigma _{i}\) denotes the real value, and \(\mu _{i}(\varsigma _{i})\) represents the value under the saturation constraint.

The real measured output of the ith node, which might be subject to ROCAs, is modeled by

$$ y_{i,k} = \gamma _{i,k} \mathbf {y}_{i,k}+(1- \gamma _{i,k})\lambda _{i,k} \xi _{i,k}, $$
(6)

where \(y_{i,k}\in \mathbb{R}^{m_{y}}\) stands for the output signal with potential attacks; \(\xi _{i,k}\in \mathbb{R}^{m_{y}}\) is the attack signal transmitted by malicious attackers satisfying \(\xi ^{T}_{i,k}\xi _{i,k}\leq \bar{\xi }_{k}\). The mutually independent Bernoulli distributed variables \(\gamma _{i,k}\) and \(\lambda _{i,k}\) are utilized to describe the switch behavior of different cyberattacks, where the statistical features are given as:

$$\begin{aligned}& \operatorname{Prob}\{\lambda _{i,k}=1\} = \bar{\lambda }_{i,k}+\Delta \lambda _{i,k},\qquad \operatorname{Prob}\{\lambda _{i,k}=0\} =1- (\bar{\lambda }_{i,k}+ \Delta \lambda _{i,k}), \end{aligned}$$
(7)
$$\begin{aligned}& \operatorname{Prob}\{\gamma _{i,k}=1\} = \bar{\gamma }_{i,k}+\Delta \gamma _{i,k},\qquad \operatorname{Prob}\{\gamma _{i,k}=0\} =1- (\bar{\gamma }_{i,k}+\Delta \gamma _{i,k}), \end{aligned}$$
(8)

where \(\bar{\gamma }_{i,k}+\Delta \gamma _{i,k}\) and \(\bar{\lambda }_{i,k}+\Delta \lambda _{i,k}\) both belong to \([0,1]\), \(\bar{\gamma }_{i,k}\) and \(\bar{\lambda }_{i,k}\) are known scalars, \(\Delta \gamma _{i,k}\) and \(\Delta \lambda _{i,k}\) are introduced to describe the UOPs, \(|\Delta \gamma _{i,k}|\leq \rho _{i,k}\) and \(|\Delta \lambda _{i,k}|\leq \bar{\rho }_{i,k}\) with \(\rho _{i,k}\) and \(\bar{\rho }_{i,k}\) being known scalars. Furthermore, we assume that \(\gamma _{i,k}\), \(\lambda _{i,k}\), \(\omega _{k}\), and \(\nu _{i,k}\) are mutually uncorrelated for any i and k.

Remark 1

In accordance with (6), the different values of \(\lambda _{i,k}\) and \(\gamma _{i,k}\) can describe different cases. To be more specific, it is easy to see that the measurement output model in (6) mainly includes the following three cases: (1) if \(\gamma _{i,k}=1\), the measurement signals can be transmitted successfully, i.e., the behaviors of attacks cannot occur; (2) when \(\gamma _{i,k}=0\) and \(\lambda _{i,k}=1\), the systems encounter the false data-injection attacks (FDIAs); and (3) when \(\gamma _{i,k}=0\) and \(\lambda _{i,k}=0\), the systems suffer from the denial-of-service attacks (DoSAs).

Remark 2

On the one hand, it is worth noticing that the UOPs are characterized by (7) and (8), where \(\Delta \gamma _{i,k}\) and \(\Delta \lambda _{i,k}\) denote the UOPs subject to the certain probability error bounds with a hope to reflect the practical engineering environments. On the other hand, the fuzzy uncertainty method can be considered. In fact, the choice of membership functions is crucial for the realization of purpose, which is commonly dependent on the experience for different systems. Compared with the modeling of fuzzy uncertainty, we adopt another method to model the UOPs described by the nominal means and error upper bounds. Moreover, the new modeling way contains the existing ROCAs as a special one when setting \(\Delta \lambda _{i,k}=0\) and \(\Delta \gamma _{i,k}=0\).

The following distributed filter is designed for addressed SSNSs:

$$\begin{aligned}& \hat{x}_{i,k+1|k} = \mu \bigl(A_{k}\hat{x}_{i,k|k}+f( \hat{x}_{i,k-d|k-d})\bigr), \end{aligned}$$
(9)
$$\begin{aligned}& \hat{x}_{i,k+1|k+1} = \hat{x}_{i,k+1|k}+\sum _{j\in \mathcal{N}_{i}} \alpha _{ij}G_{ij,k+1} \bigl(y_{j,k+1}-\bar{\gamma }_{j,k+1}h_{j}( \hat{x}_{j,k+1|k})\bigr), \end{aligned}$$
(10)

where \(\hat{x}_{i,k+1|k}\) is the one-step prediction, \(\hat{x}_{i,k+1|k+1}\) is the filter. In the sequel, the matrix \(G_{ij,k+1}\) is the desirable time-varying filter parameter.

Now, we devote to state the major objectives of this paper. Firstly, a new DEKF method is proposed for SSNSs under ROCAs with UOPs. Secondly, the boundedness is analyzed for the newly designed DEKF scheme.

Before proceeding, we provide the following lemmas, which are helpful for the further theoretical derivations.

Lemma 1

([11])

For \(\forall u, v\in \mathbb{R}\), there is a scalar \(\epsilon _{i}\in [0,1]\)satisfying

$$\begin{aligned} \mu _{i}(u)-\mu _{i}(v)=\epsilon _{i}(u-v),\quad i=1,2,\ldots ,N, \end{aligned}$$

where \(\mu _{i}(\cdot )\)is defined in (4)(5).

Lemma 2

([19])

Let \(N=\operatorname{diag}\{n_{1},n_{2},\ldots ,n_{p}\}\)be a random diagonal matrix and \(M=[m_{ij}]_{p\times p}\)be a real-valued matrix. Then, it can shown that the following relationship holds:

$$ \mathbb{E}\bigl\{ NMN^{T}\bigr\} = \begin{bmatrix} \mathbb{E}\{n^{2}_{1}\} & \mathbb{E}\{n_{1}n_{2}\}& \cdots &\mathbb{E} \{n_{1}n_{p}\} \\ \mathbb{E}\{n_{2}n_{1}\} & \mathbb{E}\{n^{2}_{2}\}& \cdots &\mathbb{E} \{n_{2}n_{p}\} \\ \vdots &\vdots &\ddots &\vdots \\ \mathbb{E}\{n_{p}n_{1}\} & \mathbb{E}\{n_{p}n_{2}\}& \cdots &\mathbb{E} \{n^{2}_{p}\} \end{bmatrix}\circ M. $$

Lemma 3

([29])

Consider matrices \(\mathcal{C}\), \(\mathcal{M}\), , and an unknown matrix \(\mathcal{F}\)satisfying \(\mathcal{F}\mathcal{F}^{T}\leq I\). If there are \(\aleph >0\)and \(\zeta >0\)such that \(\zeta ^{-1}I-\wp \aleph \wp ^{T}>0\), then we have

$$ (\mathcal{C}+\mathcal{M}\mathcal{F}\wp )\aleph (\mathcal{C}+ \mathcal{M} \mathcal{F}\wp )^{T} \leq \mathcal{C}\bigl(\aleph ^{-1}- \zeta \wp ^{T}\wp \bigr)^{-1}\mathcal{C}^{T}+ \zeta ^{-1}\mathcal{M} \mathcal{M}^{T}. $$

DEKF algorithm design and error boundedness discussion

In this section, a DEKF algorithm will be given for SSNSs subject to state delay and ROCAs with UOPs. Firstly, we analyze the nonlinearities \(f(x_{k-d})\) and \(h_{j}(x_{k+1})\) by employing the Taylor series expansion, where the high-order terms induced by the linearization process are approximately estimated. Secondly, a major effort is made on looking for a minimal upper bound matrix with respect to the state estimation error covariance, where the matrix simplification technique (MST) is adopted to obtain the proper filter parameter with an easy-to-implement manner. Finally, the performance evaluation issue is addressed, where a new sufficient criterion under certain constraint conditions is given in order to characterize the boundedness of the estimation error covariance.

DEKF algorithm design

To begin, the prediction error and filtering error are expressed as

$$ e_{i,k+1|k}= x_{k+1}-\hat{x}_{i,k+1|k},\qquad e_{i,k+1|k+1}=x_{k+1}- \hat{x}_{i,k+1|k+1}. $$

Then, in light of the Taylor series expansion for \(f(x_{k-d})\) around \(\hat{x}_{i,k-d|k-d}\), one has

$$ f(x_{k-d}) = f(\hat{x}_{i,k-d|k-d})+E_{i,k-d} e_{i,k-d|k-d}+o\bigl( \vert e_{i,k-d|k-d} \vert \bigr), $$
(11)

where

$$ E_{i,k-d}=\frac{\partial f(x_{k-d})}{\partial x_{k-d}}\bigg|_{x_{k-d}= \hat{x}_{i,k-d|k-d}}. $$

Moreover, the high-order term \(o(|e_{i,k-d|k-d}|)\) by using the Taylor series expansion is approximately expressed by

$$ o\bigl( \vert e_{i,k-d|k-d} \vert \bigr)=B_{i,k-d } \varTheta _{i,k-d}e_{i,k-d|k-d}, $$
(12)

where \(B_{i,k-d }\) is supposed to be a scaling matrix with regard to the specific issue and \(\varTheta _{i,k-d}\) is an unknown matrix that symbols the linearization error with \(\varTheta _{i,k-d}\varTheta _{i,k-d}^{T}\leq I\).

Along the same lines, the following equation can be obtained:

$$ h_{j}(x_{k+1}) = h_{j}( \hat{x}_{j,k+1|k}) +F_{j,k+1}e_{j,k+1|k}+o\bigl( \vert e_{j,k+1|k} \vert \bigr), $$
(13)

where \(F_{j,k+1}=\frac{\partial h_{j}(x_{k+1})}{\partial x_{k+1}}|_{x_{k+1}= \hat{x}_{j,k+1|k}}\), \(o(|e_{j,k+1|k}|)=C_{j,k+1}\varOmega _{j,k+1}e_{j,k+1|k}\), and \(\varOmega _{j,k+1}\varOmega _{j,k+1}^{T}\leq I\).

From Lemma 1, (1), (9), and (11)–(12), we have

$$ e_{i,k+1|k}=\varPi _{i,k}A_{k}e_{i,k|k}+\varPi _{i,k}(E_{i,k-d}+B_{i,k-d } \varTheta _{i,k-d})e_{i,k-d|k-d}+B_{k}\omega _{k}, $$
(14)

where \(\varPi _{i,k}=\operatorname{diag}\{\epsilon _{i,k}^{(1)}, \epsilon _{i,k}^{(2)}, \ldots , \epsilon _{i,k}^{(n)}\}\), \(\epsilon _{i,k}^{(\varsigma )}\in [0,1]\) (\(\varsigma =1, 2, \ldots , n\)).

Together with (1), (10), and (13), we have

$$ \begin{aligned}[b] e_{i,k+1|k+1} &=e_{i,k+1|k} - \sum _{j\in \mathcal{N}_{i}}\alpha _{ij}G_{ij,k+1}\bigl\{ ( \gamma _{j,k+1}- \bar{\gamma }_{j,k+1}-\Delta \gamma _{j,k+1})h_{j}(x_{k+1}) \\ &\quad {} +\bar{\gamma }_{j,k+1}(F_{j,k+1}+C_{j,k+1}\varOmega _{j,k+1})e_{j,k+1|k}+\bigl[(1- \gamma _{j,k+1})\lambda _{j,k+1} \\ &\quad {} -(1-\bar{\gamma }_{j,k+1}-\Delta \gamma _{j,k+1}) (\bar{ \lambda }_{j,k+1}+ \Delta \lambda _{j,k+1})\bigr]\xi _{j,k+1} \\ &\quad {} +(1-\bar{\gamma }_{j,k+1}-\Delta \gamma _{j,k+1}) (\bar{ \lambda }_{j,k+1}+ \Delta \lambda _{j,k+1})\xi _{j,k+1} \\ &\quad {} +\gamma _{j,k+1}\nu _{j,k+1}+\Delta \gamma _{j,k+1}h_{j}(x_{k+1}) \bigr\} . \end{aligned} $$
(15)

To facilitate subsequent derivations, we define

$$\begin{aligned}& e_{k|k}=\operatorname{col}_{N}\{e_{i,k|k}\},\qquad e_{k-d|k-d}=\operatorname{col}_{N}\{e_{i,k-d|k-d} \},\qquad \bar{ \varXi }=\max \{\bar{\xi }_{k}\}, \\& e_{k+1|k}=\operatorname{col}_{N}\{e_{i,k+1|k}\},\qquad \varLambda _{k}=\operatorname{diag}_{N} \{\lambda _{i,k}I\},\qquad \bar{A}_{k}=\operatorname{diag}_{N} \{A_{k}\}, \\& \bar{B}_{k}=\operatorname{col}_{N}\{B_{k} \},\qquad \bar{x}_{k}=\operatorname{col}_{N}\{x_{k} \}, \qquad T_{i}=\operatorname{diag}\{\alpha _{i1}I,\ldots ,\alpha _{iN}I\}, \\& Q_{k}=\operatorname{diag}_{N}\{Q_{i,k}\},\qquad E_{k-d}=\operatorname{diag}_{N}\{E_{i,k-d} \},\qquad \varTheta _{k-d}=\operatorname{diag}_{N}\{\varTheta _{i,k-d}\}, \\& B_{k-d}=\operatorname{diag}_{N}\{B_{i,k-d}\},\qquad F_{k+1}=\operatorname{diag}_{N}\{F_{i,k+1} \},\qquad \nu _{k}=\operatorname{col}_{N}\{\nu _{i,k}\}, \\& C_{k+1}=\operatorname{diag}_{N}\{C_{i,k+1}\},\qquad \varOmega _{k+1}=\operatorname{diag}_{N} \{\varOmega _{i,k+1}\},\qquad \varPi _{k}=\operatorname{diag}_{N}\{\varPi _{i,k}\}, \\& \varXi _{k}=\operatorname{col}_{N}\{\xi _{i,k} \},\qquad \varGamma _{k}=\operatorname{diag}_{N}\{ \gamma _{i,k}I\},\qquad \bar{h}(x_{k+1})=\operatorname{col}_{N} \bigl\{ h_{i}(x_{k+1})\bigr\} , \\& H_{i}=\operatorname{diag}\{\underbrace{0,\ldots ,0}_{i-1},I, \underbrace{0,\ldots ,0}_{N-i}\},\qquad G_{k}= [G_{ij,k}]_{N\times N}. \end{aligned}$$

Then, the one-step prediction error in (14) and filtering error in (15) in the compact form can be described by:

$$\begin{aligned}& e_{k+1|k} = \varPi _{k}\bar{A}_{k}e_{k|k}+ \varPi _{k}(E_{k-d}+B_{k-d} \varTheta _{k-d})e_{k-d|k-d}+\bar{B}_{k}\omega _{k}, \end{aligned}$$
(16)
$$\begin{aligned}& \begin{aligned}[b] e_{k+1|k+1} &= \Biggl[I-\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}(F_{k+1}+C_{k+1} \varOmega _{k+1}) \Biggr]e_{k+1|k} \\ &\quad {} -\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \tilde{\varGamma }_{k+1}\bar{h}(x_{k+1})- \sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \check{\varGamma }_{k+1}\bar{h}(x_{k+1}) \\ &\quad {} -\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \bigl[(I-\varGamma _{k+1})\varLambda _{k+1}-(I- \hat{\varGamma }_{k+1})\hat{\varLambda }_{k+1} \bigr]\varXi _{k+1} \\ &\quad {} - \sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \varGamma _{k+1}\nu _{k+1} - \sum_{i=1}^{N}H_{i}G_{k+1}T_{i}(I - \hat{\varGamma }_{k+1})\hat{\varLambda }_{k+1}\varXi _{k+1}, \end{aligned} \end{aligned}$$
(17)

where

$$\begin{aligned}& \tilde{\varGamma }_{k+1} = \varGamma _{k+1}-\hat{\varGamma }_{k+1}, \\& \begin{aligned} \hat{\varGamma }_{k+1} &= \operatorname{diag}\bigl\{ (\bar{\gamma }_{1,k+1}+\Delta \gamma _{1,k+1})I,(\bar{\gamma }_{2,k+1}+\Delta \gamma _{2,k+1} )I, \\ &\quad \ldots ,(\bar{\gamma }_{N,k+1}+\Delta \gamma _{N,k+1})I\bigr\} , \end{aligned} \\& \check{\varGamma }_{k+1} = \operatorname{diag}\{\Delta \gamma _{1,k+1}I,\Delta \gamma _{2,k+1}I,\ldots ,\Delta \gamma _{N,k+1}I\}, \\& \bar{\varGamma }_{k+1} = \operatorname{diag}\{\bar{\gamma }_{1,k+1}I,\bar{\gamma }_{2,k+1}I, \ldots ,\bar{\gamma }_{N,k+1}I\}, \\& \tilde{\varLambda }_{k+1} = \varLambda _{k+1}-\hat{\varLambda }_{k+1}, \\& \begin{aligned} \hat{\varLambda }_{k+1} &= \operatorname{diag}\bigl\{ (\bar{\lambda }_{1,k+1}+\Delta \lambda _{1,k+1})I,(\bar{\lambda }_{2,k+1}+\Delta \lambda _{2,k+1} )I, \\ &\quad \ldots ,(\bar{\lambda }_{N,k+1}+\Delta \lambda _{N,k+1})I \bigr\} , \end{aligned} \\& \check{\varLambda }_{k+1} = \operatorname{diag}\{\Delta \lambda _{1,k+1}I, \Delta \lambda _{2,k+1}I,\ldots ,\Delta \lambda _{N,k+1}I\}, \\& \bar{\varLambda }_{k+1} = \operatorname{diag}\{\bar{\lambda }_{1,k+1}I, \bar{\lambda }_{2,k+1}I,\ldots ,\bar{\lambda }_{N,k+1}I\}. \end{aligned}$$

Subsequently, we will give the concrete forms of \(P_{k+1|k}=\mathbb{E}\{e_{k+1|k}e^{T}_{k+1|k}\}\) and \(P_{k+1|k+1}=\mathbb{E}\{e_{k+1|k+1}e^{T}_{k+1|k+1}\}\), where the detailed calculation derivations are omitted for conciseness.

Lemma 4

The prediction error covariance matrix \(P_{k+1|k}\) can be shown to be

$$ P_{k+1|k} = \mathbb{E}\bigl\{ \varPi _{k}\bar{A}_{k}e_{k|k}e_{k|k}^{T} \bar{A}_{k}^{T} \varPi _{k}^{T} \bigr\} +\mathcal{A}_{k}+\bar{B}_{k}R_{k} \bar{B}_{k}^{T}+ \mathcal{ B}_{k}+ \mathcal{B}_{k}^{T}, $$
(18)

where

$$\begin{aligned}& \mathcal{A}_{k} = \mathbb{E}\bigl\{ \varPi _{k} (E_{k-d}+B_{k-d}\varTheta _{k-d})e_{k-d|k-d} e_{k-d|k-d}^{T}(E_{k-d}+B_{k-d}\varTheta _{k-d})^{T}\varPi _{k}^{T}\bigr\} , \\& \mathcal{ B}_{k} = \mathbb{E}\bigl\{ \varPi _{k} \bar{A}_{k}e_{k|k} e_{k-d|k-d}^{T}(E_{k-d}+B_{k-d} \varTheta _{k-d})^{T}\varPi _{k}^{T} \bigr\} . \end{aligned}$$

Lemma 5

The filtering error covariance matrix \(P_{k+1|k+1}\) obeys

$$\begin{aligned}& P_{k+1|k+1} \\& \quad = \mathbb{E} \Biggl\{ \Biggl[I-\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}(F_{k+1}+C_{k+1}\varOmega _{k+1}) \Biggr]e_{k+1|k} e_{k+1|k}^{T} \\& \qquad {} \times \Biggl[I-\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}(F_{k+1} +C_{k+1}\varOmega _{k+1}) \Biggr]^{T} \Biggr\} \\& \qquad {} +\mathbb{E} \Biggl\{ \Biggl( \sum_{i=1}^{N}H_{i} G_{k+1}T_{i}\tilde{\varGamma }_{k+1} \Biggr)\bar{h}(x_{k+1}) \bar{h}^{T}(x_{k+1}) \Biggl( \sum_{i=1}^{N} H_{i}G_{k+1}T_{i}\tilde{\varGamma }_{k+1} \Biggr)^{T} \Biggr\} \\& \qquad {} +\mathbb{E} \Biggl\{ \Biggl( \sum_{i=1}^{N} H_{i} G_{k+1}T_{i}\check{\varGamma }_{k+1} \Biggr)\bar{h}(x_{k+1})\bar{h}^{T}(x_{k+1}) \Biggl( \sum_{i=1}^{N}H_{i}G_{k+1}T_{i}\check{\varGamma }_{k+1} \Biggr)^{T} \Biggr\} \\& \qquad {} + \mathbb{E} \Biggl\{ \Biggl( \sum_{i=1}^{N}H_{i}G_{k+1} T_{i} \bigl[(I-\varGamma _{k+1})\varLambda _{k+1}-(I- \hat{\varGamma }_{k+1})\hat{\varLambda }_{k+1} \bigr] \Biggr) \\& \qquad {} \times \varXi _{k+1}\varXi _{k+1}^{T} \Biggl( \sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \bigl[(I-\varGamma _{k+1})\varLambda _{k+1} -(I- \hat{\varGamma }_{k+1})\hat{\varLambda }_{k+1} \bigr] \Biggr)^{T} \Biggr\} \\& \qquad {} +\mathbb{E} \Biggl\{ \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \varGamma _{k+1} \Biggr)\nu _{k+1}\nu _{k+1}^{T} \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i}\varGamma _{k+1} \Biggr)^{T} \Biggr\} \\& \qquad {} +\mathbb{E} \Biggl\{ \Biggl[ \sum_{i=1}^{N}H_{i}G_{k+1}T_{i}(I- \hat{\varGamma }_{k+1})\hat{\varLambda }_{k+1} \Biggr]\varXi _{k+1}\varXi _{k+1}^{T} \\& \qquad {} \times \Biggl[\sum_{i=1}^{N}H_{i}G_{k+1}T_{i}(I- \hat{\varGamma }_{k+1}) \hat{\varLambda }_{k+1} \Biggr]^{T} \Biggr\} -\mathcal{C}_{k+1} - \mathcal{C}_{k+1}^{T} \\& \qquad {} - \mathcal{D}_{k+1} - \mathcal{D}_{k+1}^{T} + \mathcal{E}_{k+1} + \mathcal{E}_{k+1}^{T}, \end{aligned}$$
(19)

where

$$\begin{aligned}& \begin{aligned} \mathcal{C}_{k+1} &= \mathbb{E} \Biggl\{ \Biggl[I-\sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}(F_{k+1}+C_{k+1}\varOmega _{k+1}) \Biggr]e_{k+1|k} \bar{h}^{T}(x_{k+1}) \\ &\quad {}\times \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \check{\varGamma }_{k+1} \Biggr)^{T} \Biggr\} , \end{aligned} \\& \begin{aligned} \mathcal{D}_{k+1} &= \mathbb{E} \Biggl\{ \Biggl[I-\sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}(F_{k+1}+C_{k+1}\varOmega _{k+1}) \Biggr]e_{k+1|k} \varXi _{k+1}^{T} \\ &\quad {}\times \Biggl[\sum_{i=1}^{N}H_{i}G_{k+1}T_{i}(I- \hat{\varGamma }_{k+1}) \hat{\varLambda }_{k+1} \Biggr]^{T} \Biggr\} , \end{aligned} \\& \mathcal{E}_{k+1}= \mathbb{E} \Biggl\{ \sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \check{\varGamma }_{k+1}\bar{h}(x_{k+1})\varXi _{k+1}^{T} \Biggl[\sum_{i=1}^{N}H_{i}G_{k+1}T_{i}(I- \hat{\varGamma }_{k+1})\hat{\varLambda }_{k+1} \Biggr]^{T} \Biggr\} . \end{aligned}$$

Note that the uncertain terms exist in (18)–(19), and hence it is impossible to get their precise values. In the sequel, an alternative method is utilized, where a recursive method will be given to obtain the optimized upper bound matrix by designing a suitable filter gain.

Theorem 1

For the given system (1), (2), and (6), let \(\varepsilon _{1}>0\), \(\varepsilon _{2}>0\), and \(\theta _{\kappa }>0\) (\(\kappa =1,2,\ldots , 5\)) be given. If there exist \(\varSigma _{k+1|k}>0\)and \(\varSigma _{k+1|k+1}>0\)satisfying initial condition \(\varSigma _{0|0}=P_{0|0}>0\)and meeting the following MDEs:

$$ \varSigma _{k+1|k} = \min \{U_{k},4N\hbar \}I+ \bar{B}_{k}R_{k} \bar{B}_{k}^{T} $$
(20)

and

$$\begin{aligned} \varSigma _{k+1|k+1} =& (1+\theta _{3}+\theta _{4}) \Biggl[ \Biggl(I-\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}F_{k+1} \Biggr) \bigl(\varSigma _{k+1|k}^{-1}-\varepsilon _{2}I \bigr)^{-1} \\ &{} \times \Biggl(I-\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}F_{k+1} \Biggr)^{T} + \varepsilon _{2}^{-1} \Biggl(\sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)\bar{\varGamma }_{k+1}C_{k+1} \\ &{} \times C_{k+1}^{T}\bar{\varGamma }_{k+1}^{T} \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)^{T} \Biggr] + \Biggl(\sum_{i=1}^{N} H_{i}G_{k+1}T_{i} \Biggr) (\breve{\varGamma }_{k+1} \circ V_{k+1}) \\ &{} \times \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)^{T} +\bigl(1+\theta _{3}^{-1}+\theta _{5}\bigr)\boldsymbol{\rho }^{2}\operatorname{tr} \{V_{k+1}\} \Biggl(\sum_{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr) \\ &{} \times \Biggl(\sum_{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr)^{T}+ \Biggl(\sum _{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr) \bigl\{ \bigl[(I- \underline{P}_{k+1})\overline{Q}_{k+1}\bigr] \bigl\{ I \\ &{} -\bigl[(I-\overline{P}_{k+1})\underline{Q}_{k+1} \bigr]^{T} \bigr\} \circ \bar{\varXi }I \bigr\} \Biggl(\sum _{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr)^{T} + \Biggl(\sum_{i=1}^{N}H_{i} G_{k+1} T_{i} \Biggr) \\ &{} \times (\overline{P}_{k+1}\circ Q_{k+1}) \Biggl(\sum_{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr)^{T} + \bigl(1+\theta _{4}^{-1}+\theta _{5}^{-1}\bigr)\operatorname{tr}\bigl\{ (I-\underline{P}_{k+1}) \\ &{} \times \overline{Q}_{k+1}\bar{\varXi } \overline{Q}_{k+1}^{T}(I- \underline{P}_{k+1})^{T} \bigr\} \Biggl(\sum_{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr) \Biggl(\sum _{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr)^{T} \end{aligned}$$
(21)

subject to two inequality conditions

$$ \begin{aligned} &\varepsilon _{1}^{-1}I-\varSigma _{k-d|k-d} > 0, \\ &\varepsilon _{2}^{-1}I-\varSigma _{k+1|k} > 0, \end{aligned} $$
(22)

where

$$\begin{aligned}& \begin{aligned} U_{k} &= \bigl(1+\theta _{1}^{-1}\bigr)\operatorname{tr} \bigl\{ E_{k-d}\bigl(\varSigma _{k-d|k-d}^{-1}- \varepsilon _{1}I\bigr)^{-1}E_{k-d}^{T}+ \varepsilon _{1}^{-1}B_{k-d}B_{k-d}^{T} \bigr\} \\ &\quad {}+(1+\theta _{1})\operatorname{tr}\bigl\{ \bar{A}_{k} \varSigma _{k|k} \bar{A}_{k}^{T}\bigr\} ,\qquad \hbar = \sum_{i=1}^{n}s_{i,{\max }}^{2}, \end{aligned} \\& V_{k+1}=2\bigl(\delta _{1}^{2}\operatorname{tr}\{\varPhi _{k+1|k}\}+\delta _{2}^{2} \bigr)I,\qquad \boldsymbol{\rho }=\max \{\rho _{i,k+1}\},\qquad \tilde{\rho }=\max \{\bar{ \rho }_{i,k+1} \}, \\& \bar{I}=\operatorname{col}_{N}\{I\},\qquad \varPhi _{k+1|k}=(1+\theta _{2})\varSigma _{k+1|k}+\bigl(1+ \theta _{2}^{-1} \bigr)\hat{x}_{k+1|k}\hat{x}_{k+1|k}^{T}, \\& \begin{aligned} \breve{\varGamma }_{k+1}&=\operatorname{diag}\bigl\{ (\bar{\gamma }_{1,k+1}+\boldsymbol{\rho }) (1- \bar{\gamma }_{1,k+1}+\boldsymbol{\rho })I, \ldots , (\bar{\gamma }_{N,k+1}+ \boldsymbol{\rho }) \\ &\quad {}\times (1-\bar{\gamma }_{N,k+1}+\boldsymbol{\rho })I \bigr\} ,\qquad \underline{Q}_{k+1}=\bar{\varLambda }_{k+1}-\tilde{\rho } I, \end{aligned} \\& \overline{P}_{k+1}=\bar{\varGamma }_{k+1}+\boldsymbol{\rho } I,\qquad \underline{P}_{k+1}= \bar{\varGamma }_{k+1}-\boldsymbol{\rho } I,\qquad \overline{Q}_{k+1}=\bar{\varLambda }_{k+1}+ \tilde{\rho } I, \end{aligned}$$
(23)

then, one can find an upper bound matrix, i.e.,

$$ P_{k+1|k+1} \leq \varSigma _{k+1|k+1}. $$
(24)

Proof

Based on the property of trace and Lemma 3, the first two terms of (18) can be expressed as

$$ \mathbb{E}\bigl\{ \varPi _{k}\bar{A}_{k}e_{k|k}e_{k|k}^{T} \bar{A}_{k}^{T}\varPi _{k}^{T} \bigr\} \leq \mathbb{E}\bigl\{ \Vert \bar{A}_{k}e_{k|k} \Vert ^{2}\bigr\} I= \operatorname{tr}\bigl\{ \bar{A}_{k}P_{k|k} \bar{A}_{k}^{T}\bigr\} I $$
(25)

and

$$\begin{aligned} \mathcal{A}_{k} \leq & \mathbb{E}\bigl\{ \bigl\Vert (E_{k-d}+B_{k-d}\varTheta _{k-d})e_{k-d|k-d} \bigr\Vert ^{2}\bigr\} I \\ \leq & \operatorname{tr}\bigl\{ E_{k-d}\bigl(P_{k-d|k-d}^{-1}- \varepsilon _{1}I\bigr)^{-1}E_{k-d}^{T}+ \varepsilon _{1}^{-1}B_{k-d}B_{k-d}^{T} \bigr\} I, \end{aligned}$$
(26)

where \(\varepsilon _{1}\) is a positive scalar. By means of an elementary inequality, the cross-term \(\mathcal{B}_{k}+\mathcal{B}_{k}^{T}\) in (18) can be handled as

$$ \mathcal{B}_{k}+\mathcal{B}_{k}^{T} \leq \theta _{1}\mathbb{E}\bigl\{ \varPi _{k} \bar{A}_{k}e_{k|k}e_{k|k}^{T} \bar{A}_{k}^{T}\varPi _{k}^{T}\bigr\} +\theta _{1}^{-1} \mathcal{A}_{k}, $$
(27)

with \(\theta _{1}\) being a positive constant. Furthermore, from the perspective of saturation level, the following relationship can be established:

$$\begin{aligned} P_{k+1|k} =&\mathbb{E}\left \{ \begin{bmatrix} \mu (A_{k}x_{k}+f(x_{k-d}))-\mu (A_{k}\hat{x}_{1,k|k}+f(\hat{x}_{1,k-d|k-d})) \\ \mu (A_{k}x_{k}+f(x_{k-d}))-\mu (A_{k}\hat{x}_{2,k|k}+f(\hat{x}_{2,k-d|k-d})) \\ \vdots \\ \mu (A_{k}x_{k}+f(x_{k-d}))-\mu (A_{k}\hat{x}_{N,k|k}+f(\hat{x}_{N,k-d|k-d})) \end{bmatrix} \right . \\ &{} \times \left . \begin{bmatrix} \mu (A_{k}x_{k}+f(x_{k-d}))-\mu (A_{k}\hat{x}_{1,k|k}+f(\hat{x}_{1,k-d|k-d})) \\ \mu (A_{k}x_{k}+f(x_{k-d}))-\mu (A_{k}\hat{x}_{2,k|k}+f(\hat{x}_{2,k-d|k-d})) \\ \vdots \\ \mu (A_{k}x_{k}+f(x_{k-d}))-\mu (A_{k}\hat{x}_{N,k|k}+f(\hat{x}_{N,k-d|k-d})) \end{bmatrix}^{T}\right \} \\ &{}+\bar{B}_{k}R_{k}\bar{B}^{T}_{k} \\ \leq & 4N\hbar I+ \bar{B}_{k}R_{k} \bar{B}^{T}_{k}. \end{aligned}$$
(28)

Substituting (25)–(28) into (18), one has

$$ P_{k+1|k} \leq \min\{W_{k},4N\hbar \}I+ \bar{B}_{k}R_{k} \bar{B}^{T}_{k}, $$
(29)

with \(W_{k}=(1+\theta _{1})\operatorname{tr}\{\bar{A}_{k}P_{k|k}\bar{A}_{k}^{T}\}+(1+ \theta _{1}^{-1})\operatorname{tr}\{E_{k-d}(P_{k-d|k-d}^{-1}-\varepsilon _{1}I)^{-1}E_{k-d}^{T}+ \varepsilon _{1}^{-1}B_{k-d}B_{k-d}^{T}\}\).

In the sequel, we are ready to discuss the covariance matrix \(P_{k+1|k+1}\) and look for an upper bound. By virtue of Lemma 3, the first term of (19) can be bounded as

$$\begin{aligned}& \mathbb{E} \Biggl\{ \Biggl[I - \sum_{i=1}^{N} H_{i}G_{k+1}T_{i}\bar{\varGamma }_{k+1}(F_{k+1} + C_{k+1}\varOmega _{k+1}) \Biggr]e_{k+1|k} e_{k+1|k}^{T} \\& \qquad {} \times \Biggl[I - \sum_{i=1}^{N} H_{i}G_{k+1}T_{i}\bar{\varGamma }_{k+1}(F_{k+1} + C_{k+1}\varOmega _{k+1}) \Biggr]^{T} \Biggr\} \\& \quad \leq \Biggl[ \Biggl(I - \sum_{i=1}^{N} H_{i}G_{k+1}T_{i}\bar{\varGamma }_{k+1}F_{k+1} \Biggr) \bigl(P_{k+1|k}^{-1} - \varepsilon _{2}I\bigr)^{-1} \Biggl(I - \sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}F_{k+1} \Biggr)^{T} \Biggr] \\& \qquad {} +\varepsilon _{2}^{-1} \Biggl(\sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1} \Biggr)C_{k+1}C_{k+1}^{T} \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1} \Biggr)^{T}, \end{aligned}$$
(30)

with \(\varepsilon _{2}\) being a positive constant. Next, according to Lemma 2, we obtain

$$\begin{aligned}& \mathbb{E} \Biggl\{ \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr) \tilde{\varGamma }_{k+1}\bar{h}(x_{k+1}) \bar{h}^{T}(x_{k+1}) \tilde{\varGamma }_{k+1}^{T} \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)^{T} \Biggr\} \\& \quad = \Biggl( \sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr) \bigl(\boldsymbol{\Gamma }_{k+1}\circ \mathbb{E} \bigl\{ \bar{h}(x_{k+1})\bar{h}^{T}(x_{k+1}) \bigr\} \bigr) \Biggl( \sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)^{T}, \end{aligned}$$
(31)

where

$$\begin{aligned} \boldsymbol{\Gamma }_{k+1} =& \operatorname{diag} \bigl\{ (\bar{\gamma }_{1,k+1}+\Delta \gamma _{1,k+1})\bigl[1-(\bar{\gamma }_{1,k+1}+\Delta \gamma _{1,k+1})\bigr]I, \\ & (\bar{\gamma }_{2,k+1}+\Delta \gamma _{2,k+1}) \bigl[1-(\bar{\gamma }_{2,k+1}+ \Delta \gamma _{2,k+1})\bigr]I, \\ & \ldots ,(\bar{\gamma }_{N,k+1}+\Delta \gamma _{N,k+1})\bigl[1-(\bar{\gamma }_{N,k+1}+ \Delta \gamma _{N,k+1})\bigr]I \bigr\} . \end{aligned}$$

Due to \(|\Delta \gamma _{i,k}|\leq \rho _{i,k}\), we have

$$\begin{aligned} \boldsymbol{\Gamma }_{k+1} \leq &\operatorname{diag} \bigl\{ (\bar{\gamma }_{1,k+1}+\rho _{1,k+1}) (1- \bar{\gamma }_{1,k+1}+ \rho _{1,k+1})I, \\ & \ldots ,(\bar{\gamma }_{N,k+1}+\rho _{N,k+1}) (1- \bar{\gamma }_{N,k+1}+ \rho _{N,k+1})I \bigr\} \\ \leq &\breve{\varGamma }_{k+1}, \end{aligned}$$
(32)

where \(\breve{\varGamma }_{k+1}\) is given in (23). Additionally, it can be obtained from (3) that

$$\begin{aligned} \mathbb{E}\bigl\{ \bar{h}(x_{k+1})\bar{h}^{T}(x_{k+1}) \bigr\} \leq & \mathbb{E}\bigl\{ \bigl(\delta _{1} \Vert \bar{x}_{k+1} \Vert +\delta _{2}\bigr)^{2} \bigr\} I \\ \leq &\bigl(2\delta _{1}^{2}\mathbb{E}\bigl\{ \Vert \bar{x}_{k+1} \Vert ^{2}\bigr\} +2\delta _{2}^{2}\bigr)I \\ =&2\bigl(\delta _{1}^{2}\operatorname{tr}\bigl\{ \mathbb{E} \bigl\{ \bar{x}_{k+1}\bar{x}_{k+1}^{T} \bigr\} \bigr\} +\delta _{2}^{2}\bigr)I. \end{aligned}$$
(33)

Using an elementary inequality, we have

$$ \mathbb{E}\bigl\{ \bar{x}_{k+1}\bar{x}_{k+1}^{T} \bigr\} \leq \varPsi _{k+1|k} $$
(34)

with \(\varPsi _{k+1|k}=(1+\theta _{2})P_{k+1|k}+(1+\theta _{2}^{-1})\hat{x}_{k+1|k} \hat{x}_{k+1|k}^{T}\) and \(\theta _{2}\) being a positive constant. Besides, we have

$$ \mathbb{E}\bigl\{ \tilde{\varGamma }_{k+1}\bar{h}(x_{k+1}) \bar{h}^{T}(x_{k+1}) \tilde{\varGamma }_{k+1}^{T} \bigr\} \leq \breve{\varGamma }_{k+1}\circ J_{k+1}, $$
(35)

where \(J_{k+1}= 2(\delta _{1}^{2}\operatorname{tr}\{\varPsi _{k+1|k}\}+\delta _{2}^{2})I\). Thus, we have

$$\begin{aligned} \mathbb{E}\bigl\{ \check{\varGamma }_{k+1}\bar{h}(x_{k+1}) \bar{h}^{T}(x_{k+1}) \check{\varGamma }_{k+1}^{T} \bigr\} \leq &\mathbb{E}\bigl\{ \bigl\Vert \check{\varGamma }_{k+1} \bar{h}(x_{k+1}) \bigr\Vert ^{2}\bigr\} I \\ \leq &\operatorname{tr}\bigl\{ \check{\varGamma }_{k+1}J_{k+1} \check{\varGamma }_{k+1}^{T} \bigr\} I \\ \leq &\boldsymbol{\rho }^{2}\operatorname{tr}\{J_{k+1}\}I. \end{aligned}$$
(36)

From \(\xi _{i,k+1}^{T}\xi _{i,k+1}\leq \bar{\xi }_{k+1}\), we get

$$ \varXi _{k+1} \varXi _{k+1}^{T} \leq \Vert \varXi _{k+1} \Vert ^{2}I=\varXi _{k+1}^{T} \varXi _{k+1}I \leq \bar{\varXi }I. $$
(37)

Subsequently, one has

$$ \mathbb{E}\bigl\{ \varXi _{k+1} \varXi _{k+1}^{T} \bigr\} \leq \bar{\varXi }I. $$
(38)

Therefore, the fourth term of (19) is estimated as follows:

$$\begin{aligned}& \mathbb{E} \Biggl\{ \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)\bigl[(I- \varGamma _{k+1})\varLambda _{k+1}-(I-\hat{ \varGamma }_{k+1})\hat{\varLambda }_{k+1}\bigr] \varXi _{k+1} \\& \qquad {} \times \varXi _{k+1}^{T}\bigl[(I-\varGamma _{k+1}) \varLambda _{k+1}-(I- \hat{\varGamma }_{k+1})\hat{\varLambda }_{k+1}\bigr]^{T} \Biggl(\sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)^{T} \Biggr\} \\& \quad \leq \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr) \bigl\{ \bigl[(I- \hat{\varGamma }_{k+1})\hat{\varLambda }_{k+1}\bigr]\bigl\{ I-\bigl[(I-\hat{\varGamma }_{k+1}) \hat{ \varLambda }_{k+1}\bigr]\bigr\} \circ \bar{\varXi }I \bigr\} \\& \qquad {} \times \Biggl( \sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)^{T} \\& \quad \leq \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr) \bigl\{ (I- \underline{P}_{k+1})\overline{Q}_{k+1} \bigl[I-(I-\overline{P}_{k+1}) \underline{Q}_{k+1}\bigr] \circ \bar{\varXi }I \bigr\} \\& \qquad {} \times \Biggl( \sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)^{T}. \end{aligned}$$
(39)

Moreover, we get

$$ \mathbb{E}\bigl\{ \varGamma _{k+1}\nu _{k+1}\nu _{k+1}^{T}\varGamma _{k+1}^{T}\bigr\} \leq \hat{\varGamma }_{k+1}\circ Q_{k+1}\leq \overline{P}_{k+1}\circ Q_{k+1}. $$
(40)

The last quadratic term of (19) can be readily calculated as

$$\begin{aligned}& \mathbb{E} \Biggl\{ \Biggl[\sum_{i=1}^{N}H_{i}G_{k+1}T_{i}(I- \hat{\varGamma }_{k+1})\hat{\varLambda }_{k+1} \Biggr]\varXi _{k+1}\varXi _{k+1}^{T} \\& \qquad {} \times \Biggl[\sum_{i=1}^{N}H_{i}G_{k+1}T_{i}(I- \hat{\varGamma }_{k+1}) \hat{\varLambda }_{k+1} \Biggr]^{T} \Biggr\} \\& \quad \leq \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)\mathbb{E} \bigl\{ \bigl\Vert (I- \hat{\varGamma }_{k+1})\hat{ \varLambda }_{k+1}\varXi _{k+1} \bigr\Vert ^{2} \bigr\} \Biggl( \sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)^{T} \\& \quad \leq \operatorname{tr} \bigl\{ (I-\underline{P}_{k+1}) \overline{Q}_{k+1} \bar{\varXi }\overline{Q}_{k+1}^{T}(I- \underline{P}_{k+1})^{T} \bigr\} \\& \qquad {} \times \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr) \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)^{T}. \end{aligned}$$
(41)

The relevant cross-terms in (19) are computed as follows:

$$\begin{aligned}& -\mathcal{C}_{k+1}-\mathcal{C}_{k+1}^{T} \leq \theta _{3} \mathbb{E} \Biggl\{ \Biggl[I-\sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}(F_{k+1}+C_{k+1} \varOmega _{k+1}) \Biggr]e_{k+1|k} \\& \hphantom{-\mathcal{C}_{k+1}-\mathcal{C}_{k+1}^{T} \leq{}}{} \times e_{k+1|k}^{T} \Biggl[I-\sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}(F_{k+1}C_{k+1}\varOmega _{k+1}) \Biggr]^{T} \Biggr\} \\& \hphantom{-\mathcal{C}_{k+1}-\mathcal{C}_{k+1}^{T} \leq{}}{} +\theta _{3}^{-1}\mathbb{E} \Biggl\{ \Biggl(\sum _{i=1}^{N}H_{i} G_{k+1}T_{i} \check{\varGamma }_{k+1} \Biggr) \bar{h}(x_{k+1})\bar{h}^{T}(x_{k+1}) \\& \hphantom{-\mathcal{C}_{k+1}-\mathcal{C}_{k+1}^{T} \leq{}}{} \times \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \check{\varGamma }_{k+1} \Biggr)^{T} \Biggr\} , \\& -\mathcal{D}_{k+1}-\mathcal{D}_{k+1}^{T} \leq \theta _{4} \mathbb{E} \Biggl\{ \Biggl[I-\sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}(F_{k+1}+C_{k+1} \varOmega _{k+1}) \Biggr]e_{k+1|k} \\& \hphantom{-\mathcal{D}_{k+1}-\mathcal{D}_{k+1}^{T} \leq{}}{} \times e_{k+1|k}^{T} \Biggl[I-\sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}(F_{k+1}+C_{k+1}\varOmega _{k+1}) \Biggr]^{T} \Biggr\} \\& \hphantom{-\mathcal{D}_{k+1}-\mathcal{D}_{k+1}^{T} \leq{}}{} +\theta _{4}^{-1}\mathbb{E} \Biggl\{ \Biggl[\sum _{i=1}^{N}H_{i}G_{k+1}T_{i}(I- \hat{\varGamma }_{k+1})\hat{\varLambda }_{k+1} \Biggr]\varXi _{k+1}\varXi _{k+1}^{T} \\& \hphantom{-\mathcal{D}_{k+1}-\mathcal{D}_{k+1}^{T} \leq{}}{} \times \Biggl[\sum_{i=1}^{N}H_{i}G_{k+1}T_{i}(I- \hat{\varGamma }_{k+1}) \hat{\varLambda }_{k+1} \Biggr]^{T} \Biggr\} , \\& \mathcal{E}_{k+1}+\mathcal{E}_{k+1}^{T} \leq \theta _{5}\mathbb{E} \Biggl\{ \Biggl(\sum _{i=1}^{N}H_{i} G_{k+1}T_{i} \check{\varGamma }_{k+1} \Biggr)\bar{h}(x_{k+1}) \\& \hphantom{\mathcal{E}_{k+1}+\mathcal{E}_{k+1}^{T} \leq{}}{} \times \bar{h}^{T}(x_{k+1}) \Biggl(\sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \check{\varGamma }_{k+1} \Biggr)^{T} \Biggr\} \\& \hphantom{\mathcal{E}_{k+1}+\mathcal{E}_{k+1}^{T} \leq{}}{} +\theta _{5}^{-1}\mathbb{E} \Biggl\{ \Biggl[\sum _{i=1}^{N}H_{i} G_{k+1}T_{i}(I- \hat{\varGamma }_{k+1})\hat{ \varLambda }_{k+1} \Biggr]\varXi _{k+1} \\& \hphantom{\mathcal{E}_{k+1}+\mathcal{E}_{k+1}^{T} \leq{}}{} \times \varXi _{k+1}^{T} \Biggl[\sum _{i=1}^{N}H_{i}G_{k+1}T_{i}(I- \hat{\varGamma }_{k+1})\hat{\varLambda }_{k+1} \Biggr]^{T} \Biggr\} , \end{aligned}$$
(42)

where \(\theta _{3}\), \(\theta _{4}\) and \(\theta _{5}\) are positive scalars. Consequently, we arrive at

$$\begin{aligned}& P_{k+1|k+1} \\& \quad \leq (1+\theta _{3}+\theta _{4}) \Biggl[ \Biggl(I- \sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}F_{k+1} \Biggr) \bigl(P_{k+1|k}^{-1}- \varepsilon _{2}I\bigr)^{-1} \\& \qquad {} \times \Biggl(I-\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}F_{k+1} \Biggr)^{T} + \varepsilon _{2}^{-1} \Biggl(\sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr) \bar{\varGamma }_{k+1}C_{k+1} \\& \qquad {} \times C_{k+1}^{T}\bar{\varGamma }_{k+1}^{T} \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)^{T} \Biggr] + \Biggl(\sum_{i=1}^{N} H_{i}G_{k+1}T_{i} \Biggr) (\breve{\varGamma }_{k+1} \circ J_{k+1}) \\& \qquad {}\times \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)^{T} +\bigl(1+\theta _{3}^{-1}+\theta _{5}\bigr)\boldsymbol{\rho }^{2}\operatorname{tr} \{J_{k+1}\} \Biggl(\sum_{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr) \\& \qquad {} \times \Biggl(\sum_{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr)^{T} + \Biggl(\sum _{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr) \bigl\{ \bigl[(I- \underline{P}_{k+1})\overline{Q}_{k+1}\bigr] \bigl\{ I \\& \qquad {} -\bigl[(I-\overline{P}_{k+1})\underline{Q}_{k+1} \bigr]^{T} \bigr\} \circ \bar{\varXi }I \bigr\} \Biggl(\sum _{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr)^{T}+ \Biggl(\sum_{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr) \\& \qquad {} \times (\overline{P}_{k+1}\circ Q_{k+1}) \Biggl(\sum_{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr)^{T}+\bigl(1+\theta _{4}^{-1}+\theta _{5}^{-1}\bigr) \operatorname{tr}\bigl\{ (I- \underline{P}_{k+1}) \\& \qquad {}\times \overline{Q}_{k+1}\bar{\varXi }\overline{Q}_{k+1}^{T}(I- \underline{P}_{k+1})^{T}\bigr\} \Biggl(\sum _{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr) \Biggl(\sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \Biggr)^{T}. \end{aligned}$$
(43)

From (20), (23), and (29), we know \(P_{k+1|k}\leq \varSigma _{k+1|k}\). Thus, one has

$$ \bigl(P_{k+1|k}^{-1}-\varepsilon _{2}I \bigr)^{-1}\leq \bigl(\varSigma _{k+1|k}^{-1}- \varepsilon _{2}I\bigr)^{-1}. $$
(44)

Next, in terms of (43), (44), and by utilizing the mathematical induction method, we have \(P_{k+1|k+1}\leq \varSigma _{k+1|k+1}\), which ends the proof of Theorem 1. □

Remark 3

In Theorem 1, the upper bound has been constructed based on the given \(G_{k+1}\). Subsequently, we aim to choose a suitable filter parameter \(G_{k+1}\) in order to optimize such an upper bound. However, it should be noted that the sensors only transmit information with their neighbors, which causes the matrix \(T_{i}\) to be noninvertible. Hence, it induces some difficulties for the later filtering developments. Here, an MST is adopted to cope with this problem.

To proceed, some notations are introduced, which are necessary to the subsequent derivations:

$$ \begin{aligned} &\mathcal{O}_{k+1} = (1+\theta _{3}+\theta _{4}) \bigl(\varSigma _{k+1|k}^{-1}- \varepsilon _{2}I\bigr)^{-1}F_{k+1}^{T} \bar{ \varGamma }_{k+1}^{T}=\bigl[ \mathcal{O}_{k+1}^{(i)} \bigr]_{N\times 1}, \\ &\bar{G}_{k+1}^{(i)} = \mathcal{O}_{k+1}^{(i)} \bar{L}_{i}\bigl(\bar{L}_{i}^{T} \mathcal{L}_{k+1}\bar{L}_{i}\bigr)^{-1} \bar{L}_{i}^{T},\qquad L_{i}=\operatorname{diag} \{ \sqrt{\alpha _{ij}}I\}, \\ &\begin{aligned} \mathcal{L}_{k+1}&= (1+\theta _{3}+\theta _{4})\bar{\varGamma }_{k+1}F_{k+1}\bigl( \varSigma _{k+1|k}^{-1}-\varepsilon _{2}I \bigr)^{-1}F_{k+1}^{T} \bar{\varGamma }_{k+1}^{T} \\ &\quad{} + (1+\theta _{3}+\theta _{4})\varepsilon _{2}^{-1}\bar{\varGamma }_{k+1}C_{k+1}C_{k+1}^{T} \bar{\varGamma }_{k+1}^{T} +\overline{P}_{k+1} \circ Q_{k+1} \\ &\quad{} +\breve{\varGamma }_{k+1}\circ V_{k+1}+\bigl(1+ \theta _{3}^{-1}+\theta _{5}\bigr) \boldsymbol{\rho }^{2}\operatorname{tr}\{V_{k+1}\}I \\ &\quad{} +\bigl[(I-\underline{P}_{k+1})\overline{Q}_{k+1} \bigr]\bigl\{ I-\bigl[(I-\overline{P}_{k+1}) \underline{Q}_{k+1} \bigr]^{T}\bigr\} \circ \bar{\varXi }I \\ &\quad{} +\bigl(1+\theta _{4}^{-1}+\theta _{5}^{-1}\bigr)\operatorname{tr}\bigl\{ (I- \underline{P}_{k+1}) \overline{Q}_{k+1}\bar{\varXi } \overline{Q}_{k+1}^{T}(I-\underline{P}_{k+1})^{T} \bigr\} I, \end{aligned} \\ &G_{k+1}^{(i)}=[G_{ij,k+1}]_{1\times N},\qquad \bar{G}_{k+1}^{(i)}=[\bar{G}_{ij,k+1}]_{1\times N},\qquad G_{k+1}=\bigl[G_{k+1}^{(i)}\bigr]_{N\times 1}. \end{aligned} $$
(45)

In what follows, we aim to provide the design approach of filter parameter by using the MST and optimize the given upper bound accordingly.

Theorem 2

Consider the filter (9) and (10). Then \(\operatorname{tr}\{\varSigma _{k+1|k+1}\}\)is minimized by utilizing the following filter parameter:

$$ G_{ij,k+1} = \textstyle\begin{cases} \bar{G}_{ij,k+1}\alpha ^{-1}_{ij}&\textit{if } \alpha _{ij}\neq 0, \\ 0& \textit{otherwise}. \end{cases} $$
(46)

Proof

In light of (21) and the following equality

$$ \operatorname{tr}\bigl\{ H_{i}MH_{j}^{T}\bigr\} = \operatorname{tr}\bigl\{ H_{j}^{T}H_{i}M\bigr\} =0, $$
(47)

then we obtain

$$\begin{aligned}& \operatorname{tr}\{\varSigma _{k+1|k+1}\} \\& \quad = (1+\theta _{3}+\theta _{4})\operatorname{tr} \Biggl\{ \bigl(\varSigma _{k+1|k}^{-1}-\varepsilon _{2}I \bigr)^{-1} - \sum_{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}F_{k+1} \\& \qquad {} \times \bigl(\varSigma _{k+1|k}^{-1}-\varepsilon _{2}I\bigr)^{-1}-\bigl(\varSigma _{k+1|k}^{-1}- \varepsilon _{2}I\bigr)^{-1} \Biggl(\sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}F_{k+1} \Biggr)^{T} \\& \qquad {} + \sum_{i=1}^{N} (H_{i}G_{k+1}T_{i}\bar{\varGamma }_{k+1}F_{k+1} ) \bigl( \varSigma _{k+1|k}^{-1}- \varepsilon _{2}I \bigr)^{-1} (H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}F_{k+1} )^{T} \\& \qquad {} +\varepsilon _{2}^{-1}\sum _{i=1}^{N} (H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1} )C_{k+1}C_{k+1}^{T} ( H_{i}G_{k+1}T_{i}\bar{\varGamma }_{k+1} )^{T} \Biggr\} \\& \qquad {} +\operatorname{tr} \Biggl\{ \sum_{i=1}^{N} (H_{i}G_{k+1}T_{i} ) ( \breve{\varGamma }_{k+1} \circ V_{k+1}) (H_{i}G_{k+1}T_{i} )^{T} \Biggr\} +\bigl(1+\theta _{3}^{-1}+ \theta _{5}\bigr) \\& \qquad {} \times \operatorname{tr} \Biggl\{ \sum_{i=1}^{N} (H_{i} G_{k+1}T_{i} )\boldsymbol{\rho }^{2}\operatorname{tr}\{V_{k+1} \} (H_{i} G_{k+1}T_{i} )^{T} \Biggr\} + \operatorname{tr} \Biggl\{ \sum_{i=1}^{N} (H_{i}G_{k+1}T_{i} ) \\& \qquad {} \times \bigl\{ \bigl[(I-\underline{P}_{k+1}) \overline{Q}_{k+1}\bigr] \bigl[I-\bigl[(I- \overline{P}_{k+1}) \underline{Q}_{k+1}\bigr]^{T}\bigr]\circ \bar{\varXi }I \bigr\} (H_{i} G_{k+1}T_{i} )^{T} \Biggr\} \\& \qquad {} +\operatorname{tr} \Biggl\{ \sum_{i=1}^{N} (H_{i} G_{k+1}T_{i} ) ( \overline{P}_{k+1}\circ Q_{k+1}) (H_{i} G_{k+1}T_{i} )^{T} \Biggr\} +\bigl(1+\theta _{4}^{-1}+\theta _{5}^{-1}\bigr) \\& \qquad {} \times \operatorname{tr} \Biggl\{ \sum_{i=1}^{N} (H_{i} G_{k+1}T_{i} )\operatorname{tr} \bigl\{ (I-\underline{P}_{k+1})\overline{Q}_{k+1}\bar{\varXi } \overline{Q}_{k+1}^{T}(I- \underline{P}_{k+1})^{T} \bigr\} \\& \qquad {} \times (H_{i} G_{k+1}T_{i} )^{T} \Biggr\} . \end{aligned}$$
(48)

Subsequently, we aim to derive the expression form of the filter parameter \(G_{k+1}\). In particular, take the partial derivative of \(\operatorname{tr}\{\varSigma _{k+1|k+1}\}\) with respect to \(G_{k+1}\). By setting the result be zero, the following equation can be obtained:

$$\begin{aligned}& \frac{\partial \operatorname{tr}\{\varSigma _{k+1|k+1}\}}{\partial G_{k+1}} \\& \quad = -2(1+\theta _{3}+\theta _{4}) \sum _{i=1}^{N}H_{i}\bigl(\varSigma _{k+1|k}^{-1}-\varepsilon _{2}I \bigr)^{-1}F_{k+1}^{T} \bar{\varGamma }_{k+1}^{T} T_{i}^{T}+2(1+\theta _{3}+\theta _{4})\sum_{i=1}^{N}H_{i} \\& \qquad {} \times G_{k+1}T_{i}\bar{\varGamma }_{k+1} F_{k+1}\bigl(\varSigma _{k+1|k}^{-1}- \varepsilon _{2}I\bigr)^{-1}F_{k+1}^{T} \bar{\varGamma }_{k+1}^{T}T_{i}^{T}+2(1+ \theta _{3}+\theta _{4})\varepsilon _{2}^{-1} \\& \qquad {} \times \sum_{i=1}^{N}H_{i} G_{k+1}T_{i}\bar{\varGamma }_{k+1}C_{k+1}C_{k+1}^{T} \bar{\varGamma }_{k+1}^{T}T_{i}^{T}+2 \sum_{i=1}^{N}H_{i} G_{k+1}T_{i}( \breve{\varGamma }_{k+1}\circ V_{k+1})T_{i}^{T} \\& \qquad {} +2\bigl(1+\theta _{3}^{-1}+\theta _{5} \bigr)\boldsymbol{\rho }^{2} \sum_{i=1}^{N}H_{i} G_{k+1}T_{i}\operatorname{tr}\{V_{k+1} \}T_{i}^{T} + 2\sum_{i=1}^{N}H_{i} G_{k+1}T_{i} \bigl\{ \bigl[(I - \underline{P}_{k+1}) \\& \qquad {} \times \overline{Q}_{k+1}\bigr]\bigl\{ I - \bigl[(I - \overline{P}_{k+1})\underline{Q}_{k+1}\bigr]^{T} \bigr\} \circ \bar{\varXi }I \bigr\} T_{i}^{T}+2 \sum _{i=1}^{N}H_{i} G_{k+1}T_{i}( \overline{P}_{k+1} \circ Q_{k+1})T_{i}^{T} \\& \qquad {} +2\bigl(1+\theta _{4}^{-1}+\theta _{5}^{-1}\bigr) \sum_{i=1}^{N}H_{i} G_{k+1}T_{i}\operatorname{tr}\bigl\{ (I-\underline{P}_{k+1}) \overline{Q}_{k+1}\bar{\varXi }\overline{Q}_{k+1}^{T}(I- \underline{P}_{k+1})^{T} \bigr\} T_{i}^{T} \\& \quad = 2\sum_{i=1}^{N}H_{i} G_{k+1}T_{i}\mathcal{L}_{k+1}T_{i}^{T}-2 \sum_{i=1}^{N}H_{i} \mathcal{O}_{k+1}T_{i}^{T} \\& \quad = 0. \end{aligned}$$
(49)

On the basis of (49), we have

$$ G_{k+1}^{(i)}T_{i}\mathcal{L}_{k+1} T_{i}^{T} = \mathcal{O}_{k+1}^{(i)}T_{i}^{T}. $$
(50)

Noting \(T_{i} = \bar{L}_{i} \bar{L}_{i} ^{T}\), we arrive at

$$ G_{k+1}^{(i)} \bar{L}_{i} \bar{L}_{i} ^{T}\mathcal{L}_{k+1} \bar{L}_{i} \bar{L}_{i} ^{T} = \mathcal{O}_{k+1}^{(i)}\bar{L}_{i} \bar{L}_{i}^{T}. $$
(51)

We know that \(\bar{L}_{i} ^{T}\) has full row rank and \(\bar{L}_{i} ^{T}\mathcal{L}_{k+1}\bar{L}_{i}\) is invertible, thus it can be derived that

$$ G_{k+1}^{(i)} \bar{L}_{i} = \mathcal{O}_{k+1}^{(i)} \bar{L}_{i}\bigl( \bar{L}_{i} ^{T}\mathcal{L}_{k+1} \bar{L}_{i}\bigr) ^{-1}. $$
(52)

According to (45) and (52), one has

$$ \bar{G}_{k+1}^{(i)} = G_{k+1}^{(i)}T_{i}, $$
(53)

and then the filter parameter can be computed by:

$$ G_{ij,k+1} = \textstyle\begin{cases} \bar{G}_{ij,k+1}\alpha _{ij}^{-1},&{j\in \mathcal{N}_{i}}, \\ 0,&{j\notin \mathcal{N}_{i}}, \end{cases} $$
(54)

which ends the proof of Theorem 2. □

Error boundedness discussion

In the subsection, the boundedness analysis regarding the trace of the upper bound for filtering error covariance is conducted. Before further developments, the following assumption is essential to be introduced.

Assumption 1

For the matrices \(B_{k}\) and \(R_{k}\), there exist a scalar \(\vartheta >0\) and a positive semidefinite matrix \(R\in \mathbb{R}^{n_{\omega }\times n_{\omega }}\) such that \(\sigma _{\mathrm{max}}(B_{k})\leq \vartheta \) and \(R_{k}\leq R\) hold.

Theorem 3

For the SSNSs (1), (2), and (6) with (9)(10), it follows from Assumption 1that \(\operatorname{tr}\{\varSigma _{k+1|k+1}\}\)is bounded.

Proof

Based on (45) and (48), one gets

$$\begin{aligned}& \operatorname{tr}\{\varSigma _{k+1|k+1}\} \\& \quad = \operatorname{tr} \Biggl\{ \sum_{i=1}^{N}(H_{i} G_{k+1}T_{i})\mathcal{L}_{k+1}(H_{i} G_{k+1}T_{i})^{T} \Biggr\} -(1+\theta _{3}+\theta _{4})\operatorname{tr} \Biggl\{ \sum _{i=1}^{N}H_{i} G_{k+1}T_{i} \\& \qquad {} \times \bar{\varGamma }_{k+1}F_{k+1}\bigl(\varSigma _{k+1|k}^{-1}-\varepsilon _{2}I \bigr)^{-1}+\bigl( \varSigma _{k+1|k}^{-1} - \varepsilon _{2}I\bigr)^{-1} \Biggl( \sum _{i=1}^{N}H_{i}G_{k+1}T_{i} \bar{\varGamma }_{k+1}F_{k+1}\Biggr)^{T} \\& \qquad {} -\bigl(\varSigma _{k+1|k}^{-1}-\varepsilon _{2}I \bigr)^{-1} \Biggr\} . \end{aligned}$$
(55)

For the first term of (55), one has

$$\begin{aligned}& \operatorname{tr} \Biggl\{ \sum_{i=1}^{N}(H_{i} G_{k+1}T_{i})\mathcal{L}_{k+1}(H_{i} G_{k+1}T_{i})^{T} \Biggr\} \\& \quad = \operatorname{tr} \Biggl\{ \sum_{i=1}^{N}H_{i} \mathcal{O}_{k+1}(H_{i} G_{k+1}T_{i})^{T} \Biggr\} \\& \quad = (1+\theta _{3}+\theta _{4})\operatorname{tr} \Biggl\{ \bigl(\varSigma _{k+1|k}^{-1}- \varepsilon _{2}I \bigr)^{-1}F_{k+1}^{T}\bar{\varGamma }_{k+1}^{T} \Biggl(\sum_{i=1}^{N}H_{i} G_{k+1}T_{i} \Biggr)^{T} \Biggr\} . \end{aligned}$$
(56)

Substituting (56) into (55) leads to

$$\begin{aligned}& \operatorname{tr}\{\varSigma _{k+1|k+1}\} \\& \quad = -(1+\theta _{3}+\theta _{4})\operatorname{tr} \Biggl\{ \sum_{i=1}^{N}H_{i} G_{k+1}T_{i} \bar{\varGamma }_{k+1}F_{k+1} \bigl(\varSigma _{k+1|k}^{-1}-\varepsilon _{2}I \bigr)^{-1} \Biggr\} \\& \qquad {} +(1+\theta _{3}+\theta _{4}) \operatorname{tr} \bigl\{ \bigl(\varSigma _{k+1|k}^{-1}- \varepsilon _{2}I \bigr)^{-1} \bigr\} \\& \quad = -(1+\theta _{3}+\theta _{4})\operatorname{tr} \Biggl\{ \sum_{i=1}^{N}H_{i} \mathcal{O}_{k+1}\bar{L}_{i}\bigl(\bar{L}_{i}^{T} \mathcal{L}_{k+1}\bar{L}_{i}\bigr)^{-1} \bar{L}_{i}^{T}\bar{\varGamma }_{k+1} F_{k+1} \\& \qquad {} \times \bigl(\varSigma _{k+1|k}^{-1}-\varepsilon _{2}I\bigr)^{-1} \Biggr\} +(1+ \theta _{3}+ \theta _{4})\operatorname{tr} \bigl\{ \bigl(\varSigma _{k+1|k}^{-1}- \varepsilon _{2}I\bigr)^{-1} \bigr\} . \end{aligned}$$
(57)

In view of (20), we have

$$ \operatorname{tr}\{\varSigma _{k+1|k}\} \leq 4nN^{2}\hbar + \operatorname{tr}\bigl\{ \bar{B}_{k}R_{k} \bar{B}_{k}^{T}\bigr\} =4nN^{2}\hbar + \operatorname{tr}\bigl\{ \bar{B}_{k}^{T}\bar{B}_{k}R_{k} \bigr\} . $$
(58)

In particular, by considering the properties of the trace and Assumption 1, one gets

$$ \operatorname{tr}\bigl\{ \bar{B}_{k}^{T} \bar{B}_{k}R_{k}\bigr\} \leq \rho \bigl( \bar{B}_{k}^{T} \bar{B}_{k}\bigr) \operatorname{tr}\{R_{k}\} \leq N\vartheta ^{2}\operatorname{tr} \{R\}, $$
(59)

and then

$$ \operatorname{tr}\{\varSigma _{k+1|k}\} \leq 4nN^{2}\hbar + N \vartheta ^{2}\operatorname{tr}\{R\}. $$
(60)

On the other hand, it is not difficult to check that

$$ \varSigma _{k+1|k}\leq \lambda _{\max }(\varSigma _{k+1|k})I\leq \operatorname{tr}\{ \varSigma _{k+1|k}\}I, $$
(61)

and further, one has

$$ \varSigma _{k+1|k}^{-1}-\varepsilon _{2}I\geq \biggl( \frac{1}{\operatorname{tr}\{\varSigma _{k+1|k}\}}-\varepsilon _{2}\biggr)I. $$
(62)

Next, in view of the matrix operations, the following inequality can be written:

$$ \bigl(\varSigma _{k+1|k}^{-1}-\varepsilon _{2}I \bigr)^{-1}\leq \frac{1}{\frac{1}{\operatorname{tr}\{\varSigma _{k+1|k}\}}-\varepsilon _{2}}I. $$
(63)

For the second term of (57), combining (60) with (63), we arrive at

$$\begin{aligned}& (1+\theta _{3}+\theta _{4})\operatorname{tr} \bigl\{ \bigl(\varSigma _{k+1|k}^{-1}- \varepsilon _{2}I\bigr)^{-1} \bigr\} \\& \quad \leq (1+\theta _{3}+\theta _{4})\operatorname{tr} \biggl\{ \frac{1}{\frac{1}{4nN^{2}\hbar + N\vartheta ^{2}\operatorname{tr}\{R\}}-\varepsilon _{2}}I \biggr\} . \end{aligned}$$
(64)

Finally, it can be observed that the second term of (57) is bounded and the first term is nonpositive. Thereby, it can be shown that \(\operatorname{tr}\{\varSigma _{k+1|k+1}\}\) is bounded, which finishes the proof of Theorem 3. □

Remark 4

So far, the DEKF issue has been handled for SSNSs subject to ROCAs with UOPs. In particular, a novel DEKF algorithm has been established to analyze the impact of ROCAs with UOPs, and a recursive filtering scheme has been given to choose the filter parameter matrix. Furthermore, the boundedness of the estimation performance has been discussed, which further clarifies the performance analysis of the proposed filtering method from the theoretical viewpoint. It should be noticed that the proposed filtering method has the time-varying distributed manner, which has a potential advantage in the online implementation/application. Moreover, it is worthwhile to mention that some interesting and effective methods have been given in [3742] for fractional systems, which motivate the further investigation on the DF problem for fractional nonlinear systems under ROCAs.

Two illustrative simulations

In this section, we will present two examples and discuss the effectiveness of the proposed DEKF scheme. In particular, comparative experiments for different cases are provided.

Example 1

Consider the SSNSs (1) with state delay \(d=1\) and real measurement output (6). The related system parameters are given as:

$$ A_{k}= \begin{bmatrix} 0.15+0.45\sin(0.1k) & -1.7-0.2\cos (0.98k) \\ 0.05 & -0.3-0.65\cos (0.7k) \end{bmatrix},\qquad B_{k}= \begin{bmatrix} 0.3 \\ 0.35 \end{bmatrix}. $$

The WSN depicted in Fig. 2 is characterized by \(\mathcal{G}=(\mathcal{U},\mathcal{E},\mathcal{A})\) with \(\mathcal{U}=\{1,2,3,4\}\), \(\mathcal{E}=\{(1,1),(1,2),(1,4),(2,2),(2,3),(3,1),(3,2), (3,3),(4,3),(4,4) \}\) and

$$ \mathcal{A}= \begin{bmatrix} 1&1& 0 &1 \\ 0 &1& 1 &0 \\ 1& 1& 1 &0 \\ 0& 0& 1& 1 \end{bmatrix}. $$
Figure 2
figure 2

The topological graph of WSNs

The nonlinear function \(f(x_{k-d})\) with state delay is expressed as

$$ f(x_{k-d})= \begin{bmatrix} 0.12-2.15\cos (x_{2,k-d}) \\ 0.24x_{1,k-d}-1.15\sin (x_{2,k-d}) \end{bmatrix} . $$

The nonlinear functions \(h_{i}(x_{k})\) are given by:

$$\begin{aligned}& h_{1}(x_{k}) = 2.4+0.1\sin (x_{1,k}), \\& h_{2}(x_{k}) = 5.6+0.1\cos (x_{2,k}), \\& h_{3}(x_{k}) = 1.7+0.1\cos (x_{1,k}), \\& h_{4}(x_{k}) = 5.1+0.1\sin (x_{2,k}). \end{aligned}$$

The covariance of process noise is \(R_{k}=0.25\). The covariances of the measurement noises are \(Q_{i,k}=0.15\) (\(i=1,2,3,4\)). Other parameters are chosen as \(\varsigma _{1,{\mathrm{max}}}=6\), \(\varsigma _{2,{\mathrm{max}}}=4\), \(\theta _{1}=\theta _{3}=\theta _{4}=\theta _{5}=0.1\), \(\theta _{2}=1.5\), \(\bar{\varXi }=2\), \(\bar{\gamma }_{i,k}=0.5\), \(\bar{\lambda }_{i,k}=0.55\), \(\boldsymbol{\rho }=\tilde{\rho }=0.01\), \(\delta _{1}=0.17\), \(\delta _{2}=5\), \(B_{i,k-d}=\operatorname{diag}\{0.1,0.25\}\), and \(C_{j,k+1}=\operatorname{diag}\{0.1,0.2\}\). The initial values are set as x ¯ 0 = [ 0 0 ] T , \(P_{0}=\operatorname{diag} \{2,2\}\), x ¯ 1 = [ 0 0 ] T , \(P_{-1}=\operatorname{diag} \{1.5,2\}\), x ˆ 1 , 0 | 0 = x ˆ 1 , 1 | 1 = [ 2.8 2.5 ] T , x ˆ 2 , 0 | 0 = x ˆ 2 , 1 | 1 = [ 2.3 2.2 ] T , x ˆ 3 , 0 | 0 = x ˆ 3 , 1 | 1 = [ 2.3 2.3 ] T , x ˆ 4 , 0 | 0 = x ˆ 4 , 1 | 1 = [ 2.2 2.5 ] T , \(\varSigma _{1,0|0}=\operatorname{diag}\{15,15\}\), \(\varSigma _{2,0|0}=\operatorname{diag}\{20,20\}\), \(\varSigma _{3,0|0}=\operatorname{diag}\{25,25\}\), and \(\varSigma _{4,0|0}=\operatorname{diag}\{30,30\}\). Based on (20)–(21) and (46), the optimal upper bound can be obtained at each sampling time.

In order to evaluate the algorithm accuracy of the new DEKF strategy, the mean square error (MSE) is utilized, which can be calculated by

$$ {\mathrm{MSE}}_{k}=\frac{1}{M}\mathbb{E} \Biggl\{ \sum _{\ell =1}^{M}\bigl(x_{k}^{( \ell )}- \hat{x}_{k|k}^{(\ell )}\bigr)^{T} \bigl(x_{k}^{(\ell )}-\hat{x}_{k|k}^{( \ell )} \bigr) \Biggr\} . $$

Here, M represents the experimental number of runs. Accordingly, the main results are proposed in Figs. 37 with \(M=200\). In particular, Figs. 34 show the trajectories of the estimates and the actual state \(x_{k}\). We discover that the MSE is indeed below the upper bound in Fig. 5. Figure 6 exhibits the successful time of cyberattacks in detail. Figure 7 describes the curves of the upper bound affected by the different occurrence probabilities of cyberattacks, and it can be easily seen that the upper bound will increase when the occurring probabilities of cyberattacks increase. To sum up, those above simulation results show that the designed filtering strategy possesses good performance for addressed SSNSs under ROCAs with UOPs.

Figure 3
figure 3

The actual state \(x_{1,k}\) and the corresponding estimates

Figure 4
figure 4

The actual state \(x_{2,k}\) and the corresponding estimates

Figure 5
figure 5

Log(MSE) and the upper bound

Figure 6
figure 6

The successful attacks time

Figure 7
figure 7

Upper bound with different \(\bar{\lambda }_{i,k}\)

Next, we consider a 3-dimensional system in order to propose a comparative experiment and further testify the validity of the proposed DEKF algorithm.

Example 2

The corresponding parameters are given as follows:

$$\begin{aligned}& A_{k}= \begin{bmatrix} 0.15+0.45\sin(0.1k) & -1.7-0.2\cos (0.98k)&0 \\ 0.05 & -0.3-0.65\cos (0.7k)&0 \\ 0&0&-0.7\sin(k) \end{bmatrix}, \\& B_{k}= \begin{bmatrix} 0.3 \\ 0.35 \\ 0.4 \end{bmatrix},\qquad f(x_{k-d})= \begin{bmatrix} 0.12-2.15\cos (x_{2,k-d}) \\ 0.24x_{1,k-d}-1.15\sin (x_{2,k-d}) \\ 0.12-2.15\cos (x_{3,k-d}) \end{bmatrix} . \end{aligned}$$

The initial values are set as x ¯ 0 = [ 0 0 0 ] T , \(P_{0}=\operatorname{diag} \{2,2,2\}\), x ¯ 1 = [ 0 0 0 ] T , \(P_{-1}=\operatorname{diag} \{1.5,2,2.5\}\), x ˆ 1 , 0 | 0 = x ˆ 1 , 1 | 1 = [ 2.8 2.5 2 ] T , x ˆ 2 , 0 | 0 = x ˆ 2 , 1 | 1 = [ 2.3 2.2 2.1 ] T , x ˆ 3 , 0 | 0 = x ˆ 3 , 1 | 1 = [ 2.3 2.3 2.1 ] T , x ˆ 4 , 0 | 0 = x ˆ 4 , 1 | 1 = [ 2.2 2.5 2 ] T , \(\varSigma _{1,0|0}=\operatorname{diag}\{15,15,15\}\), \(\varSigma _{2,0|0}=\operatorname{diag}\{25,25,25\}\), \(\varSigma _{3,0|0}=\operatorname{diag}\{35,35,35\}\), and \(\varSigma _{4,0|0}=\operatorname{diag}\{45,45,45\}\); \(\varsigma _{3,{\mathrm{max}}}=4\). The other parameters are same as in Example 1.

Again, the corresponding simulations can be obtained by implementing the proposed DEKF algorithm. Accordingly, Figs. 810 plot the trajectories of the real state and their estimates, respectively. It is clear that the newly presented estimation algorithm performs well. Moreover, in order to illustrate the differences for system with different dimensions, it is observed that the CPU time in Example 1 is 182 s and the CPU time in Example 2 is 193 s. Then, it is not difficult to find that the processing time will increase when the system dimension increases. The major reason is that the complex coupling relationships of nodes are involved and additional computations should be made.

Figure 8
figure 8

The actual state \(x_{1,k}\) and the corresponding estimates

Figure 9
figure 9

The actual state \(x_{2,k}\) and the corresponding estimates

Figure 10
figure 10

The actual state \(x_{3,k}\) and the corresponding estimates

Conclusions

In this paper, the problems of DEKF scheme and its algorithm performance evaluation have been discussed for SSNSs subject to state delay and ROCAs with UOPs. In particular, the attacks including FDIAs and DoSAs have been considered and the case of UOPs has been depicted by the combination of nominal means and error upper bounds. Subsequently, the major effort has been made to design a filter in a distributed manner and look for an optimized upper bound matrix regarding the filtering error covariance. Furthermore, a suitable filter parameter has been designed at each time step to minimize the obtained upper bound matrix in the sense of matrix trace. Besides, the boundedness analysis has been certified for the DEKF algorithm by exploiting the elaborate mathematical methods. Finally, we have utilized two illustrative examples and comparative results to demonstrate the usefulness and advantages of the new DEKF approach.

References

  1. 1.

    Yick, J., Mukherjee, B., Ghosal, D.: Wireless sensor network survey. Comput. Netw. 52(12), 2292–2330 (2008)

    Article  Google Scholar 

  2. 2.

    Hu, J., Wang, Z., Liu, G.-P., Zhang, H.: Variance-constrained recursive state estimation for time-varying complex networks with quantized measurements and uncertain inner coupling. IEEE Trans. Neural Netw. Learn. Syst. 31(6), 1955–1967 (2020)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Hossein, S.M., De, D., Mohapatra, P.K.D., Mondal, S.P., Ahmadian, A., Ghaemi, F., Senu, N.: DNA sequences compression by \(\mathrm{GP}^{2}\mathrm{R}\) and selective encryption using modified RSA technique. IEEE Access 8, 76880–76895 (2020)

    Article  Google Scholar 

  4. 4.

    Das, J.C., De, D., Mondal, S.P., Ahmadian, A., Ghaemi, F., Senu, N.: QCA based error detection circuit for nano communication network. IEEE Access 7, 67355–67366 (2019)

    Article  Google Scholar 

  5. 5.

    Wu, Y., Xia, W., Cao, M., Sun, X.-M.: Reach control problem for affine multi-agent systems on simplices. Automatica 107, 264–271 (2019)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Wu, Y., Sun, X.-M., Zhao, X., Shen, T.: Optimal control of Boolean control networks with average cost: a policy iteration approach. Automatica 100, 378–387 (2019)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Salahshoor, K., Mosallaei, M., Bayat, M.: Centralized and decentralized process and sensor fault monitoring using data fusion based on adaptive extended Kalman filter algorithm. Measurement 41(10), 1059–1076 (2008)

    Article  Google Scholar 

  8. 8.

    Rahmani, M., Abolhasani, M.: State estimation for stochastic time-varying multisensor systems with multiplicative noises: centralized and decentralized data fusion. Asian J. Control 21(4), 1547–1555 (2019)

    MathSciNet  Article  Google Scholar 

  9. 9.

    Dong, H., Wang, Z., Gao, H.: Distributed \(H_{\infty }\) filtering for a class of Markovian jump nonlinear time-delay systems over lossy sensor networks. IEEE Trans. Ind. Electron. 60(10), 4665–4672 (2012)

    Article  Google Scholar 

  10. 10.

    Li, W., Jia, Y., Du, J.: Distributed filtering for discrete-time linear systems with fading measurements and time-correlated noise. Digit. Signal Process. 60, 211–219 (2017)

    Article  Google Scholar 

  11. 11.

    Wen, C., Wang, Z., Geng, T., Alsaadi, F.E.: Event-based distributed recursive filtering for state-saturated systems with redundant channels. Inf. Fusion 39, 96–107 (2018)

    Article  Google Scholar 

  12. 12.

    Ma, L., Wang, Z., Liu, Y., Alsaadi, F.E.: Distributed filtering for nonlinear time-delay systems over sensor networks subject to multiplicative link noises and switching topology. Int. J. Robust Nonlinear Control 29(10), 2941–2959 (2019)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Yuan, Y., Zhang, P., Wang, Z., Guo, L.: On resilient strategy design of multi-tasking optimal control for state-saturated systems with nonlinear disturbances: the time-varying case. Automatica 107, 138–145 (2019)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Selvaraj, P., Sakthivel, R., Ahn, C.K.: Observer-based synchronization of complex dynamical networks under actuator saturation and probabilistic faults. IEEE Trans. Syst. Man Cybern. Syst. 49(7), 1516–1526 (2018)

    Article  Google Scholar 

  15. 15.

    Ding, D., Wang, Z., Hu, J., Shu, H.: Dissipative control for state-saturated discrete time-varying systems with randomly occurring nonlinearities and missing measurements. Int. J. Control 86(4), 674–688 (2013)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Yuan, Y., Wang, Z., Zhang, P., Liu, H.: Near-optimal resilient control strategy design for state-saturated networked systems under stochastic communication protocol. IEEE Trans. Cybern. 49(8), 3155–3167 (2018)

    Article  Google Scholar 

  17. 17.

    Ding, D., Wang, Z., Shen, B., Shu, H.: State-saturated \(H_{\infty }\) filtering with randomly occurring nonlinearities and packet dropouts: the finite-horizon case. Int. J. Robust Nonlinear Control 23(16), 1803–1821 (2013)

    MathSciNet  MATH  Google Scholar 

  18. 18.

    Li, X., Dong, H., Wang, Z., Han, F.: Set-membership filtering for state-saturated systems with mixed time-delays under weighted try-once-discard protocol. IEEE Trans. Circuits Syst. II, Express Briefs 66(2), 312–316 (2018)

    Article  Google Scholar 

  19. 19.

    Wen, C., Wang, Z., Liu, Q., Alsaadi, F.E.: Recursive distributed filtering for a class of state-saturated systems with fading measurements and quantization effects. IEEE Trans. Syst. Man Cybern. Syst. 48(6), 930–941 (2018)

    Article  Google Scholar 

  20. 20.

    Hu, J., Zhang, P., Kao, Y., Liu, H., Chen, D.: Sliding mode control for Markovian jump repeated scalar nonlinear systems with packet dropouts: the uncertain occurrence probabilities case. Appl. Math. Comput. 362, Article ID 124574 (2019). https://doi.org/10.1016/j.amc.2019.124574

    MathSciNet  Article  MATH  Google Scholar 

  21. 21.

    Tong, M., Lin, W., Huo, X., Jin, Z., Miao, C.: A model-free fuzzy adaptive trajectory tracking control algorithm based on dynamic surface control. Int. J. Adv. Robot. Syst. 17(1), Article ID 1729881419894417 (2020). https://doi.org/10.1177/1729881419894417

    Article  Google Scholar 

  22. 22.

    Hu, J., Wang, Z., Gao, H.: Joint state and fault estimation for time-varying nonlinear systems with randomly occurring faults and sensor saturations. Automatica 97, 150–160 (2018)

    MathSciNet  Article  Google Scholar 

  23. 23.

    Sakthivel, R., Vadivel, P., Mathiyalagan, K., Arunkumar, A., Sivachitra, M.: Design of state estimator for bidirectional associative memory neural networks with leakage delays. Inf. Sci. 296, 263–274 (2015)

    MathSciNet  Article  Google Scholar 

  24. 24.

    Hu, J., Wang, Z., Liu, G.-P., Jia, C., Williams, J.: Event-triggered recursive state estimation for dynamical networks under randomly switching topologies and multiple missing measurements. Automatica 115, Article ID 108908 (2020). https://doi.org/10.1016/j.automatica.2020.108908

    MathSciNet  Article  MATH  Google Scholar 

  25. 25.

    Mao, J., Ding, D., Song, Y., Liu, Y., Alsaadi, F.E.: Event-based recursive filtering for time-delayed stochastic nonlinear systems with missing measurements. Signal Process. 134, 158–165 (2017)

    Article  Google Scholar 

  26. 26.

    Chen, W., Ding, D., Dong, H., Wei, G.: Distributed resilient filtering for power systems subject to denial-of-service attacks. IEEE Trans. Syst. Man Cybern. Syst. 49(8), 1688–1697 (2019)

    Article  Google Scholar 

  27. 27.

    Lu, A., Yang, G.: False data injection attacks against state estimation in the presence of sensor failures. Inf. Sci. 508, 92–104 (2020)

    MathSciNet  Article  Google Scholar 

  28. 28.

    Shen, B., Wang, Z., Wang, D., Li, Q.: State-saturated recursive filter design for stochastic time-varying nonlinear complex networks under deception attacks. IEEE Trans. Neural Netw. Learn. Syst. (2019). https://doi.org/10.1109/TNNLS.2019.2946290

    Article  Google Scholar 

  29. 29.

    Liu, S., Wei, G., Song, Y., Liu, Y.: Extended Kalman filtering for stochastic nonlinear systems with randomly occurring cyber attacks. Neurocomputing 207, 708–716 (2016)

    Article  Google Scholar 

  30. 30.

    Hu, J., Wang, Z., Alsaadi, F.E., Hayat, T.: Event-based filtering for time-varying nonlinear systems subject to multiple missing measurements with uncertain missing probabilities. Inf. Fusion 38, 74–83 (2017)

    Article  Google Scholar 

  31. 31.

    Gao, H., Lam, J., Wang, C., Wang, Y.: Delay-dependent output-feedback stabilisation of discrete-time systems with time-varying state delay. IEE Proc., Control Theory Appl. 151(6), 691–698 (2004)

    Article  Google Scholar 

  32. 32.

    Luo, M., Zhong, S., Cheng, J.: Finite-time event-triggered control and fault detection for singular Markovian jump mixed delay systems under asynchronous switching. Adv. Differ. Equ. 2018, Article ID 80 (2018). https://doi.org/10.1186/s13662-018-1533-y

    MathSciNet  Article  MATH  Google Scholar 

  33. 33.

    Wang, B., Zou, F.C., Cheng, J., Zhong, S.M.: Fault detection filter design for continuous-time nonlinear Markovian jump systems with mode-dependent delay and time-varying transition probabilities. Adv. Differ. Equ. 2017, Article ID 262 (2017). https://doi.org/10.1186/s13662-017-1313-0

    MathSciNet  Article  MATH  Google Scholar 

  34. 34.

    Hu, J., Zhang, H., Yu, X., Liu, H., Chen, D.: Design of sliding-mode-based control for nonlinear systems with mixed-delays and packet losses under uncertain missing probability. IEEE Trans. Syst. Man Cybern. Syst. (2019). https://doi.org/10.1109/TSMC.2019.2919513

    Article  Google Scholar 

  35. 35.

    Zou, L., Wang, Z., Gao, H., Liu, X.: State estimation for discrete-time dynamical networks with time-varying delays and stochastic disturbances under the round-robin protocol. IEEE Trans. Neural Netw. Learn. Syst. 28(5), 1139–1151 (2017)

    Article  Google Scholar 

  36. 36.

    Chen, D., Chen, W., Hu, J., Liu, H.: Variance-constrained filtering for discrete-time genetic regulatory networks with state delay and random measurement delay. Int. J. Syst. Sci. 50(2), 231–243 (2019)

    MathSciNet  Article  Google Scholar 

  37. 37.

    Dadkhah, E., Shiri, B., Ghaffarzadeh, H., Baleanu, D.: Visco-elastic dampers in structural buildings and numerical solution with spline collocation methods. J. Appl. Math. Comput. 63, 29–57 (2020)

    MathSciNet  Article  Google Scholar 

  38. 38.

    Khiabani, E.D., Ghaffarzadeh, H., Shiri, B., Katebi, J.: Spline collocation methods for seismic analysis of multiple degree of freedom systems with visco-elastic dampers using fractional models. J. Vib. Control (2020). https://doi.org/10.1177/1077546319898570

    MathSciNet  Article  Google Scholar 

  39. 39.

    Shiri, B., Baleanu, D.: System of fractional differential algebraic equations with applications. Chaos Solitons Fractals 120, 203–212 (2020)

    MathSciNet  Article  Google Scholar 

  40. 40.

    Shiri, B., Baleanu, D.: Numerical solution of some fractional dynamical systems in medicine involving non-singular kernel with vector order. Results Nonlinear Anal. 2(4), 160–168 (2019)

    Google Scholar 

  41. 41.

    Ma, C.-Y., Shiri, B., Wu, G.-C., Baleanu, D.: New signal smoothing equations with short memory and variable order. Optik (2020). https://doi.org/10.1016/j.ijleo.2020.164507

    Article  Google Scholar 

  42. 42.

    Baleanu, D., Shiri, B.: Collocation methods for fractional differential equations involving non-singular kernel. Chaos Solitons Fractals 116, 136–145 (2018)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The authors would like to appreciate the Associated Editor and anonymous reviewers for their helpful comments/suggestions on improving this paper.

Availability of data and materials

Not applicable.

Funding

This work was supported in part by the Outstanding Youth Science Foundation of Heilongjiang Province of China under grant JC2018001, the National Natural Science Foundation of China under Grant 61673141, the Fundamental Research Foundation for Universities of Heilongjiang Province of China under Grant 2019-KYYWF-0215, the European Regional Development Fund and Sêr Cymru Fellowship under Grant 80761-USW-059, the Fok Ying Tung Education Foundation of China under Grant 172034, and the Alexander von Humboldt Foundation of Germany.

Author information

Affiliations

Authors

Contributions

The authors contributed equally to this paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Jun Hu.

Ethics declarations

Competing interests

All authors declared that they have no competing interests.

Consent for publication

All authors read and approved the final version of the paper.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Li, J., Hu, J., Chen, D. et al. Distributed extended Kalman filtering for state-saturated nonlinear systems subject to randomly occurring cyberattacks with uncertain probabilities. Adv Differ Equ 2020, 437 (2020). https://doi.org/10.1186/s13662-020-02896-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-020-02896-3

Keywords

  • Distributed extended Kalman filtering
  • State-saturated systems
  • Time delay
  • Uncertain occurring probabilities
  • Randomly occurring cyberattacks