Dissipative Filter Design for Nonlinear Time-Varying-Delay Singular Systems against Deception Attacks

Liu, Guobao; Shen, Shibin; Jia, Xianglei

doi:https://doi.org/10.1155/2021/2260753

Complexity

On this page

Abstract Introduction Numerical Example Conclusions Data Availability Conflicts of Interest Acknowledgments References Copyright Related Articles

Special Issue

Complexity, Dynamics, Control, and Applications of Nonlinear Systems with Multistability 2021

View this Special Issue

Research Article | Open Access

Volume 2021 | Article ID 2260753 | https://doi.org/10.1155/2021/2260753

Dissipative Filter Design for Nonlinear Time-Varying-Delay Singular Systems against Deception Attacks

Guobao Liu,¹Shibin Shen,¹and Xianglei Jia²

Academic Editor: Sundarapandian Vaidyanathan

Received08 Sept 2021

Revised25 Oct 2021

Accepted30 Oct 2021

Published24 Nov 2021

Abstract

This paper applies a T-S fuzzy model to depict a class of nonlinear time-varying-delay singular systems and investigates the dissipative filtering problem for these systems under deception attacks. The measurement output is assumed to encounter random deception attacks during signal transmission, and a Bernoulli distribution is used to describe this random phenomena. In this case, the filtering error system modeled by a stochastic singular T-S fuzzy system is established and stochastic admissibility for this kind of system is defined firstly. Then, by combining some integral inequalities and using the Lyapunov–Krasovskii functional approach, sufficient delay-dependent conditions are presented based on linear matrix inequality techniques, where the system of filtering error can be stochastically admissible and strictly -dissipative against randomly occurring deception attacks. Moreover, parameters of the desired filter can be obtained via the solutions of the established conditions. The validity of our work is illustrated through a mostly used example of the nonlinear system.

1. Introduction

In order to study various actual systems, such as large-scale systems, circuit systems, and biological systems, scholars have widely used the singular system model to describe these systems. In contrast with ordinary state space systems, singular systems can describe the performance characteristics of physical systems better [1]. On the other hand, time delay is a major factor that leads to system instability and performance degradation. Because of the coupling of the delay term and the functional equation, the study of singular time-delay systems is much more difficult than that of the standard time-delay systems [2]. Not only stability but also regularity and absence of impulse (or causality) are involved in the admissible analysis problem for singular time-delay systems. Up to now, various results for studying singular time-delay systems have been published. Reachable set estimation for continuous-time singular delay systems [3–5], sliding mode control for discrete-time singular delay systems [6–8], and control for singular time-delay systems with Markovian jump parameters [9–11] are just a few examples of so many research works.

In the past decade, control researchers discovered that in practical or industrial applications, nonlinearities in system dynamics behavior can be fairly accurately described as a set of locally linear models mixed together with fuzzy membership functions. Thus, any complex nonlinear systems can be fuzzified and effectively approximated as a set of linear models by using the T-S fuzzy model approach [12]. In this case, a similar way to linear systems can be extended to analyze and synthesize nonlinear systems and lots of fruitful studies on the fields of stability theories, adaptive tracking control, filter design, etc., have been achieved for T-S fuzzy systems [13–18]. Recently, using the T-S fuzzy model to approximate singular nonlinear systems has also been published in many literature studies. To mention a few, the problems of admissibility analysis and controller design for singular T-S fuzzy systems with mismatched membership functions were investigated in [19,20]; the problems of adaptive sliding mode controller design for T-S fuzzy singular systems were considered in [21,22]; and asynchronous filtering problems for T-S fuzzy singular systems with Markovian jump parameters were investigated in [23,24].

