Skip to main content

Theory and Modern Applications

Finite-time event-triggered control and fault detection for singular Markovian jump mixed delay systems under asynchronous switching

Abstract

This paper considers the problem of the simultaneous finite-time event-triggered control and fault detection for a class of continuous-time singular Markovian jump mixed delay systems (SMJDSs) under asynchronous switching. In order to develop the control and detection objectives, the mode-dependent fault detection filters and dynamic feedback event-triggered-based controllers are designed and the switching signal between the detector/controller unit and subsystems is assumed to be asynchronous. Based on average dwell time (ADT) techniques, some new sufficient conditions for the existence of fault detection/controller unit are presented in the framework of linear matrix inequalities (LMIs) to ensure the control system has singular stochastic finite-time stability (SSFTS). Finally, a numerical example is provided to illustrate the effectiveness of the proposed method.

1 Introduction

In the past decade, the fault detection problem has been widely investigated due to the rising demand for higher safety and reliability standards in modern society. In generally, faults are unavoidable under practical conditions, such as hotspot faults, sensor faults and short circuits faults [13]. Up to now, various kinds of fault detection techniques have been developed, for example, model-based approaches, knowledge-based schemes and signal-based methods etc. Particularly, the problem of \(H_{\infty}\) optimization-based fault detection has been an active research area [47]. However, in many practical cases, the fault detection systems have feedback control, that is, the fault detection system is usually of closed-loop type, and if the fault detection systems are designed separately from the control algorithms, faults may be hidden by control actions and the early detection of faults is clearly more difficult, especially low frequency faults [815]. Therefore, the problem of merging the control and fault detection units into a single detector/controller unit, i.e. simultaneous control and fault detection issue has become a very important research topic in information security field; recently. [8] dealt with the problem of simultaneous finite-time control and fault detection for linear switched systems with state delay and parameter uncertainties; [9] was concerned with the simultaneous robust control and fault detection problem for continuous-time switched systems subject to dwell time constraint; [10] investigated the problem of simultaneous fault detection and control for switched linear systems under a mixed \(H_{\infty}/H_{-}\) framework and [11] presented the problem of simultaneous fault detection and control design for switched systems with two quantized signals; in [12], the authors first attempted to deals with the simultaneous robust fault detection and control problem for a class of nonlinear stochastic switching systems under asynchronous switching; this paper further improved the results in the literature [9].

In practical situations, the periodical sampling is often used to control physical plants since it can simplify the design and analysis [16]. However, the communication burden is neglected in the framework of the periodic sampling; especially when the difference between consecutive sample-data is not distinct, it is obviously a waste of limited communication resources transmitting the sampled data to the controller [17]. Recently, in order to overcome this difficulty, event-triggered scheme is introduced and has been received particular attention, which is more convenient and effective than the traditional time-triggered technique, meantime, compared with the time-triggered mechanism, the event-triggered scheme can promise energy efficiency and reduce the burden of the communication [1821].

In most existing literature, finite-time stability has received increasing attention and the concept of finite-time stability was proposed in practical processes, such as avoiding saturation or the excitation of nonlinear dynamics during the transient [22, 23]. Different from the classical Lyapunov stability concept, finite-time stability is defined as the behavior of the dynamical systems that can be tracked over a fixed finite-time interval, that is, the system state does not exceed a certain bound during a fixed finite-time interval. The introduction of such a stability concept is very necessary and important in many practical problems. So, the problem of finite-time stability it is not only the need of theoretical learning, but also the need of practical application. Now, many interesting results have been obtained for this type of stability. For example, [24] investigated the problem of robust finite-time boundedness of \(H_{\infty}\) filtering for switch systems with time-varying delay; [25] addressed a finite-time stabilization problem for a class of continuous-time Markovian jump delay systems with switching control approach; [26] studied observer-based state feedback finite-time control for nonlinear jump systems with time-delay and [27] dealt with the finite-time synchronization problem for a class of uncertain coupled switched neural networks under asynchronous switching.

It is well known that singular systems, which are also referred to as generalized state-space systems, descriptor systems or implicit systems, as a kind of important system, singular systems have been received extensively attention during the past decade due basically to their powerful applications in many practical systems, such as economic systems, robotic systems, biological systems network control systems, chemical systems, and many other systems. Different from other regular systems, singular systems are more general and complex owing to not only the stability are need to be considered, but also regularity and absence of impulses or causality is need to be considered. Due to this fact singular systems can better describe and analyze the behavior of some physical systems than regular ones by standard state-space systems [28, 29]. Moreover, since the existence of time-delays often causes undesirable behavior such as degradation stability in dynamical systems, one of the major issues of stability and control analysis for time-delay singular systems has been studied extensively in actual problems [30, 31].

The main challenge is now simultaneous finite-time control and fault detection in the presence of some complicated factors, such as jump model uncertainty, mixed delay and disturbances for a class of singular Markovian jump delay systems under asynchronous switching. To the best of our knowledge, this problem has not been investigated yet. Therefore, motivated by the aforementioned observations, in this paper, we will deal with the problem of simultaneous finite-time event-triggered control and fault detection for a class of singular Markovian systems with asynchronous switching signal, which based on some novel integral inequalities and average dwell time method. The purpose of this paper is to design mode-dependent detector/controller unit such that the augmented system is not only singular stochastic finite-time stability but also satisfies \(H_{\infty}\) performance indices. A novel stochastic Lyapunov function and a set of strict LMIs will be utilized to derive sufficient conditions guaranteeing the desired detector/controller unit can be constructed. The main contributions of this paper can be summarized as follows: (1) In this paper, a class of much more general singular systems including both stochastic switch, deterministic switch and mixed time-varying delay are considered simultaneously. (2) Based on the event-triggered scheme, the simultaneous finite-time control and fault detection problem under asynchronous switching for a class of singular Markovian jump system is considered for the first time. (3) Compared with the method in [8], some novel sufficient conditions for singular stochastic finite-time stability of Markovian jump systems are obtained in this paper by virtue of new integral inequalities and asynchronous analysis method. (4) A mode-dependent controller/detector, which subject to the ADT constraint is designed, the elements of the transition rate matrix is modeled as a function of the high-level switching signal \(\vartheta_{t} = p, \tilde{\vartheta}_{t} = q \); furthermore, owing to the bounded uncertainty description, the uncertainty entry in the transition rate matrix is represented by its upper and lower bounds.

Notations

The notations are quite standard. Throughout this letter \(\mathbb{R}^{n}\) and \(\mathbb{R}^{n\times m}\) denote, respectively, the n-dimensioned Euclidean space and the set of all \(n\times m\) real matrices. The notation \(X \ge Y\) (respectively, \(X > Y\)) means that X and Y are symmetric matrices, and that \(X - Y\) is positive semi-definitive (respectively, positive definite). \(L_{2} [ {0, + \infty} )\) is square integrable function vector over \([ {0, + \infty} )\). \(\Vert \cdot \Vert \) is the Euclidean norm in \(\mathbb{R}^{n}\). I is the identity matrix with appropriate dimensions. \(X+X^{T}\) is denoted \(He ( X ) \) for simplicity. If A is a matrix, \(\lambda_{\max} ( A )\) (respectively, \(\lambda_{\min} ( A )\)) means the largest (respectively, smallest) eigenvalue of A. Moreover, let \(( {\Omega,\mathscr{F} ,(\mathscr{F} _{t} )_{t \ge0} ,\mathbb{P}} )\) be a complete probability space with a filteration. \((\mathbb{F} _{t} )_{t \ge0} \) satisfies the usual conditions (i.e., the filtration contains all P-null sets and is right continuous). \(\mathscr{E} \{ \cdot \}\) stands for the mathematical expectation operator with respect to the given probability measure. Denote by \(L_{\mathbb{F}_{0} }^{2} ( { [ { - d_{\tau},0} ]:\mathbb{R}^{n} } )\) the family of all \(\mathbb{F}_{0}\) measurable \(C ( { [ { - d_{\tau},0} ]:\mathbb{R}^{n} } )\)-valued random variables \(\varphi = \{ {\varphi ( s ): - d_{\tau}\le s \le0} \}\) such that \(\sup_{ - d_{\tau}\le s \le0} \mathscr{E} \Vert {\varphi ( s )} \Vert ^{2} < \infty\). The asterisk in a matrix is used to denote a term that is induced by symmetry. Matrices, if not explicitly specified, are assumed to have appropriate dimensions. Sometimes, the arguments of the function will be omitted in the analysis when no confusion can arise.

2 Problem formulation and preliminaries

Consider a class of SMJDSs described by the following model:

$$ \textstyle\begin{cases} E ( {\vartheta_{t} } )\dot{x} ( t ) = A ( {\upsilon_{t} ,\vartheta_{t} } )x ( t ) + A_{d} ( {\upsilon_{t} ,\vartheta_{t} } )x ( {t - d ( t )} ) + A_{\tau}( {\upsilon_{t} ,\vartheta_{t} } )\int_{t - \tau ( t )}^{t} {x ( s )\,ds} \\ \hphantom{E ( {\vartheta_{t} } )\dot{x} ( t )={}}{} + B ( {\upsilon_{t} ,\vartheta_{t} } )u ( t ) + B_{h} ( {\upsilon_{t} ,\vartheta_{t} } )h ( t ) + B_{f} ( {\upsilon_{t} ,\vartheta_{t} } )f ( t ) , \\ y ( t ) = C_{1} ( {\vartheta_{t} } )x ( t ) + D ( {\vartheta_{t} } )x ( {t - d ( t )} ) + D_{\tau}( {\vartheta_{t} } )\int_{t - \tau ( t )}^{t} {x ( s )\,ds} + D_{h} ( {\vartheta_{t} } )h ( t ) \\ \hphantom{y ( t ) ={}}{}+ D_{f} ( {\vartheta_{t} } )f ( t ) , \\ x ( t ) = \phi ( t ),\quad t \in [ { - d_{\tau},0} ] , \end{cases} $$
(1)

where \(x ( t ) \in\mathbb{R}^{n}\) is the system state vector, \(y ( t ) \in\mathbb{R}^{m}\) is the measured output, \(h ( t ) \in\mathbb{R}^{l}\) is disturbance input, \(u ( t ) \in \mathbb{R}^{g}\) is the control input and \(f ( t ) \in \mathbb{R}^{v}\) is the fault vector. The matrix \(E ( {\vartheta_{t} } )\in\mathbb{R}^{n\times n}\) may be singular, and it is assumed that \(\operatorname{rank} ( {E ( {\vartheta_{t} } )} ) = r \le n\). \(\phi ( t )\) is a vector-valued initial continuous function defined on the interval \([ { - d_{\tau},0} ]\). \(\vartheta_{t}\) is a piecewise constant switching signal taking values in \(\Delta_{1}= \{ {1,2, \ldots,\iota} \}\), \(\iota\in\mathbb{N}\). Suppose \(t_{0} < t_{1} < \cdots\) is the switching sequence, then the system switches at instants \(t_{0} < t_{1} < \cdots\), and \(\vartheta ( t ) =\vartheta ( {t_{l} } ) \) for \(\forall t \in [ {t_{l} ,t_{l + 1} } )\), and \(l=0,1, \ldots\) .

Assumption 2.1

The input matrices \(B ( {\upsilon_{t} ,\vartheta_{t} } )\) are full column rank and therefore, there exists nonsingular matrices \(\bar{T} ( {\upsilon_{t} ,\vartheta_{t} } )\) such that \(\bar{T} ( {\upsilon_{t} ,\vartheta_{t} } )B ( {\upsilon_{t} ,\vartheta_{t} } ) = \bigl [ {\scriptsize\begin{matrix}{} I \cr 0\end{matrix}}\bigr ]\).

Assumption 2.2

In this paper, the time-varying delays \(d ( t )\), \(\tau ( t )\) are continuous satisfying \(0 \le d_{1} \le d ( t ) \le d_{2} \), \(\dot{d} ( t ) \le d < 1\) and \(0 \le\tau_{1} \le\tau ( t ) \le\tau_{2}\), where \(d_{1}\), \(\tau_{1}\) and \(d_{2}\), \(\tau_{2}\) are constants involving the lower and the upper bounds of the delays, \(d_{\tau}= \max \{ {d_{2} ,\tau_{2} } \}\), \(\bar{d} = d_{2} - d_{1}\), \(\bar{\tau}= \tau_{2} - \tau_{1} \).

In this paper, the aim is to design a detector (filter)/controller (state feedback) unit, which is described by

$$ \textstyle\begin{cases} E ( {\tilde{\vartheta}_{t} } )\dot{x}_{f} ( t ) = \hat{A} ( {\upsilon_{t} ,\tilde{\vartheta}_{t} } )x_{f} ( t ) + \hat{B} ( {\upsilon_{t} ,\tilde{\vartheta}_{t} } )y ( t ), \\ r ( t ) = \hat{C}_{r} ( {\upsilon_{t} ,\tilde{\vartheta}_{t} } )x_{f} ( t ) + \hat{D}_{r} ( {\upsilon_{t} ,\tilde{\vartheta}_{t} } )y ( t ) , \\ u ( t ) = \hat{K} ( {\upsilon_{t} ,\tilde{\vartheta}_{t} } )x_{f} ( {\tilde{t}_{\sigma}} ),\quad t \in [ {\tilde{t}_{\sigma},\tilde{t}_{\sigma+ 1} } ),\forall\sigma\in\mathbb{N}, \end{cases} $$
(2)

where \(x_{f} ( t ) \in\mathbb{R}^{n}\) is the state of the detector/controller unit, \(r ( t ) \in\mathbb{R}^{l_{1}}\) is the residual signal, the matrices \(\hat{A} ( {\upsilon_{t} ,\tilde{\vartheta}_{t} } )\), \(\hat{B} ( {\upsilon_{t} ,\tilde{\vartheta}_{t} } )\), \(\hat{C}_{r} ( {\upsilon_{t} ,\tilde{\vartheta}_{t} } )\), \(\hat{D}_{r} ( {\upsilon_{t} ,\tilde{\vartheta}_{t} } )\) and \(\hat{K} ( {\upsilon_{t} ,\tilde{\vartheta}_{t} } )\) are detector/controller gains, which will be determined. Moreover, \({\tilde{\vartheta}_{t} }\) is the switching signal of detector/controller unit and can be regarded as a delayed signal of \({\vartheta_{t} } \). Under the switching signal \({\vartheta_{t} } \) and \({\tilde{\vartheta}_{t} }\), one can get the following switching sequences and Fig. 1 shows the phenomenon of asynchronous switching:

$$ \textstyle\begin{cases} \vartheta_{t} : \{ { ( {t_{0} ,\vartheta ( {t_{0} } )} ), ( {t_{1} ,\vartheta ( {t_{1} } )} ), \ldots , ( {t_{k} ,\vartheta ( {t_{k} } )} ), \ldots} \}, \\ \tilde{\vartheta}_{t} : \{ { ( {t_{0} ,\vartheta ( {t_{0} } )} ), ( {t_{1} + d_{1} ,\vartheta ( {t_{1} } )} ), \ldots, ( {t_{k} + d_{k} ,\vartheta ( {t_{k} } )} ), \ldots} \}, \end{cases} $$
(3)

which indicates that if \(t \in [ {t_{k} ,t_{k} + d_{k} } )\), then the pth subsystem is coupled with the qth detector/controller unit, and while \(t \in [ {t_{k} + d_{k} ,t_{k+1} } )\), then the pth subsystem is coupled with the pth detector/controller unit. Hence, \(d_{k}\) represents the time lag of the switching instant of detector/controller unit to that of the system (1), and it is assumed that \(\tilde{d} = \max \{ {d_{k} | {k = 0,1, \ldots} } \} \) cannot exceed the next switching instant of the system.

Figure 1
figure 1

Asynchronous switching between subsystem and controller unit

\(\{ {\upsilon_{t} ,t \ge 0} \}\) is a continuous-time discrete state Markov process with right continuous trajectory values in a finite set \(\mathcal{K} = \{ {1,2, \ldots, {\tilde{k}} } \}\), \({\tilde{k}} \in\mathbb{N}\) with the TPs

$$ \Pr ( {\upsilon_{t + \Delta} = j | {\upsilon_{t} = i, \vartheta_{t} = p,\tilde{\vartheta}_{t} = q} } ) = \textstyle\begin{cases} \pi_{ij}^{ ( {pq} )} \Delta + o ( \Delta ), &i \ne j, \\ 1 + \pi_{ii}^{ ( {pq} )} \Delta + o ( \Delta ),& i = j, \end{cases} $$
(4)

where \(\Delta>0\), \(\lim_{\Delta \to0^{+} } o ( \Delta )/\Delta = 0\) and \(\pi_{ij}^{ ( pq )}\) is the transition rate from mode i at time t to mode j at time \(t+\Delta\) that satisfies \(\pi _{ij}^{ ( pq )} > 0\), \(\pi_{ii}^{ ( pq )} = - \sum_{j = 1,j \ne i}^{\tilde{k}} {\pi_{ij}^{ ( pq )} }\) (\(\forall i,j \in\mathcal{K}\), \(\forall p,q \in \Delta_{1}\)).

Remark 2.1

Based on the definition of the transition rate matrix \(\Pi^{ ( {pq} )} \), we know that every element \(\pi_{ij}^{ ( pq )}\) of the matrix \(\Pi^{ ( {pq} )} \) is a function of the switch mode \(\vartheta_{t} = p\), \(\tilde{\vartheta}_{t} = q\), it means that this matrix can be defined as

Π ( p q ) = [ π 11 ( p q ) π 1 k ˜ ( p q ) π k ˜ 1 ( p q ) π k ˜ k ˜ ( p q ) ] .
(5)

