Abstract
This paper is concerned with the delay-dependent robust resilient \(H_\infty \) control problem for uncertain singular time-delay system with Markovian jumping parameters. First, a delay-dependent bounded real lemma in terms of linear matrix inequalities is established, which guarantees the nominal Markovian jump singular system to be regular, impulse free and stochastically stable. Then, based on this condition, sufficient conditions in terms of LMIs are given to ensure the existence of the desired robust resilient \(H_\infty \) controllers. The uncertainties of the controllers are considered in two cases, that is the additive controller gain uncertainties and the multiplicative controller gain uncertainties. Finally, numerical examples illustrate the applicability of the results proposed in this paper.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Singular systems contain three kinds of modes: finite dynamic modes, non-dynamic modes and impulsive modes. So, the singular systems can describe the actual system more appropriate when modeling in many practical systems, such as chemical systems, aerospace engineering systems, electrical networks, social economic systems, power systems, circuit systems [1,2,3,4,5]. In addition, when the physical systems appear abrupt variations, Markovian jump systems, as a special class of stochastic hybrid systems, can better describe the actual physical process. Many applications of such systems can be found in [6,7,8,9] and the references therein. Recently, many scholars dedicate to the study of the stability analysis and controller synthesis for Markovian jump systems and a lot of relevant conclusion are reported, please see [10,11,12,13,14,15]. On the other hand, time-delay is also a factor that can not be ignored in the actual process of modeling. It commonly encounters in various engineering systems and frequently leads to the instability and poor performance. In general, the results of time-delay system are divided into two categories, namely, delay-dependent conditions and delay-independent ones [16,17,18,19,20,21]. Since the stability of systems depends explicitly on the time-delay, a delay-independent condition is more conservative than the delay-dependent ones, especially for small delays. Very recently, much attention has been paid to the study on the singular time-delay systems with Markovian jumping parameters. Many important results on such systems have been reported, see [22,23,24,25,26,27,28,29,30,31,32] and the references therein. In spite of the recent developments on delay-dependent methods, only few results about the singular Markovian jump systems with time delay and the theory is far from being completed. Firstly, the above reports are all using memoryless feedback controllers. Memory state feedback controllers with the feedback provisions on both the current state and the past history of the state may lead to an improved performance. On the other hand, it is worth noting that an implicit assumption inherent in these above design techniques is that the controller is precise, and exactly implemented. But in practice, controllers do have a certain degree of errors due to finite word length in any digital systems, the imprecision inherent in analog systems and need for additional tuning of parameters in the final controller implementation [29, 30]. These two cases inspire the present work.
In this paper, we deal with the delay-dependent robust resilient \(H_\infty \) control problem for uncertain singular Markovian jump time-delay systems. First, a new delay-dependent bounded real lemma (BRL) is provided to guarantee the considered system to be regular, impulse free and stochastically stable with \(H_\infty \) performance \(\gamma \). Then based on this lemma, robust resilient \(H_\infty \) controllers are respectively designed to guarantee the resultant closed-loop system is delay-dependent stochastically admissible and satisfies a given \(H_\infty \) performance in terms of a set of strict LMIs. Finally numerical examples illustrate the effectiveness and less conservative of the results obtained in this note than the existing approaches.
Notations\(R^n\) denotes the n-dimensional Euclidean space; \(R^{n\times m}\) is the set of all \(n\times m\) real matrices; \(X\ge 0 (X>0)\) means that the symmetrical matrix X is positive semidefinite (positive definite); The superscript T stands for transpose of a matrix; \(C_{n,d}=C([-\,d,0], R^n)\) denotes the Banach space of continuous vector functions mapping the interval \([-\,d,0]\) into \(R^n\). And \(x_t:=x(t+\theta ), \theta \in [-\,d,0]\) denotes the function family on \([-\,d,0]\), which is generated by n-dimensional real valued continuous function \(x(t), t\in [-\,d,+\infty )\). Obviously \(x_t\in C_{n,d}\). The following norms will be used: \(\Vert \cdot \Vert \) refers to Euclidean vector norm or spectral matrix norm. \(\Vert \phi \Vert _c:= \sup \nolimits _{-d\le t\le 0}\Vert \phi (t)\Vert \) stands for the norm of a function \(\phi \in C_{n,d}\). \(\mathcal {L}_2[0,\infty )\) stands for the space of square integrable functions on \([0,\infty )\). \((\Omega ,\mathcal {F},\mathcal {P})\) is a probability space, \(\Omega \) is the sample space, \(\mathcal {F}\) is the algebra of events and \(\mathcal {P}\) is the probability measure defined on \(\mathcal {F}\). \(\mathcal {E}\{\cdot \}\) denotes the expectation operator with respect to some probability measure \(\mathcal {P}\).
2 Problem formulation and preliminaries
Given a probability space \((\Omega ,\mathcal {F},\mathcal {P})\), where \(\Omega \) is the sample space, \(\mathcal {F}\) is the algebra of events and \(\mathcal {P}\) is the probability measure defined on \(\mathcal {F}\), the singular time-delay Markovian jump system considered in this paper is described by the following dynamics:
where \(x(t)\in R^{n}\) is the system state, \(u(t)\in R^m\) is the control input,\(w(t)\in R^p\) is the disturbance input and \(w(t)\in \mathcal {L}_2[0,\infty ]\). \(z(t)\in R^q\) is the controlled output. d is an unknown constant delay and satisfies \(0<d\le \bar{d}\). \(\phi (t)\in C_{n,\bar{d}}\) is a compatible initial function. \(\{r_t,t\ge 0\}\) is a homogeneous finite-state Markovian process with right continuous trajectories and taking values in a finite set \(\mathcal {S}=\{1,\ldots ,s\}\) with transition probability matrix \(\Pi =\{\pi _{ij}\} \) given by
where \(h>0, lim_{h\rightarrow 0}\frac{o(h)}{h}=0\) and \(\pi _{ij}\ge 0\), for \(j\ne i\), is the transition rate from the mode i at time t to the mode j at time \(t+h\) and \(\pi _{ii}=-\,\sum _{j=1,j\ne i}^s\pi _{ij}.\) The matrix \(E\in R^{n\times n}\) is singular and \(0<rank E=r\le n\). \(A(r_t), A_d(r_t), B(r_t), B_w(r_t), C(r_t), C_d(r_t), D(r_t)\) and \(D_w(r_t)\) are known real constant matrices with appropriate dimensions. And it is assumed that the uncertainties \(\triangle A(r_t), \triangle A_d(r_t), \triangle B_w(r_t), \triangle C(r_t), \triangle C_d(r_t)\) and \(\triangle D_w(r_t)\) are norm-bounded and for each \(i\in \mathcal {S}\) can be described as
where \(M_{1i},M_{2i},N_{1i},N_{2i}\) and N\(_{3i}\) are known real constant matrices with appropriate dimensions for each \(i\in \mathcal {S}\), and \(F_{1i}(t)\) are unknown matrix functions.
The objective of this note is to develop resilient memory state feedback controllers:
such that the closed-loop system constructed by (1)–(3) is robustly and stochastically admissible with \(H_\infty \) performance \(\gamma \) for any constant time-delay d satisfying \(0\le d\le \bar{d}\). In this case, the controller (3) is called a robust resilient controller of the system (1).
For the controller gain uncertainties \(\triangle K(r_t),\triangle K_d(r_t)\), for each possible \(i\in \mathcal {S}\), the following two forms will be considered:
-
(a)
Additive controller gain uncertainties:
$$\begin{aligned}&\left[ \begin{array}{cc}\bigtriangleup K_i(t)&\bigtriangleup K_{di}(t)\end{array}\right] \nonumber \\&\quad =M_{+i}F_{2i}(t)\left[ \begin{array}{cc} N_{+i}&N_{+di}\end{array}\right] ,\nonumber \\&\quad F^T_{2i}(t)F_{2i}(t)\le I, \forall i\in \mathcal {S}\end{aligned}$$(4) -
(b)
Multiplicative controller gain uncertainties:
$$\begin{aligned}&\left[ \begin{array}{cc}\bigtriangleup K_i(t)&\bigtriangleup K_{di}(t)\end{array}\right] \nonumber \\&\quad =M_{\times i}F_{3i}(t)\left[ \begin{array}{cc}N_{\times i}K_i(t)&N_{\times di}K_{di}(t)\end{array}\right] ,\nonumber \\&\quad F^T_{3i}(t)F_{3i}(t)\le I, \forall i\in \mathcal {S}\end{aligned}$$(5)where \(M_{+i},M_{\times i},N_{+i} ,N_{\times i},N_{+di}\) and \(N_{\times di}\) are known real constant matrices with appropriate dimensions for each \(i\in \mathcal {S}\), and \(F_{2i}(t),F_{3i}(t)\) are unknown matrix functions.
\(\triangle A(r_t), \triangle A_d(r_t), \triangle B_w(r_t), \triangle C(r_t), \triangle C_d(r_t), \triangle D_w(r_t)\), \(\triangle K(r_t)\) and \(\triangle K_d(r_t)\) are said to be admissible if (2), (4) and (5) are satisfied.
For notational simplicity, in the sequel, for each possible \(i\in \mathcal {S}\), matrices \(A(r_t)\), \(A_d(r_t)\), \(B(r_t)\), \(B_w(r_t)\), \(C(r_t)\), \(C_d(r_t)\), \(D(r_t)\), \(D_w(r_t)\), \(K(r_t)\) and \(K_d(r_t)\) will be respectively denoted by \(A_i\), \(A_{di}\), \(B_i\), \(B_{wi}\), \(C_i\), \(C_{di}\), \(D_i\), \(D_{wi}\), \(K_i\) and \(K_{di}\).
About the definition of the robustly and stochastically admissible with \(H_\infty \) performance, it can be referred to following definitions:
Definition 2.1
[7]
-
1.
For a given scalar \(\bar{d}>0\), the singular Markovain jump time-delay system
$$\begin{aligned} E\dot{x}(t)= & {} A_ix(t)+A_{di}x(t-d)\nonumber \\ x(t)= & {} \phi (t), t\in [-\bar{d},0] \end{aligned}$$(6)is said to be regular and impulse free for any constant d satisfying \(0\le d\le \bar{d}\), if the pairs \((E, A_i)\) and \((E, A_i+A_{di})\) are regular and impulse free for any \(i\in S\);
-
2.
The singular Markovian jump time-delay system (6) is said to be stochastically stable, if there exists a scalar \(M(r_0,\phi (\cdot ))\) such that
$$\begin{aligned}&lim_{t\rightarrow \infty }\mathcal {E}\bigg \{\int _0^t\Vert x(s)\Vert ^2ds|r_0,x(s)\\&\quad =\phi (s),s\in [-\,\bar{d},0]\bigg \}\le M(r_0,\phi (\cdot )) \end{aligned}$$ -
3.
The singular Markovian jump time-delay system (6) is said to be stochastically admissible, if it is regular, impulse free and stochastically stable.
Definition 2.2
[7] The singular Markovian jump time-delay system (1) is said to be stochastically admissible with \(H_\infty \) performance \(\gamma \), if the system with \(F_i(t)=0\), \(u(t)=0\) and \(w(t)=0\) is stochastically admissible and under zero initial condition, the output vector z(t) satisfies
for any non-zero \(w(t)\in \mathcal {L}_2[0,\infty ].\)
3 Main results
In this section, we shall solve the delay-dependent robust resilient \(H_\infty \) control problem for the singular time-delay Markovian jump system (1) in terms of LMIs approach. Initially, we give a sufficient condition of stochastic admissibility for the singular Markovian jump time-delay system (1) with \(u(t)\equiv 0\) and \(F_i(t)=0\), that is
which will play a key role in solving the problem.
Lemma 3.1
For given a scalar \(\bar{d}>0, \gamma >0\), the singular Markovian jump time-delay system (7) is regular, impulse free and stochastically stable with \(H_\infty \) performance under zero initial conditions for any d satisfying \(0\le d\le \bar{d}\), if there exist matrices \(Q_{2i}>0,Q_2>0, R_1>0, R_2>0,\)\(Q_{1i}=\left[ \begin{array}{cc}Q_{1i11}&{}Q_{1i12}\\ \star &{}Q_{1i22}\end{array}\right]>0, Q_1=\left[ \begin{array}{cc}Q_{111}&{}Q_{112}\\ \star &{}Q_{122}\end{array}\right] >0\), and matrices \( F_i, G_i, H_i, J_i\) and nonsingular matrices \(P_i\) such that for every \(i\in \mathcal {S}\),
where \(\mu =max\{|\pi _{ii}|,i\in \mathcal {S}\}\) and
Proof
Now we firstly prove the system (7) is stochastically admissible. From Definition 2.2, it is to prove that the system (6) is stochastically admissible. Considering the system (6) and from (9), we can easily deduce that for every \(i\in \mathcal {S}\), \(\mathcal {I}_1\bar{\Theta }_i\mathcal {I}_1<0.\) Then
where
Obviously, the following inequality is true:
Since \(rank\, \tilde{E}=rank \, E=r\le n\), there exist nonsingular matrices \(\bar{G}\) and \(\bar{H}\), such that
Then, for every \(i\in \mathcal {S}\), we denote: \(\bar{A}_i\triangleq \bar{G}\tilde{A}_i\bar{H},\bar{A}_{di}\triangleq \bar{G}\tilde{A}_{di}\bar{H}, \bar{P}_i\triangleq \bar{G}^{-T}\tilde{P}_i\bar{H}\)
From (11), it is clear that \(P_{i12}=0\), for every \(i\in \mathcal {S}\). Pre-multiplying and post-multiplying (13) by \(\bar{H}^T\) and \(\bar{H}\), respectively, we can deduce
which implies that \(A_{i22}\) and \(P_{i22}\) are nonsingular for every \(i\in \mathcal {S}\). This implies the pair \((\tilde{E},\tilde{A}_i)\) is regular and impulse free and \(\tilde{P}_i\) is nonsingular, that is \(G_i\) is nonsingular for every \(i\in \mathcal {S}\). Note that \(det(s\tilde{E}-\tilde{A}_i)=det(sE-A_i)\), we can easily get that the pair \((E,A_i)\) is regular and impulse free for every \(i\in \mathcal {S}\).
Now, pre-multiplying and post-multiplying (12) by \(\big [I_n\; I_nI_n\;I_n\big ]\) and \(\left[ \begin{array}{cccc}I_n&I_n&I_n&I_n\end{array}\right] ^T\), respectively, we can obtain
that is
which implies that
Note that \(Q_1>0, \tilde{R}\ge 0\) and similar to the above analysis, it is true that the \(pair (E,A_i+A_{di})\) is regular and impulse free for every \(i\in \mathcal {S}\). So, according to Definition 2.1, the singular Markovian jump time-delay system (6) is regular and impulse free for any constant time delay d satisfying \(0\le d\le \bar{d}\).
Next we are in the position to prove that the system (6) is stochastically stable. Choose a Lyapunov–Krasovskii functional candidate as
where
here \(\xi ^T(t)=\left[ \begin{array}{cc}x^T(t)&x^T(t-\frac{d}{2})\end{array}\right] \). Let \(\mathcal {L}[\cdot ]\) be the weak infinitesimal operator of the stochastic process \(\{x_t,r_t\}\), then for each \(i\in \mathcal {S}\), we have
According to Jesen integral inequality, the following in equation is true
Noting \(\pi _{ij}>0\), for \(i\ne j\) and \(-\mu \le \pi _{ii}<0\), and from (10), we can get
Then from (16)–(19), we can obtain that, for every \(i\in \mathcal {S}\),
where
Note that \(R_1>0, R_2>0\) and from (9), it is easy to get that for every \(i\in \mathcal {S}\),
Therefore, using Dynkin’s formula, for any \(t\ge \bar{d},\)
So the following in equation is true
From the above analysis, we know that for every \(i\in \mathcal {S}\), the \(pair(E,A_i)\) is regular and impulse free. Then there exist nonsingular matrices \(\bar{M}, \bar{N}\) such that \((E,A_i)\) for every \(i\in \mathcal {S}\) is r.s.e. to the Weierstrass standard form \(\bar{E}=\bar{M}E\bar{N},\bar{A}_i=\bar{M}A_i\bar{N},\)
Then, for every \(i\in \mathcal {S}\), system (6) can be equivalently transformed into
where \(y(t)=\left[ \begin{array}{c}y_1(t)\\ y_2(t)\end{array}\right] =\bar{N}^{-1}x(t), y_1(t)\in R^r, y_2(t)\in R^{n-r}.\) Then for any \(t\in [0,\bar{d}]\),
where \(k_1=\max \limits _{i\in \mathcal {S}}\{[1+\bar{d}(\Vert A_{di11}\Vert +\Vert A_{di12}\Vert )]\max \limits _{t\in [0,\bar{d}]}\Vert e^{A_{i1}t}\Vert \}\ge 0.\)
Similarly, we can get
where \(k_2=\max \nolimits _{i\in \mathcal {S}}\{\parallel A_{di21}\parallel +\parallel A_{di22}\parallel \}\ge 0.\)
It is clear that
Obviously, there exists a scalar \(k_3>0\) such that
Noticing (15) and system (22), we can get that there exists a scalar \(\sigma >0\) such that
From the above analysis, together with (21), there exist a scalar \(\rho >0\) such that
Then from Definition 2.1, system (6) is stochastically stable for any constant time delay d satisfying \(0\le d\le \bar{d}.\)
Secondly we prove that the output vector z(t), under zero initial condition, satisfies
for any non-zero \(w(t)\in \mathcal {L}_2[0,\infty ].\)
Now we quote the following index:
Under zero initial conditions, we can easily obtain that
where
By using the Schur’s complement lemma, it is easy from (9) to get that for any \(t>0\),
To this end, we get (25) for any non-zero \(w(t)\in \mathcal {L}_2[0,\infty ]\). This completes the proof. \(\square \)
Remark 3.1
This result is similar to the conclusion of the author’s earlier work in [22]. But here in this note, when dealing with the Lypunov function \(\mathcal {L}V(x_t,i,t)\), we quote new matrices \(H_i, i\in \mathcal {S}\) in order to take the time-delay state \(x\left( t-\frac{d}{2}\right) \) into account in the conditions. This makes the results here more freedom.
Now, we will try to talk about the sufficient conditions for the existence of the robust resilient controllers of the systems (1). Applying the memory state feedback controllers (3) to the systems (1), the closed-loop system can be obtained as the following
where \(A_{ki}=A_i+B_iK_i,\bigtriangleup A_{ki}=\bigtriangleup A_i+B_i\bigtriangleup K_i, A_{kdi}=A_{di}+B_iK_{di},\bigtriangleup A_{kdi}=\bigtriangleup A_{di}+B_i\bigtriangleup K_{di}, C_{ki}=C_i+D_iK_i,\bigtriangleup C_{ki}=\bigtriangleup C_i+D_i\bigtriangleup K_i, C_{kdi}=C_{di}+D_iK_{di},\bigtriangleup C_{kdi}=\bigtriangleup C_{di}+D_i\bigtriangleup K_{di}\).
From Lemma 3.1, we know that for given scalars \(\bar{d}>0, \gamma >0\),the sufficient conditions to guarantee that the closed systems (26) is regular, impulse free and stochastically stable with \(H_\infty \) performance under zero initial conditions for any d satisfying \(0\le d\le \bar{d}\) are the following: there exist matrices \(Q_{2i}>0,Q_2>0, R_1>0, R_2>0,\)\(Q_{1i}=\left[ \begin{array}{cc}Q_{1i11}&{}Q_{1i12}\\ \star &{}Q_{1i22}\end{array}\right]>0, Q_1=\left[ \begin{array}{cc}Q_{111}&{}Q_{112}\\ \star &{}Q_{122}\end{array}\right] >0\), and matrices \( F_i, G_i, H_i, J_i\) and nonsingular matrices \(P_i\) satisfying (8), (10) for every \(i\in \mathcal {S}\) and
where
Now pre-multiplying and post-multiplying \(\bar{\Theta }_{ki}\) by \(\mathcal {I}_2\) and \(\mathcal {I}_2^T\), respectively. The following in equation can be obtained
where
Now considering the controllers with the additive gain uncertainties (4), we have
From Lemma 3.1, we know that \(P_i, G_i\) are nonsingular for every \(i\in \mathcal {S}\). Then we define
And set
Then pre-multiplying and post-multiplying (8) by \(L_i^T\) and \(L_i\), respectively, we can have
Pre-multiplying and post-multiplying \(Q_{1i}<Q_1\) by \(diag\{L_i^T,L_i^T\}\) and \(diag\{L_i,L_i\}\), respectively, and pre-multiplying and post-multiplying \(Q_{2i}<Q_2\) by \(L_i^T\) and \(L_i\), respectively, following in equations can be obtained
Pre-multiply and post-multiply (29) by \(\Gamma _i^{-T}\) and \(\Gamma _i^{-1}\). It is worthy to notice that there appears the term \(\sum \nolimits _{j=1,j\ne i}^s\pi _{ij}L_i^TE^TL_j^{-1}L_i\). Now without loss of generality, in the following we assume that \(E=\left[ \begin{array}{cc}I_r&{}0\\ 0&{}0\end{array}\right] \). From Lemma 3.1, \(L_i=\left[ \begin{array}{cc}L_{i11}&{}0\\ L_{i21}&{}L_{i22}\end{array}\right] \) and \(L_{i11}>0\). It is easy to get that
Then by Schur complement lemma, the following condition can be obtained
where
Now, from the above analysis, we can get the following results.
Theorem 3.1
Consider the Markovian jump singular time-delay system (1). For given scalars \(\bar{d}>0\) and \(\gamma >0\), if there exist matrices \(\bar{Q}_{1i}>0,\bar{Q}_{2i}>0, \bar{Q}_1>0,\bar{Q}_2>0, R_1>0, R_2>0, \)and matrices \(L_i\), \(M_i\), \(T_i\), \(N_i\), \(W_i\), \(S_i\), \(S_{di}\) and a scalar \(\alpha _i>0\), for every \(i\in \mathcal {S}\) satisfying (30), (31) and (32) then there exist controllers with the additive uncertainties \(u(t)=(S_iL_i^{-1}+M_{+i}F_{2i}N_{+i})x(t)+(S_{di}L_i^{-1}+M_{+i}F_{2i}N_{+di})x(t-d), i\in \mathcal {S}\) such that the closed-loop systems (26) is stochastically admissible with \(H_\infty \) performance \(\gamma \) under zero initial conditions for any constant time delay d satisfying \(0\le d\le \bar{d}\).
As to the case of the controllers with the multiplicative gain uncertainties, similar to the above analysis we can get the following theorem.
Theorem 3.2
Consider the Markovian jump singular time-delay system (1). For given scalars \(\bar{d}>0\) and \(\gamma >0\), if there exist matrices \(\bar{Q}_{1i}>0,\bar{Q}_{2i}>0, \bar{Q}_1>0,\bar{Q}_2>0, R_1>0, R_2>0, \)and matrices \(L_i\), \(M_i\), \(T_i\), \(N_i\), \(W_i\), \(S_i\), \(S_{di}\) and a scalar \(\alpha _i>0\), for every \(i\in \mathcal {S}\) satisfying (30), (31) and (33) then there exist controllers with the multiplicative uncertainties \(u(t)=(I+M_{\times i}F_{3i}N_{\times i})S_iL_i^{-1}x(t)+(I+M_{\times i}F_{3i}N_{\times di})S_{di}L_i^{-1}x(t-d), i\in \mathcal {S}\) such that the closed-loop systems (26) is stochastically admissible with \(H_\infty \) performance \(\gamma \) under zero initial conditions for any constant time delay d satisfying \(0\le d\le \bar{d}\).
where
Remark 3.2
Theorems 3.1 and 3.2 provide the delay-dependent sufficient conditions for the design of the robust resilient \(H_\infty \) controllers of the Markovian jump singular time-delay systems (1) in terms of LMIs. The controllers considered in these results are \(u(t)=(K(r_t)+\bigtriangleup K(r_t))x(t)+(K_d(r_t)+\bigtriangleup K_d(r_t))x(t-d)\).
The state feedback controllers u(t) cover not only the current state x(t) but also the state of \(t\in [t-d,t]\). This leads to that the results are more general. To the contrary, if we take the \(K_d(r_t)+\bigtriangleup K_d(r_t)=0\) in Theorems 3.1 and 3.2, the results can be deduced into the well-known LMI conditions for memoryless controller synthesis similarly to references [14,15,16,17].
Remark 3.3
The gains the controllers include two parts: \(K(r_t),K_d(r_t)\) and \(\bigtriangleup K(r_t),\bigtriangleup K_d(r_t)\). The existence of the controller gain perturbations ensures that the controllers themselves have certain robustness. This means that the controllers needn’t to be precise and exactly implemented. And the results allow the controllers gains have a certain degree of perturbations, which is more advantageous to the actual situation of the realization of the controllers.
4 Numerical examples
Example 4.1
Consider the singular Markovian jump time-delay system (7) with two modes, that is \(\mathcal {S}=\{1,2\}\). The mode switching is governed by the rate matrix \(\left[ \begin{array}{cc}-\,0.5&{}0.5\\ 0.3&{}-\,0.3\end{array}\right] .\) And the system parameters are as follows:
Tables 1 and 2 provide the comparison results, respectively via the method provided in [26] and Lemma 3.1 in this paper.
Table 1 shows that for a given \(H_\infty \) performance level \(\gamma \), the conditions in Lemma 3.1 allow a bigger delay constant d than the results gotten in reference [26]. So the conditions of Lemma 3.1 for singular Markovian jump time-delay systems is less conservative than those obtained in [26].
Table 2 illustrates that for a given delay constant d, the conditions in Lemma 3.1 allow a smaller \(H_\infty \) performance \(\gamma \). This means that the results here can allow greater energy external perturbation than the results obtained in [26].
Example 4.2
Consider singular Markovian jumping system (1) with two modes and the system parameters are described as follows:
\( F_{11}(t)=F_{12}(t)=F_{21}(t)=F_{22}(t)=F_{31}(t)=F_{32}(t)=sin(t).\) The transition probability matrix is given by
When \(d=0.5\) and \(\gamma =1.0\), using Theorems 3.1 and 3.2, we can find feasible solutions for a set of LMIs (30)–(32) and LMIs (30)–(33) respectively by using MATLAB LMI Control Toolbox. Then we can get the robust resilient \(H_\infty \) controllers. The controllers with the additive uncertainties
which has the following gains:
The controllers with the multiplicative uncertainties
which has the following gains:
These controllers can guarantee that the closed-loop systems are stochastically stable with \(H_\infty \) performance \(\gamma \), for all admissible uncertainties. It is worth noting both the additive controller gain variance and the multiplicative controller gain variance appear the function sin(t), which means that the controllers needn’t be precise and exactly implemented. That is the controller gain changes in a certain range, the corresponding closed systems can all be regular, impulse free and stochastically stable. In addition the corresponding given \(H_\infty \) performance can be satisfied. So the controller algorithms presented here are more conducive to the realization.
5 Conclusions
The problem of delay-dependent robust resilient \(H_\infty \) control for singular Markovian jump time-delay systems has been discussed. In terms of the Lyapunov technique and linear matrix inequalities, a new delay-dependent BRL is established such that the system is stochastically admissible with a given \(H_\infty \) performance \(\gamma \). Then, delay-dependent design algorithms for the desired state feedback robust resilient controllers are proposed in terms of a set of strict linear matrix inequalities (LMIs) to guarantee that the closed-loop systems are not only regular, impulse free and stochastically stable, but also satisfy a prescribed \(H_\infty \) performance level. Finally, numerical examples illustrate that the results proposed in this paper is valid.
References
Campbell, S.L.: Singular System of Differential Equations II. Pitman, San Francisco, CA (1982)
Hill, D.J., Mareels, I.M.Y.: Stability theroy for differential-algebraic systems with application to power sytems. IEEE Trans. Circuits Syst. 37(11), 1416–1423 (1990)
Luenberger, D.G., Arbel, A.: Singular dynamic Leontief systems. Econometrics 45(32), 991–995 (1977)
Aplevich, J.D.: Implicit Linear Systems. Springer, Berlin (1991)
Dai, L.: Singular Control Systems. Lecture Notes in Control and Information Science, vol. 118. Springer, New York (1989)
Boukas, E.K., Zhang, Q., Yin, G.: Robust production and maintenance planning in stochastic manufacturing systems. IEEE Trans. Autom. Control 40, 1098–1102 (1998)
Huang, M., Dey, S.: Stability of Kalman filtering with Markovian packet losses. Automatica 43, 598–607 (2007)
Mirman, L.J., Morand, O.F., Reffett, K.L.: A Qualitative approach to Markovian equilibrium in infinite horizon economies with capital. J. Econ. Theory 139, 75–98 (2008)
Tsaur, R.C.: A fuzzy time series Markov Chain model with an application to forecast the exchange rate between the Taiwan and US Dollar. Int. J. Innov. Comput. Inf. Control 8, 4931–4942 (2012)
Ji, Y., Chizeck, H.J.: Controllability, stabilizability, and continuous-time Markovian jump linear quadratic control. IEEE Trans. Autom. Control 35, 777–788 (1990)
Costa, O.L.V., Guerra, S.: Robust linear filtering for discrete-time hybrid Markov linear systems. Int. J. Control 75, 712–727 (2002)
Baj, B., Hamilton, J.D.: Advances in Markov-Switching Models. Springer, New York (2005)
Zhang, Y., He, Y., Wu, M., Zhang, J.: Stabilization of Markovian jump systems with partial information on transition probability based on free-connection weighting matrices. Automatica 47, 79–84 (2011)
Wang, Y., Sun, Y., Zuo, Z., Chen, M.: Robust \(H_\infty \) control of discrete-time Markovian jump systems in the presence of incomplete knowledge of transition probabilities and saturating actuator. Int. J. Robust. Nonlinear Control 22, 1753–1764 (2012)
Wang, Y., Wang, C., Zuo, Z.: Controller synthesis for Markovian jump systems with incomplete knowledge of transition probabilities and actuator saturation. J. Frankl. Inst. 348, 2417–2429 (2011)
Sun, M., Xu, S., Zou, Y.: Robust \(H_\infty \) control for uncertain stochastic systems with Markovian switching and time-varying delays. Asian J. Control 8(1), 82–85 (2006)
Wang, G., Zhang, Q., Sreeram, V.: Delay-range-dependent \(H_\infty \) control for Markovian jump systems with mode-dependent time delays. Asian J. Control 12(6), 704–713 (2010)
Han, Q.L.: A discrete delay decomposition approach to stability of linear retarded and neutral systems. Automatica 45(2), 517–524 (2009)
Chen, W., Guan, Z., Lu, X.: Delay-dependent output feedback stabilization of Markovian jump system with time-delay. IEEE Proc. Control Theory Appl. 151(5), 561–566 (2004)
Hu, L., Shi, P., Cao, Y.: Delay-dependent filtering design for time-delay systems with Markovian jumping parameters. Int. J. Adapt. Control Signal Process. 21(5), 434–448 (2007)
Park, P., Ko, J.W.: Stability and robust stability for systems with a time-varying delay. Automatica 43(10), 1855–1858 (2007)
Gao, H., Liu, F.: Delay-dependent memory state-feedback \(H_\infty \) control for singular Markovian jump time-delay systems. In: Proceedings of the 31st Chinese Control Conference, Hefei, China, pp. 76–81 (2012)
Lam, J., Shu, Z., Xu, S., Boukas, E.K.: Robust \(H_\infty \) control of descriptor discrete-time Markovian jump systems. Int. J. Control 80(3), 374–385 (2007)
Wu, Z., Su, H., Chu, J.: Delay-dependent stabilization of singular Markovian jump systems with state delay. J. Control Appl. 7(3), 231–236 (2009)
Boukas, E.K., Xu, S., Lam, J.: On stability and stabilizability of singular stochastic systems with delays. J. Optim. Theory Appl. 127(2), 249–262 (2005)
Wu, Z.G., Su, H.Y., Chu, J.: Delay-depent \(H_\infty \) control for singular Markovian jump systems with time delay. Optim. Control Appl. Method 30, 443–461 (2009)
Lu, H., Zhou, W., Duan, C., Qi, X.: Delay-dependent robust \(H_\infty \) control for uncertain singular time-delay system with Markovian jumping parameters. Optim. Control Appl. Method 34, 296–307 (2013)
Xu, S., Lam, J.: Robust Control and Filtering of Singular Systems. Springer, Berlin (2006)
Zhu, S., Cheng, Z.: Delay-dependent robust resilient guaranteed cost control for uncertain singular time-delay systems. In: 2005 American Control Conference, Portland, pp. 2833–2838 (2005)
Keel, L.H., Bhattacharyya, S.P.: Robust, fragile, or optimal? IEEE Trans. Autom. Control 48, 1098–1105 (1997)
Lu, H., Zhou, W., Duan, C., Qi, X.: Delay-dependent robust \(H_\infty \) control for uncertain singular time-delay system with Markovian jumping parameters. Optim. Control Appl. Meth. 34, 296–307 (2013)
Ma, S., Zhang, C.: Robust stability and \(H_\infty \) control for uncertain discrete Markovian jump singular systems with mode-dependent time-delay. Int. J. Robust Nonlinear Control 19, 965–985 (2009)
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by the National Natural Science Foundation of China (61703167), the Fundamental Research Funds for the Central Universities (2017MS058) and the Guangdong Province Science and Technology Department Project (Grant No. 2016A010102010)
Rights and permissions
About this article
Cite this article
Gao, H., Liu, F. Delay-dependent robust resilient \(H_\infty \) control for uncertain singular time-delay system with Markovian jumping parameters. Cluster Comput 22 (Suppl 3), 6283–6294 (2019). https://doi.org/10.1007/s10586-018-1985-6
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10586-018-1985-6