On another active research frontier, cyber-attacks have become more and more important factors to threaten network security in the network control system since they could lead to the leakage of a large amount of confidential information. So far, denial-of-service attacks and deception attacks are two main kinds of cyber-attacks widely studied by scholars [25–29]. Especially, deception attacks are more secluded and harder to detect which import mendacious data in the process of signal transmission and lead to performance damage of the target system. Therefore, it is very important to design a security filter for the system with deception attacks. For example, the topics include distributed recursive filtering for discrete time-delayed stochastic systems subject to both uniform quantization and deception attacks, recursive filtering for stochastic nonlinear time-varying complex networks with deception attacks, and event-triggered filter design for T-S fuzzy systems with deception attacks had been investigated in [30–32], respectively. As far as we know, control and filtering problems for T-S fuzzy singular systems with time-varying delays against deception attacks have not been fully investigated, not mention to dissipative filter design. Dissipativity, in simple terms, generally indicates that the increase in a system’s internal energy storage does not exceed the external energy supply of the system. The dissipativity has been analysed for large amounts of nonlinear systems and widely used in control theory and practice [33–35]. All the aforementioned facts motivate our research.

The main contribution of this paper is centered on dealing with the problem of dissipative filtering for T-S fuzzy singular systems with time-varying delays subject to deception attacks, where the measurement output is assumed to encounter random deception attacks based on a Bernoulli distribution during signal transmission. In this case, the filtering error system modeled by a stochastic singular T-S fuzzy system is established and the stochastic admissibility for this kind of system is defined. By using the Lyapunov–Krasovskii functional (LKF) approach and based on linear matrix inequality (LMI) techniques, sufficient delay-dependent conditions are established to guarantee the stochastic admissibility and strictly -dissipativity of the filtering error with randomly occurring deception attacks. Furthermore, based on these feasible conditions, parameters of the desired filter can be obtained. At last, we give an example of the nonlinear system to show the effectiveness of our result.

Notations. In this work, the dimensions of all the matrices are generally considered to be compatible. denotes the Euclidean space with dimension; represents the real matrices with dimension; represents an identity matrix, and 0 denotes a zero matrix with appropriate dimension; denotes the Euclidean norm of a vector and its induced norm of a matrix; is described by ; is the space of integral vector over ; for any real function and real matrix , we define ; the mathematical expectation operator is denoted as .

2. Problem Formulation

For the description of an interval time-varying-delay nonlinear singular system, a delayed T-S fuzzy model is adopted in terms of plant rules as follows.

Rule 1. If is , and , and is , thenwhere , , and stand for the state vector, the measurement output, and the disturbance input, respectively; is the signal to be estimated; is the initial condition; the premise variable vector is described by , and the fuzzy sets are , ; the time-varying delay satisfies the conditions of , , and , , and are constant scalars; may be a singular matrix with ; and , , , , , , and are known real constant matrices with appropriate dimensions.
Then, we can generate the model of the T-S fuzzy singular systems when time-varying delay is considered:whereand stand for the grade of membership for in . It is easy to verify thatIn this paper, for calculating the signal , a fuzzy filter is derived aswhere and represent the filter state and the filter output, respectively. is the sensor measurement under randomly occurring deception attacks which can be given as defines the deception signal imported into the output which is assumed to satisfy , and is considered to be an appropriate dimension matrix; is a Bernoulli-distributed variable and we have the following assumptions on :

Remark 1. The model of deception attacks considered in this paper is established in (6). A Bernoulli distribution is applied to describe the random property of deception attacks. It is easy to say that or means sensor measurement is under deception attacks or not, respectively. Furthermore, the deception attacks are supposed to be norm bounded in (6), since there usually exists an upper bound for the attack signals to avoid detection.

We define the initial condition of system (5) as , and for any , assume that . , , and are filter gains to be determined.

Then, define and . By combining systems (2) and (5), we can obtain the following filtering error system:where

Denotingsystem (8) can be given as

Remark 2. Due to a stochastic variable of Bernoulli distribution, filtering error system (11) is established as a stochastic T-S fuzzy singular system. In this condition, the definition of admissibility in [19] does not work for the stochastic T-S fuzzy singular system in (11) anymore. Motivated by the stochastic admissibility defined in [36] of the discrete time case, we can generalize the definition of admissibility in [19] naturally and have the following definition of stochastic admissibility for system (11).

Definition 1 (see [36]). (1)System (11) is said to be stochastically regular if is not identically zero(2)System (11) is said to be stochastically impulse-free if (3)System (11) with is said to be stochastically stable if there exists a scalar such that where represents the system solution(4)System (11) with is said to be stochastically admissible if it is stochastically regular, impulse-free, and stable