Note that matrix \(\Pi^{ ( {pq} )}\) is the time-varying and subject to the ADT constraint. Such time-varying transition rates \(\pi_{ij}^{ ( pq )}\) are unknown but they belong to the admissible bounded compact set

$$ \pi_{ij}^{ ( {pq} )} = \bar{\pi}_{ij}^{ ( {pq} )} + \Delta\bar{\pi}_{ij}^{ ( {pq} )} $$
(6)

and the uncertain \(\Delta\bar{\pi}_{ij}^{ ( {pq} )}\) belongs to the range of \([ - \delta_{ij}^{ ( {pq} )} ,\delta_{ij}^{ ( {pq} )} ]\), where \(\delta_{ij}^{ ( {pq} )} >0 \), for all \(i,j \in\mathcal {K}\), \(p,q \in\Delta_{1}\). The entry of \(\bar{\pi}_{ij}^{ ( {pq} )} \) and \({\delta_{ij}^{ ( {pq} )} } \) satisfy \(\bar{\pi}_{ii}^{ ( {pq} )} = - \sum_{\substack{ j = 1 \\ j \ne i }}^{\tilde{k}} \bar{\pi}_{ij}^{ ( {pq} )} \), \(\delta_{ii}^{ ( {pq} )} = \sum_{\substack {j = 1 \\ j \ne i }}^{\tilde{k}}\delta_{ij}^{ ( {pq} )}\).

Now, we will introduce the following event-trigger instant sequence:

$$ \chi = \bigl\{ [ {\tilde{t}_{0} ,\tilde{t}_{1} } ), [ {\tilde{t}_{1} ,\tilde{t}_{2} } ), \ldots, [ {\tilde{t}_{\sigma},\tilde{t}_{\sigma+ 1} } ), \ldots| {\sigma \in \mathbb{N}} \bigr\} . $$
(7)

Without loss of generality, we assume that the first event happens at time instant \(\tilde{t}_{0}\). With the system state estimates \(x_{f} ( {\tilde{t}_{\sigma}} )\) sampled at time instant \(\tilde{t}_{\sigma}\), the next sampling instant \(\tilde{t}_{\sigma+1}\) can be determined by the event-trigger. In this paper, the state feedback controller is event-triggered, which can be given by

$$ u ( t ) = \hat{K} ( {\upsilon_{t} ,\tilde{\vartheta}_{t} } )x_{f} ( {\tilde{t}_{\sigma}} ),\quad t \in [ {\tilde{t}_{\sigma},\tilde{t}_{\sigma + 1} } ),\forall\sigma \in \mathbb{N}. $$
(8)

Note that in the event-triggered scenario, at sampling time instant \(\tilde{t}_{\sigma}\), the controller (8) will receive the sampled data and hold unchanged until next event is generated at time instant \(\tilde{t}_{\sigma+1}\), that is, there is no new control input updates during two consecutive time instants in sequence χ. Hence, a zero-order holder (ZOH) is equipped in the system in order to keep the control signal continuous.

Now, we introduce the event detector which is used to determined whether the newly sampled data should be sent out to the controller by using the following threshold condition:

$$ e^{T} ( t )\Phi_{1i} e ( t ) - \rho_{i} x_{f}^{T} ( t )\Phi_{2i} x_{f} ( t ) \le0, $$
(9)

where \(e ( t ) = x_{f} ( {\tilde{t}_{\sigma}} ) - x_{f} ( t )\), \(\Phi_{1i}>0\) and \(\Phi_{2i}>0\) for each \(i \in\mathcal{K}\), are an event-triggered weighting matrix to be determined for a proper error tolerance \(\rho_{i} \in [ {0,1} )\). Based on the above inequality, we know that if the sampling data exceeds the threshold condition (9), the \(( {\sigma + 1} )\)th event will be triggered.

Remark 2.2

Based on (9), we know that the next event will not be generated before \(e^{T} ( t )\Phi_{1i} e ( t ) - \rho_{i} x_{f}^{T} ( t )\Phi_{2i} x_{f} ( t ) = 0\) and at the event-trigger instant \(\tilde{t}_{\delta}\), if \(e ( t ) = 0 \), one sees that a positive lower bound exists on the inter-event, that is, \(\tilde{t}_{\delta + 1} - \tilde{t}_{\delta}> 0\), which eliminates the Zeno behavior of the sampling. Furthermore, by the similar method, which was discussed in [18], a positive lower bound will be obtained. Therefore, based on the above description, the Zeno behavior of the sampling can be excluded because there is no accumulation point in the sampling if

$$\tilde{t}_{\delta + 1} = \inf \bigl\{ t > \tilde{t}_{\delta}| {e^{T} ( t )\Phi_{1i} e ( t ) - \rho_{i} x_{f}^{T} ( t )\Phi_{2i} x_{f} ( t ) \ge0} \bigr\} \quad \forall\delta \in\mathbb{N} $$

holds.

Then, by combining the detector/controller unit (2) and the system (1), we can obtain the following augmented system:

$$ \textstyle\begin{cases} \tilde{E}_{pq} \dot{\tilde{x}} ( t ) = \tilde{A}_{ipq} \tilde{x} ( t ) + \tilde{A}_{dipq} \tilde{x} ( {t - d ( t )} ) \\ \hphantom{\tilde{E}_{pq} \dot{\tilde{x}} ( t ) ={}}{}+ \tilde{A}_{\tau ipq} \int_{t - \tau ( t )}^{t} {\tilde{x} ( s )\,ds} + \tilde{A}_{eipq} e ( t ) + \tilde{B}_{zipq} z ( t ), \\ \hat{r} ( t ) = \bar{C}_{ripq} \tilde{x} ( t ) + \hat{D}_{riq} D_{p} k\tilde{x} ( {t - d ( t )} ) \\ \hphantom{\hat{r} ( t ) ={}}{}+ \hat{D}_{riq} D_{\tau p} k\int_{t - \tau ( t )}^{t} {\tilde{x} ( s )\,ds} + \bar{D}_{ripq} z ( t ) - C_{w} x_{w} ( t ) . \end{cases} $$
(10)

Case I: switching signals \(\vartheta_{t}\) and \(\tilde{\vartheta}_{t}\) are a mismatch, then

E ˜ p q = [ E p 0 0 E q ] , A ˜ i p q = [ A i p B p K ˆ i q B ˆ i q C 1 p A ˆ i q ] , A ˜ d i p q = [ A d i p 0 B ˆ i q D p 0 ] , A ˜ τ i p q = [ A τ i p k B ˆ i q D τ p k ] , A ˜ e i p q = [ B i p K ˆ i q 0 ] , B ˜ z i p q = [ B h i p B f i p B ˆ i q D h p B ˆ i q D f p ] , D ¯ r i p q = [ D ˆ r i q D h p D ˆ r i q D f p D w ] , C ¯ r i p q = [ D ˆ r i q C 1 p C ˆ r i q ] , x ˜ ( t ) = [ x ( t ) x f ( t ) ] , r ˆ ( t ) = r ( t ) r w ( t ) , [ k k ] = [ I 0 0 I ] , z ( t ) = [ h ( t ) f ( t ) ] .

Furthermore, \(\hat{r} ( t ) \) and \(r_{w} ( s ) = W ( s )f ( s )\) are a filtered version of the fault signals and \(W ( s ) \in RH_{\infty}\) is the given stable weighting transfer function. The realization of \(r_{w} ( s ) = W ( s )f ( s )\) is supposed to be

$$ W: \textstyle\begin{cases} \dot{x}_{w} ( t ) = A_{w} x_{w} ( t ) + B_{w} f ( t ), \\ r_{w} ( t ) = C_{w} x_{w} ( t ) + D_{w} f ( t ), \\ x_{w} ( 0 ) = 0, \end{cases} $$
(11)

where \(A_{w}\), \(B_{w}\), \(C_{w}\), and \(D_{w}\) are known constant matrices.

Case II: switching signals \(\vartheta_{t}\) and \(\tilde{\vartheta}_{t}\) are matched, then

E ˜ p q = E ˜ p = [ E p 0 0 E p ] , A ˜ i p q = A ˜ i p = [ A i p B p K ˆ i p B ˆ i q C 1 p A ˆ i p ] , A ˜ d i p q = A ˜ d i p = [ A d i p 0 B ˆ i p D p 0 ] , A ˜ τ i p q = A ˜ τ i p = [ A τ i p k B ˆ i p D τ p k ] , A ˜ e i p q = A ˜ e i p = [ B i p K ˆ i p 0 ] , B ˜ z i p q = B ˜ z i p = [ B h i p B f i p B ˆ i p D h p B ˆ i p D f p ] , D ¯ r i p q = D ¯ r i p = [ D ˆ r i p D h p D ˆ r i p D f p D w ] , C ¯ r i p q = C ¯ r p = [ D ˆ r i p C 1 p C ˆ r i p ] .

Remark 2.3

In this paper, the simultaneous finite-time control and fault detection problem will be described as designing a detector/controller unit in form of (2) such that the augmented system (10) is SSFTS and the following \(H_{\infty}\) property should be guaranteed when there exists a disturbance and fault under zero initial conditions:

$$ \mathscr{E} \biggl\{ { \int_{0}^{T} {e^{ - \lambda s} \hat{r}^{T} ( s )\hat{r} ( s )\,ds} } \biggr\} \le\gamma^{2} \mathscr{E} \biggl\{ { \int_{0}^{T} {z^{T} ( s )z ( s )\,ds} } \biggr\} , \quad \lambda,\gamma > 0. $$
(12)

Remark 2.4

Recently, [18, 19] investigated the problem of fault detection for networked control systems based on event-triggering mechanism, however, the fault detection filter is designed separately from the state feedback control algorithms. Furthermore, in [20], the authors continued to study the problem of event-triggered fault detection filter and controller coordinated design for networked control system, obviously, the results are much more general than the conclusions of [18, 19]. In [12], the authors discussed the problem of fault detection and control for stochastic switched delay systems under asynchronous conditions for the first time. In summary, to the best of our knowledge, the same problem about singular MJDSs using an event-triggered sampling scheme has not been investigated yet, and the results show great room to improve by introducing some novel integral inequalities. So, this is the main motivation for us to further develop the simultaneous finite-time control and fault detection problem.

Now, the following definitions are given, which are indispensable for later development.

Definition 2.1

([32])

For any switching signal and any \(k_{0} < k_{s} < k\), let \(N_{\delta}( {k_{s} ,k} )\) denote the number of switching signals over the time interval \([ {k_{s} ,k} )\). For given \(N_{0}>0\), \(\tau_{a} > 0\), then

$$ N_{\delta}( {k_{s} ,k} ) \le N_{0} + \frac{{k - k_{s} }}{{\tau _{a} }}, $$
(13)

where \(\tau_{a}\) is called average dwell time and \(N_{0}\) denotes the chatter bound.

Definition 2.2

([33])

system \(\tilde{E}_{pq}\dot{\tilde{x}} ( t ) = \tilde{A}_{ipq} \tilde{x} ( t )\) (or pair \(( {\tilde{E}_{pq},\tilde{A}_{ipq} } )\)) is said to be:

  1. 1.

    regular if \(\det ( {z\tilde{E}_{pq} - \tilde{A}_{ipq} } )\) is not identically zero for any \(i \in\mathcal{K},p,q \in\Delta_{1}\);

  2. 2.

    impulse-free if it is regular and degree \(( {\det ( {z\tilde{E}_{pq} - \tilde{A}_{ipq} } )} )= \operatorname{rank} ( {\tilde{E}_{pq}} )\) for any \(i \in\mathcal{K}\), \(p,q \in\Delta_{1}\).

Definition 2.3

([34])

The augmented system (10) is said to be SSFTS with respect to \(( {c_{1} ,c_{2} ,\mathscr{G},T} )\). With \(0< c_{1}< c_{2}\), \(\mathscr{G}>0\), if the stochastic system is regular and impulse-free in time \(t \in [ {t_{0},T} ]\) and satisfies

$$\begin{aligned}& \sup_{ t_{0}- d_{\tau}\le t \le0} \mathscr{E} \bigl\{ {\tilde{x}^{T} ( t )\mathscr{G}\tilde{x} ( t ), x_{w}^{T} ( t )\mathscr{G}x_{w} ( t ) ,\dot{\tilde{x}}^{T} ( t ) \mathscr{G}\dot{\tilde{x}} ( t )} \bigr\} \le c_{1} \\& \quad \Rightarrow \quad \mathscr{E} \bigl\{ {\tilde{x}^{T} ( t )\mathscr{G}\tilde{x} ( t )} \bigr\} < c_{2} ,\quad t \in [ {t_{0},T} ]. \end{aligned}$$
(14)

Before proceeding, we will introduce the following lemmas which will play an important role in the derivation of our main results.

Lemma 2.1

([35])

For a differentiable function \(x: [ {\alpha,\beta} ] \to \mathbb{R}^{n}\), a positive definite matrix \(R \in\mathbb{R}^{n \times n}\), a vector \(\xi \in\mathbb{R}^{k}\), and any matrices \(N_{i} \in\mathbb{R}^{n \times n}\) (\({i = 1,2}\)), the following inequality hold:

$$\begin{aligned}& {-}\int_{\alpha}^{\beta}{\dot{x}^{T} ( s )R\dot{x} ( s )\,ds} \\& \quad \le\xi^{T} \biggl[ { ( {\alpha - \beta} ) \biggl( {N_{1} R^{ - 1} N_{1}^{T} + \frac{1}{3}N_{2} R^{ - 1} N_{2}^{T} } \biggr) + He ( {N_{1} E_{1} + N_{2} E_{2} } )} \biggr]\xi, \end{aligned}$$
(15)

where

$$\begin{aligned}& E_{1} \xi = \Upsilon_{1} ( {\alpha,\beta} ) = x ( \beta ) - x ( \alpha ), \\& E_{2} \xi = \Upsilon_{2} ( {\alpha,\beta} ) = x ( \beta ) + x ( \alpha ) - \frac{2}{{\beta - \alpha}} \int_{\alpha}^{\beta}x ( s )\,ds. \end{aligned}$$

Lemma 2.2

For any appropriately dimensioned matrices \(Z=Z^{T}>0\), \(Z \in \mathbb{R}^{n \times n}\), \(M \in\mathbb{R}^{m \times n}\) and positive scalars \(d_{1}\), and α, the following inequality holds:

$$\begin{aligned} \begin{aligned} & {-} \int_{t - d_{1} }^{t} {e^{\alpha_{2} ( {t - s} )} \dot {\tilde{x}}^{T} ( s )\tilde{E}^{T} Z\tilde{E}\dot{\tilde{x}} ( s )\,ds} \\ &\quad \le\xi^{T} ( t )\varepsilon MZ^{ - 1} M^{T} \xi ( t ) + 2\xi^{T} ( t )M \bigl( {\tilde{E}\tilde{x} ( t ) - \tilde{E}\tilde{x} ( {t - d_{1} } )} \bigr), \end{aligned} \end{aligned}$$
(16)

where \(\varepsilon = \frac{1}{\alpha_{2} } ( {1 - e^{ - \alpha_{2} d_{1} } } )\).

Proof

Firstly, we can find that the following inequality is true

t d 1 t [ ξ ( t ) E ˜ x ˜ ˙ ( s ) ] T [ e α ( t s ) 2 M e α ( t s ) 2 Z ] Z 1 [ e α ( t s ) 2 M T e α ( t s ) 2 Z ] [ ξ ( t ) E ˜ x ˜ ˙ ( s ) ] ds0,
(17)

which implies the inequality (16) is satisfied. □

Remark 2.5

Lemma 2.1 and Lemma 2.2 represent some novel results to handle the integral term of quadratic quantities in the estimation of LKF derivative. Lemma 2.1 includes more information of state and time-varying delay into the augmented vectors \({\xi ( t )} \); Lemma 2.2 contains the exponential information, and it does not use the approximation \(- e^{\alpha ( {t - s} )} < - 1\), \(t - d_{2} \le s \le t - d_{1} \), which presents less precision. So, Lemma 2.1 and Lemma 2.2 are helpful to reduce the imprecision of our results.

Lemma 2.3

([36])

For any constant matrix \(M > 0\), any scalars a and b with \(a < b\), and a vector function \(x ( t ): [ {a,b} ] \to\mathbb{R}^{n} \) such that the integrals concerned are well defined, then the following inequality holds:

$$ \biggl[ { \int_{a}^{b} {x ( s )\,ds} } \biggr]^{T} M \biggl[ { \int_{a}^{b} {x ( s )\,ds} } \biggr] \le ( {b - a} ) \int_{a}^{b} x^{T} ( s )Mx ( s )\,ds. $$
(18)

3 Design of the detector/controller unit

In this section, LMI conditions are presented such that the SSFTS and performance property (12) are satisfied simultaneously for augmented system (10) with average dwell time constraint and then we will endeavour to develop the design problems for detector/controller unit with the form of (2).

Theorem 3.1

For any \(i,j \in\mathcal{K}\), \(p,q \in\Delta_{1}\), \(\alpha_{1}>0\), \(\alpha_{2}>0\), \(\gamma_{0}>0\), and given matrices \(\hat{A}_{iq}\), \(\hat{B}_{iq}\), \(\hat{C}_{riq}\), \(\hat{D}_{riq}\), \(\hat{K}_{iq}\), \(\tilde{R}_{pq}\), then the augmented system (10) with \(z ( t ) = 0\) is SSFTS with respect given \(( {c_{1} ,c_{2} ,\mathscr{G},T} )\) and the performance index (12) is satisfied, if there exist positive definite matrices \(P_{ipq}\), \(P_{wpq}\), \(Q_{lpq}\), \(l=1,2,3\), \(\bar{R}_{1pq}\), \(\bar{R}_{2pq}\), \(W_{1pq}\), \(\bar{W}_{1pq}\), \(W_{21pq}\), \(W_{22pq}\) symmetric matrices \(\mathscr{H}_{1}\), \(\mathscr{H}_{2}\) and any real matrices \(T_{k}\), \(k=1,2,3,4,5\), \(\mathfrak{G}\), \(S_{pq}\), \(S_{wpq}\), such that the following LMIs hold:

Θ i p q d 1 = [ Θ 11 ( p q ) Θ 12 ( p q ) Θ 13 ( p q ) 0 Θ 15 ( p q ) 0 Θ 17 ( p q ) Θ 18 ( p q ) Θ 19 ( p q ) Θ 22 ( p q ) Θ 23 ( p q ) Θ 24 ( p q ) 0 0 Θ 27 ( p q ) Θ 28 ( p q ) 0 Θ 33 ( p q ) Θ 34 ( p q ) 0 0 Θ 37 ( p q ) Θ 38 ( p q ) 0 Θ 44 ( p q ) 0 0 Θ 47 ( p q ) Θ 48 ( p q ) 0 Θ 55 ( p q ) 0 0 Θ 58 ( p q ) 0 Θ 66 ( p q ) Θ 67 ( p q ) Θ 68 0 Θ 77 ( p q ) Θ 78 ( p q ) 0 Θ 88 ( p q ) 0 Θ 99 ] <0,
(19)
Θ i p q d 2 = [ Θ 11 ( p q ) Θ 12 ( p q ) Θ 13 ( p q ) 0 Θ 15 ( p q ) 0 Θ 17 ( p q ) Θ 18 ( p q ) Θ 19 ( p q ) Θ 22 ( p q ) Θ 23 ( p q ) Θ 24 ( p q ) 0 0 Θ 27 ( p q ) Θ ¯ 28 ( p q ) 0 Θ 33 ( p q ) Θ 34 ( p q ) 0 0 Θ 37 ( p q ) Θ ¯ 38 ( p q ) 0 Θ 44 ( p q ) 0 0 Θ 47 ( p q ) 0 0 Θ 55 ( p q ) 0 0 Θ 58 ( p q ) 0 Θ 66 ( p q ) Θ 67 ( p q ) Θ 68 0 Θ ¯ 77 ( p q ) Θ ¯ 78 ( p q ) 0 Θ 88 ( p q ) 0 Θ 99 ] <0,
(20)
Θ i p d 1 = [ Θ 11 ( p ) Θ 12 ( p ) Θ 13 ( p ) 0 Θ 15 ( p ) 0 Θ 17 ( p ) Θ 18 ( p ) Θ 19 ( p ) Θ 22 ( p ) Θ 23 ( p ) Θ 24 ( p ) 0 0 Θ 27 ( p ) Θ 28 ( p ) 0 Θ 33 ( p ) Θ 34 ( p ) 0 0 Θ 37 ( p ) Θ 38 ( p ) 0 Θ 44 ( p ) 0 0 Θ 47 ( p ) Θ 48 ( p ) 0 Θ 55 ( p ) 0 0 Θ 58 ( p ) 0 Θ 66 ( p ) Θ 67 ( p ) Θ 68 0 Θ 77 ( p ) Θ 78 ( p ) 0 Θ 88 ( p ) 0 Θ 99 ] <0,
(21)
Θ i p d 2 = [ Θ 11 ( p ) Θ 12 ( p ) Θ 13 ( p ) 0 Θ 15 ( p ) 0 Θ 17 ( p ) Θ 18 ( p ) Θ 19 ( p ) Θ 22 ( p ) Θ 23 ( p ) Θ 24 ( p ) 0 0 Θ 27 ( p ) Θ ¯ 28 ( p ) 0 Θ 33 ( p ) Θ 34 ( p ) 0 0 Θ 37 ( p ) Θ ¯ 38 ( p ) 0 Θ 44 ( p ) 0 0 Θ 47 ( p ) 0 0 Θ 55 ( p ) 0 0 Θ 58 ( p ) 0 Θ 66 ( p ) Θ 67 ( p ) Θ 68 0 Θ ¯ 77 ( p ) Θ ¯ 78 ( p ) 0 Θ 88 ( p ) 0 Θ 99 ] <0,
(22)
[ W 21 p q H 1 H 1 W 22 p q ] > 0 , [ W 21 p q H 2 H 2 W 22 p q ] > 0 , [ [ W 21 p q H 1 H 1 W 22 p q ] G G T [ W 21 p q H 2 H 2 W 22 p q ] ] > 0 ,
(23)
$$\begin{aligned}& \eta_{1} c_{2} e^{ - \alpha_{1} T_{\mathrm{m}} ( {t_{0} ,T} ) - \alpha_{2} T_{\mathrm{mism}} ( {t_{0} ,T} )} > \eta_{2} c_{1}, \end{aligned}$$
(24)

and the average dwell time satisfying

$$\begin{aligned} \tau_{a} >& \tau_{a}^{*} \\ =& \max\biggl\{ \frac{{ ( {\ln ( {\mu _{1} \mu_{2} } ) + \vert {\alpha_{1} - \alpha_{2} } \vert d_{\tau}} )T}}{{\ln\frac{{c_{2} }}{{c_{1} }} + \ln\frac{{\eta_{1} }}{{\eta_{2} }} - \alpha_{1} T_{\mathrm{m}} ( {t_{0} ,T} ) - \alpha_{2} T_{\mathrm{mism}} ( {t_{0} ,T} )}}, \\ &\frac{{\ln ( {\mu_{1} \mu_{2} } ) + \vert {\alpha _{1} - \alpha_{2} } \vert d_{\tau}+ \alpha_{2} \tilde{d}}}{{\alpha_{1} }}\biggr\} , \end{aligned}$$
(25)

where

Θ 11 ( p q ) = H e ( M i p q A ˜ i p q ) α 2 E ˜ p q T P i p q E ˜ p q + v = 1 3 Q v p q + τ 1 2 R ¯ 1 p q Θ 11 ( p q ) = + τ ¯ 2 R ¯ 2 p q + H e ( T 51 E ˜ p q ) + ρ i k T Φ 2 i k + d ¯ 2 E ˜ p q T W 21 p q E ˜ p q Θ 11 ( p q ) = + j = 1 j i k ˜ π ¯ i j ( p q ) E ˜ p q T ( P j p q P i p q ) E ˜ p q + j = 1 j i k ˜ 1 4 ( δ i j ( p q ) ) 2 ε i j , Θ 12 ( p q ) = M i p q A ˜ d i p q , Θ 13 ( p q ) = T 51 E ˜ p q + E ˜ p q T T 53 T , Θ 15 ( p q ) = [ 0 M i p q A ˜ τ i p q 0 ] , Θ 17 ( p q ) = [ 0 0 M i p q A ˜ e i p q M i p q B ˜ z i p q ] , Θ 18 ( p q ) = [ C ¯ r i p q T A ˜ i p q T 0 n × 2 n T 51 ] , Θ 19 ( p q ) = [ E ˜ p q T ( P 1 p q P i p q ) E ˜ p q E ˜ p q T ( P ( i 1 ) p q P i p q ) E ˜ p q E ˜ p q T ( P ( i + 1 ) p q P i p q ) E ˜ p q Θ 19 ( p q ) = E ˜ p q T ( P k ˜ p q P i p q ) E ˜ p q ] , Θ 22 ( p q ) = ( 1 d ) e α 2 d 2 Q 1 p q + H e ( T 12 E ˜ p q + T 22 E ˜ p q T 32 E ˜ p q + T 42 E ˜ p q E ˜ p q T G 2 E ˜ p q ) Θ 22 ( p q ) = + E ˜ p q T ( d ¯ H 1 d ¯ H 2 ) E ˜ p q + 2 E ˜ p q T W 22 p q E ˜ p q , Θ 23 ( p q ) = T 32 E ˜ p q E ˜ p q T T 33 T + T 42 E ˜ p q + E ˜ p q T T 43 T + E ˜ p q T G 2 E ˜ p q E ˜ p q T W 22 p q E ˜ p q , Θ 24 ( p q ) = T 12 E ˜ p q + E ˜ p q T T 14 T + T 22 E ˜ p q + E ˜ p q T T 24 T + E ˜ p q T G 2 T E ˜ p q E ˜ p q T W 22 p q E ˜ p q , Θ 27 ( p q ) = [ T 22 E ˜ p q + E ˜ p q T T 210 T d ¯ E ˜ p q T H 1 E ˜ p q T 42 E ˜ p q + E ˜ p q T T 411 T + d ¯ E ˜ p q T H 2 E ˜ p q 0 0 ] , Θ 28 ( p q ) = [ ( D ˆ r i q D p k ) T A ˜ d i p q T d ¯ T 12 d ¯ T 22 0 ] , Θ 33 ( p q ) = e α 2 d 1 Q 2 p q + H e ( T 33 E ˜ p q + T 43 E ˜ p q T 53 E ˜ p q ) + E ˜ p q T ( d ¯ H 2 + W 22 p q ) E ˜ p q Θ 34 ( p q ) Θ 33 ( p q ) = E ˜ p q T G 2 T E ˜ p q , Θ 37 ( p q ) = [ 0 T 43 E ˜ p q + E ˜ p q T T 411 T d ¯ E ˜ p q T H 2 E ˜ p q 0 0 ] , Θ 38 ( p q ) = [ 0 n × 4 n T 53 ] , Θ 44 ( p q ) = e α 2 d 2 Q 3 p q + H e ( T 14 E ˜ p q + T 24 E ˜ p q ) E ˜ p q T ( d ¯ H 1 W 22 p q ) E ˜ p q , Θ 47 ( p q ) = [ 2 T 24 E ˜ p q + E ˜ p q T T 210 T + d ¯ E ˜ p q T H 1 E ˜ p q 0 0 0 ] , Θ 48 ( p q ) = [ 0 0 d ¯ T 14 d ¯ T 24 0 ] , Θ 55 ( p q ) = [ R ¯ 1 p q 0 0 e 2 α 2 τ 2 R ¯ 2 p q e 2 α 2 τ 2 R ¯ 2 p q e 2 α 2 τ 2 R ¯ 2 p q ] , Θ 58 ( p q ) = [ 0 n × 5 n [ ( D ˆ r i q D τ p k ) T A ˜ τ i p q T 0 n × 3 n ] 0 n × 5 n ] , Θ 66 ( p q ) = [ H e ( P w p q A w ) α 2 P w p q A w T S w p q T H e ( S w p q ) ] , Θ 67 ( p q ) = [ 0 n × 3 n P w p q B w k 0 n × 3 n S w p q B w k ] , Θ 68 = [ [ C w T 0 n × 4 n ] 0 n × 5 n ] , Θ 78 ( p q ) = [ [ 0 n × 3 n d ¯ T 210 0 ] 0 n × 5 n [ 0 A ˜ e i p q T 0 n × 3 n ] [ D ¯ r i p q T B ˜ z i p q T 0 n × 3 n ] ] , Θ 77 ( p q ) = diag ( H e ( 2 T 210 E ˜ p q ) d ¯ 2 E ˜ p q T W 21 p q E ˜ p q H e ( 2 T 411 E ˜ p q ) Φ 1 i γ 0 2 I ) , Θ 88 ( p q ) = diag ( I Δ 1 W 1 3 W 1 ε 1 W ¯ 1 ) , M i p q = E ˜ p q T P i p q + S p q R ˜ p q T ( E ˜ p q T R ˜ p q = 0 ) , Θ 99 = diag ( ε i 1 ε i , i 1 ε i , i + 1 ε i , k ˜ ) , Δ = d ¯ W 1 + d 1 W ¯ 1 + d ¯ 2 W 22 p q , Θ ¯ 28 ( p q ) = [ ( D ˆ r i q D p k ) T A ˜ d i p q T d ¯ T 32 d ¯ T 42 0 ] , Θ ¯ 38 ( p q ) = [ 0 0 d ¯ T 33 d ¯ T 43 T 53 ] , Θ ¯ 77 ( p q ) = diag ( H e ( 2 T 210 E ˜ p q ) H e ( 2 T 411 E ˜ p q ) d ¯ 2 E ˜ p q T W 21 p q E ˜ p q Φ 1 i γ 0 2 I ) , Θ ¯ 78 ( p q ) = [ 0 n × 5 n [ 0 n × 3 n d ¯ T 411 0 ] [ 0 A ˜ e i p q T 0 n × 3 n ] [ D ¯ r i p q T B ˜ z i p q T 0 n × 3 n ] ] , G = [ G 1 0 0 G 2 ] , R ˜ p q = [ R p 0 0 R q ] .

If we replace the switching signal \(\tilde{\vartheta}_{t} = q\) and positive scalar \(\alpha_{2}\) with switching signal \(\vartheta_{t} = p\), and positive scalar \(\alpha_{1}\) in the LMIs (19) and (20), we can obtain the LMIs (21) and (22), respectively.

Proof

In order to develop our results, we will divide the time interval into two parts, one is \([ {t_{k} ,t_{k} + d_{k} } )\) (\({k = 0,1, \ldots}\)), the other is \([ {t_{k}+d_{k} ,t_{k+1} } )\) (\({k = 0,1, \ldots}\)), which correspond to the asynchronous and synchronous time interval between the switched subsystems and their controller unit, respectively. Next we will discuss our problems in two cases.

Case I: In mismatch period.

Firstly, we will show that the system (10) is regular and impulse-free. From (19), it is seen that \(\Theta_{11}^{(pq)}<0\), so, it is known that there exist two nonsingular matrices and Ñ, such that

M ˜ E ˜ p q N ˜ = [ I 2 r 0 0 0 ] , M ˜ A ˜ i p q N ˜ = [ A ˜ i p q ( 11 ) A ˜ i p q ( 12 ) A ˜ i p q ( 21 ) A ˜ i p q ( 22 ) ] , M ˜ P i p q N ˜ = [ P i p q ( 11 ) P i p q ( 12 ) P i p q ( 21 ) P i p q ( 22 ) ] , N ˜ S p q = [ S p q 1 S p q 2 ] , R ˜ p q = M ˜ T [ 0 U ˜ p q T ] ,

where \(\tilde{U}_{pq}\) is any real nonsingular matrix for any \(p,q \in\Delta_{1} \). Now, we will pre-multiplying and post-multiplying \(\Theta_{11}^{(pq)}<0\) by \(\tilde{N}^{T}\) and Ñ, we can have \(He ( {S_{pq2} \tilde{U}_{pq}\tilde{A}_{ipq}^{(22)} } ) < 0 \), which implies \(\tilde{A}_{ipq}^{(22)}\) is nonsingular matrix. Then, for \(i \in\mathcal{K} \), \(p,q \in\Delta_{1}\), pair \(({\tilde{E}_{pq}} \ {\tilde{A}_{ipq} })\) is regular and impulse-free. Based on Definition 2.2, we can see that augmented system (10) is regular and impulse-free for any time-varying \(d ( t ) \) satisfying Assumption 2.2.

Now, we will show augmented system (10) is SSFTS. Firstly, choose a stochastic Lyapunov function candidate for the system (10) for any \(i \in\mathcal{K}\), \(p,q \in\Delta_{1}\):

$$\begin{aligned}& V_{pq}^{ ( 1 )} ( t ) = \tilde{x}^{T} ( t )\tilde{E}_{pq}^{T} P_{ipq} \tilde{E}_{pq} \tilde{x} ( t ), \end{aligned}$$
(26)
$$\begin{aligned}& V_{pq}^{ ( 2 )} ( t ) = \int_{t - d ( t )}^{t} {e^{\alpha_{2} ( {t - s} )} \tilde{x}^{T} ( s )Q_{1pq} \tilde{x} ( s )\,ds} + \int_{t - d_{1} }^{t} e^{\alpha_{2} ( {t - s} )} \tilde{x}^{T} ( s )Q_{2pq} \tilde{x} ( s )\,ds \\& \hphantom{V_{pq}^{ ( 2 )} ( t ) ={}}{}+ \int_{t - d_{2} }^{t} e^{\alpha_{2} ( {t - s} )} \tilde{x}^{T} ( s )Q_{3pq} \tilde{x} ( s )\,ds, \end{aligned}$$
(27)
$$\begin{aligned}& V_{pq}^{ ( 3 )} ( t ) = \tau_{1} \int_{ - \tau _{1} }^{0} \int_{t + \theta}^{t} {e^{\alpha_{2} ( {t - s} )} \tilde{x}^{T} ( s )\bar{R}_{1pq} \tilde{x} ( s )\,ds\,d\theta} \\& \hphantom{V_{pq}^{ ( 3 )} ( t ) ={}}{}+ \bar{\tau}\int_{ - \tau_{2} }^{ - \tau_{1} } \int_{t + \theta}^{t} e^{\alpha_{2} ( {t - s} )} \tilde{x}^{T} ( s )\bar{R}_{2pq} \tilde{x} ( s )\,ds\,d \theta, \end{aligned}$$
(28)
$$\begin{aligned}& V_{pq}^{ ( 4 )} ( t ) = \int_{ - d_{1} }^{0} \int_{t + \theta}^{t} e^{\alpha_{2} ( {t - s} )} \dot{\tilde{x}}^{T} ( s )\tilde{E}_{pq}^{T} \bar{W}_{1pq} \tilde{E}_{pq} \dot{\tilde{x}} ( s )\,ds \, d\theta \\& \hphantom{V_{pq}^{ ( 4 )} ( t ) ={}}{}+ \int_{ - d_{2} }^{ - d_{1} } \int_{t + \theta}^{t} e^{\alpha_{2} ( {t - s} )} \dot{\tilde{x}}^{T} ( s )\tilde{E}_{pq}^{T} W_{1pq} \tilde{E}_{pq} \dot{\tilde{x}} ( s )\,ds \, d\theta, \end{aligned}$$
(29)
V p q ( 5 ) (t)= d ¯ d 2 d 1 t + θ t e α 2 ( t s ) [ E ˜ p q x ˜ ( s ) E ˜ p q x ˜ ˙ ( s ) ] T [ W 21 p q 0 0 W 22 p q ] [ E ˜ p q x ˜ ( s ) E ˜ p q x ˜ ˙ ( s ) ] dsdθ,
(30)
V p q ( 6 ) = [ x w ( t ) x ˙ w ( t ) ] T [ P w p q 0 0 S w p q ] [ I 0 0 0 ] [ x w ( t ) x ˙ w ( t ) ] .
(31)