Definition 2 (see [33]). Give real symmetric matrices and and matrix . For a scalar , if the equationholds under zero initial state with , system (11) is said to be strictly --dissipative. Furthermore, we suppose and for some .

Before discussing the main results, we present a few lemmas that we need to use.

Lemma 1 (see [37]). For a matrix , the following inequality holds:where and .

Lemma 2 (see [38]). Given a real scalar , matrices and , and any matrices and , the inequalityholds, where and .

Lemma 3 (see [13]). Ifthen , where ,, satisfy (3) and (4).

3. Main Results

In this section, we will design a dissipative filter for system (1) with randomly occurring deception attacks. First, we give some notations in order to simplify the presentation:

Theorem 1. For given scalars , , , and , matrices and , symmetric matrices and with , and full column rank matrix with , system (11) is said to be stochastically admissible and strictly --dissipative, if there exist matrices , , , , , , , , , , , , and such that the following matrix inequalities hold:where

Proof. First, we will show the stochastic admissibility for system (11) with . It can be obtained from (18) and (19) thatwhere, , and represent matrices which have compatible dimensions and will not be used in the following discussion. Since , , , , , and , we havePremultiplying and postmultiplying (23) by and , we can obtainAccording to Theorem 10.1 of [1] and from (24), we have that the pair is regular and impulse-free. It should be noted thatBy Definition 1, we can conclude system (11) is stochastically regular and impulse-free. Choose the LKF as follows:SetDefine the infinitesimal as . Along the trajectory of (11) with , we haveUsing Lemma 1, it can be generated thatThen, by Lemma 2, we can obtainNote that and . Thus, it is easy to see that for matrices and ,Given matrices and from (11), we haveIt is easy to obtain from (33) thatNoticing , we can obtain that for matrix with appropriate dimension,Considering the definition of deception attacks, it is easy to obtainwhich meansFrom (28)–(37), it can be verified thatwhereWe can obtain from (18) and (19) that . Hence, we can find a scalar so that . Using Dynkin’s formula, it can be derived thatwhich impliesFrom Definition 1, it can be concluded that system (11) in the condition of is considered to be stochastically stable.
To verify the dissipativity for system (11), by (18), (19), and (25), it can be derived thatThus, for any , it is easy to see thatConsidering and under zero initial condition, by (43), we can obtain that (13) holds, which shows that system (11) is strictly dissipative.

Theorem 2. For given scalars , , , and , matrices and , symmetric matrices and with and , and full column rank matrix with , if there are matrices , , , , , and , an invertible matrix , matrices , , , , , , , , , , , and , , such that the following linear matrix inequalities hold:whereThen, fuzzy filter (5) can guarantee system (11) to be stochastically admissible and strictly --dissipative. Furthermore, from LMIs (44) and (45), the parameters of fuzzy filter (5) can be obtained by

Proof. Using Lemma 3 and from (44) and (45), it can be verified thatBy substituting the filter parameters in (44) into (45) and (46), from Theorem 1, we can proof that Theorem 2 holds.

Remark 3. From Theorem 1 and Theorem 2, we can find that fuzzy filter (5) is designed successfully for a class of time-varying-delay T-S fuzzy singular systems subject to randomly occurring deception attacks based on the LKF approach and LMI techniques. According to Definitions 1 and 2, the filtering error system is guaranteed to be stochastically admissible and satisfy strictly --dissipativity by conditions (44) and (45). Furthermore, Lemmas 1 and 2 are applied in (29)–(31) to lessen the estimation gaps of (47), which have been shown to reduce the conservatism in dealing with time delays in [37,38], respectively.

4. Numerical Example

Consider a time-delay nonlinear system which is borrowed from [39]:where is supposed to satisfy . Choose , , , , , , and . Set , , and . Introduce a new variable , and the nonlinear system in (31) can be exactly modeled as

The parameters are given as

For , we can obtain from conditions (44)–(47) in Theorem 2 that the desired filter parameters are