Then the derivative of \(V_{pq} ( t ) \) along the trajectory of the system (10) can be calculated as follows for each \(i \in\mathcal{K} \), \(p,q \in\Delta_{1} \):

$$\begin{aligned}& \mathscr{L}V_{pq}^{ ( 1 )} ( t ) = \tilde{x}^{T} ( t ) \bigl( {He ( {\mathscr{M}_{ipq} \tilde{A}_{ipq} } ) - \alpha_{2} \tilde{E}_{pq}^{T} P_{ipq} \tilde{E}_{pq} } \bigr)\tilde{x} ( t ) + 2\tilde{x}^{T} ( t ) \mathscr{M}_{ipq} \tilde{A}_{dipq} \tilde{x} \bigl( {t - d ( t )} \bigr) \\& \hphantom{\mathscr{L}V_{pq}^{ ( 1 )} ( t ) ={}}{}+ 2\tilde{x}^{T} ( t )\mathscr{M}_{ipq} \tilde{A}_{\tau ipq} \int_{t - \tau ( t )}^{t} {\tilde{x} ( s )\,ds} \\& \hphantom{\mathscr{L}V_{pq}^{ ( 1 )} ( t ) ={}}{}+ 2\tilde{x}^{T} ( t )\mathscr{M}_{ipq} \tilde{A}_{epq} e ( t ) + 2\tilde{x}^{T} ( t )\mathscr{M}_{ipq} \tilde{B}_{zipq} z ( t ) + \alpha_{2} V_{pq}^{ ( 1 )} ( t ) + \bar{P}_{ipq}, \\& \mathscr{L}V_{pq}^{ ( 2 )} ( t ) \le\alpha_{2} V_{pq}^{ ( 2 )} ( t ) + \tilde{x}^{T} ( t ) ( {Q_{1pq} + Q_{2pq} + Q_{3pq} } )\tilde{x} ( t ) \\& \hphantom{\mathscr{L}V_{pq}^{ ( 2 )} ( t )\le{}}{} - ( {1 - d} )e^{ - \alpha _{2} d_{2} } \tilde{x}^{T} \bigl( {t - d ( t )} \bigr)Q_{1pq} \tilde{x} \bigl( {t - d ( t )} \bigr), \\& \mathscr{L}V_{pq}^{ ( 3 )} ( t ) \le\alpha_{2} V_{pq}^{ ( 3 )} ( t ) + \tilde{x}^{T} ( t ) \bigl( { \tau_{1}^{2} \bar{R}_{1pq} + \bar{\tau}^{2} \bar{R}_{2pq} } \bigr)\tilde{x} ( t ) - \int_{t - \tau_{1} }^{t} {\tilde{x}^{T} ( s )\,ds} \bar{R}_{1pq} \int_{t - \tau_{1} }^{t} {\tilde{x} ( s )\,ds} \\& \hphantom{\mathscr{L}V_{pq}^{ ( 3 )} ( t ) \le{}}{} - \bar{\tau}e^{ - 2\alpha_{2} \tau_{2} } \int_{t - \tau_{2} }^{t - \tau ( t )} {\tilde{x}^{T} ( s )\bar{R}_{2pq} \tilde{x} ( s )\,ds} \\& \hphantom{\mathscr{L}V_{pq}^{ ( 3 )} ( t )}\le \alpha_{2} V_{pq}^{ ( 3 )} ( t ) + \tilde{x}^{T} ( t ) \bigl( {\tau_{1}^{2} \bar{R}_{1pq} + \bar{\tau}^{2} \bar{R}_{2pq} } \bigr)\tilde{x} ( t ) - \int_{t - \tau_{1} }^{t} {\tilde{x}^{T} ( s )\,ds} \bar{R}_{1pq} \int_{t - \tau_{1} }^{t} {\tilde{x} ( s )\,ds} \\& \hphantom{\mathscr{L}V_{pq}^{ ( 3 )} ( t ) \le{}}{} - \bar{\tau}e^{ - 2\alpha_{2} \tau_{2} } \biggl[ { \int_{t - \tau_{2} }^{t} {\tilde{x}^{T} ( s )\,ds} - \int_{t - \tau ( t )}^{t} {\tilde{x}^{T} ( s )\,ds} } \biggr] \\& \hphantom{\mathscr{L}V_{pq}^{ ( 3 )} ( t ) \le{}}{}\times\bar{R}_{2pq} \biggl[ { \int_{t - \tau_{2} }^{t} {\tilde{x} ( s )\,ds} - \int_{t - \tau ( t )}^{t} {\tilde{x} ( s )\,ds} } \biggr], \\& \mathscr{L}V_{pq}^{ ( 4 )} ( t ) \le\alpha_{2} V_{pq}^{ ( 4 )} ( t )+ \dot{\tilde{x}}^{T} ( t ) \bigl( {\bar{d}\tilde{E}_{pq}^{T} W_{1} \tilde{E}_{pq} + d_{1} \tilde{E}_{pq}^{T} \bar{W}_{1} \tilde{E}_{pq} } \bigr)\dot{\tilde{x}} ( t ) \\& \hphantom{\mathscr{L}V_{pq}^{ ( 4 )} ( t )\le{}}{}- \int_{t - d_{2} }^{t - d_{1} } \dot{\tilde{x}}^{T} ( s ) \tilde{E}_{pq}^{T} W_{1} \tilde{E}_{pq} \dot{\tilde{x}} ( s )\,ds \\& \hphantom{\mathscr{L}V_{pq}^{ ( 4 )} ( t ) \le{}}{} - \int_{t - d_{1} }^{t} e^{\alpha_{2} ( {t - s} )} \dot{\tilde{x}}^{T} ( s )\tilde{E}_{pq}^{T} \bar{W}_{1} \tilde{E}_{pq} \dot {\tilde{x}} ( s )\,ds. \end{aligned}$$

Now, from Lemma 2.1 and Lemma 2.2, we have

$$\begin{aligned}& - \int_{t - d_{2} }^{t - d_{1} } \dot{\tilde{x}}^{T} ( s ) \tilde{E}_{pq}^{T} W_{1} \tilde{E}_{pq} \dot{\tilde{x}} ( s )\,ds \\& \quad \le\xi^{T} ( t ) \biggl[ \bigl( {d_{2} - d ( t )} \bigr) \biggl( {T_{1} W_{1}^{ - 1} T_{1}^{T} + \frac{1}{3}T_{2} W_{1}^{ - 1} T_{2}^{T} } \biggr) \\& \qquad {}+ \bigl( {d ( t ) - d_{1} } \bigr) \biggl( {T_{3} W_{1}^{ - 1} T_{3}^{T} + \frac{1}{3}T_{4} W_{1}^{ - 1} T_{4}^{T} } \biggr) \biggr]\xi ( t ) \\& \qquad {} + \xi^{T} ( t )He \bigl( {T_{1} \tilde{E}_{pq} \bigl( {e_{2}^{T} - e_{4}^{T} } \bigr)} \bigr)\xi ( t ) + \xi^{T} ( t )He \bigl( {T_{2} \tilde{E}_{pq} \bigl( {e_{2}^{T} + e_{4}^{T} - 2e_{10}^{T} } \bigr)} \bigr)\xi ( t ) \\& \qquad {} + \xi^{T} ( t )He \bigl( {T_{3} \tilde{E}_{pq} \bigl( {e_{3}^{T} - e_{2}^{T} } \bigr)} \bigr)\xi ( t ) + \xi^{T} ( t )He \bigl( {T_{4} \tilde{E}_{pq} \bigl( {e_{3}^{T} + e_{2}^{T} - 2e_{11}^{T} } \bigr)} \bigr) \xi ( t ) \\& - \int_{t - d_{1} }^{t} {e^{\alpha_{2} ( {t - s} )} \dot{\tilde{x}}^{T} ( s )\tilde{E}_{pq}^{T} \bar{W}_{1} \tilde{E}_{pq}\dot{\tilde{x}} ( s )\,ds} \\& \quad \le \xi^{T} ( t )\varepsilon T_{5} \bar{W}_{1}^{ - 1} T_{5}^{T} \xi ( t ) + 2\xi^{T} ( t )T_{5} \bigl( {\tilde{E}_{pq}\tilde{x} ( t ) - \tilde{E}_{pq}\tilde{x} ( {t - d_{1} } )} \bigr), \end{aligned}$$

where

e i T = [ 0 n × ( i 1 ) n I n 0 n × ( 13 i ) n ] , ε = 1 α 2 ( 1 e α 2 d 1 ) , ξ T ( t ) = [ x ˜ T ( t ) x ˜ T ( t d ( t ) ) x ˜ T ( t d 1 ) x ˜ T ( t d 2 ) t τ 1 t x ˜ T ( s ) d s ξ T ( t ) = t τ ( t ) t x ˜ T ( s ) d s t τ 2 t x ˜ T ( s ) d s x w T ( t ) x ˙ w T ( t ) 1 d 2 d ( t ) t d 2 t d ( t ) x ˜ T ( s ) d s ξ T ( t ) = 1 d ( t ) d 1 t d ( t ) t d 1 x ˜ T ( s ) d s e T ( t ) z T ( t ) ] , T 1 T = [ 0 T 12 T 0 T 14 T 0 0 ] 13 n × n , T 2 T = [ 0 T 22 T 0 T 24 T 0 0 T 210 T 0 0 0 ] 13 n × n , T 3 T = [ 0 T 32 T T 33 T 0 0 ] 13 n × n , T 4 T = [ 0 T 42 T T 43 T 0 0 T 411 T 0 0 ] 13 n × n , T 5 T = [ T 51 T 0 T 53 T 0 0 ] 13 n × n , L V p q ( 5 ) ( t ) α 2 V p q ( 5 ) ( t ) + d ¯ 2 x ˜ T ( t ) E ˜ p q T W 21 p q E ˜ p q x ˜ ( t ) + d ¯ 2 x ˜ ˙ T ( t ) E ˜ p q T W 22 p q E ˜ p q x ˜ ˙ ( t ) L V p q ( 5 ) ( t ) d ¯ t d 2 t d 1 [ E ˜ p q x ˜ ( s ) E ˜ p q x ˜ ˙ ( s ) ] T [ W 21 p q 0 0 W 22 p q ] [ E ˜ p q x ˜ ( s ) E ˜ p q x ˜ ˙ ( s ) ] d s .

In order to improve the feasible region of criteria, for any symmetric matrices \(\mathscr{H}_{1}\) and \(\mathscr{H}_{2}\), one has

$$\begin{aligned}& 0 = \bar{d}\biggl( {\tilde{x}^{T} \bigl( t- d ( t ) \bigr)\tilde{E}_{pq}^{T} \mathscr{H}_{1} \tilde{E}_{pq}\tilde{x} \bigl( {t - d ( t )} \bigr) - \tilde{x}^{T} ( {t - d_{2} } )\tilde{E}_{pq}^{T} \mathscr{H}_{1} \tilde{E}_{pq}\tilde{x} ( {t -d_{2} } )} \\& \hphantom{0 ={}}{}-2 \int_{t - d_{2} }^{t - d ( t )} {\tilde{x}^{T} ( s )\tilde{E}_{pq}^{T} \mathscr{H}_{1} \tilde{E}_{pq}\dot{\tilde{x}} ( s )\,ds} \biggr), \end{aligned}$$
(32)
$$\begin{aligned}& 0 = \bar{d}\biggl( {\tilde{x}^{T} ( {t - d_{1} } )\tilde{E}_{pq}^{T} \mathscr{H}_{2} \tilde{E}_{pq}\tilde{x} ( {t - d_{1} } ) - \tilde{x}^{T} \bigl( {t - d ( t )} \bigr)\tilde{E}_{pq}^{T} \mathscr{H}_{2} \tilde{E}_{pq}\tilde{x} \bigl( {t - d ( t )} \bigr)} \\& \hphantom{0 ={}}{}- 2 \int_{t - d ( t )}^{t - d_{1} } {\tilde{x}^{T} ( s )\tilde{E}_{pq}^{T} \mathscr{H}_{2} \tilde{E}_{pq}\dot{\tilde{x}} ( s )\,ds} \biggr) . \end{aligned}$$
(33)

Then we have

d ¯ t d 2 t d ( t ) [ E ˜ p q x ˜ ( s ) E ˜ p q x ˜ ˙ ( s ) ] T [ W 21 p q 0 0 W 22 p q ] [ E ˜ p q x ˜ ( s ) E ˜ p q x ˜ ˙ ( s ) ] d s 2 d ¯ t d 2 t d ( t ) x ˜ T ( s ) E ˜ p q T H 1 E ˜ p q x ˜ ˙ ( s ) d s d ¯ t d ( t ) t d 1 [ E ˜ p q x ˜ ( s ) E ˜ p q x ˜ ˙ ( s ) ] T [ W 21 p q 0 0 W 22 p q ] [ E ˜ p q x ˜ ( s ) E ˜ p q x ˜ ˙ ( s ) ] d s 2 d ¯ t d ( t ) t d 1 x ˜ T ( s ) E ˜ p q T H 2 E ˜ p q x ˜ ˙ ( s ) d s = d ¯ t d 2 t d ( t ) [ E ˜ p q x ˜ ( s ) E ˜ p q x ˜ ˙ ( s ) ] T [ W 21 p q H 1 H 1 W 22 p q ] [ E ˜ p q x ˜ ( s ) E ˜ p q x ˜ ˙ ( s ) ] d s d ¯ t d ( t ) t d 1 [ E ˜ p q x ˜ ( s ) E ˜ p q x ˜ ˙ ( s ) ] T [ W 21 p q H 2 H 2 W 22 p q ] [ E ˜ p q x ˜ ( s ) E ˜ p q x ˜ ˙ ( s ) ] d s d ¯ d 2 d ( t ) ξ T ( t ) [ ( d 2 d ( t ) ) e 10 E ˜ p q T e 2 E ˜ p q T e 4 E ˜ p q T ] × [ W 21 p q H 1 H 1 W 22 p q ] [ ( d 2 d ( t ) ) E ˜ p q e 10 T E ˜ p q e 2 T E ˜ p q e 4 T ] ξ ( t ) d ¯ d ( t ) d 1 ξ T ( t ) [ ( d ( t ) d 1 ) e 11 E ˜ p q T e 3 E ˜ p q T e 2 E ˜ p q T ] × [ W 21 p q H 2 H 2 W 22 p q ] [ ( d ( t ) d 1 ) E ˜ p q e 11 T E ˜ p q e 3 T E ˜ p q e 2 T ] ξ ( t ) = ξ T ( t ) ( d ¯ ( F 1 + 1 d 2 d ( t ) F 2 ) ) [ W 21 p q H 1 H 1 W 22 p q ] ( ( d 2 d ( t ) ) F 1 T + F 2 T ) ξ ( t ) + ξ T ( t ) ( d ¯ ( F 3 + 1 d ( t ) d 1 F 4 ) ) [ W 21 p q H 2 H 2 W 22 p q ] ( ( d ( t ) d 1 ) F 3 T + F 4 T ) ξ ( t ) ,

where

F 1 = [ e 10 E ˜ p q T 0 ] , F 2 = [ 0 e 2 E ˜ p q T e 4 E ˜ T ] , F 3 = [ e 11 E ˜ p q T 0 ] , F 4 = [ 0 e 3 E ˜ p q T e 2 E ˜ p q T ] .

Based on the reciprocally convex approach, for any matrix \(\mathfrak{G}\), we can obtain the following inequality:

d ¯ d 2 d ( t ) F 2 [ W 21 p q H 1 H 1 W 22 p q ] F 2 T d ¯ d ( t ) d 1 F 4 [ W 21 p q H 2 H 2 W 22 p q ] F 4 T [ F 2 F 4 ] [ [ W 21 p q H 1 H 1 W 22 p q ] G G T [ W 21 p q H 2 H 2 W 22 p q ] ] [ F 2 T F 4 T ] , L V p q ( 6 ) ( t ) = 2 [ x w ( t ) x ˙ w ( t ) ] T [ P w p q 0 0 S w p q ] [ x ˙ w ( t ) x ˙ w ( t ) A w x w ( t ) B w k z ( t ) ] L V p q ( 6 ) ( t ) = x w T ( t ) ( H e ( P w p q A w ) α 2 P w p q ) x w ( t ) 2 x w T ( t ) A w T S w p q T x ˙ w ( t ) L V p q ( 6 ) ( t ) = + 2 x w T ( t ) P w p q B w k z ( t ) + x ˙ w T ( t ) ( H e ( S w p q ) ) x ˙ w ( t ) L V p q ( 6 ) ( t ) = 2 x ˙ w T ( t ) S w p q B w k z ( t ) + α 2 V p q ( 6 ) ( t ) .
(34)

Now, we will analyze the uncertain transition rate \(\pi _{ij}^{ ( {pq} )} \) with the assumption (6) as follows:

$$\begin{aligned} \bar{P}_{ipq} =& \sum_{j = 1}^{\tilde{k}} {\pi_{ij}^{ ( {pq} )} \tilde{E}_{pq}^{T} P_{jpq} \tilde{E}_{pq} } = \sum_{\substack{ j = 1 \\ j \ne i }}^{\tilde{k}} {\pi_{ij}^{ ( {pq} )} \tilde{E}_{pq}^{T} P_{jpq} \tilde{E}_{pq} } + \pi_{ii}^{ ( {pq} )} \tilde{E}_{pq}^{T} P_{ipq} \tilde{E}_{pq} \\ =& \sum_{\substack{ j = 1 \\ j \ne i }}^{\tilde{k}} {\pi_{ij}^{ ( {pq} )} \tilde{E}_{pq}^{T} ( {P_{jpq} - P_{ipq} } )\tilde{E}_{pq} } = \sum_{\substack{ j = 1 \\ j \ne i }}^{\tilde{k}} { \bigl( {\bar{\pi}_{ij}^{ ( {pq} )} + \Delta\bar{\pi}_{ij}^{ ( {pq} )} } \bigr)\tilde{E}_{pq}^{T} ( {P_{jpq} - P_{ipq} } )\tilde{E}_{pq} } \\ \le&\sum_{\substack{ j = 1 \\ j \ne i }}^{\tilde{k}} {\bar{\pi}_{ij}^{ ( {pq} )} \tilde{E}_{pq}^{T} ( {P_{jpq} - P_{ipq} } )\tilde{E}_{pq} } + \sum _{\substack{ j = 1 \\ j \ne i }}^{\tilde{k}} \frac{1}{4} \bigl( { \delta _{ij}^{ ( {pq} )} } \bigr)^{2} \varepsilon_{ij} \\ &{}+ \tilde{E}_{pq}^{T} ( {P_{jpq} - P_{ipq} } )\tilde{E}_{pq} \varepsilon _{ij}^{ - 1} \tilde{E}_{pq}^{T} ( {P_{jpq} - P_{ipq} } )\tilde{E}_{pq} . \end{aligned}$$
(35)

Next, in order to deduce our results, we suppose that

$$ \Upsilon ( t ) = \gamma_{0}^{2} z^{T} ( t )z ( t ) - \hat{r}^{T} ( t )\hat{r} ( t ). $$
(36)

In view of event condition (9), \(e^{T} ( t )\Phi_{1i} e ( t ) - \rho_{i} x_{f}^{T} ( t )\Phi_{2i} x_{f} ( t ) \le0\) holds for all \(t\geq0\) and combining the above discussion by the Schur complement lemma, it can be deduced that

$$ LV_{pq} ( t ) - \alpha_{2} V_{pq} ( t ) - \Upsilon ( t ) < 0, $$
(37)

if inequalities (19) and (20) are satisfied.

Case II: In match period.

For \(t \in [ {t_{k} + d_{k} ,t_{k + 1} } )\) (\({k = 0,1, \ldots}\)), which is the synchronous time interval between the switched subsystems and their controller unit. Next, similar to Case I, we will further analyze our results under the match period. Let choose the following multiple Lyapunov-like functional for the augmented system (10) as

$$\begin{aligned}& V_{p}^{ ( 1 )} ( t ) = \tilde{x}^{T} ( t )\tilde{E}_{p}^{T} P_{ip} \tilde{E}_{p} \tilde{x} ( t ), \end{aligned}$$
(38)
$$\begin{aligned}& V_{p}^{ ( 2 )} ( t ) = \int_{t - d ( t )}^{t} {e^{\alpha_{1} ( {t - s} )} \tilde{x}^{T} ( s )Q_{1p} \tilde{x} ( s )\,ds} + \int_{t - d_{1} }^{t} e^{\alpha_{1} ( {t - s} )} \tilde{x}^{T} ( s )Q_{2p} \tilde{x} ( s )\,ds \\& \hphantom{V_{p}^{ ( 2 )} ( t ) ={}}{}+ \int_{t - d_{2} }^{t} e^{\alpha_{1} ( {t - s} )} \tilde{x}^{T} ( s )Q_{3p} \tilde{x} ( s )\,ds, \end{aligned}$$
(39)
$$\begin{aligned}& V_{p}^{ ( 3 )} ( t ) = \tau_{1} \int_{ - \tau_{1} }^{0} { \int_{t + \theta}^{t} {e^{\alpha_{1} ( {t - s} )} \tilde{x}^{T} ( s )\bar{R}_{1p} \tilde{x} ( s )\,ds\,d\theta} } \\& \hphantom{V_{p}^{ ( 3 )} ( t ) ={}}{}+ \bar{\tau}\int_{ - \tau_{2} }^{ - \tau_{1} } \int_{t + \theta}^{t} e^{\alpha_{1} ( {t - s} )} \tilde{x}^{T} ( s )\bar{R}_{2p} \tilde{x} ( s )\,ds\,d \theta, \end{aligned}$$
(40)
$$\begin{aligned}& V_{p}^{ ( 4 )} ( t ) = \int_{ - d_{1} }^{0} \int_{t + \theta}^{t} {e^{\alpha_{1} ( {t - s} )} \dot{\tilde{x}}^{T} ( s )\tilde{E}_{p}^{T} \bar{W}_{1p} \tilde{E}_{p} \dot{\tilde{x}} ( s )\,ds} \, d\theta \\& \hphantom{V_{p}^{ ( 4 )} ( t ) ={}}{}+ \int_{ - d_{2} }^{ - d_{1} } \int_{t + \theta}^{t} {e^{\alpha_{1} ( {t - s} )} \dot{\tilde{x}}^{T} ( s )\tilde{E}_{p}^{T} W_{1p} \tilde{E}_{p} \dot{\tilde{x}} ( s )\,ds} \, d\theta, \end{aligned}$$
(41)
V p ( 5 ) (t)= d ¯ d 2 d 1 t + θ t e α 1 ( t s ) [ E ˜ p x ˜ ( s ) E ˜ p x ˜ ˙ ( s ) ] T [ W 21 p 0 0 W 22 p ] [ E ˜ p x ˜ ( s ) E ˜ p x ˜ ˙ ( s ) ] dsdθ,
(42)
V p q ( 6 ) = [ x w ( t ) x ˙ w ( t ) ] T [ P w p 0 0 S w p ] [ I 0 0 0 ] [ x w ( t ) x ˙ w ( t ) ] .
(43)

Similar to the proof of Case I, if (21) and (22) hold, then

$$ LV_{p} ( t ) - \alpha_{1} V_{p} ( t ) - \Upsilon ( t ) < 0. $$
(44)

Then from (37) and (44), we can have

$$ \mathscr{E} \bigl\{ {V ( t )} \bigr\} \le \textstyle\begin{cases} e^{\alpha_{2} ( {t - t_{k} } )} \mathscr{E} \{ {V_{pq} ( {t_{k} } )} \} \\ \quad {}+\mathscr{E} \{ {\int_{t_{k} }^{t} {e^{\alpha_{2} ( {t - s} )} \Upsilon ( s )\,ds} } \},& t \in [ {t_{k} ,t_{k} + d_{k} } )\ ( {k = 0,1, \ldots } ) , \\ e^{\alpha_{1} ( {t - ( {t_{k} + d_{k} } )} )} \mathscr {E} \{ {V_{p} ( {t_{k} + d_{k} } )} \} \\ \quad {}+ \mathscr{E} \{ {\int_{t_{k} + d_{k} }^{t} {e^{\alpha_{1} ( {t - s} )} \Upsilon ( s )\,ds} } \},& t \in [ {t_{k} + d_{k} ,t_{k + 1} } )\ ( {k = 0,1, \ldots} ). \end{cases} $$
(45)

Step 1. Firstly, we will show that the augmented system (10) is SSFTS under the conditions of Theorem 3.1 if \(z ( t ) = 0 \).

Based on the truth of (37) and (44), we know that if \(z ( t ) = 0 \), (45) is equivalent to

$$ \mathscr{E} \bigl\{ {V ( t )} \bigr\} \le \textstyle\begin{cases} e^{\alpha_{2} ( {t - t_{k} } )} \mathscr{E} \{ {V_{pq} ( {t_{k} } )} \},& t \in [ {t_{k} ,t_{k} + d_{k} } )\ ( {k = 0,1, \ldots} ), \\ e^{\alpha_{1} ( {t - ( {t_{k} + d_{k} } )} )} \mathscr {E} \{ {V_{p} ( {t_{k} + d_{k} } )} \}, & t \in [ {t_{k} + d_{k} ,t_{k + 1} } )\ ( {k = 0,1, \ldots} ). \end{cases} $$
(46)

Without loss of generality, one assumes that \(\alpha_{1} \ge\alpha _{2}\) and the other condition of \(\alpha_{1} < \alpha_{2}\) will be analyzed in the following.

From the definitions of \(V_{pq} ( t ) \) and \(V_{p} ( t ) \), it shows that if \(\alpha_{1} \ge\alpha_{2}\),

$$ \mathscr{E} \bigl\{ {V_{pq} ( t )} \bigr\} \le \mu_{1} E \bigl\{ {V_{p} ( t )} \bigr\} \qquad E \bigl\{ {V_{p} ( t )} \bigr\} \le\mu_{2} e^{d_{\tau}( {\alpha _{1} - \alpha_{2} } )} \mathscr{E} \bigl\{ {V_{pq} ( t )} \bigr\} , $$
(47)

where

$$\begin{aligned}& \mu_{1} = \max\biggl\{ \frac{{ \max_{p{,}q \in \Delta_{1} {,}i \in\tilde{k}} ( {\lambda_{\max} ( {\tilde{E}_{pq}^{T} P_{ipq} \tilde{E}_{pq} } )} )}}{{ {\min } _{p \in\Delta_{1} {,}i \in\tilde{k}} ( {\lambda_{\min} ( {\tilde{E}_{p}^{T} P_{ip} \tilde{E}_{p} } )} )}}{,}\frac{{ \max_{p{,}q \in\Delta_{1} } ( {\lambda_{\max} ( {P_{wpq} } )} )}}{{ {\min} _{p \in\Delta_{1} } ( {\lambda_{\min} ( {P_{wp} } )} )}}{,} \\& \hphantom{\mu_{1} ={}}\frac{{ \max_{p{,}q \in \Delta_{1} } ( {\lambda_{\max} ( {Q_{1pq} } )} )}}{{ {\min} _{p \in\Delta_{1} } ( {\lambda _{\min} ( {Q_{1p} } )} )}}{,}\frac{{ \max_{p{,}q \in\Delta_{1} } ( {\lambda_{\max} ( {Q_{2pq} } )} )}}{{ {\min} _{p \in\Delta _{1} } ( {\lambda_{\min} ( {Q_{2p} } )} )}}{,}\frac{{ \max_{p{,}q \in\Delta_{1} } ( {\lambda _{\max} ( {Q_{3pq} } )} )}}{{ {\min } _{p \in\Delta_{1} } ( {\lambda_{\min} ( {Q_{3p} } )} )}}{,} \\& \hphantom{\mu_{1} ={}}\frac{{ \max_{p{,}q \in\Delta _{1} } ( {\lambda_{\max} ( {\bar{R}_{1pq} } )} )}}{{ {\min} _{p \in\Delta_{1} } ( {\lambda _{\min} ( {\bar{R}_{1p} } )} )}}{,}\frac{{ \max_{p{,}q \in\Delta_{1} } ( {\lambda_{\max} ( {\bar{R}_{2pq} } )} )}}{{ {\min} _{p \in \Delta_{1} } ( {\lambda_{\min} ( {\bar{R}_{2p} } )} )}}{,} \frac{{ \max_{p{,}q \in\Delta_{1} } ( {\lambda_{\max} ( {\tilde{E}_{pq}^{T} W_{1pq} \tilde{E}_{pq} } )} )}}{{ {\min} _{p \in\Delta_{1} } ( {\lambda_{\min} ( {\tilde{E}_{p}^{T} W_{1p} \tilde{E}_{p} } )} )}}{,} \\& \hphantom{\mu_{1} ={}}\frac{{ \max_{p{,}q \in\Delta_{1} } ( {\lambda_{\max} ( {\tilde{E}_{pq}^{T} \bar{W}_{1pq} \tilde{E}_{pq} } )} )}}{{ {\min} _{p \in\Delta_{1} } ( {\lambda_{\min} ( {\tilde{E}_{p}^{T} \bar{W}_{1p} \tilde{E}_{p} } )} )}}{,}\frac{{ \max_{p{,}q \in\Delta _{1} } ( {\lambda_{\max} ( {\tilde{E}_{pq}^{T} W_{21pq} \tilde{E}_{pq} } )} )}}{{ {\min} _{p \in \Delta_{1} } ( {\lambda_{\min} ( {\tilde{E}_{p}^{T} W_{21p} \tilde{E}_{p} } )} )}}{,} \\& \hphantom{\mu_{1} ={}}\frac{{ \max_{p{,}q \in\Delta_{1} } ( {\lambda_{\max} ( {\tilde{E}_{pq}^{T} W_{22pq} \tilde{E}_{pq} } )} )}}{{ {\min } _{p \in\Delta_{1} } ( {\lambda_{\min} ( {\tilde{E}_{p}^{T} W_{22p} \tilde{E}_{p} } )} )}}\biggr\} \end{aligned}$$
(48)
$$\begin{aligned}& \mu_{2} = \max\biggl\{ \frac{{ \max_{p \in\Delta _{1} {,}i \in\tilde{k}} ( {\lambda_{\max} ( {\tilde{E}_{p}^{T} P_{ip} \tilde{E}_{p} } )} )}}{{ {\min} _{p{,}q \in\Delta_{1} {,}i \in\tilde{k}} ( {\lambda_{\min} ( {\tilde{E}_{pq}^{T} P_{ipq} \tilde{E}_{pq} } )} )}}{,}\frac{{ \max_{p \in\Delta_{1} } ( {\lambda_{\max} ( {P_{wp} } )} )}}{{ {\min } _{p{,}q \in\Delta_{1} } ( {\lambda_{\min} ( {P_{wpq} } )} )}}{,} \\& \hphantom{\mu_{2} ={}}\frac{{ \max_{p \in \Delta_{1} } ( {\lambda_{\max} ( {Q_{1p} } )} )}}{{ {\min} _{p{,}q \in\Delta_{1} } ( {\lambda_{\min} ( {Q_{1pq} } )} )}}{,}\frac{{ \max_{p \in\Delta_{1} } ( {\lambda_{\max} ( {Q_{2p} } )} )}}{{ {\min } _{p{,}q \in\Delta_{1} } ( {\lambda_{\min} ( {Q_{2pq} } )} )}}{,}\frac{{ \max_{p \in\Delta_{1} } ( {\lambda _{\max} ( {Q_{3p} } )} )}}{{ {\min } _{p{,}q \in\Delta_{1} } ( {\lambda_{\min} ( {Q_{3pq} } )} )}}{,} \\& \hphantom{\mu_{2} ={}}\frac{{ \max_{p \in \Delta_{1} } ( {\lambda_{\max} ( {\bar{R}_{1p} } )} )}}{{ {\min} _{p{,}q \in\Delta_{1} } ( {\lambda_{\min} ( {\bar{R}_{1pq} } )} )}}{,}\frac{{ \max_{p \in\Delta_{1} } ( {\lambda_{\max} ( {\bar{R}_{2p} } )} )}}{{ {\min} _{p{,}q \in\Delta_{1} } ( {\lambda_{\min} ( {\bar{R}_{2pq} } )} )}}{,} \frac{{ \max_{p \in\Delta_{1} } ( {\lambda_{\max} ( {\tilde{E}_{p}^{T} W_{1p} \tilde{E}_{p} } )} )}}{{ {\min} _{p{,}q \in \Delta_{1} } ( {\lambda_{\min} ( {\tilde{E}_{pq}^{T} W_{1pq} \tilde{E}_{pq} } )} )}}{,} \\& \hphantom{\mu_{2} ={}}\frac{{ \max_{p \in\Delta_{1} } ( {\lambda_{\max} ( {\tilde{E}_{p}^{T} \bar{W}_{1p} \tilde{E}_{p} } )} )}}{{ {\min} _{p{,}q \in\Delta_{1} } ( {\lambda_{\min} ( {\tilde{E}_{pq}^{T} \bar{W}_{1pq} \tilde{E}_{pq} } )} )}}{,}\frac{{ \max_{p \in \Delta_{1} } ( {\lambda_{\max} ( {\tilde{E}_{p}^{T} W_{21p} \tilde{E}_{p} } )} )}}{{ {\min} _{p{,}q \in \Delta_{1} } ( {\lambda_{\min} ( {\tilde{E}_{pq}^{T} W_{21pq} \tilde{E}_{pq} } )} )}}{,} \\& \hphantom{\mu_{2} ={}}\frac{{ \max_{p \in\Delta_{1} } ( {\lambda_{\max} ( {\tilde{E}_{p}^{T} W_{22p} \tilde{E}_{p} } )} )}}{{ {\min } _{p{,}q \in\Delta_{1} } ( {\lambda_{\min} ( {\tilde{E}_{pq}^{T} W_{22pq} \tilde{E}_{pq} } )} )}}\biggr\} . \end{aligned}$$
(49)

Then, for any \(t \in [ {t_{k } , t_{k} + d_{k}} )\) and \(\alpha_{1} \ge\alpha_{2}\), we can obtain

$$\begin{aligned} \mathscr{E} \bigl\{ {V ( t )} \bigr\} \le& e^{\alpha_{2} ( {t - t_{k} } )} \mathscr{E} \bigl\{ {V_{pq} ( {t_{k} } )} \bigr\} \le\mu_{1} e^{\alpha_{2} ( {t - t_{k} } )} \mathscr{E} \bigl\{ {V_{p} \bigl( {t_{k}^{-} } \bigr)} \bigr\} \\ \le&\mu_{1} e^{\alpha_{2} ( {t - t_{k} } )} e^{\alpha_{1} ( {t_{k} - ( {t_{k - 1} + d_{k - 1} } )} )} \mathscr{E} \bigl\{ {V_{p} ( {t_{k - 1} + d_{k - 1} } )} \bigr\} \\ \le&\mu_{1} e^{\alpha_{2} ( {t - t_{k} } )} e^{\alpha_{1} ( {t_{k} - ( {t_{k - 1} + d_{k - 1} } )} )} \mu_{2} e^{d_{\tau}( {\alpha_{1} - \alpha_{2} } )} \mathscr{E} \bigl\{ {V_{pq} ( {t_{k - 1} + d_{k - 1} } )^{-} } \bigr\} \\ \le&\mu_{1} e^{\alpha_{2} ( {t - t_{k} } )} e^{\alpha_{1} ( {t_{k} - ( {t_{k - 1} + d_{k - 1} } )} )} \mu_{2} e^{d_{\tau}( {\alpha_{1} - \alpha_{2} } )} e^{\alpha_{2} ( {t_{k - 1} + d_{k - 1} - t_{k - 1} } )} \mathscr{E} \bigl\{ {V_{pq} ( {t_{k - 1} } )} \bigr\} \\ \le& \cdots \\ \le&\mu_{1} ^{N_{\vartheta}( {t_{0} ,t} )} \mu _{2} ^{ N_{\tilde{\vartheta}( {t_{0} ,t} )} } e^{ N_{\tilde{\vartheta}( {t_{0} ,t} )} d_{\tau}( {\alpha_{1} - \alpha_{2} } )} e^{\alpha_{2} ( {t - t_{k} + d_{k - 1} + d_{k - 2} + \cdots + d_{0} } )} \\ &{}\times e^{\alpha_{1} ( {t_{k} - d_{k - 1} - d_{k - 2} - \cdots - d_{0} - t_{0} } )} \mathscr{E} \bigl\{ {V ( {t_{0} } )} \bigr\} . \end{aligned}$$

It is easy to obtain the following fact through simple calculations:

$$\begin{aligned}& t - t_{k} + d_{k - 1} + d_{k - 2} + \cdots + d_{0} < d_{k} + d_{k - 1} + d_{k - 2} + \cdots + d_{0} = T_{\mathrm{mism}} ( {t_{0} ,t} ), \end{aligned}$$
(50)
$$\begin{aligned}& t_{k} - d_{k - 1} - d_{k - 2} - \cdots - d_{0} - t_{0} \\& \quad = ( {t_{k} - t_{k - 1} - d_{k - 1} } ) + ( {t_{k - 1} - t_{k - 2} - d_{k - 2} } ) + \cdots + ( {t_{1} - t_{0} - d_{0} } ) = T_{\mathrm{m}} ( {t_{0} ,t} ), \end{aligned}$$
(51)

where \(T_{\mathrm{mism}} ( {t_{0} ,t} ) \) and \(T_{\mathrm{m}} ( {t_{0} ,t} ) \) denote the total mismatched time and matched time interval lengths on \([ {t_{0} ,t} ] \). \(N_{\vartheta ( {t_{0} ,t} )} \) and \(N_{\tilde{\vartheta}( {t_{0} ,t} )} \) denote the number of synchronous and asynchronous switching on the interval \([ {t_{0} ,t} )\), respectively. Furthermore, based on the assumption of \(d_{\max}\), we know that relational expression \(N_{\tilde{\vartheta}( {t_{0} ,t} )} < N_{\vartheta ( {t_{0} ,t} )} \) is true.

In conclusion, it gives that

$$ \mathscr{E} \bigl\{ {V ( t )} \bigr\} \le\mu_{1} ^{N_{\vartheta ( {t_{0} ,t} )} } \mu_{2} ^{N_{\vartheta ( {t_{0} ,t} )} } e^{N_{\vartheta ( {t_{0} ,t} )} d_{\tau}( {\alpha_{1} - \alpha_{2} } )} e^{\alpha_{2} T_{\mathrm{mism}} ( {t_{0} ,t} )} e^{\alpha_{1} T_{\mathrm{m}} ( {t_{0} ,t} )} \mathscr{E} \bigl\{ {V ( {t_{0} } )} \bigr\} . $$
(52)

Next, if \(\alpha_{1} <\alpha_{2}\), we can also obtain following inequalities very easily by the similar analysis in (47):

$$ \mathscr{E} \bigl\{ {V_{p} ( t )} \bigr\} \le \mu_{2} \mathscr{E} \bigl\{ {V_{pq} ( t )} \bigr\} ,\qquad \mathscr{E} \bigl\{ {V_{pq} ( t )} \bigr\} \le\mu_{1} e^{d_{\tau}( {\alpha_{2} - \alpha_{1} } )} \mathscr{E} \bigl\{ {V_{p} ( t )} \bigr\} . $$
(53)

According to the same techniques as in the proof of (52), the following inequality is true

$$ \mathscr{E} \bigl\{ {V ( t )} \bigr\} \le\mu_{1} ^{N_{\vartheta ( {t_{0} ,t} )} } \mu_{2} ^{N_{\vartheta ( {t_{0} ,t} )} } e^{N_{\vartheta ( {t_{0} ,t} )} d_{\tau}( {\alpha_{2} - \alpha_{1} } )} e^{\alpha_{2} T_{\mathrm{mism}} ( {t_{0} ,t} )} e^{\alpha_{1} T_{\mathrm{m}} ( {t_{0} ,t} )} \mathscr{E} \bigl\{ {V ( {t_{0} } )} \bigr\} . $$
(54)

By combining the two cases with \(\alpha_{1} \ge\alpha_{2} \) and \(\alpha_{1} < \alpha_{2}\), eventually, we have the estimation of \(\mathscr{E} \{ {V ( t )} \} \) as follows:

$$ \mathscr{E} \bigl\{ {V ( t )} \bigr\} \le\mu_{1} ^{N_{\vartheta ( {t_{0} ,t} )} } \mu_{2} ^{N_{\vartheta ( {t_{0} ,t} )} } e^{N_{\vartheta ( {t_{0} ,t} )} d_{\tau} \vert {\alpha_{1} - \alpha_{2} } \vert } e^{\alpha_{2} T_{\mathrm{mism}} ( {t_{0} ,t} )} e^{\alpha_{1} T_{\mathrm{m}} ( {t_{0} ,t} )} \mathscr{E} \bigl\{ {V ( {t_{0} } )} \bigr\} . $$
(55)

According to the definition of \(V ( t ) \), we know that

$$ \mathscr{E} \bigl\{ {V ( t )} \bigr\} \ge\eta_{1} \mathscr{E} \bigl\{ {\tilde{x}^{T} ( t )\mathscr{G}\tilde{x} ( t )} \bigr\} , $$
(56)

where

$$ \eta_{1} = \min \biggl\{ {\frac{{ {\min} _{p,q \in\Delta_{1} ,i \in\tilde{k}} ( {\lambda _{\min} ( {\tilde{E}_{pq}^{T} P_{ipq} \tilde{E}_{pq} } )} )}}{{\lambda_{\max} ( {\mathscr{G}} )}},\frac{{ {\min} _{p \in\Delta_{1} ,i \in \tilde{k}} ( {\lambda_{\min} ( {\tilde{E}_{p}^{T} P_{ip} \tilde{E}_{p} } )} )}}{{\lambda_{\max} ( {\mathscr{G}} )}}} \biggr\} $$

and

$$ \mathscr{E} \bigl\{ {V ( {t_{0} } )} \bigr\} \le \eta_{2} c_{2}, $$
(57)

where \(\bar{\alpha}= \max \{ {\alpha_{1} ,\alpha_{2} } \}\),

$$\begin{aligned} \eta_{2} =& \biggl\{ \frac{{ \max_{p,q \in\Delta_{1} ,i \in\tilde{k}} ( {\lambda_{\max} ( {\tilde{E}_{pq}^{T} P_{ipq} \tilde{E}_{pq} } )} )}}{{\lambda_{\min} ( {\mathscr{G}} )}} \\ &{}+ \frac{{e^{\bar{\alpha}d_{2} } ( { \max_{p,q \in\Delta_{1} } ( {\lambda_{\max } ( {Q_{1pq} } )} ) + \max_{p,q \in\Delta_{1} } ( {\lambda_{\max} ( {Q_{3pq} } )} )} )}}{{\lambda_{\min} ( {\mathscr{G}} )}} \\ &{}+ \frac{{e^{\bar{\alpha}d_{1} } ( { \max_{p,q \in\Delta_{1} } ( {\lambda_{\max} ( {Q_{2pq} } )} )} )}}{{\lambda_{\min} ( {\mathscr{G}} )}} + \frac{{e^{\bar{\alpha}\tau_{1} } \tau_{1}^{2} \max_{p,q \in\Delta_{1} } ( {\lambda_{\max} ( {\bar{R}_{1pq} } )} )}}{{\lambda_{\min} ( {\mathscr{G}} )}} \\ &{}+ \frac{{e^{\bar{\alpha}\tau_{2} } \bar{\tau}^{2} \max_{p,q \in\Delta_{1} } ( {\lambda_{\max} ( {\bar{R}_{2pq} } )} )}}{{\lambda_{\min} ( {\mathscr{G}} )}}+ \frac{{e^{\bar{\alpha}d_{2} } \bar{d}^{2} \max_{p,q \in\Delta_{1} } ( {\lambda_{\max} ( {\tilde{E}_{pq}^{T} W_{21pq} \tilde{E}_{pq} } )} )}}{{\lambda_{\min} ( {\mathscr{G}} )}} \\ &{}+ \frac{{e^{\bar{\alpha}d_{2} } \bar{d} \max_{p,q \in\Delta_{1} } ( {\lambda_{\max} ( {\tilde{E}_{pq}^{T} W_{1pq} \tilde{E}_{pq} } )} )}}{{\lambda _{\min} ( {\mathscr{G}} )}}+ \frac{{ \max_{p,q \in\Delta_{1} } ( {\lambda_{\max} ( {P_{wpq} } )} )}}{{\lambda_{\min} ( {\mathscr{G}} )}} \\ &{} + \frac{{e^{\bar{\alpha}d_{1} } d_{1} \max_{p,q \in\Delta_{1} } ( {\lambda_{\max} ( {\tilde{E}_{pq}^{T} \bar{W}_{1pq} \tilde{E}_{pq} } )} )}}{{\lambda_{\min} ( {\mathscr{G}} )}} \\ &{}+ \frac{{e^{\bar{\alpha}d_{2} } \bar{d}^{2} \max_{p,q \in \Delta_{1} } ( {\lambda_{\max} ( {\tilde{E}_{pq}^{T} W_{22pq} \tilde{E}_{pq} } )} )}}{{\lambda_{\min} ( {\mathscr{G}} )}} \biggr\} . \end{aligned}$$
(58)

Then for any \(t \in [ {t_{0} ,T} ]\), we can conclude that

$$ \mathscr{E} \bigl\{ {\tilde{x}^{T} ( t )\mathscr{G}\tilde{x} ( t )} \bigr\} \le\frac{{ ( {\mu_{1} \mu_{2} } )^{\frac{T}{{\tau_{a} }}} e^{\frac{T}{{\tau_{a} }} \vert {\alpha _{1} - \alpha_{2} } \vert d_{\tau}} e^{\alpha_{1} T_{\mathrm{m}} ( {t_{0} ,T} ) + \alpha_{2} T_{\mathrm{mism}} ( {t_{0} ,T} )} \eta_{2} c_{1} }}{{\eta_{1} }}. $$
(59)

Therefore, from (24), (25), we can have \(\mathscr{E} \{ {\tilde{x}^{T} ( t )\mathscr{G}\tilde{x} ( t )} \} < c_{2}\), then, according to Definition 2.3, system (10) is SSFTS under the asynchronous switching.

Step 2. In this section, we will show that \(H_{\infty}\) property (12) should be guaranteed if the conditions of Theorem 3.1 are satisfied.

Firstly, according to the (45) and the similar proof of Step 1, we can conclude that

$$\begin{aligned} \mathscr{E} \bigl\{ {V ( t )} \bigr\} \le& \bigl( {\mu_{1} \mu_{2} e^{ \vert {\alpha_{1} - \alpha_{2} } \vert d_{\tau}} } \bigr)^{N_{\vartheta}( {t_{0} ,t} )} e^{\alpha_{1} T_{\mathrm{m}} ( {t_{0} ,t} ) + \alpha_{2} T_{\mathrm{mism}} ( {t_{0} ,t} )} \mathscr{E} \bigl\{ {V ( {t_{0} } )} \bigr\} \\ & {}\times\mathscr{E} \biggl\{ { \int_{t_{0} }^{t} { \bigl( {\mu_{1} \mu_{2} e^{ \vert {\alpha_{1} - \alpha_{2} } \vert d_{\tau}} } \bigr)^{N_{\vartheta}( {s ,t} )} e^{\alpha_{1} T_{\mathrm{m}} ( {s,t} ) + \alpha_{2} T_{\mathrm{mism}} ( {s,t} )} \Upsilon ( s )\,ds} } \biggr\} . \end{aligned}$$
(60)

From \(\mathscr{E} \{ {V ( t )} \} \ge0\), (60) implies that under zero initial conditions and for \(t_{0}=0\)

$$\begin{aligned}& \mathscr{E} \biggl\{ { \int_{0}^{t} { \bigl( {e^{\ln ( {\mu_{1} \mu_{2} + e^{ \vert {\alpha_{1} - \alpha_{2} } \vert d_{\tau}} } )} } \bigr)^{N_{\vartheta}( {s,t} )} e^{\alpha_{1} T_{\mathrm{m}} ( {s,t} ) + \alpha_{2} T_{\mathrm{mism}} ( {s,t} )} \hat{r}^{T} ( s )\hat{r} ( s ) \,ds} } \biggr\} \\& \quad \le\gamma_{0}^{2} \mathscr{E} \biggl\{ { \int_{0}^{t} { \bigl( {e^{\ln ( {\mu_{1} \mu_{2} + e^{ \vert {\alpha_{1} - \alpha_{2} } \vert d_{\tau}} } )} } \bigr)^{N_{\vartheta}( {s,t} )} e^{\alpha _{1} T_{\mathrm{m}} ( {s,t} ) + \alpha_{2} T_{\mathrm{mism}} ( {s,t} )} z^{T} ( s )z ( s )\,ds} } \biggr\} \\& \quad \le\gamma_{0}^{2}\mathscr{E} \biggl\{ \int_{0}^{t} { \bigl( {e^{\ln ( {\mu_{1} \mu_{2} + e^{ \vert {\alpha_{1} - \alpha_{2} } \vert d_{\tau}} } )} } \bigr)^{N_{\vartheta}( {s,t} )} e^{\alpha _{1} ( {t - s} ) + \alpha_{2} N_{\vartheta}( {s,t} ) {\tilde{d}} } z^{T} ( s )z ( s )\,ds} \biggr\} . \end{aligned}$$
(61)

The following fact is very obvious:

$$\bigl( {e^{\ln ( {\mu_{1} \mu_{2} + e^{ \vert {\alpha_{1} - \alpha_{2} } \vert d_{\tau}} } )} } \bigr)^{N_{\vartheta}( {s,t} )} e^{\alpha_{1} T_{\mathrm{m}} ( {s,t} ) + \alpha _{2} T_{\mathrm{mism}} ( {s,t} )} \ge e^{ - \alpha_{1} ( {t + s} )}. $$

Then we can obtain

$$\begin{aligned}& \mathscr{E} \biggl\{ { \int_{0}^{t} {e^{ - \alpha_{1} ( {t + s} )} \hat{r}^{T} ( s )\hat{r} ( s )\,ds} } \biggr\} \\& \quad \le\gamma_{0}^{2} \mathscr{E} \biggl\{ { \int_{0}^{t} { \bigl( {e^{\ln ( {\mu_{1} \mu_{2} + e^{ \vert {\alpha_{1} - \alpha_{2} } \vert d_{\tau}} } )} } \bigr)^{N_{\vartheta}( {s,t} )} e^{\alpha_{1} ( {t - s} ) + \alpha_{2} N_{\vartheta}( {s,t} ) {\tilde{d}} } z^{T} ( s )z ( s )\,ds} } \biggr\} . \end{aligned}$$
(62)

Multiplying both side of (62) by

$$e^{ - N_{\vartheta}( {0,t} ) ( {\ln ( {\mu_{1} \mu_{2} } ) + \vert {\alpha_{1} - \alpha_{2} } \vert d_{\tau}+ \alpha_{2} \tilde{d}} )} $$

we can have

$$\begin{aligned}& \mathscr{E} \biggl\{ { \int_{0}^{t} {e^{ - N_{\vartheta}( {0,t} ) ( {\ln ( {\mu_{1} \mu_{2} } ) + \vert {\alpha _{1} - \alpha_{2} } \vert d_{\tau}+ \alpha_{2} \tilde{d}} )} e^{ - \alpha_{1} ( {t + s} )} \hat{r}^{T} ( s )\hat{r} ( s )\,ds} } \biggr\} \\& \quad \le\gamma_{0}^{2} \mathscr{E} \biggl\{ { \int_{0}^{t} {e^{ - N_{\vartheta}( {0,s} ) ( {\ln ( {\mu_{1} \mu_{2} } ) + \vert {\alpha_{1} - \alpha_{2} } \vert d_{\tau}+ \alpha_{2} \tilde{d}} )} e^{\alpha_{1} ( {t - s} )} z^{T} ( s )z ( s )\,ds} } \biggr\} \\& \quad \le\gamma_{0}^{2} \mathscr{E} \biggl\{ { \int_{0}^{t} {e^{\alpha_{1} ( {t - s} )} z^{T} ( s )z ( s )\,ds} } \biggr\} . \end{aligned}$$
(63)

Let \(N_{0}=0\), \(t=T\), if (25) is satisfied, we can conclude that