Next, we will provide the simulation results to demonstrate the effectiveness of our filter design method against randomly occurring deception attacks. Let the initial condition be and the disturbance be . Figure 1 shows the system state response . The deception attack function is given as . The sensor measurement under randomly occurring deception attack is given in Figure 2. Figure 3 is the filtering error . From Figures 1–3, we can find that our results are effective.

5. Conclusions

In this work, a method for dealing with the problem of dissipative filtering associated with T-S fuzzy singular systems with time-varying delays subject to deception attacks has been developed. Since the measurement output is supposed to encounter random deception attacks based on a Bernoulli distribution during signal transmission, the filtering error system is modeled by a stochastic singular T-S fuzzy system and the definition of stochastic admissibility for this kind of system has been presented. By using the LKF approach and LMI techniques, sufficient delay-dependent results have been generated, where the filtering error system can be stochastically admissible and strictly -dissipative against randomly occurring deception attacks. Besides, the desired filter parameters can be obtained by these solvable conditions. Finally, a frequently used example of the nonlinear system has been given to show the effectiveness of our work.

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that there are no conflicts of interest.

Acknowledgments

This work was supported in part by the National Natural Science Foundation of China under Grant 62003168, Natural Science Research Project of Jiangsu Higher Education Institutions under Grant 20KJB 120003, and Fundamental Research Funds for the Provincial Universities of Zhejiang under Grant GK21990 9299001-002.

References