$$ \mathscr{E} \biggl\{ { \int_{0}^{T} {e^{ - \alpha_{1} ( {2t + s} )} \hat{r}^{T} ( s )\hat{r} ( s )\,ds} } \biggr\} \le\gamma_{0}^{2} e^{\alpha_{1} T} \mathscr{E} \biggl\{ { \int_{0}^{T} {z^{T} ( s )z ( s )\,ds} } \biggr\} . $$
(64)

By simple calculation, we obtain

$$ \mathscr{E} \biggl\{ { \int_{0}^{T} {e^{ - \alpha_{1} s} \hat{r}^{T} ( s )\hat{r} ( s )\,ds} } \biggr\} \le \bigl( {\gamma_{0} e^{\frac{{3\alpha_{1} T}}{2}} } \bigr)^{2} \mathscr{E} \biggl\{ { \int_{0}^{T} {z^{T} ( s )z ( s )\,ds} } \biggr\} , $$
(65)

where \(\gamma = \gamma_{0} e^{\frac{{3\alpha_{1} T}}{2}}\), \(\lambda = \alpha_{1} \), which implies that the \(H_{\infty}\) property (12) is guaranteed. This proof is completed. □

In this section, we direct our attention to design a detector/controller unit in the form of (2) based on the results of Theorem 3.1 which guarantees the system (10) is SSFTS with \(H_{\infty}\) performance index (12).

Remark 3.1

In the proof of the Theorem 3.1, we introduce some mode-dependent Lyapunov function (38)–(43) in match period, and the exponential structure such as \(e^{\alpha_{1} ( {t - s} )}\), not is \(e^{-\alpha_{1} ( {t - s} )}\). The reason why this is constructed, one is that the proof of SSFTS is more convenient, the other is that the restricted condition such as \(P_{i} \le\mu_{1} P_{ij}\), \(P_{ij} \le\mu_{2} P_{i}\) is not necessary. So, the results in this paper are more reasonable.

Theorem 3.2

For any \(i,j \in\mathcal{K}\), \(p, q \in\Delta_{1}\), \(\alpha_{1}>0\), \(\alpha_{2}>0\), matrices \(\tilde{R}_{pq}\) and any real scalars \(\rho_{i}\), the augmented system (10) is SSFTS with respect given \(( {c_{1} ,c_{2} ,\mathscr{G},T} )\) and the performance index (12) is satisfied, if there exist positive definite matrices \(P_{ipq}\), \(P_{wpq}\), \(Q_{lpq}\), \(l=1,2,3\), \(\bar{R}_{1pq}\), \(\bar{R}_{2pq}\), \(W_{1pq}\), \(\bar{W}_{1pq}\), \(W_{21pq}\), \(W_{22pq}\) symmetric matrices \(\mathscr{H}_{1}\), \(\mathscr{H}_{2}\) and any real matrices \(T_{k}\), \(k=1,2,3,4,5\), \(\mathfrak{G}\), \(S_{pq}\), \(S_{wpq}\), \(\mathscr{M}_{ipq}^{ ( {11} )} \), \(\mathscr{M}_{iq}^{ ( {22} )} \), K i q , A i q , B i q , C r i q , D r i q , and positive scalar \({\gamma_{0}}\) such that (23)(25) are satisfied and following LMIs hold:

Φ i p q d 1 = [ Φ 11 ( p q ) Φ 12 ( p q ) Θ 13 ( p q ) 0 Φ 15 ( p q ) 0 Φ 17 ( p q ) Φ 18 ( p q ) Φ 19 ( p q ) Φ 22 ( p q ) Θ 23 ( p q ) Θ 24 ( p q ) 0 0 Θ 27 ( p q ) Φ 28 ( p q ) 0 Θ 33 ( p q ) Θ 34 ( p q ) 0 0 Θ 37 ( p q ) Θ 38 ( p q ) 0 Θ 44 ( p q ) 0 0 Θ 47 ( p q ) Θ 48 ( p q ) 0 Φ 55 ( p q ) 0 0 Φ 58 ( p q ) 0 Θ 66 ( p q ) Θ 67 ( p q ) Θ 68 0 Θ 77 ( p q ) Φ 78 ( p q ) 0 Φ 88 ( p q ) 0 Θ 99 ] <0,
(66)
Φ i p q d 2 = [ Φ 11 ( p q ) Φ 12 ( p q ) Θ 13 ( p q ) 0 Φ 15 ( p q ) 0 Φ 17 ( p q ) Φ 18 ( p q ) Φ 19 ( p q ) Φ 22 ( p q ) Θ 23 ( p q ) Θ 24 ( p q ) 0 0 Θ 27 ( p q ) Φ ¯ 28 ( p q ) 0 Θ 33 ( p q ) Θ 34 ( p q ) 0 0 Θ 37 ( p q ) Θ ¯ 38 ( p q ) 0 Θ 44 ( p q ) 0 0 Θ 47 ( p q ) Θ ¯ 48 ( p q ) 0 Φ 55 ( p q ) 0 0 Φ 58 ( p q ) 0 Θ 66 ( p q ) Θ 67 ( p q ) Θ 68 0 Θ ¯ 77 ( p q ) Φ ¯ 78 ( p q ) 0 Φ 88 ( p q ) 0 Θ 99 ] <0,
(67)
Φ i p d 1 = [ Φ 11 ( p ) Φ 12 ( p ) Θ 13 ( p ) 0 Φ 15 ( p ) 0 Φ 17 ( p ) Φ 18 ( p ) Φ 19 ( p ) Φ 22 ( p ) Θ 23 ( p ) Θ 24 ( p ) 0 0 Θ 27 ( p ) Φ 28 ( p ) 0 Θ 33 ( p ) Θ 34 ( p ) 0 0 Θ 37 ( p ) Θ 38 ( p ) 0 Θ 44 ( p ) 0 0 Θ 47 ( p ) Θ 48 ( p ) 0 Φ 55 ( p ) 0 0 Φ 58 ( p ) 0 Θ 66 ( p ) Θ 67 ( p ) Θ 68 0 Θ 77 ( p ) Φ 78 ( p ) 0 Φ 88 ( p ) 0 Θ 99 ] <0,
(68)
Φ i p d 2 = [ Φ 11 ( p ) Φ 12 ( p ) Θ 13 ( p ) 0 Φ 15 ( p ) 0 Φ 17 ( p ) Φ 18 ( p ) Φ 19 ( p ) Φ 22 ( p ) Θ 23 ( p ) Θ 24 ( p ) 0 0 Θ 27 ( p ) Φ ¯ 28 ( p ) 0 Θ 33 ( p ) Θ 34 ( p ) 0 0 Θ 37 ( p ) Θ ¯ 38 ( p ) 0 Θ 44 ( p ) 0 0 Θ 47 ( p ) Θ ¯ 48 ( p ) 0 Φ 55 ( p ) 0 0 Φ 58 ( p ) 0 Θ 66 ( p ) Θ 67 ( p ) Θ 68 0 Θ ¯ 77 ( p ) Φ ¯ 78 ( p ) 0 Φ 88 ( p ) 0 Θ 99 ] <0,
(69)

where

Φ 11 ( p q ) = [ H e ( M i p q ( 11 ) A i p ) T ¯ i p T [ K i q 0 ] + C 1 p T B i q T H e ( A i q ) + ρ i Φ 2 i ] E ˜ p q T [ α 2 P i p q ( 11 ) 0 0 α 2 P i p q ( 22 ) ] E p q Φ 11 ( p q ) = + E ˜ p q T [ j = 1 , j i k ˜ π ¯ i j ( p q ) ( P j p q ( 11 ) P i p q ( 11 ) ) + d ¯ 2 W 21 p q ( 11 ) 0 0 j = 1 , j i k ˜ π ¯ i j ( p q ) ( P j p q ( 22 ) P i p q ( 22 ) ) + d ¯ 2 W 21 p q ( 22 ) ] E p q Φ 11 ( p q ) = + Q 1 p q + Q 2 p q + Q 3 p q + τ 1 2 R ¯ 1 p q + τ ¯ 2 R ¯ 2 p q + H e ( T 51 E p q ) + j = 1 , j i k ˜ 1 4 ( δ i j ( p q ) ) 2 ε i j , Φ 12 ( p q ) = [ M i p q ( 11 ) A d i p 0 B i q D p 0 ] , Φ 15 ( p q ) = [ M i p q ( 11 ) A τ i p 0 B i q D τ p 0 ] , Φ 17 ( p q ) = [ 0 [ T ¯ i p T [ K i q 0 ] 0 ] [ M i p q ( 11 ) B h i p M i p q ( 11 ) B f i p B i q D h p B i q D f p ] ] , Φ 18 ( p q ) = [ [ C 1 p T D ˆ r i q T C ˆ r i q T ] [ A i p T ( M i p q ( 11 ) ) T C 1 p T B i q T [ K i q T 0 ] T ¯ i p A i q T ] 0 0 T 51 ] , Φ 19 ( p q ) = [ E ˜ p q T [ P 1 p q ( 11 ) P i p q ( 11 ) 0 0 P 1 p q ( 22 ) P i p q ( 22 ) ] E ˜ p q Φ 19 ( p q ) = E ˜ p q T [ P ( i 1 ) p q ( 11 ) P i p q ( 11 ) 0 0 P ( i 1 ) p q ( 22 ) P i p q ( 22 ) ] E ˜ p q Φ 19 ( p q ) = E ˜ p q T [ P ( i + 1 ) p q ( 11 ) P i p q ( 11 ) 0 0 P ( i + 1 ) p q ( 22 ) P i p q ( 22 ) ] E ˜ p q Φ 19 ( p q ) = E ˜ p q T [ P k ˜ p q ( 11 ) P i p q ( 11 ) 0 0 P k ˜ p q ( 22 ) P i p q ( 22 ) ] E ˜ p q ] , Φ 22 ( p q ) = E ˜ p q T [ d ¯ H 1 ( 11 ) d ¯ H 2 ( 11 ) H e ( G 2 ( 11 ) ) + 2 W 22 p q 0 0 d ¯ H 1 ( 11 ) d ¯ H 2 ( 11 ) H e ( G 2 ( 11 ) ) + 2 W 22 p q ] E ˜ p q Φ 22 ( p q ) = ( 1 d ) e α 2 d 2 Q 1 p q + H e ( ( T 12 + T 22 T 32 + T 42 ) E ˜ p q ) , Φ 28 ( p q ) = [ [ D p T D r i q T 0 ] [ A d i p T ( M i p q ( 11 ) ) T D p T B i q T 0 0 ] d ¯ T 12 d ¯ T 22 0 ] , Φ 55 ( p q ) = [ [ R ¯ 1 p q ( 11 ) 0 0 R ¯ 1 p q ( 22 ) ] 0 0 e 2 α 2 τ 2 [ R ¯ 2 p q ( 11 ) 0 0 R ¯ 2 p q ( 22 ) ] e 2 α 2 τ 2 [ R ¯ 2 p q ( 11 ) 0 0 R ¯ 2 p q ( 22 ) ] e 2 α 2 τ 2 [ R ¯ 2 p q ( 11 ) 0 0 R ¯ 2 p q ( 22 ) ] ] , Φ 58 ( p q ) = [ 0 n × 5 n [ [ D τ p T D r i q T 0 ] [ A τ i p T ( M i p q ( 11 ) ) T D τ p T B i q T 0 0 ] 0 n × 3 n ] 0 n × 5 n ] , Φ 78 ( p q ) = [ [ 0 n × 3 n d ¯ T 210 0 ] 0 n × 5 n [ 0 [ [ K i q T 0 ] T ¯ i p 0 ] 0 n × 3 n ] [ [ D h p T D r i q T D f p T D r i q T D w ] [ B h i p T ( M i p q ( 11 ) ) T D h p T B i q T B f i p T ( M i p q ( 11 ) ) T D f p T B i q T ] 0 n × 3 n ] ] , Φ 88 ( p q ) = diag ( I Δ H e ( M i p q ) W 1 3 W 1 ε 1 W ¯ 1 ) , Φ ¯ 28 ( p q ) = [ [ D p T D r i q T 0 ] [ A d i p T ( M i p q ( 11 ) ) T D p T B i q T 0 0 ] d ¯ T 32 d ¯ T 42 0 ] , Φ ¯ 78 ( p q ) = [ 0 n × 5 n [ 0 n × 3 n d ¯ T 411 0 ] [ 0 [ [ K i q T 0 ] T ¯ i p 0 ] 0 n × 3 n ] [ [ D h p T D r i q T D f p T D r i q T D w ] [ B h i p T ( M i p q ( 11 ) ) T D h p T B i q T B f i p T ( M i p q ( 11 ) ) T D f p T B i q T ] 0 n × 3 n ] ] .

If we replace the switching signal \(\tilde{\vartheta}_{t} = q\) and positive scalar \(\alpha_{2}\) with switching signal \(\vartheta_{t} = p\), and positive scalar \(\alpha_{1}\) in the LMIs (66) and (67), we can obtain the LMIs (68) and (69), respectively.

Also, \(\forall t \in [ {t_{k} ,t_{k} + d_{k} } )\), the detector/controller unit gain matrices are given by

A ˆ i q = ( M i q ( 22 ) ) 1 A i q , B ˆ i q = ( M i q ( 22 ) ) 1 B i q , C ˆ r i q = C r i q , D ˆ r i q = D r i q , K ˆ i q = ( M i q ( 11 ) ) 1 K i q
(70)

\(\forall t \in [ {t_{k} + d_{k} ,t_{k+1} } )\), the detector/controller unit gain matrices are given by

A ˆ i p = ( M i p ( 22 ) ) 1 A i p , B ˆ i p = ( M i p ( 22 ) ) 1 B i p , C ˆ r i p = C r i p , D ˆ r i p = D r i p , K ˆ i p = ( M i p ( 11 ) ) 1 K i p .
(71)

Proof

From Theorem 3.1 we know that if LMIs (19) and (20) are satisfied in mismatch period, then inequality (37) holds, that is, \(\forall t \in [ {t_{k} ,t_{k} + d_{k} } )\), system (10) is SSFTS and the \(H_{\infty}\) property (12) will be guaranteed under the conditions (19) and (20). In order to obtain proper detector/controller unit gain matrices, we should decompose the matrices \(\mathscr{M}_{ipq} \) as follows:

M i p q = [ M i p q ( 11 ) 0 0 M i q ( 22 ) ] ,
(72)

and based on Assumption 2.1, we let

M i p q ( 11 ) = T ¯ i p T [ M i q ( 11 ) 0 0 M i q ( 22 ) ] T ¯ i p .

Then,

[ M i p q ( 11 ) 0 0 M i q ( 22 ) ] [ A i p B i p K ˆ i q B ˆ i q C 1 p A ˆ i q ] = [ M i p q ( 11 ) A i p M i p q ( 11 ) B i p K ˆ i q M i q ( 22 ) B ˆ i q C 1 p M i q ( 22 ) A ˆ i q ] ,
(73)
M i p q ( 11 ) B i p K ˆ i q = T ¯ i p T [ M i q ( 11 ) 0 0 M i q ( 22 ) ] T ¯ i p B i p K ˆ i q = T ¯ i p T [ M i q ( 11 ) K ˆ i q 0 ] .
(74)

Now, letting A i q = M i q ( 22 ) A ˆ i q , B i q = M i q ( 22 ) B ˆ i q , C r i q = C ˆ r i q , D r i q = D ˆ r i q , K i q = M i q ( 11 ) K ˆ i q , then we substitute (72)–(74) into (19) and (20), we know that (66), (67) are equivalent to (19), (20), respectively, furthermore, similar to the above discussion, we can easily derive that in match period LMIs (68), (69) are equivalent to (21), (22) as is obvious. This proof is completed. □

Remark 3.2

In this paper, we select most variable matrices as diagonal matrices, for example: any matrix \(T_{12} = \bigl [ {\scriptsize\begin{matrix}{} {T_{12}^{ ( {11} )} } & 0 \cr 0 & {T_{12}^{ ( {22} )} } \end{matrix}}\bigr ]\), the construction of the other matrices is similar to this structure, and such processing may affect the system. But this selection will greatly reduce the complexity of computing and cost of the system implementation.

Theorem 3.3

Under any switch signal, the augmented system (10) with dwell time constraint (25) is SSFTS and also satisfies \(H_{\infty}\) property (12), if LMI conditions (19)(25) and (66)(69) hold. Moreover, matrices \(\hat{A}_{iq} \), \(\hat{B}_{iq} \), \(\hat{K}_{iq} \), \(\hat{C}_{riq}\) and \(\hat{D}_{riq}\) can be obtained from (70) and (71), respectively. Further, based on Theorem 3.1 and Theorem 3.2, the simultaneous finite-time control and fault detection problem is converted into the following optimization: for given positive constant weighs ϖ,

$$ \begin{aligned} &\min \bar{\gamma}=\varpi \gamma_{0}^{2} \\ &\quad \textit{s.t.} \mbox{ (19)--(25), (66)--(69)}. \end{aligned} $$
(75)

The next step is to evaluate the residual signal and compare it with some threshold values to detect the fault in the system.

In this paper, the residual evaluation function based on the root mean square energy of the residual signal is used.

$$ J_{\hat{r}} ( t ) = \sqrt{\frac{1}{T} \int_{0}^{T} {\hat{r}^{T} ( s )\hat{r} ( s ) \,ds} } $$
(76)

and the threshold \(J_{th} \) is obtained by

$$ J_{th} = \sup_{\substack{ f ( t ) = 0 \\ h ( t ) \in L_{2} }} J_{\hat{r}} ( t ); $$
(77)