S. Xu and J. Lam, Robust control and filtering of singular systems, Springer, Berlin, Germany, 2006.
S. Shengyuan Xu, P. Van Dooren, R. Stefan, and J. Lam, “Robust stability and stabilization for singular systems with state delay and parameter uncertainty,” IEEE Transactions on Automatic Control, vol. 47, no. 7, pp. 1122–1128, 2002.
View at: Publisher Site | Google Scholar
Z. Feng and J. Lam, “On reachable set estimation of singular systems,” Automatica, vol. 52, pp. 146–153, 2015.
View at: Publisher Site | Google Scholar
Y. Li, Y. He, W.-J. Lin, and M. Wu, “Reachable set estimation for singular systems via state decomposition method,” Journal of the Franklin Institute, vol. 357, no. 11, pp. 7327–7342, 2020.
View at: Publisher Site | Google Scholar
J. Zhao, “A new result on reachable set estimation for time‐varying delay singular systems,” International Journal of Robust and Nonlinear Control, vol. 31, no. 3, pp. 806–816, 2021.
View at: Publisher Site | Google Scholar
J. Hu, Z. Wang, H. Gao, and L. K. Stergioulas, “Robust sliding mode control for discrete time-delay systems with stochastic nonlinearities sliding mode control for discrete time-delay systems with stochastic nonlinearities,” Journal of the Franklin Institute, vol. 349, no. 4, pp. 1459–1479, 2012.
View at: Publisher Site | Google Scholar
Y. Han, Y. Kao, and C. Gao, “Robust sliding mode control for uncertain discrete singular systems with time-varying delays and external disturbances,” Automatica, vol. 75, pp. 210–216, 2017.
View at: Publisher Site | Google Scholar
X. Fan, Q. Zhang, and J. Ren, “Event‐triggered sliding mode control for discrete‐time singular system,” IET Control Theory & Applications, vol. 12, no. 17, pp. 2390–2398, 2018.
View at: Publisher Site | Google Scholar
S. Xu, J. Lam, and X. Mao, “Delay-dependent control and filtering for uncertain markovian jump systems with time-varying delays,” IEEE Transactions on Circuits and Systems I: Regular Papers, vol. 54, no. 9, pp. 2070–2077, 2007.
View at: Publisher Site | Google Scholar
J. Wang, H. Wang, A. Xue, and R. Lu, “Delay-dependent control for singular Markovian jump systems with time delay control for singular Markovian jump systems with time delay,” Nonlinear Analysis: Hybrid Systems, vol. 8, pp. 1–12, 2013.
View at: Publisher Site | Google Scholar
Y. Tian and Z. Wang, “Bounded real lemma and control for singular Markovian jump systems with mode-dependent derivative-term coefficient control for singular Markovian jump systems with mode-dependent derivative-term coefficient,” Journal of the Franklin Institute, vol. 358, no. 1, pp. 723–736, 2021.
View at: Publisher Site | Google Scholar
T. Takagi and M. Sugeno, “Fuzzy identification of systems and its applications to modeling and control,” IEEE Transactions on Systems, Man, and Cybernetics, vol. SMC-15, no. 1, pp. 116–132, 1985.
View at: Publisher Site | Google Scholar
X. Chang and G. Yang, “Non-fragile filtering of continuous-time fuzzy systems,” IEEE Transactions on Signal Processing, vol. 59, pp. 1528–1538, 2010.
View at: Google Scholar
X. Chang and G. Yang, “Non-fragile filter design for T-S fuzzy systems in standard form,” IEEE Transactions on Industrial Electronics, vol. 61, pp. 3448–3458, 2013.
View at: Google Scholar
Z. Liu, F. Wang, Y. Zhang, X. Chen, and C. Chen, “Adaptive tracking control for a class of nonlinear systems with a fuzzy dead-zone input,” IEEE Transactions on Fuzzy Systems, vol. 23, pp. 193–204, 2014.
View at: Google Scholar
Y. Liu, B.-Z. Guo, and J. H. Park, “Non-fragilefiltering for delayed Takagi-Sugeno fuzzy systems with randomly occurring gain variations filtering for delayed Takagi-Sugeno fuzzy systems with randomly occurring gain variations,” Fuzzy Sets and Systems, vol. 316, pp. 99–116, 2017.
View at: Publisher Site | Google Scholar
P. Cheng, S. He, V. Stojanovic, X. Luan, and F. Liu, “Fuzzy fault detection for Markov jump systems with partly accessible hidden information: An event-triggered approach,” IEEE Transactions on Cybernetics, pp. 1–10, 2021.
View at: Publisher Site | Google Scholar
X. Zhang, H. Wang, V. Stojanovic et al., “Asynchronous Fault Detection for Interval Type-2 Fuzzy Nonhomogeneous Higher-level Markov Jump Systems with Uncertain Transition Probabilities,” IEEE Transactions on Fuzzy Systems, p. 1, 2021.
View at: Publisher Site | Google Scholar
Z. Feng and P. Shi, “Admissibilization of singular interval-valued fuzzy systems,” IEEE Transactions on Fuzzy Systems, vol. 25, pp. 1765–1776, 2016.
View at: Google Scholar
Z. Feng, H. Zhang, H. Du, and Z. Jiang, “Admissibilisation of singular interval type‐2 Takagi-Sugeno fuzzy systems with time delay,” IET Control Theory & Applications, vol. 14, no. 8, pp. 1022–1032, 2020.
View at: Publisher Site | Google Scholar
M. Kchaou, H. Gassara, and A. El-Hajjaji, “Adaptive sliding mode control for fuzzy singular systems with time delay and input nonlinearity,” International Journal of Adaptive Control and Signal Processing, vol. 32, no. 3, pp. 464–479, 2018.
View at: Publisher Site | Google Scholar
X. Sun and Q. Zhang, “Observer-based adaptive sliding mode control for T-S fuzzy singular systems,” IEEE Trans. Syst. Man Cybern. Syst., vol. 50, pp. 4438–4446, 2018.
View at: Google Scholar
Y. Wang, G. Zhuang, and F. Chen, “Event-based asynchronous dissipative filtering for T-S fuzzy singular Markovian jump systems with redundant channels,” Nonlinear Analysis: Hybrid Systems, vol. 34, pp. 264–283, 2019.
View at: Publisher Site | Google Scholar
G. Zhuang, S.-F. Su, J. Xia, and W. Sun, “HMM-based asynchronous filtering for fuzzy singular markovian switching systems with retarded time-varying delays filtering for fuzzy singular markovian switching systems with retarded time-varying delays,” IEEE Transactions on Cybernetics, vol. 51, no. 3, pp. 1189–1203, 2021.
View at: Publisher Site | Google Scholar
J. Liu, M. Yang, X. Xie, C. Peng, and H. Yan, “Finite-time filtering for state-dependent uncertain systems with event-triggered mechanism and multiple attacks,” IEEE Transactions on Circuits and Systems, vol. 67, pp. 1021–1034, 2019.
View at: Google Scholar
L. Su and D. Ye, “Static output feedback control for discrete‐time hidden Markov jump systems against deception attacks,” International Journal of Robust and Nonlinear Control, vol. 29, no. 18, pp. 6616–6637, 2019.
View at: Publisher Site | Google Scholar
N. Rong and Z. Wang, “State-dependent asynchronous intermittent control for IT2 T-S fuzzy interconnected systems under deception attacks,” Nonlinear Dynamics, vol. 100, no. 4, pp. 3433–3448, 2020.
View at: Publisher Site | Google Scholar
J. Song, L.-Y. Huang, H. R. Karimi, Y. Niu, and J. Zhou, “ADP-based security decentralized sliding mode control for partially unknown large-scale systems under injection attacks,” IEEE Transactions on Circuits and Systems I: Regular Papers, vol. 67, no. 12, pp. 5290–5301, 2020.
View at: Publisher Site | Google Scholar
H. Zhao, Y. Niu, and T. Jia, “Security control of cyber-physical switched systems under round-robin protocol: input-to-state stability in probability,” Information Sciences, vol. 508, pp. 121–134, 2020.
View at: Publisher Site | Google Scholar
D. Ding, Z. Wang, D. W. C. Ho, and G. Wei, “Distributed recursive filtering for stochastic systems under uniform quantizations and deception attacks through sensor networks,” Automatica, vol. 78, pp. 231–240, 2017.
View at: Publisher Site | Google Scholar
B. Shen, Z. Wang, D. Wang, and Q. Li, “State-saturated recursive filter design for stochastic time-varying nonlinear complex networks under deception attacks,” IEEE Transactions on Neural Networks and Learning Systems, vol. 31, pp. 3788–3800, 2019.
View at: Google Scholar
Z. Gu, X. Zhou, T. Zhang, F. Yang, and M. Shen, “Event-triggered filter design for nonlinear cyber-physical systems subject to deception attacks,” ISA Transactions, vol. 104, pp. 130–137, 2020.
View at: Publisher Site | Google Scholar
Z. Wu, J. Lam, H. Su, and J. Chu, “Stability and dissipativity analysis of static neural networks with time delay,” IEEE Transactions on Neural Networks and Learning Systems, vol. 23, pp. 199–210, 2011.
View at: Google Scholar
L. Zhou, “Dissipativity of a class of cellular neural networks with proportional delays,” Nonlinear Dynamics, vol. 73, no. 3, pp. 1895–1903, 2013.
View at: Publisher Site | Google Scholar
X. Zhang, S. He, V. Stojanovic, X. Luan, and F. Liu, “Finite-time asynchronous dissipative filtering of conic-type nonlinear Markov jump systems,” Science China Information Sciences, vol. 64, no. 5, pp. 1–12, 2021.
View at: Publisher Site | Google Scholar
X. Yao, L. Wu, and W. X. Zheng, “Fault Detection Filter Design for Markovian Jump Singular Systems With Intermittent Measurements,” IEEE Transactions on Signal Processing, vol. 59, no. 7, pp. 3099–3109, 2011.
View at: Publisher Site | Google Scholar
K. Liu, A. Seuret, and Y. Xia, “Stability analysis of systems with time-varying delays via the second-order Bessel-Legendre inequality,” Automatica, vol. 76, pp. 138–142, 2017.
View at: Publisher Site | Google Scholar
C.-K. Zhang, Y. He, L. Jiang, M. Wu, and Q.-G. Wang, “An extended reciprocally convex matrix inequality for stability analysis of systems with time-varying delay,” Automatica, vol. 85, pp. 481–485, 2017.
View at: Publisher Site | Google Scholar
C. Chong Lin, Q. Qing-Guo Wang, and T. H. Tong Heng Lee, “Stability and stabilization of a class of fuzzy time-delay descriptor systems,” IEEE Transactions on Fuzzy Systems, vol. 14, no. 4, pp. 542–551, 2006.
View at: Publisher Site | Google Scholar

Copyright

Copyright © 2021 Guobao Liu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PDF Download Citation

Download other formats

Order printed copies

Views

331

Downloads

799

Citations