therefore, the controller/detector unit is obtained such that the performance (12) holds and the constant threshold value \(J_{th} \) can be defined as \(J_{th} = \frac{{\gamma \Vert {h ( t )} \Vert _{2} }}{{\sqrt {T} }}\). Finally the occurrence of fault can be detected by the following logic rule:

$$ \begin{aligned} &J_{\hat{r}} ( t ) > J_{th} \Rightarrow \mbox{alarm}, \\ &J_{\hat{r}} ( t ) \le J_{th} \Rightarrow \mbox{no faults}. \end{aligned} $$
(78)

4 Examples

In this section, we shall give an illustrative example to demonstrate the effectiveness of the proposed method. Firstly we consider the transition rate matrix \(\Pi^{(pq)} \) and singular matrix \(E_{p}\) with two vertices:

Π ( 1 ) = [ 0.6 + Δ π ¯ 11 ( 1 ) 0.6 + Δ π ¯ 12 ( 1 ) 0.8 + Δ π ¯ 21 ( 1 ) 0.8 + Δ π ¯ 22 ( 1 ) ] , Π ( 12 ) = [ 0.6 + Δ π ¯ 11 ( 12 ) 0.6 + Δ π ¯ 12 ( 12 ) 0.8 + Δ π ¯ 21 ( 12 ) 0.8 + Δ π ¯ 22 ( 12 ) ] , Π ( 2 ) = [ 1.3 + Δ π ¯ 11 ( 2 ) 1.3 + Δ π ¯ 12 ( 2 ) 1.5 + Δ π ¯ 21 ( 2 ) 1.5 + Δ π ¯ 22 ( 2 ) ] , Π ( 21 ) = [ 1.3 + Δ π ¯ 11 ( 21 ) 1.3 + Δ π ¯ 12 ( 21 ) 1.5 + Δ π ¯ 21 ( 21 ) 1.5 + Δ π ¯ 22 ( 21 ) ] , E 1 = E 2 = [ 1 0 0 0 ] , R 1 = R 2 = [ 0 1 ] ,

where \(\delta_{11}^{ ( 1 )} = \delta_{12}^{ ( 1 )} = \delta_{11}^{ ( {12} )} = \delta _{12}^{ ( {12} )} = 0.1\), \(\delta_{21}^{ ( 1 )} = \delta_{22}^{ ( 1 )} = \delta_{21}^{ ( {12} )} = \delta_{22}^{ ( {12} )} = 0.2\), \(\delta _{11}^{ ( 2 )} = \delta_{12}^{ ( 2 )} = \delta _{11}^{ ( {21} )} = \delta_{12}^{ ( {21} )} = 0.15\), \(\delta_{21}^{ ( 2 )} = \delta_{22}^{ ( 2 )} = \delta_{21}^{ ( {21} )} = \delta _{22}^{ ( {21} )} = 0.3\).

Secondly, we introduce the following parameters into the augmented system (10):

A 11 = [ 0.08 0.15 3 0.72 ] , A 12 = [ 0.079 0.15 1 0.721 ] , A 21 = [ 0.08 1.25 0.22 0.20 ] , A 22 = [ 1.08 0.14 0.15 1.32 ] , A d 11 = [ 0.02 1.15 0.23 0.152 ] , A d 12 = [ 0.13 0.29 0.108 0.135 ] , A d 21 = [ 0.38 1.15 0.022 0.12 ] , A d 22 = [ 1.8 0.14 0.15 0.3 ] , A τ 11 = [ 1.12 1.51 0.13 0.002 ] , A τ 12 = [ 0.103 1.19 0.108 0.035 ] , A τ 21 = [ 0.128 0.105 1.122 0.22 ] , A τ 22 = [ 0.08 0.124 0.55 0.13 ] , B 11 = B 12 = B 21 = B 22 = [ 0.1 0.5 ] , B h 11 = B h 21 = [ 0.1 0.1 ] , B h 12 = B h 22 = [ 0.2 0.1 ] , B f 11 = B f 21 = [ 0.01 0.12 ] , B f 12 = B f 22 = [ 0.25 0.32 ] , C 11 = C 12 = [ 0.2 0 0 0.1 ] , D 11 = D 12 = [ 0.3 0 0 0.5 ] , D τ 1 = D τ 2 = [ 0.15 1.2 0 0.05 ] , D h 1 = D h 2 = D f 1 = D f 2 = [ 0 1.2 ] ,

The systems matrices of model (11) are chosen as

A w = [ 0.1 0 0 0.2 ] , B w = [ 1 0 ] , C w = [ 2 0 ] , D w =0.1,

We assume that error tolerance \(\rho_{1} = 0.5 \), \(\rho_{2} = 0.8 \), lag time \(d_{k}\) satisfies \(0 \le d_{k} \le1\) and let \(\tilde{d} = 0.8 \). Time-varying delay \(d ( t )=\tau ( t ) = 0.1 + 0.1\sin ( {10t} )\), then we can obtain \(d_{1}=\tau_{1}=0.1\), \(d_{2}=\tau_{2}=0.2\) very easily. Letting \(c_{1} = 1\), \(c_{2} = 5\), \(T=30\), \(\alpha_{1}=0.1\), \(\alpha_{2}=0.2\),

T ¯ 11 = T ¯ 12 = T ¯ 21 = T ¯ 22 = [ 0.3845 1.9231 0.3590 0.0718 1.2875 0.2575 ] ,

and using Theorem 3.2, the controller/detectors unit are obtained as follows:

[ A ˆ 11 C ˆ r 11 B ˆ 11 D ˆ r 11 K ˆ 11 ] = [ 1.0101 0.0011 0.0081 1.3421 0.0102 0.0419 0.0161 0.0220 0.0183 0.0556 1.7878 0.5138 0.0908 0.0321 1.6061 0.1901 ] , [ A ˆ 12 C ˆ r 12 B ˆ 12 D ˆ r 12 K ˆ 12 ] = [ 1.3019 0.0166 0.0901 1.3131 0.0510 0.0305 0.0218 0.0401 0.0011 0.0291 1.0011 0.8102 0.0528 0.0012 1.0115 0.0529 ] , [ A ˆ 21 C ˆ r 21 B ˆ 21 D ˆ r 21 K ˆ 21 ] = [ 1.0129 0.0428 0.0802 1.1002 0.0119 0.0204 0.0484 0.0215 0.0017 0.0106 1.0702 0.3531 0.0254 0.0075 1.0820 0.0607 ] , [ A ˆ 22 C ˆ r 22 B ˆ 22 D ˆ r 22 K ˆ 22 ] = [ 1.5298 0.0198 0.0466 1.2045 0.0127 0.0405 0.0152 0.0232 0.0110 0.0144 1.0651 0.2518 0.0261 0.0830 1.0449 0.0942 ] .

For the simulation purpose, we set

$$f ( t ) = \textstyle\begin{cases} 1, &10 \le t \le17, \\ 0, &\mbox{otherwise}. \end{cases} $$

The initial modes are takes as \(\upsilon_{0}=2\), \(\vartheta_{0}=1\), respective. The simulation time is taken as 30 time units, and each unit length is taken as \(t=5~\mbox{s}\). The jumping modes path from time step 0 to time step 30, the switching modes path is chosen according to the ADT \(\tau_{a} > 8.7091 \) constraint, which are shown in Figs. 2 and 3, respectively. Further, the residual evaluation function are shown in Figs. 4 and 5, which means the fault is detected. From Fig. 4, we know that if we enlarge the parameters \(D_{f1}\), \(D_{f2}\), the effect of fault on the output \(y ( t )\) will be larger, so the residual signal \(\hat{r} ( t ) \) becomes larger, and the detection time of fault will be reduced. Based on our results, we can obtain \(J_{th} = \sup_{\substack{ h ( t ) \ne0 \\ f ( t ) = 0 }} \mathscr{E} ( {\frac{1}{{30}}\int_{0}^{30} {\hat{r}^{T} ( t )\hat{r} ( t )\,dt} } ) = 0.1220\) and Fig. 5 show us that \(( {\frac{1}{{10.02}}\int_{0}^{10.02} {\hat{r}^{T} ( t )\hat{r} ( t )\,dt} } ) = 0.2037> J_{th} \), that is fault signal will be detected after 0.02 s. Meantime, Fig. 6 shows the inter-event intervals, obviously, from Fig. 6, we can know that the event is triggered 145 times during the simulation time period. Finally, the phase plane plot of the closed-loop system is shown in Figs. 7 and 8 depicts that the states of the system (10) is stability in finite time with our proposed control strategy in this paper.

Figure 2
figure 2

System jumping mode \(\upsilon_{t}\)

Figure 3
figure 3

Switching signals \(\vartheta_{t}\) and \(\tilde{\vartheta}_{t}\)

Figure 4
figure 4

Residual signal \(\hat{r} ( t )\)

Figure 5
figure 5

Residual evaluation function

Figure 6
figure 6

Inter-event intervals

Figure 7
figure 7

Phase plane plot of closed-loop system

Figure 8
figure 8

System responses with \(u_{t}\)

5 Conclusions

In this paper, the problem of simultaneous finite-time event-triggered control and fault detection for a class of singular Markovian mixed delay jump systems under asynchronous switching has been investigated. A mode-dependent detector/controller are designed, which guarantees the closed-loop system is SSFTS and satisfies four \(H_{\infty}\) performance indices. By using some novel integral inequalities and the optimization technique, the results are derived in terms of the LMIs. Finally, a numerical example is provided to illustrate the effectiveness of the proposed method.

References

  1. Gao, H., Chen, T., Wang, L.: Robust fault detection with missing measurements. Int. J. Control 81, 804–819 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  2. Luo, M., Zhong, S.: Robust fault detection of uncertain time-delay Markovian jump systems with different system modes. Circuits Syst. Signal Process. 33, 115–139 (2014)

    Article  MathSciNet  Google Scholar 

  3. Liu, J., Yue, D.: Event-triggering in networked systems with probabilistic sensor and actuator faults. Inf. Sci. 240, 145–160 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  4. Dong, H., Wang, Z., Gao, H.: Fault detection for Markovian jump systems with sensor saturations and randomly varying nonlinearities. IEEE Trans. Circuits Syst. I, Regul. Pap. 59, 2354–2362 (2012)

    Article  MathSciNet  Google Scholar 

  5. Hwang, I., Kim, S., Kim, Y., Seah, C.E.: A survey of fault detection, isolation, and reconfiguration methods. IEEE Trans. Control Syst. Technol. 18, 636–653 (2010)

    Article  Google Scholar 

  6. Jiang, B., Staroswiecki, M., Cocquempot, V.: \(H_{\infty}\) fault detection filter design for linear discrete-time systems with multiple time delays. Int. J. Syst. Sci. 34, 365–373 (2003)

    Article  MATH  Google Scholar 

  7. Wan, X., Fang, H.: Fault detection for discrete-time networked nonlinear systems with incomplete measurements. Int. J. Syst. Sci. 44, 2068–2081 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  8. Shokouhi-Nejad, H., Rikhtehgar Ghiasi, A., Badamchizadeh, M.A.: Robust simultaneous finite-time control and fault detection for uncertain linear switched systems with time-varying delay. IET Control Theory Appl. 11, 1041–1052 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  9. Zhong, G., Yang, G.: Robust control and fault detection for continuous-time switched systems subject to a dwell constraint. Int. J. Robust Nonlinear Control 25, 3799–3817 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  10. Zhai, D., Lu, A., Li, J., Zhang, Q.: Simultaneous fault detection and control for switched linear systems with mode-dependent average dwell-time. Appl. Math. Comput. 272, 767–792 (2016)

    MathSciNet  Google Scholar 

  11. Li, J., Park, J.H., Ye, D.: Simultaneous fault detection and control design for switched systems with two quantized signals. ISA Trans. 66, 296–309 (2017)

    Article  Google Scholar 

  12. Shokouhi-Nejad, H., Rikhtehara Ghiasi, A., Badamchizadeh, M.A.: Robust simultaneous fault detection and control for class of nonlinear stochastic switched delay systems under asynchronous switching. J. Franklin Inst. (2017). https://doi.org/10.1016/j.jfranklin.2017.05.037

    MathSciNet  MATH  Google Scholar 

  13. Wang, H., Yang, G.: Simultaneous fault detection and control for uncertain linear discrete-time systems. IET Control Theory Appl. 3, 583–594 (2009)

    Article  MathSciNet  Google Scholar 

  14. Davoodi, M.R., Golabi, A., Talebi, H.A., Momeni, H.R.: Simultaneous fault detection and control design for switched linear systems based on dynamic observer. Optim. Control Appl. Methods 34, 35–52 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  15. Marcos, A., Balas, G.J.: A robust integrated controller/diagnosis aircraft application. Int. J. Robust Nonlinear Control 15, 531–551 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  16. Li, T., Fu, J.: Event-triggered control of switched linear systems. J. Franklin Inst. (2017). https://doi.org/10.1016/j.jfranklin.2017.05.018

    MathSciNet  MATH  Google Scholar 

  17. Shen, H., Su, L., Wu, Z., Park, J.H.: Reliable dissipative control for Markov jump systems using an event-triggered sampling information scheme. Nonlinear Anal. Hybrid Syst. 25, 41–59 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  18. Wang, Y., Lim, C., Shi, P.: Adaptively adjusted event-triggering mechanism on fault detection for networked control systems. IEEE Trans. Cybern. 47, 2299–2311 (2017)

    Article  Google Scholar 

  19. Shi, P., Wang, H., Lim, C.: Network-based event-triggered control for singular systems with quantizations. IEEE Trans. Ind. Electron. 63, 1230–1238 (2016)

    Article  Google Scholar 

  20. Wang, Y., Shi, P., Lim, C., Liu, Y.: Event-triggered fault detection filter design for a continuous-time networked control system. IEEE Trans. Cybern. 46, 3414–3426 (2016)

    Article  Google Scholar 

  21. Yue, D., Tian, E., Han, Q.: A delay system method for designing event-triggered controllers of networked control systems. IEEE Trans. Autom. Control 58, 475–481 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  22. Amato, F., Ariola, M., Cosentino, C.: Finite-time stability of linear time-varying system: analysis and controller design. IEEE Trans. Autom. Control 55, 1003–1008 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  23. Amato, F., Ariola, M., Cosentino, C.: Finite-time stabilization via dynamic output feedback. Automatica 42, 337–342 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  24. Chen, J., Xiong, L., Wang, B., Yang, J.: Robust finite-time boundedness of \(H_{\infty}\) filtering for switched systems with time-varying dely. Optim. Control Appl. Methods 37, 259–278 (2016)

    Article  Google Scholar 

  25. Wen, J., Nguang, S.K., Shi, P., Peng, L.: Finite-time stabilization of Markovian jump delay systems-a switching control approach. Int. J. Robust Nonlinear Control 27, 298–318 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  26. He, S., Liu, F.: Finite-time \(H_{\infty}\) fuzzy control of nonlinear jump systems with time-delays via dynamic observer-based state feedback. IEEE Trans. Fuzzy Syst. 20, 605–614 (2012)

    Article  Google Scholar 

  27. Wu, Y., Cao, J., Li, Q., Alsaedi, A., Alsaadi, F.E.: Finite-time synchronization of uncertain coupled switched neural networks under asynchronous switching. Neural Netw. 85, 128–139 (2017)

    Article  Google Scholar 

  28. Lewis, F.L.: A survey of linear singular systems. Circuits Syst. Signal Process. 22, 3–36 (2007)

    MathSciNet  MATH  Google Scholar 

  29. Zhao, Y., Zhang, W.: New results on stability of singular stochastic Markov jump systems with state-dependent noise. Int. J. Robust Nonlinear Control (2015). https://doi.org/10.1002/rnc.3401

    Google Scholar 

  30. Fu, L., Ma, Y.: Passive control for singular time-vary system with actuator saturation. Appl. Math. Comput. 289, 181–193 (2016)

    MathSciNet  Google Scholar 

  31. Ma, Y., Yang, P., Yan, Y., Zhang, Q.: Robust observer-based passive control for uncertain singular time-delay systems subject to actuator saturation. ISA Trans. 67, 9–18 (2017)

    Article  Google Scholar 

  32. Zhao, X., Zhang, L., Shi, P., Liu, M.: Stability of switched positive linear systems with average dwell time switching. Automatica 48, 1132–1137 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  33. Wang, J., Ma, S., Zhang, C.: Stability analysis and stabilization for nonlinear continuous-time descriptor semi-Markov jump systems. Appl. Math. Comput. 279, 90–102 (2016)

    MathSciNet  Google Scholar 

  34. Liu, X., Yu, X., Zhou, X., Xi, H.: Finite-time \(H_{\infty}\) control for linear systems with semi-Markovian switching. Nonlinear Dyn. 85, 2297–2308 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  35. Yang, B., Wang, J., Wang, J.: Stability analysis of the delayed neural networks via a new integral inequality. Neural Netw. 88, 49–57 (2017)

    Article  Google Scholar 

  36. Shen, H., Su, L., Park, J.H.: Further results on stochastic admissibility for singular Markov jump systems using a dissipative constrained condition. ISA Trans. 59, 65–71 (2015)

    Article  Google Scholar 

Download references

Acknowledgements

All authors are grateful to the anonymous referees for several comments and suggestions of improvement. This work was supported in part by the National Natural Science Foundation of China under Grants 11661028, 11661030, 11502057, the Natural Science Foundation of Guangxi under Grant 2015GXNSFBA139005, 2014GXNSFBA118023. This work was also supported by the China Scholarship Council (201608455012).

Author information

Authors and Affiliations

Authors

Contributions

All three authors contributed equally to this work. They all read and approved the final version of the manuscript.

Corresponding author

Correspondence to Mengzhuo Luo.

Ethics declarations

Competing interests

All the authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

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, 80 (2018). https://doi.org/10.1186/s13662-018-1533-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-018-1533-y

Keywords