Skip to main content

Theory and Modern Applications

Stabilization for uncertain stochastic T–S fuzzy system driven by Lévy noise

Abstract

Different from the other work, the almost sure asymptotic stability of an uncertain stochastic T–S fuzzy system driven by Lévy noise has been investigated. However, the Lévy noise caused the càdlàg paths in the system, and the uncertainty was the linear fractional form, which made difference to the general norm-bounded type. Using the special stochastic techniques and new matrix decomposition method, we deal with the càdlàg paths and uncertainty of the system. As the main results, the sufficient conditions of almost sure asymptotic stability for stochastic T–S fuzzy system driven by Lévy noise have been presented. On this basis, the closed-loop system is robustly almost surely asymptotically stable with fuzzy state-feedback controller. Furthermore, our stabilization criteria are based on linear matrix inequalities (LMIs), whence the feedback controller could be designed more easily in practice.

1 Introduction

With the improvement of linear system theory, the research of nonlinear system has become a difficult problem. Since the Takagi–Sugeno (T–S) fuzzy system was first introduced [24], it provided a general framework to represent a nonlinear plant by using a set of local linear models, and the models were smoothly connected through nonlinear fuzzy membership functions, which have received considerable attention, the basis for developing of systematic approaches has been used to stability analysis and controller design of fuzzy control (Chang et al. [5]; Chen et al. [6]; Ding [7]; Gassara et al. [9]; Senthilkumar&Balasubramaniam [20]; Sheng et al. [21]; Song et al. [22]; Tseng [26]; Uang [27]; Xu et al. [28]). The T–S fuzzy model is able to approximate any smooth nonlinear function to any degree of accuracy in any convex compact region (Tanaka and Wang [25]), it was regarded as a powerful solution to bridge the gap between the fruitful linear control and the fuzzy logic control targeting complex nonlinear systems (Feng [8]), and expanded to uncertain stochastic systems with fuzzy formation (Huo et al. [11]). Based on the results of the above literature, we have extended the T–S fuzzy system theory to a more complex stochastic system.

On the other hand, with the development of science and technology, practical problems require more and more accurate description. A wide range of uncertainties were added to the stochastic controlled system, which produced uncertain controlled system, uncertain fuzzy controlled system, and uncertain stochastic fuzzy controlled system. The uncertainty of the system was general norm-bounded type, but Ghaoui and Scorletti [10] and Zhou et al. [31] presented the linear fractional form, which has a broader meaning. In order to make the uncertainty approach to the application, much difficulty and challenge appeared in this problem, and the existing techniques cannot deal with the above-mentioned problems directly. However, on the basis of Zhou et al. [31], we have expanded the new matrix decomposition method to deal with linear fractional type directly.

As for the research of the system’s noise source, there were a number of studies on the topic using different types of driving noise and the following paper list is far from exhaustive: Arnold and Crauel [3], Bellman et al. [4], Liu et al. [12], Mao [13, 14, 16, 18], Stojanovic et al. [23], and Zhai et al. [29]. In these sources of driving noise, the multi-dimensional Brownian motion has been recognized as the general theory. Furthermore, the Lévy process as the more general source of driving noise has been employed to stabilize the unstable dynamical system, so it is the more general theory and builds extensively on Mao’s results in the Brownian motion case. For the theoretical development and applications of the Lévy processes, there has recently been extensive activity (Applebaum [1] and Applebaum&Siakalli [2]), but there were less studies that seemed to be timely as the source of noise in the controlled systems, because the Lévy process was more complex. Compared with the Brownian motion, the different point is that the path of the systems driven by Lévy process was technically much more challenging, which was a càd-làg path. In this paper, we present the new method, which generalizes the application scope of the classical nonnegative semi-martingale convergence theorem, and search for special techniques to deal with this difficulty by the semi-martingale and stopping time theory.

Based on the above discussion, this paper considers the problems of almost sure asymptotic stability analysis and controller synthesis for a class of uncertain stochastic T–S fuzzy systems driven by a multi-dimensional Lévy process. Following the same idea as in dealing with the stabilization problem, linear state feedback controllers are designed so that the closed-loop systems are almost surely asymptotically stable. Furthermore, in order to design easily in practice, the explicit expressions for the desired state feedback controllers are given with LMIs. At last, the main contributions of this paper are mainly two aspects: (1) The source of driving noise for almost sure asymptotic stability is the Lévy process, and the stable form is almost surely asymptotically stable; (2) The uncertainty description is linear fractional in nature, and the explicit expressions for the desired state feedback controllers are clear with LMIs.

The rest of the paper is organized as follows. In Sect. 2, we present some basic preliminaries, the uncertain stochastic T–S fuzzy system driven by Lévy noise, and necessary lemmas. In Sect. 3, the sufficient conditions for almost sure asymptotic stability of stochastic systems driven by Lévy noise are given. In Sect. 4, the stability analysis of uncertain stochastic system is presented. In Sect. 5, the desired state feedback controllers are designed for the uncertain stochastic fuzzy close-loop systems with LMIs. In Sect. 6, the related discussion on the main results is presented.

2 Preliminaries

Let \(\{\Omega ,{\mathcal{F}},\{{\mathcal{F}_{t}}\}_{t\geq 0},{\mathbb{P}}\}\) be a complete probability space with a filtration satisfying the usual conditions, i.e., where Ω is the sample space and \(\mathbb{P}\) is the probability measure, the filtration is continuous on the right and \({\mathcal{F}}_{0}\) contains all \(\mathbb{P}\)-null sets. Let \(D([-\tau ,0];R^{n})\) denote the family of functions φ from \([-\tau ,0]\) to \(R^{n}\) that are right-continuous and have limits on the left, where \(\tau \in R\) is the constant and \(R^{n}\) is the n-dimensional vector space. \(D([-\tau ,0];R^{n})\) is equipped with the norm \(\Vert \varphi \Vert = \sup_{-\tau \leq s\leq 0} \vert \varphi (s) \vert \) and \(\vert x \vert =\sqrt{x^{T}x}\) for any \(x\in R^{n}\). If A is a vector or matrix, its trace norm is denoted by \(\vert A \vert =\sqrt{\operatorname{trace}(A^{T}A)}\), while its operator norm is denoted by \(\Vert A \Vert =\sup \{ \vert Ax \vert : \vert x \vert =1\}\). Denote by \(D^{b}_{{\mathcal{F}}_{0}}([-\tau ,0];R^{n})\) the family of all bounded, \({\mathcal{F}}_{0}\) measurable, \(D([-\tau ,0];R^{n})\)-valued random variables. We denote by \(L^{1}(R_{+};R_{+})\) the family of all functions \(\lambda (t)\) such that \(\int ^{\infty }_{0}\lambda (t)\,dt<\infty \), where \(R_{+}\) is the set of positive real numbers, and \(\mathcal{K}(R_{+};R_{+})\) is the family of all functions \(\gamma (x)\), if it is continuous, strictly increasing, and \(\gamma (0)=0\). It is said to belong to the family \(\mathcal{K}_{\infty }\) if \(\gamma \in \mathcal{K}\) and \(\gamma (x)\rightarrow \infty \) as \(x\rightarrow \infty \). The real symmetric matrix \(P>0\) (\(P\geq 0\)) denotes P being a positive definite (or positive semidefinite) matrix, and \(A>(\geq )B\) means \(A-B>(\geq )0\). Let I denote an identity matrix with proper dimension. The trace of A is denoted by trA, the notation \(A^{T}\) represents the transpose of the matrix A and the notation represents an ellipsis for a block matrix that is induced by symmetry. The Kronecker product of two matrices is denoted by .

Let us consider the following uncertain stochastic T–S fuzzy system driven by Lévy process described by the following IF-THEN rules:

Plant rule k: if \(\theta _{1}(t)\) is \(\eta _{k1}\), and, …, \(\theta _{r}(t)\) is \(\eta _{kr}\), then

$$ \begin{aligned} dx(t)={}& \bigl[(A_{k}+\Delta A_{k})x(t-)+(B_{k}+\Delta B_{k})u \bigl(x(t-) \bigr) \bigr]\,dt \\ & {} +\sum_{i=1}^{m} \bigl[(C_{ki}+ \Delta C_{ki})x(t-)+(F_{ki}+\Delta F_{ki})u \bigl(x(t-) \bigr) \bigr]\,dY_{i}(t), \quad k=1,2,\ldots ,L, \end{aligned} $$
(2.1)

where \(\theta _{1}(t),\ldots,\theta _{r}(t)\) are the premise variables, \(\eta _{k1} ,\ldots, \eta _{kr}\) are the fuzzy sets and L is the number of rules. \(A_{k} (\Delta A_{k})\), \(B_{k} (\Delta B_{k})\), \(C_{ki} (\Delta C_{ki})\), and \(F_{ki} (\Delta F_{ki})\) are \(n\times n\) real matrices, \(x(t-)\in R^{n}\) is the lift limit of state, and \(Y(t)=(Y_{i}(t),t\geq 0, i=1,2,\ldots,m)\) is a Lévy process taking values in \(R^{m}\), \(u(x(t))\) is the feedback control. The parametric uncertainties are assumed to take the following linear fractional form:

$$\begin{aligned}& [\Delta A_{k}, \Delta B_{k}, \Delta C_{ki}, \Delta F_{ki}]=G_{k} \Lambda \bigl[H^{k}_{1}, H^{k}_{2}, H^{k}_{3i}, H^{k}_{4i} \bigr], \end{aligned}$$
(2.2)
$$\begin{aligned}& \Lambda = \bigl[I-Q(t)J \bigr]^{-1}Q(t), \\& I-JJ^{T}>0, \end{aligned}$$
(2.3)

where \(G_{k}\), \(H^{k}_{1}\), \(H^{k}_{2}\), \(H^{k}_{3i}\), \(H^{k}_{4i}\), and J are known real constant matrices of appropriate dimensions, and \(Q(t)\) is an uncertain time-varying matrix satisfying \(I-Q(t)Q^{T}(t)\geq 0\).

The uncertain stochastic T–S fuzzy systems driven by Lévy noise can be represented by

$$ \begin{aligned} dx(t)={}&\sum _{k=1}^{L}h_{k} \bigl(\theta (t) \bigr) \Biggl\{ \bigl[(A_{k}+ \Delta A_{k})x(t-)+(B_{k}+ \Delta B_{k})u \bigl(x(t-) \bigr) \bigr]\,dt \\ & {} +\sum_{i=1}^{m} \bigl[(C_{ki}+ \Delta C_{ki})x(t-)+(F_{ki}+\Delta F_{ki})u \bigl(x(t-) \bigr) \bigr]\,dY_{i}(t) \Biggr\} , \end{aligned} $$
(2.4)

where

$$ h_{k} \bigl(\theta (t) \bigr)= \frac{\prod_{l=1}^{r}\mu _{kl}(\theta _{l}(t))}{\sum_{q=1}^{L}\prod_{l=1}^{r}\mu _{ql}(\theta _{l}(t))}, \quad k=1,2,\ldots,L, $$

\(\mu _{kl}(\theta _{l}(t))\) is the grade of membership of \(\theta _{l}(t)\) in \(\eta _{kl}\), and \(h_{k}(\theta (t))\) satisfies \(\sum_{k=1}^{L}h_{k}(\theta (t))=1\), \(h_{k}(\theta (t))\geq 0\), which have been short for \(h_{k}\) in this paper.

In order to give the Lévy–Itô decomposition of \((Y_{i}(t),t\geq 0)\), we present the following assumption, which holds in the rest of this paper.

Assumption A1

$$ \int _{R^{m}\setminus \{0\}} \bigl( \vert y \vert ^{2}\wedge 1 \bigr)\pi (dy)< \infty . $$

So the Lévy process \((Y(t),t\geq 0)\) has the following decomposition:

$$ Y_{i}(t)=b_{i}t+\sigma B_{i}(t)+ \int _{ \vert y \vert < 1}y_{i}\widetilde{N}(t,dy)+ \int _{ \vert y \vert \geq 1}y_{i}N(t,dy), $$
(2.5)

where \(b_{i},\sigma \in R\), \(B(t)\) is an m-dimensional Brownian motion, N is an independent \(\mathcal{F}_{t}\)-adapted Poisson random measure defined on \(R_{+}\times R^{m}\setminus \{0\}\) with compensator Ñ of the form \(\widetilde{N}(dt,dy)=N(dt,dy) -\pi (dy)\,dt\), where π is a Lévy measure. Note that if for some \(p\geq 1\), \(E \vert Y(\cdot ) \vert ^{p}<\infty \), then \(\int _{ \vert y \vert \geq 1} \vert y \vert ^{p}\pi (dy)<\infty \) and hence the Lévy process \((Y(t),t\geq 0)\) admits the following decomposition:

$$ Y_{i}(t)=\tilde{b}_{i}t+\sigma B_{i}(t)+ \int _{R^{m}\setminus \{0\}}y_{i} \widetilde{N}(t,dy), $$

where \(\tilde{b}_{i}=b_{i}+\int _{ \vert y \vert \geq 1}y_{i}\pi (dy)\). Therefore, (2.4) can be rewritten as

$$ \begin{aligned} dx(t)={}&\sum _{k=1}^{L}h_{k} \Biggl\{ \Biggl[ \Biggl(A_{k}+\sum_{i=1}^{m} \tilde{b}_{i}C_{ki}+\Delta A_{k}+\sum _{i=1}^{m}\tilde{b}_{i}\Delta C_{ki} \Biggr)x(t-) \\ & {} + \Biggl(B_{k}+\sum_{i=1}^{m} \tilde{b}_{i}F_{ki}+\Delta B_{k}+\sum _{i=1}^{m} \tilde{b}_{i}\Delta F_{ki} \Biggr)u \bigl(x(t-) \bigr) \Biggr]\,dt \\ & {} +\sum_{i=1}^{m} \bigl[(\sigma C_{ki}+\sigma \Delta C_{ki})x(t-)+( \sigma F_{ki}+ \sigma \Delta F_{ki})u \bigl(x(t-) \bigr) \bigr]\,dB_{i}(t) \\ & {} +\sum_{i=1}^{m} \int _{R^{m}\setminus \{0\}} \bigl[(C_{ki}+ \Delta C_{ki})x(t-)+(F_{ki}+ \Delta F_{ki})u \bigl(x(t-) \bigr) \bigr]y_{i} \widetilde{N}(dt,dy) \Biggr\} . \end{aligned} $$
(2.6)

Obviously, the drift and diffusion terms satisfy the usual linear growth and local Lipschitz condition, which guarantees the uniqueness and existence of the local solution for system (2.6). It is readily to see that system (2.6) has a trivial solution \(x(t)\equiv 0\) for all \(t\geq 0\) with the initial condition \(x_{0}=0\). And we point that the perturbation of noise preserves the equilibrium of system (2.6).

At the end of this section, let us present the definition of the almost sure asymptotic stability for system (2.6).

Definition 2.1

System (2.6) is said to be almost surely asymptotically stable if, for any \(x_{0}\in R^{n}\), \(\lim_{t\rightarrow \infty }x(t,x_{0})=0\), a.s.

Before the main results have been established, some lemmas should be given for the following theorems.

Lemma 2.1

([30])

If any matrix \(P>0\), the inequality

$$ M^{T}PN+N^{T}PM\leq M^{T}PM+N^{T}PN $$

holds.

Lemma 2.2

([31])

Suppose that Λ is given by (2.2) and (2.3). With matrices \(M^{T}=M\), S, and N of appropriate dimensions, the inequality

$$ M+S\Lambda N+N^{T}\Lambda ^{T}S^{T}\leq 0 $$

holds for all \(Q(t)\) such that \(Q(t)Q^{T}(t)\leq I\), if and only if, for some \(\delta >0\),

$$ \begin{bmatrix} \delta M & S & \delta N^{T} \\ S^{T} & -I & J^{T} \\ \delta N & J & -I \end{bmatrix}< 0. $$

3 Almost sure asymptotic stability of uncertain system driven by Lévy noise

In this section, its main duty is to consider almost sure asymptotic stability of system (2.6). The form of system (2.6) is very complex, which is simplified with corresponding symbols for convenience as follows:

$$ dx(t)=f \bigl(x(t-) \bigr)\,dt+g \bigl(x(t-) \bigr)\,dB(t)+ \int _{R^{m}\setminus \{0\}}h \bigl(x(t-),y \bigr) \widetilde{N}(dt,dy), $$
(3.1)

where \(f(x(t-))\), \(g(x(t-))\), and \(h(x(t-),y)\) represent the corresponding parts of system (2.6). For the above simple form, we give the differential operator L in the following assumption.

Assumption A2

Assume that \(V\in C^{1,2}(R_{+}\times R^{n};R_{+})\), \(\lambda \in L^{1}(R_{+};R_{+})\), and \(\mu : R^{n}\rightarrow R_{+}\) are continuous and nonnegative. For any \((t,x)\in R_{+}\times R^{n}\),

$$ LV(t,x)\leq \lambda (t)-\mu (x),\quad \mu (0)=0, $$

where L is the differential operator associated with equation (3.1). And L acts on a V function in the following form:

$$ \begin{aligned} LV(t,x)={}&V_{t}(t,x)+V_{x}(t,x)f(x)+ \frac{1}{2}\operatorname{tr} \bigl[g^{T}(x)V_{xx}(t,x)g(x) \bigr] \\ &{}+ \int _{R^{m}\setminus \{0\}} \bigl[V \bigl(t,x+h(x,y) \bigr)-V(t,x)-V_{x}(t,x)h(x,y) \bigr] \pi (dy), \end{aligned} $$

where

$$ \begin{gathered} V_{t}(t,x)=\frac{\partial V(t,x)}{\partial t},\quad\quad V_{x}(t,x)= \biggl(\frac{\partial V(t,x)}{\partial x_{1}},\ldots, \frac{\partial V(t,x)}{\partial x_{n}} \biggr) \\ V_{xx}(t,x)= \biggl( \frac{\partial ^{2} V(t,x)}{\partial x_{i}\partial x_{j}} \biggr)_{n \times n}. \end{gathered} $$

In the rest of this section, the almost surely stable result reads as follows.

Theorem 3.1

Let Assumption A2hold. Further, suppose that there is a function \(V\in C^{1,2}(R_{+}\times R^{n};R_{+})\) such that, for all \(x\in R^{n}\), \(t\geq 0\),

$$ \alpha _{1} \bigl(t, \vert x \vert \bigr)\leq V(t,x) \leq \alpha _{2} \bigl(t, \vert x \vert \bigr), $$
(3.2)

where \(\alpha _{1}(t,x)\), \(\alpha _{2}(t,x)\) belong to \(\mathcal{K}_{\infty }\) with respect to x. Then, for any initial data \(x_{0}\), the trivial solution \(x(t;x_{0})\) of system (3.1) is almost surely asymptotically stable, i.e.,

$$ \lim_{t\rightarrow \infty }x(t;x_{0})=0,\quad \textit{a.s.} $$

Proof

For notation simplicity, we write \(x(t)\) instead of \(x(t,x_{0})\). It is clear that this theorem holds because of the solution \(x(t)\equiv 0\) a.s. for \(x_{0}=0\). So, for \(x_{0}\neq 0\), we have the following proof. Due to the complexity of the proof, we divide the proof into three steps as follows.

Step 1: In this step, we show that system (3.1) is stable in probability and the sample space is divided. Applying the Itô formula to \(V(t,x)\) and by Assumption A2, for any \(t>0\), we have

$$ \begin{aligned} V \bigl(t,x(t) \bigr)={}&V(0,x_{0})+ \int _{0}^{t}LV \bigl(s,x(s-) \bigr)\,ds + \int _{0}^{t}V_{x} \bigl(s,x(s-) \bigr)g \bigl(x(s-) \bigr)\,dB_{j}(s) \\ &{}+ \int _{0}^{t} \int _{R^{m}\setminus \{0\}} \bigl[V \bigl(s,x(s-)+h \bigl(x(s-),y \bigr) \bigr)-V \bigl(s,x(s-) \bigr) \bigr] \widetilde{N}(ds,dy) \\ \leq{}& V(0,x_{0})+ \int _{0}^{t}\lambda (s)\,ds- \int _{0}^{t}\mu \bigl(x(s-) \bigr)\,ds+ \int _{0}^{t}V_{x} \bigl(s,x(s-) \bigr)g \bigl(x(s-) \bigr)\,dB_{j}(s) \\ & {} + \int _{0}^{t} \int _{R^{m}\setminus \{0\}} \bigl[V \bigl(s,x(s-)+h \bigl(x(s-),y \bigr) \bigr)-V \bigl(s,x(s-) \bigr) \bigr] \widetilde{N}(ds,dy) \\ \leq{}& V(0,x_{0})+ \int _{0}^{t}\lambda (s)\,ds+ \int _{0}^{t}V_{x} \bigl(s,x(s-) \bigr)g \bigl(x(s-) \bigr)\,dB_{j}(s) \\ & {} + \int _{0}^{t} \int _{R^{m}\setminus \{0\}} \bigl[V \bigl(s,x(s-)+h \bigl(x(s-),y \bigr) \bigr)-V \bigl(s,x(s-) \bigr) \bigr] \widetilde{N}(ds,dy) \\ \doteq{}& V_{t}(x_{0})+M(t), \end{aligned} $$

where

$$ V_{t}(x_{0})=V(0,x_{0})+ \int _{0}^{t}\lambda (s)\,ds $$

and

$$ \begin{aligned} M(t)={}& \int _{0}^{t}V_{x} \bigl(s,x(s-) \bigr)g \bigl(x(s-) \bigr)\,dB_{j}(s) \\ &{}+ \int _{0}^{t} \int _{R^{m} \setminus \{0\}} \bigl[V \bigl(s,x(s-)+h \bigl(x(s-),y \bigr) \bigr)-V \bigl(s,x(s-) \bigr) \bigr]\widetilde{N}(ds,dy). \end{aligned} $$

Due to \(x_{0}\in D^{b}_{{\mathcal{F}}_{0}}([-\tau ,0];R^{n})\) and \(\int ^{\infty }_{0}\lambda (t)\,dt<\infty \), \(V_{t}(x_{0})\) is bounded. \(M(t)\) is a supermartingale with respect to the filtration \(\{\mathcal{F}_{t}\}_{t\geq 0}\) generated by \(B(\cdot )\) and \(\widetilde{N}(\cdot ,\cdot )\). By the supermartingale inequality (Rogers&Williams [19], p. 154, (54.5)), for any function \(\delta (\cdot )\in \mathcal{K}_{\infty }\), one has

$$ \mathbb{P} \Bigl\{ \sup_{0\leq s\leq t}V \bigl(s,x(s) \bigr)< \delta \bigl(V_{t}(x_{0}) \bigr) \Bigr\} \geq 1- \frac{21V_{t}(x_{0})}{\delta (V_{t}(x_{0}))}, \quad t\geq 0. $$
(3.3)

It follows from \(\sup_{0\leq s\leq t}V(s,x(s))<\delta (V_{t}(x_{0}))\) that \(\sup_{0\leq s\leq t} \vert x \vert <\upsilon _{t}(V_{t}(x_{0}))\), where \(\upsilon _{t}=\alpha ^{-1}_{1}\circ \delta \), and \(\alpha ^{-1}_{1}\) is the inverse function of \(\alpha _{1}\) with respect to x. For any given \(\epsilon >0\), choosing an appropriate function \(\delta (\cdot )\) and by (3.3), we obtain \(\frac{21V_{t}(x_{0})}{\delta (V_{t}(x_{0}))}\leq \epsilon \). Then, for \(t>0\),

$$ \mathbb{P} \Bigl\{ \sup_{0\leq s\leq t} \bigl\vert x(s) \bigr\vert < \upsilon _{t} \bigl(V_{t}(x_{0}) \bigr) \Bigr\} \geq 1-\epsilon , \quad t\geq 0, $$

which yields

$$ \mathbb{P} \bigl\{ \bigl\vert x(s) \bigr\vert < \upsilon _{t} \bigl(V_{t}(x_{0}) \bigr) \bigr\} \geq 1-\epsilon , \quad t \geq 0. $$

Let us decompose the sample space

$$\begin{aligned}& \Omega _{1}= \Bigl\{ \omega :\limsup_{t\rightarrow \infty }\mu \bigl(x(t, \omega ) \bigr)=0 \Bigr\} , \\& \Omega _{2}= \Bigl\{ \omega :\liminf_{t\rightarrow \infty }\mu \bigl(x(t, \omega ) \bigr)>0 \Bigr\} , \\& \Omega _{3}= \Bigl\{ \omega :\liminf_{t\rightarrow \infty }\mu \bigl(x(t, \omega ) \bigr)=0\text{ and }\limsup_{t\rightarrow \infty }\mu \bigl(x(t, \omega ) \bigr)>0 \Bigr\} . \end{aligned}$$

In order to obtain the results, we will show that \(\mathbb{P}(\Omega _{2})=\mathbb{P}(\Omega _{3})=0\), which implies that \(\mathbb{P}(\Omega _{1})=1\).

Step 2: In this step, we prove \(\mathbb{P}(\Omega _{2})=0\). By the Itô formula and Assumption A2, we have

$$ \begin{aligned} EV \bigl(t,x(t) \bigr)={}&V(0,x_{0})+E \biggl\{ \int _{0}^{t}LV \bigl(s,x(s-) \bigr)\,ds \biggr\} \\ \leq{}& V_{t}(x_{0})-E \biggl\{ \int _{0}^{t}\mu \bigl(x(s) \bigr)\,ds \biggr\} , \end{aligned} $$
(3.4)

where \(E(\cdot )\) is the mathematical expectation. This yields \(E\{\int _{0}^{t}\mu (x(s))\,ds\}\leq V_{t}(x_{0})\), since \(V(t,x)\geq 0\). Letting \(t\rightarrow \infty \) and using Fatou’s lemma give \(E\{\int _{0}^{\infty }\mu (x(s))\,ds\}\leq C_{V_{t}}\), where \(C_{V_{t}}\) is the upper bound of \(V_{t}(x_{0})\). Due to the nonnegative function μ, one has \(\int _{0}^{\infty }\mu (x(s))\,ds\leq C_{V_{t}}\), which implies that \(\mathbb{P}(\Omega _{2})=0\).

Step 3: In this step, we prove \(\mathbb{P}(\Omega _{3})=0\) by contradiction. That is, there exist \(\epsilon _{0}>0\) and \(\epsilon _{1}>0\) such that

$$ \begin{aligned}& \mathbb{P} \bigl\{ \mu \bigl(x(\cdot ) \bigr)\text{ cross from below }\epsilon _{1} \text{ to above }2\epsilon _{1} \\ &\quad \text{ and back infinitely many times} \bigr\} \geq \epsilon _{0}. \end{aligned} $$
(3.5)

For \(r>0\), let \(\rho _{r}=\inf \{t>0: \vert x(t;x_{0}) \vert \geq r, x_{0}\neq 0\}\), and recall the local boundedness of \(f(x)\), \(g(x)\), and \(\int _{R^{m}\setminus \{0\}}h(x,y)\pi (dy)\). Then there exist constants \(C_{f}, C_{g}, C_{h}\in R_{+}\) such that \(\sup_{ \vert x \vert < r} \vert f(x) \vert \leq C_{f}\), \(\sup_{ \vert x \vert < r} \vert g(x) \vert \leq C_{g}\), and \(\sup_{ \vert x \vert < r}\int _{R^{m}\setminus \{0\}} \vert h(x,y) \vert ^{2}\pi (dy)< C_{h}^{2}\). By directly calculating, we get that

$$ \begin{aligned} &E \Bigl\{ \sup_{0\leq s\leq t} \bigl\vert x(t\wedge \rho _{r})-x_{0} \bigr\vert ^{2} \Bigr\} \\ &\quad =E \biggl\{ \sup_{0\leq s\leq t} \biggl\vert \int _{0}^{s\wedge \rho _{r}}f \bigl(x(q-) \bigr)\,dq+ \int _{0}^{s\wedge \rho _{r}}g \bigl(x(q-) \bigr) \,dB_{j}(q) \\ &\quad\quad {}+ \int _{0}^{s\wedge \rho _{r}} \int _{R^{m}\setminus \{0\}}h \bigl(x(q-),y \bigr) \widetilde{N}(dq,dy) \biggr\vert ^{2} \biggr\} \\ &\quad \leq 3E \biggl\{ \sup_{0\leq s\leq t} \biggl\vert \int _{0}^{s\wedge \rho _{r}}f \bigl(x(q-) \bigr)\,dq \biggr\vert ^{2} \biggr\} +3E \biggl\{ \sup_{0\leq s\leq t} \biggl\vert \int _{0}^{s\wedge \rho _{r}}g \bigl(x(q-) \bigr) \,dB_{j}(q) \biggr\vert ^{2} \biggr\} \\ &\quad\quad{} +3E \biggl\{ \sup_{0\leq s\leq t} \biggl\vert \int _{0}^{s\wedge \rho _{r}} \int _{R^{m}\setminus \{0\}}h \bigl(x(q-),y \bigr)\widetilde{N}(dq,dy) \biggr\vert ^{2} \biggr\} \\ &\quad \leq 3C_{f}^{2}t^{2}+3E \biggl\{ \sup_{0\leq s\leq t} \biggl\vert \int _{0}^{s \wedge \rho _{r}}g \bigl(x(q-) \bigr) \,dB_{j}(q) \biggr\vert ^{2} \biggr\} \\ &\quad\quad{} +3E \biggl\{ \sup_{0\leq s\leq t} \biggl\vert \int _{0}^{s\wedge \rho _{r}} \int _{R^{m}\setminus \{0\}}h \bigl(x(q-),y \bigr)\widetilde{N}(dq,dy) \biggr\vert ^{2} \biggr\} . \end{aligned} $$
(3.6)

Combining Burkholder’s inequality (Applebaum [1], Chap. 4, Theorem 4.4.21) with Applebaum [1], Chap. 4, Theorem 4.4.22, Doob’s martingale inequality, we obtain

$$ \begin{aligned} &E \biggl\{ \sup_{0\leq s\leq t} \biggl\vert \int _{0}^{s\wedge \rho _{r}}g \bigl(x(q-) \bigr) \,dB_{j}(q) \biggr\vert ^{2} \biggr\} \\ &\quad \leq 4E \biggl\{ \int _{0}^{t\wedge \rho _{r}} \bigl\vert g \bigl(x(q-) \bigr) \bigr\vert ^{2}\,dq \biggr\} \\ &\quad \leq 4C_{g}^{2}t. \end{aligned} $$
(3.7)

Applying Kunita’s first inequality (Applebaum [1], Chap. 4, Theorem 4.4.23), we get

$$ \begin{aligned} &E \biggl\{ \sup_{0\leq s\leq t} \biggl\vert \int _{0}^{s\wedge \rho _{r}} \int _{R^{m}\setminus \{0\}}h \bigl(x(q-),y \bigr)\widetilde{N}(dq,dy) \biggr\vert ^{2} \biggr\} \\ &\quad \leq 4E \Biggl\{ \sum_{i=1}^{m} \int _{0}^{t\wedge \rho _{r}} \int _{R^{m} \setminus \{0\}} \bigl\vert h \bigl(x(q-),y \bigr) \bigr\vert ^{2}\pi (dy)\,dq \Biggr\} \\ &\quad \leq 4C_{h}^{2}t. \end{aligned} $$
(3.8)

Substituting (3.7) and (3.8) into (3.6), we derive

$$ E \Bigl\{ \sup_{0\leq s\leq t} \bigl\vert x(s\wedge \rho _{r})-x_{0} \bigr\vert ^{2} \Bigr\} \leq 3C_{f}^{2}t^{2}+12C_{g}^{2}t+12C_{h}^{2}t, $$

and further by Chebyshev’s inequality, for any \(\vartheta >0\),

$$ \begin{aligned} &\mathbb{P} \Bigl\{ \sup_{0\leq s\leq t} \bigl\vert x(s\wedge \rho _{r})-x_{0} \bigr\vert >\vartheta \Bigr\} \\ &\quad \leq \frac{E\{\sup_{0\leq s\leq t} \vert x(s\wedge \rho _{r})-x_{0} \vert ^{2}\}}{\vartheta ^{2}} \\ &\quad \leq \frac{3C_{f}^{2}t^{2}+12C_{g}^{2}t+12C_{h}^{2}t}{\vartheta ^{2}}. \end{aligned} $$

Since \(\mu (\cdot )\) is continuous, it must be uniformly continuous in the closed ball \(\mathcal{O}:=\{x\in R^{n}: \vert x \vert \leq \upsilon _{t}(k)\}\), where \(\upsilon _{t}=\alpha ^{-1}_{1}\circ \delta \). For given \(\varrho >0\), choose a function \(\gamma \in \mathcal{K}\) such that, for any \(x,y\in \mathcal{O}\), \(\vert x-y \vert \leq \gamma (\varrho )\), which implies \(\vert \mu (x)-\mu (y) \vert \leq \varrho \). Then, for \(\vert x_{0} \vert \leq r\) and \(\epsilon _{2}>0\),

$$ \begin{aligned} &\mathbb{P} \Bigl\{ \sup_{0\leq s\leq t} \bigl\vert \mu \bigl(x(s) \bigr)- \mu (x_{0}) \bigr\vert >\epsilon _{2} \Bigr\} \\ &\quad \leq \mathbb{P} \Bigl\{ \sup_{0\leq s\leq t} \bigl\vert x(s)-x_{0} \bigr\vert >\gamma ( \epsilon _{2})\text{ and }\sup_{0\leq s\leq t} \bigl\vert x(s) \bigr\vert < \upsilon _{t}(r) \Bigr\} + \mathbb{P} \Bigl\{ \sup_{0\leq s\leq t} \bigl\vert x(s) \bigr\vert \geq \upsilon _{t}(r) \Bigr\} \\ &\quad \leq \mathbb{P} \Bigl\{ \sup_{0\leq s\leq t} \bigl\vert x(s \wedge \rho _{v_{t}(r)})-x_{0} \bigr\vert > \gamma (\epsilon _{2}) \Bigr\} + \mathbb{P} \Bigl\{ \sup_{0\leq s\leq t} \bigl\vert x(s) \bigr\vert \geq \upsilon _{t}(r) \Bigr\} \\ &\quad \leq \frac{3C_{f}^{2}t^{2}+12C_{g}^{2}t+3C_{h}^{2}t}{\gamma (\epsilon _{2})^{2}}+ \epsilon . \end{aligned} $$

Set \(\epsilon =\frac{1}{2}\). For any \(\epsilon _{2}>0\), there exists \(t^{*}=t^{*}(k,\epsilon _{2})\) such that

$$ \mathbb{P} \Bigl\{ \sup_{0\leq s\leq t} \bigl\vert \mu \bigl(x(s) \bigr)- \mu (x_{0}) \bigr\vert \leq \epsilon _{2} \Bigr\} \geq \frac{1}{4},\quad \forall t\in (0,t^{*}]. $$

Define a sequence of stopping times

$$\begin{aligned}& \mathcal{T}_{1}:=\inf \bigl\{ t\geq 0:\mu \bigl(x(t) \bigr)< \epsilon _{1} \bigr\} , \\& \mathcal{T}_{2n}:=\inf \bigl\{ t\geq \mathcal{T}_{2n-1}:\mu \bigl(x(t) \bigr)>2\epsilon _{1} \bigr\} ,\quad n=1,2,\ldots, \\& \mathcal{T}_{2n+1}:=\inf \bigl\{ t\geq \mathcal{T}_{2n}:\mu \bigl(x(t) \bigr)< \epsilon _{1} \bigr\} ,\quad n=1,2,\ldots, \end{aligned}$$

and set \(\inf \emptyset =\infty \). By (3.4), it is easy to get

$$\begin{aligned} \infty >{}&E \int _{0}^{\infty }\mu \bigl(x(s) \bigr)\,ds \\ \geq{}&\sum_{n=1}^{\infty }E \biggl[I_{\{} \mathcal{T}_{2n}< \rho _{r}\} \int _{\mathcal{T}_{2n}}^{\mathcal{T}_{2n+1}}\mu \bigl(x(s) \bigr)\,ds \biggr] \\ \geq{}&\epsilon _{1}\sum_{n=1}^{\infty }E \bigl[I_{\{}\mathcal{T}_{2n}< \rho _{r}\}( \mathcal{T}_{2n+1}-\mathcal{T}_{2n}) \bigr] \\ ={}&\epsilon _{1}\sum_{n=1}^{\infty }E \bigl[I_{\{}\mathcal{T}_{2n}< \rho _{r}\}E( \mathcal{T}_{2n+1}-\mathcal{T}_{2n}\vert \mathcal{F}_{ \mathcal{T}_{2n}}) \bigr]. \end{aligned}$$
(3.9)

By the strong Markov property and setting \(\epsilon _{1}=2\epsilon _{2}\), we obtain

$$ \begin{aligned} &E(\mathcal{T}_{2n+1}- \mathcal{T}_{2n}\vert \mathcal{F}_{ \mathcal{T}_{2n}}) \\ &\quad \geq E \biggl[(\mathcal{T}_{2n+1}-\mathcal{T}_{2n})I_{\{} \sup_{0 \leq s\leq t^{*}} \bigl\vert \mu \bigl(\tilde{x}(s) \bigr)-\mu ( \tilde{x}_{0}) \bigr\vert \leq \frac{\epsilon _{1}}{2}\}\Big\vert \mathcal{F}_{\mathcal{T}_{2n}} \biggr] \\ &\quad \geq t^{*}P \biggl\{ \sup_{0\leq s\leq t^{*}} \bigl\vert \mu \bigl(\tilde{x}(s) \bigr)- \mu (\tilde{x}_{0}) \bigr\vert \leq \frac{\epsilon _{1}}{2}\Big\vert \mathcal{F}_{ \mathcal{T}_{2n}} \biggr\} \\ &\quad \geq \frac{t^{*}}{4}, \end{aligned} $$
(3.10)

where \(\{\mathcal{T}_{2n}<\rho _{r}\}\) and \(t^{*}=t^{*}(k,\epsilon _{1}/2)\) and \(\tilde{x}=x(\cdot +\mathcal{T}_{2n})\). Substituting (3.10) into (3.9), we have

$$ \frac{t^{*}\epsilon _{1}}{4}\sum_{n=1}^{\infty }P\{ \mathcal{T}_{2n}< \rho _{r}\}< \infty . $$

This, together with the Borel–Cantelli lemma, yields

$$ \mathbb{P}\{\mathcal{T}_{2n}< \rho _{r}\text{ for infinitely many }n\}=0. $$

Since

$$ \begin{aligned} \{\mathcal{T}_{2n}< \rho _{r}\text{ for infinitely many }n\} ={}&\{\mathcal{T}_{2n}< \rho _{r} \text{ for infinitely many }n \text{ and }\rho _{r}=\infty \} \\ &{}\cup \{\mathcal{T}_{2n}< \rho _{r}\text{ for infinitely many }n \text{ and }\rho _{r}< \infty \}, \end{aligned} $$

then

$$ \mathbb{P}\{\mathcal{T}_{2n}< \infty \text{ for infinitely many }n \text{ and }\rho _{r}=\infty \}=0. $$
(3.11)

By (3.2), for any \(k>0\), one has

$$ \begin{aligned} \mathbb{P}\{\rho _{r}=\infty \}\geq{}& \mathbb{P} \Bigl\{ \sup_{t\geq 0} \bigl\vert x(t) \bigr\vert < k \Bigr\} \geq \mathbb{P} \Bigl\{ \sup_{t\geq 0} \bigl\vert V(t, \bigl(x(t) \bigr) \bigr\vert < \alpha _{1}(t,k) \Bigr\} \\ \geq{}& 1-\frac{V(0,x_{0})}{\alpha _{1}(t,k)}. \end{aligned} $$
(3.12)

Letting \(k\rightarrow \infty \), we obtain \(\mathbb{P}\{\rho _{r}=\infty \}\rightarrow 1\), which, together with (3.11), yields

$$ \mathbb{P}\{\mathcal{T}_{2n}< \infty \text{ for infinitely many }n\}=0. $$
(3.13)

This does contradict (3.5). Hence \(\mathbb{P}(\Omega _{3})=0\), which implies \(\lim_{t\rightarrow \infty }\mu (x(t))=0\) a.s. This, together with the property of the function \(\mu (0)=0\), yields \(\lim_{t\rightarrow \infty }x(t)=0\) a.s. The proof is completed. □

Before concluding this section, we present an example to illustrate Theorem 3.1.

Example 3.1

Consider a scalar stochastic differential equation with jumps in the form

$$ \begin{aligned} &dx(t)=k_{1}x(t-) \,dt+k_{2}x(t-)\,dB(t)+ \int _{0}^{\infty }k_{3}x(t-)y \widetilde{N}(dt,dy),\quad t>0, \\ &x(0)=x_{0}, \end{aligned} $$
(3.14)

where \(k_{i}\in R\), \(i=1,2,3\), are constants, \(B(t)\) is a scalar standard Brownian motion, and \(\widetilde{N}(\cdot ,\cdot )\) is a compensated Poisson random measure.

Let \(V(t,x)=x^{2}\) for any \(x\in R\), we obtain

$$ LV(t,x)\leq \biggl[2k_{1}+k_{2}^{2}+k_{3}^{2} \int ^{\infty }_{0}y^{2}\pi (dy) \biggr]x^{2}, $$

then, by Theorem 3.1, the solution of system (3.14) is almost surely asymptotically stable with choosing the appropriate constant K as the feedback control part, such that

$$ 2k_{1}+k_{2}^{2}+k_{3}^{2} \int ^{\infty }_{0}y^{2}\pi (dy)< 0. $$

4 Stability analysis of uncertain system without feedback

In this section, we present the stability conditions for the uncertain system without feedback, the unforced fuzzy system with \(\Lambda =0\) is presented as

$$ \begin{aligned} dx(t)={}&\sum _{k=1}^{L}h_{k} \Biggl[ \Biggl(A_{k}+ \sum_{i=1}^{m} \tilde{b}_{i}C_{ki} \Biggr)x(t-)\,dt+\sum _{i=1}^{m}\sigma C_{ki}x(t-) \,dB_{i}(t) \\ &{}+\sum_{i=1}^{m} \int _{R^{m}\setminus \{0\}}C_{ki}x(t-)y_{i} \widetilde{N}(dt,dy) \Biggr], \end{aligned} $$
(4.1)

and the corresponding result is also given in the following.

Theorem 4.1

If there exists a positive definite matrix \(Z=Z^{T}>0\) such that

$$ \begin{aligned} \Xi _{1}&= \begin{bmatrix} \Phi _{1} & \Phi _{2} & \Phi _{3} & \Phi _{4}& \Phi _{5}& \Phi _{6}& \Phi _{7} \\ {*} & -I_{m}\otimes Z & 0 & 0 & 0& 0& 0 \\ {*} & 0 & -I_{m}\otimes Z & 0 & 0& 0& 0 \\ {*} & 0 & 0 & -I_{m}\otimes Z & 0 & 0& 0 \\ {*} & 0 & 0 & 0 & -I_{m}\otimes Z& 0& 0 \\ {*} & 0 & 0 & 0 & 0& -I_{m}\otimes I& 0 \\ {*} & 0 & 0 & 0 & 0& 0 & -I_{m}\otimes I, \end{bmatrix} \\ &< 0, \end{aligned} $$
(4.2)

where

$$\begin{aligned}& \Phi _{1}=A_{k}Z+ZA_{k}^{T}+A_{j}Z+ZA_{j}^{T}+ \sum_{i=1}^{m} \tilde{b}_{i}C_{ki}Z+ \sum_{i=1}^{m}\tilde{b}_{i}ZC_{ki}^{T} + \sum_{i=1}^{m}\tilde{b}_{i}C_{ji}Z+ \sum_{i=1}^{m} \tilde{b}_{i}ZC_{ji}^{T}, \\& \Phi _{2}= \bigl[\sigma ZC_{k1}^{T}, \sigma ZC_{k2}^{T},\ldots, \sigma ZC_{km}^{T} \bigr], \\& \Phi _{3}= \bigl[\sigma ZC_{j1}^{T}, \sigma ZC_{j2}^{T},\ldots, \sigma ZC_{jm}^{T} \bigr], \\& \Phi _{4}= \bigl[\sqrt{c_{1}}ZC_{k1}^{T}, \sqrt{c_{1}}ZC_{k2}^{T},\ldots, \sqrt{c_{1}}ZC_{km}^{T} \bigr], \\& \Phi _{5}= \bigl[\sqrt{c_{1}}ZC_{j1}^{T}, \sqrt{c_{1}}ZC_{j2}^{T},\ldots, \sqrt{c_{1}}ZC_{jm}^{T} \bigr], \\& \Phi _{6}= \bigl[\sqrt{2c_{1}}ZC_{k1}^{T}, \sqrt{2c_{1}}ZC_{j2}^{T},\ldots, \sqrt{2c_{1}}ZC_{jm}^{T} \bigr], \\& \Phi _{7}=[\sqrt{2c_{1}}I, \sqrt{2c_{1}}I,\ldots, \sqrt{2c_{1}}I], \\& \quad k,j=1,2,\ldots,L. \end{aligned}$$

Then system (4.1) is almost surely asymptotically stable.

Proof

Let \(V(x)=x^{T}Px\). Using Lemma 2.1, we obtain that

$$\begin{aligned} \begin{aligned} & LV(t,x) \\ &\quad =2x^{T}P \Biggl[\sum _{k=1}^{L}h_{k} \Biggl(A_{k}+ \sum_{i=1}^{m} \tilde{b}_{i}C_{ki} \Biggr) \Biggr]x +\sum _{k=1}^{L} \sum_{j=1}^{L}h_{k}h_{j}x^{T} \Biggl(\sum_{i=1}^{m}\sigma C_{ki}^{T}P \sigma C_{ji} \Biggr)x \\ &\quad \quad {}+\sum_{k=1}^{L}h_{k} \Biggl\{ \sum_{i=1}^{m} \int _{R^{m} \setminus \{0\}} \bigl[(C_{ki}xy_{i})^{T}P(C_{ki}xy_{i})-x^{T}PC_{ki}xy_{i}+(C_{ki}xy_{i})^{T}Px \bigr] \pi (dy) \Biggr\} \\ &\quad \leq \sum_{k=1}^{L}\sum _{j=1}^{L}h_{k}h_{j}x^{T} \Biggl[2P \Biggl(A_{k}+ \sum_{i=1}^{m} \tilde{b}_{i}C_{ki} \Biggr) +\sum _{i=1}^{m} \sigma C_{ki}^{T}P \sigma C_{ji} \\ &\quad \quad {}+c_{1}\sum_{i=1}^{m} \bigl(C_{ki}^{T}PC_{ki}-PC_{ki}+C_{ki}^{T}P \bigr) \Biggr]x \\ &\quad \leq \frac{1}{2}\sum_{k=1}^{L} \sum_{j=1}^{L}h_{k}h_{j}x^{T} \Biggl[2 \bigl(PA_{k}+A_{k}^{T}P \bigr)+ \sum _{i=1}^{m}2\tilde{b}_{i} \bigl(PC_{ki}+C_{ki}^{T}P \bigr) \\ &\quad \quad {}+\sum_{i=1}^{m} \bigl(\sigma C_{ki}^{T}P\sigma C_{ki}+\sigma C_{ji}^{T}P \sigma C_{ji} \bigr)+2c_{1} \sum_{i=1}^{m} \bigl(C_{ki}^{T}PC_{ki}-PC_{ki}+C_{ki}^{T}P \bigr) \Biggr]x \\ &\quad \leq \frac{1}{2}\sum_{k=1}^{L} \sum_{j=1}^{L}h_{k}h_{j}x^{T} \Biggl[ \bigl(PA_{k}+A_{k}^{T}P+PA_{j}+A_{j}^{T}P \bigr) \\ &\quad \quad {}+\sum_{i=1}^{m}\tilde{b}_{i} \bigl(PC_{ki}+C_{ki}^{T}P+PC_{ji}+C_{ji}^{T}P \bigr) \\ &\quad \quad {}+\sum_{i=1}^{m} \bigl(\sigma C_{ki}^{T}P\sigma C_{ki}+\sigma C_{ji}^{T}P \sigma C_{ji} \bigr) +\sum _{i=1}^{m} \bigl(\sqrt{c_{1}}C_{ki}^{T}P \sqrt{c_{1}}C_{ki}+ \sqrt{c_{1}}C_{ji}^{T}P \sqrt{c_{1}}C_{ji} \bigr) \\ &\quad \quad {}+\sum_{i=1}^{m}2c_{1} \bigl(C_{ki}^{T}C_{ki}+P^{2} \bigr) \Biggr]x \\ &\quad \doteq \frac{1}{2}\sum_{k=1}^{L} \sum_{j=1}^{L}h_{k}h_{j}x^{T}(- \Theta _{1})x, \end{aligned} \end{aligned}$$
(4.3)

where \(c_{1}\in R_{+}\) depends on Assumption A1, and \(\Theta _{1}\) represents the corresponding matrix. We pre-multiply and post-multiply (4.2) by the matrix \(\operatorname{diag}(Z^{-1},I_{mn},I_{mn},I_{mn},I_{mn},I_{mn},I_{mn})\). Then we can have the following inequality by the Schur complements lemma:

$$ \begin{aligned} & \bigl(Z^{-1}A_{k}+A_{k}^{T}Z^{-1}+Z^{-1}A_{j}+A_{j}^{T}Z^{-1} \bigr) +\sum_{i=1}^{m}\tilde{b}_{i} \bigl(Z^{-1}C_{ki}+C_{ki}^{T}Z^{-1}+Z^{-1}C_{ji}+C_{ji}^{T}Z^{-1} \bigr) \\ &\quad{} +\sum_{i=1}^{m}\sigma C_{ki}^{T}Z^{-1} \sigma C_{ki}+\sum _{i=1}^{m}\sigma C_{ji}^{T}Z^{-1} \sigma C_{ji} +\sum_{i=1}^{m} \sqrt{c_{1}}C_{ki}^{T}Z^{-1} \sqrt{c_{1}}C_{ki} \\ &\quad{} +\sum_{i=1}^{m} \sqrt{c_{1}}C_{ji}^{T}Z^{-1} \sqrt{c_{1}}C_{ji} +\sum_{i=1}^{m}2c_{1} \bigl(C_{ki}^{T}C_{ki}+ \bigl(Z^{-1} \bigr)^{2} \bigr)< 0. \end{aligned} $$
(4.4)

Letting \(Z^{-1}=P\) and substituting (4.4) into (4.3), for any \(x\neq 0\), we have

$$ LV(t,x)\leq \frac{1}{2}\sum_{k=1}^{L} \sum_{j=1}^{L}h_{k}h_{j}x^{T}(- \Theta _{1})x< 0. $$

Set \(\mu (x)=1/2\sum_{k=1}^{L}\sum_{j=1}^{L}h_{k}h_{j}x^{T} \Theta _{1} x\) and \(\lambda (t)=0\). According to Theorem 3.1 with a form of \(V(t,x)\), system (4.1) is almost surely asymptotically stable. The proof is completed. □

On the other hand, the unforced fuzzy system with \(\Lambda \neq 0\) is expressed as

$$ \begin{aligned} dx(t)={}&\sum _{k=1}^{L}h_{k} \Biggl[ \Biggl(A_{k}+ \sum_{i=1}^{m} \tilde{b}_{i}C_{ki}+ \Delta A_{k}+\sum _{i=1}^{m} \tilde{b}_{i}\Delta C_{ki} \Biggr)x(t-)\,dt \\ &{}+\sum_{i=1}^{m}(\sigma C_{ki}+ \sigma \Delta C_{ki})x(t-)\,dB_{i}(t) \\ &{}+ \sum _{i=1}^{m} \int _{R^{m}\setminus \{0\}}(C_{ki}+\Delta C_{ki})x(t-)y_{i} \widetilde{N}(dt,dy) \Biggr], \end{aligned} $$
(4.5)

and the corresponding theorem is given for this system.

Corollary 4.1

If there exists a positive definite matrix \(Z=Z^{T}>0\) such that

$$ \begin{bmatrix} \Xi _{1} & \Xi _{2} & \Xi _{3}^{T} \\ {*} & -I & \overline{J}^{T} \\ {*} & * & -I \end{bmatrix}< 0, $$
(4.6)

where

$$ \Xi _{1}= \begin{bmatrix} \Phi _{1} & \Phi _{2} & \Phi _{3} & \Phi _{4}& \Phi _{5}& \Phi _{6}& \Phi _{7} \\ {*} & -I_{m}\otimes Z & 0 & 0 & 0& 0& 0 \\ {*} & 0 & -I_{m}\otimes Z & 0 & 0& 0& 0 \\ {*} & 0 & 0 & -I_{m}\otimes Z & 0 & 0& 0 \\ {*} & 0 & 0 & 0 & -I_{m}\otimes Z& 0& 0 \\ {*} & 0 & 0 & 0 & 0& -I_{m}\otimes I& 0 \\ {*} & 0 & 0 & 0 & 0& 0 & -I_{m}\otimes I \end{bmatrix}, $$

\(\Phi _{1}, \Phi _{2},\ldots,\Phi _{7}\) have been defined in Theorem 4.1, and

$$\begin{aligned}& \Xi _{2}= \begin{bmatrix} G_{k} & G_{j} & G_{k} & G_{j} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & I_{m}\otimes G_{k} & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & I_{m}\otimes G_{j}& 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & I_{m}\otimes G_{k} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & I_{m}\otimes G_{j} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & I_{m}\otimes G_{k} & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & I_{m}\otimes I \end{bmatrix}, \\& \Xi _{3}= \begin{bmatrix} H_{1}^{k}Z & 0_{n\times 6mn} \\ H_{1}^{j}Z & 0_{n\times 6mn} \\ \sum_{i=1}^{m}\tilde{b}_{i}H_{3i}^{k}Z & 0_{n\times 6mn} \\ \sum_{i=1}^{m}\tilde{b}_{i}H_{3i}^{j}Z & 0_{n\times 6mn} \\ \sigma H_{3}^{k}Z & 0_{mn\times 6mn} \\ \sigma H_{3}^{j}Z & 0_{mn\times 6mn} \\ c_{1} H_{3}^{k}Z & 0_{mn\times 6mn} \\ c_{1} H_{3}^{j}Z & 0_{mn\times 6mn} \\ \sqrt{2c_{1}} H_{3}^{k}Z & 0_{mn\times 6mn} \\ \sqrt{2c_{1}}I & 0_{mn\times 6mn} \end{bmatrix}, \end{aligned}$$

and \(\overline{J}=I_{6m+4}\otimes J\), \(H_{3}^{k}=[(H_{31}^{k})^{T}, (H_{32}^{k})^{T},\ldots, (H_{3m}^{k})^{T}]^{T}\), \(H_{3}^{j}=[(H_{31}^{j})^{T}, (H_{32}^{j})^{T},\ldots, (H_{3m}^{j})^{T}]^{T}\). Then system (4.5) is almost surely asymptotically stable.

Proof

In order to seek the appropriate dimension for the matrix calculations, we present the following definitions and verification. Let \(\overline{Q}(t)=I_{6m+4}\otimes Q(t)\), then

$$ \begin{aligned} \bigl[I-\overline{Q}(t)\overline{J} \bigr]^{-1} \overline{Q}(t)&= \bigl\{ I_{6m+4} \otimes \bigl[(I-Q(t)J \bigr] \bigr\} ^{-1} \bigl[I_{6m+4}\otimes Q(t) \bigr] \\ &= \bigl\{ I_{6m+4}\otimes \bigl[(I-Q(t)J \bigr]^{-1} \bigr\} \bigl[I_{6m+4}\otimes Q(t) \bigr] \\ &=I_{6m+4}\otimes \bigl\{ \bigl[(I-Q(t)J \bigr]^{-1}Q(t) \bigr\} =I_{6m+4}\otimes \Lambda = \overline{\Lambda }. \end{aligned} $$

Carrying out a similar calculation, we obtain

$$\begin{aligned}& I-\overline{J}\overline{J}^{T}=I_{6m+4}\otimes \bigl(I-JJ^{T} \bigr)>0, \\& I-\overline{Q}(t)\overline{Q}(t)=I_{6m+4}\otimes \bigl(I-Q(t)Q^{T}(t) \bigr) \geq 0. \end{aligned}$$

Combining the above definitions with (4.6), for positive definite matrix Z and any \(\delta >0\), and

$$ \overline{Z}=\delta ^{-1}Z, \quad\quad \overline{\Xi }_{1}=\delta ^{-1}\Xi _{1},\quad\quad \overline{\Xi }_{3}=\delta ^{-1}\Xi _{3}, $$
(4.7)

substituting (4.7) into (4.6), yields

$$ \begin{bmatrix} \delta \overline{\Xi }_{1} & \Xi _{2} & \delta \overline{\Xi }_{3}^{T} \\ {*} & -I & \overline{J}^{T} \\ {*} & {*} & -I \end{bmatrix}< 0. $$
(4.8)

Using Lemma 2.2 and (4.8), we have

$$ \overline{\Xi }_{1}+\Xi _{2}\overline{ \Lambda }\overline{\Xi }_{3} + \overline{\Xi }_{3}^{T} \overline{\Lambda }^{T}\Xi _{2}^{T}< 0. $$
(4.9)

Reviewing the definitions of matrices in (4.9), one has

$$ \begin{bmatrix} \widehat{\Phi }_{1} & \widehat{\Phi }_{2} & \widehat{\Phi }_{3} & \widehat{\Phi }_{4}& \widehat{\Phi }_{5}& \widehat{\Phi }_{6}& \widehat{\Phi }_{7} \\ {*} & -I_{m}\otimes \overline{Z} & 0 & 0 & 0& 0& 0 \\ {*} & 0 & -I_{m}\otimes \overline{Z} & 0 & 0& 0& 0 \\ {*} & 0 & 0 & -I_{m}\otimes \overline{Z} & 0 & 0& 0 \\ {*} & 0 & 0 & 0 & -I_{m}\otimes \overline{Z}& 0& 0 \\ {*} & 0 & 0 & 0 & 0 & -I_{m}\otimes I& 0 \\ {*} & 0 & 0 & 0 & 0 & 0 & -I_{m}\otimes I \end{bmatrix}< 0, $$

where

$$\begin{aligned}& \begin{aligned} \widehat{\Phi }_{1}={}&A_{k} \overline{Z}+G_{k}\Lambda H^{k}_{1} \overline{Z}+ \overline{Z}A_{k}^{T}+\overline{Z} \bigl(H^{k}_{1} \bigr)^{T} \Lambda ^{T} G_{k}^{T} \\ &{}+A_{j}\overline{Z}+G_{j}\Lambda H^{j}_{1} \overline{Z}+\overline{Z}A_{j}^{T}+\overline{Z} \bigl(H^{j}_{1} \bigr)^{T} \Lambda ^{T} G_{j}^{T} \\ &{}+\sum_{i=1}^{m}\tilde{b}_{i}C_{ki} \overline{Z}+\sum_{i=1}^{m} \tilde{b}_{i}G_{k}\Lambda H^{k}_{3i} \overline{Z}+ \sum_{i=1}^{m} \tilde{b}_{i}\overline{Z}C_{ki}^{T}+\sum _{i=1}^{m}\tilde{b}_{i}\overline{Z} \bigl(H^{k}_{3i} \bigr)^{T}\Lambda ^{T} G_{k}^{T} \\ &{}+\sum_{i=1}^{m}\tilde{b}_{i}C_{ji} \overline{Z}+\sum_{i=1}^{m} \tilde{b}_{i}G_{j}\Lambda H^{j}_{3i} \overline{Z} + \sum_{i=1}^{m} \tilde{b}_{i}\overline{Z}C_{ji}^{T}+\sum _{i=1}^{m}\tilde{b}_{i}\overline{Z} \bigl(H^{j}_{3i} \bigr)^{T}\Lambda ^{T} G_{j}^{T}, \end{aligned} \\& \begin{aligned} \widehat{\Phi }_{2}={}& \bigl[\sigma \overline{Z}C_{k1}^{T}+ \sigma \overline{Z} \bigl(H^{k}_{31} \bigr)^{T} \Lambda ^{T} G_{k}^{T}, \sigma \overline{Z}C_{k2}^{T}+ \sigma \overline{Z} \bigl(H^{k}_{32} \bigr)^{T} \Lambda ^{T} G_{k}^{T},\ldots, \\ &{}\sigma \overline{Z}C_{km}^{T}+ \sigma \overline{Z} \bigl(H^{k}_{3m} \bigr)^{T}\Lambda ^{T} G_{k}^{T} \bigr], \end{aligned} \\& \begin{aligned} \widehat{\Phi }_{3}= {}&\bigl[\sigma \overline{Z}C_{j1}^{T}+ \sigma \overline{Z} \bigl(H^{j}_{32} \bigr)^{T} \Lambda ^{T} G_{j}^{T}, \sigma \overline{Z}C_{j2}^{T}+\sigma \overline{Z} \bigl(H^{j}_{32} \bigr)^{T}\Lambda ^{T} G_{j}^{T},\ldots, \\ &{} \sigma \overline{Z}C_{jm}^{T}+ \sigma \overline{Z} \bigl(H^{j}_{3m} \bigr)^{T} \Lambda ^{T} G_{j}^{T} \bigr], \end{aligned} \\& \begin{aligned} \widehat{\Phi }_{4}= {}&\bigl[\sqrt{c_{1}} \overline{Z}C_{k1}^{T}+ \sqrt{c_{1}} \overline{Z} \bigl(H^{k}_{31} \bigr)^{T}\Lambda ^{T} G_{k}^{T}, \sqrt{c_{1}} \overline{Z}C_{k2}^{T}+ \sqrt{c_{1}}\overline{Z} \bigl(H^{k}_{32} \bigr)^{T} \Lambda ^{T} G_{k}^{T},\ldots, \\ &{} \sqrt{c_{1}}\overline{Z}C_{km}^{T}+ \sqrt{c_{1}} \overline{Z} \bigl(H^{k}_{3m} \bigr)^{T}\Lambda ^{T} G_{k}^{T} \bigr], \end{aligned} \\& \begin{aligned} \widehat{\Phi }_{5}= {}&\bigl[\sqrt{c_{1}} \overline{Z}C_{j1}^{T}+ \sqrt{c_{1}} \overline{Z} \bigl(H^{j}_{31} \bigr)^{T}\Lambda ^{T} G_{j}^{T}, \sqrt{c_{1}} \overline{Z}C_{j2}^{T}+ \sqrt{c_{1}}\overline{Z} \bigl(H^{j}_{32} \bigr)^{T} \Lambda ^{T} G_{j}^{T},\ldots, \\ &{} \sqrt{c_{1}}\overline{Z}C_{jm}^{T}+ \sqrt{c_{1}} \overline{Z} \bigl(H^{j}_{3m} \bigr)^{T}\Lambda ^{T} G_{j}^{T} \bigr], \end{aligned} \\& \begin{aligned} \widehat{\Phi }_{6}= {}&\bigl[\sqrt{2c_{1}} \bigl( \overline{Z}C_{k1}^{T}+\overline{Z} \bigl(H^{k}_{31} \bigr)^{T} \Lambda ^{T} G_{k}^{T} \bigr), \sqrt{2c_{1}} \bigl(\overline{Z}C_{k2}^{T}+ \overline{Z} \bigl(H^{k}_{32} \bigr)^{T}\Lambda ^{T} G_{k}^{T} \bigr),\ldots, \\ &{}\sqrt{2c_{1}} \bigl( \overline{Z}C_{km}^{T}+\overline{Z} \bigl(H^{k}_{3m} \bigr)^{T}\Lambda ^{T} G_{k}^{T} \bigr) \bigr], \end{aligned} \\& \widehat{\Phi }_{7}= \bigl[\sqrt{2c_{1}}\Lambda ^{T}, \sqrt{2c_{1}}\Lambda ^{T},\ldots, \sqrt{2c_{1}}\Lambda ^{T} \bigr]. \end{aligned}$$

The rest of the proof is the same as Theorem 4.1, and then the proof is completed. □

5 Stability analysis of uncertain system with feedback

In this section, the stability conditions for the uncertain system with feedback will be obtained. First of all, we have to give the fuzzy control design of feedback as follows.

Control rule k: if \(\theta _{1}(t)\) is \(\eta _{k1}\), and, …, \(\theta _{r}(t)\) is \(\eta _{kr}\), then \(u=K_{k}x\), \(k=1,2,\ldots,L\). And the overall state feedback fuzzy controller is represented by

$$ u=\sum_{k=1}^{L}h_{k}K_{k}x. $$

In view of the above control law, the overall closed-loop system is obtained with \(\Lambda =0\) as follows:

$$ \begin{aligned} dx(t)={}&\sum _{k=1}^{L}\sum_{j=1}^{L}h_{k}h_{j} \Biggl\{ \Biggl[ \Biggl(A_{k}+\sum_{i=1}^{m} \tilde{b}_{i}C_{ki} \Biggr)x(t-) + \Biggl(B_{k}+ \sum_{i=1}^{m} \tilde{b}_{i}F_{ki} \Biggr)K_{j}x(t-) \Biggr]\,dt \\ &{}+\sum_{i=1}^{m} \bigl[\sigma C_{ki}x(t-)+\sigma F_{ki}K_{j}x(t-) \bigr] \,dB_{i}(t) \\ &{}+\sum_{i=1}^{m} \int _{R^{m}\setminus \{0\}} \bigl[C_{ki}x(t-)+F_{ki}K_{j}x(t-) \bigr]y_{i} \widetilde{N}(dt,dy) \Biggr\} . \end{aligned} $$
(5.1)

The following theorem is obtained for system (5.1).

Theorem 5.1

If there exist a sequence of \(\{Y_{j}\}\) and a positive definite matrix \(Z=Z^{T}>0\) such that

$$ \Upsilon _{1}= \begin{bmatrix} \Psi _{1} & \Psi _{2} & \Psi _{3} & \Psi _{4} & \Psi _{5}& \Psi _{6} \\ {*} & -I_{m}\otimes Z & 0 & 0 & 0 & 0 \\ {*} & 0 & -I_{m}\otimes Z & 0 & 0 & 0 \\ {*} & 0 & 0 & -I_{m}\otimes Z & 0 & 0 \\ {*} & 0 & 0 & 0 & -I_{m}\otimes I & 0 \\ {*} & 0 & 0 & 0 & 0 & -I_{m}\otimes I \end{bmatrix}< 0, $$
(5.2)

where

$$\begin{aligned}& \begin{aligned} \Psi _{1}={}&2 \Biggl[ \Biggl(A_{k}+\sum _{i=1}^{m}\tilde{b}_{i}C_{ki} \Biggr)Z+ Z \Biggl(A_{k}+ \sum_{i=1}^{m} \tilde{b}_{i}C_{ki} \Biggr)^{T}+ \Biggl(B_{k}+\sum_{i=1}^{m} \tilde{b}_{i}F_{ki} \Biggr)Y_{j} \\ &{} +Y_{j}^{T} \Biggl(B_{k}+\sum _{i=1}^{m}\tilde{b}_{i}F_{ki} \Biggr)^{T} \Biggr], \end{aligned} \\& \Psi _{2}= \bigl[\sigma ZC_{k1}^{T}+\sigma Y_{j}^{T}F_{k1}^{T}, \sigma ZC_{k2}^{T}+ \sigma Y_{j}^{T}F_{k2}^{T}, \ldots, \sigma ZC_{km}^{T}+\sigma Y_{j}^{T}F_{km}^{T} \bigr], \\& \Psi _{3}= \bigl[\sigma ZC_{l1}^{T}+\sigma Y_{q}^{T}F_{l1}^{T}, \sigma ZC_{l2}^{T}+ \sigma Y_{q}^{T}F_{l2}^{T}, \ldots, \sigma ZC_{lm}^{T}+\sigma Y_{q}^{T}F_{lm}^{T} \bigr], \\& \begin{aligned} \Psi _{4}= {}&\bigl[\sqrt{2c_{1}} ZC_{k1}^{T}+ \sqrt{2c_{1}} Y_{j}^{T}F_{k1}^{T}, \sqrt{2c_{1}} ZC_{k2}^{T}+\sqrt{2c_{1}} Y_{j}^{T}F_{k2}^{T},\ldots, \\ &{} \sqrt{2c_{1}} ZC_{km}^{T}+\sqrt{2c_{1}} Y_{j}^{T}F_{km}^{T} \bigr], \end{aligned} \\& \Psi _{5}= \bigl[\sqrt{2c_{1}} \bigl(ZC_{k1}^{T}+ Y_{j}^{T}F_{k1}^{T} \bigr), \sqrt{2c_{1}} \bigl(ZC_{k2}^{T}+ Y_{j}^{T}F_{k2}^{T} \bigr),\ldots, \sqrt{2c_{1}} \bigl(ZC_{km}^{T}+ Y_{j}^{T}F_{km}^{T} \bigr) \bigr], \\& \Psi _{6}=[\sqrt{2c_{1}}I, \sqrt{2c_{1}}I,\ldots, \sqrt{2c_{1}}I], \\& \quad k,j,l,q=1,2,\ldots,L. \end{aligned}$$

Then system (5.1) is almost surely asymptotically stable. Moreover, the fuzzy feedback controller is designed as follows:

$$ u=\sum_{j=1}^{L}h_{j}K_{j}x, \quad K_{j}=Y_{j}Z^{-1},j=1,2,\ldots,L. $$

Proof

Define \(V(x)=x^{T}Px\). By Lemma 2.1, one has

$$\begin{aligned} \begin{aligned} LV(t,x)={}& 2x^{T}P \Biggl\{ \sum_{k=1}^{L}\sum _{j=1}^{L}h_{k}h_{j} \Biggl[ \Biggl(A_{k}+ \sum_{i=1}^{m} \tilde{b}_{i}C_{ki} \Biggr)x + \Biggl(B_{k}+\sum _{i=1}^{m}\tilde{b}_{i}F_{ki} \Biggr)K_{j}x \Biggr] \Biggr\} \\ &{}+\sum_{k=1}^{L}\sum _{l=1}^{L}\sum_{j=1}^{L} \sum_{q=1}^{L} h_{k}h_{l}h_{j}h_{q} \Biggl\{ \sum_{i=1}^{m} \bigl[( \sigma C_{ki}x+\sigma F_{ki}K_{j}x)^{T} \\ &{}\times P(\sigma C_{li}x+\sigma F_{li}K_{q}x) \bigr] \Biggr\} \\ &{}+\sum_{k=1}^{L}\sum _{j=1}^{L}h_{k}h_{j} \Biggl\{ \sum_{i=1}^{m} \int _{R^{m}\setminus \{0\}} \bigl[(C_{ki}x+F_{ki}K_{j}x)y_{i} \bigr]^{T}P \bigl[(C_{ki}x+F_{ki}K_{j}x)y_{i} \bigr] \\ &{}+ \bigl[(C_{ki}x+F_{ki}K_{j}x)y_{i} \bigr]^{T}Px-x^{T}P \bigl[(C_{ki}x+F_{ki}K_{j}x)y_{i} \bigr] \pi (dy) \Biggr\} \\ \leq{}& \frac{1}{2}\sum_{k=1}^{L} \sum_{l=1}^{L}\sum _{j=1}^{L}\sum_{q=1}^{L} h_{k}h_{l}h_{j}h_{q} \\ &{}\times x^{T} \Biggl\{ 2 \Biggl[P \Biggl(A_{k}+ \sum_{i=1}^{m} \tilde{b}_{i}C_{ki} \Biggr)+P \Biggl(B_{k}+\sum _{i=1}^{m}\tilde{b}_{i}F_{ki} \Biggr)K_{j} \\ &{}+ \Biggl(A_{k}+\sum_{i=1}^{m} \tilde{b}_{i}C_{ki} \Biggr)^{T}P+K_{j}^{T} \Biggl(B_{k}+ \sum_{i=1}^{m} \tilde{b}_{i}F_{ki} \Biggr)^{T}P \Biggr] \\ &{}+\sum_{i=1}^{m} \bigl[(\sigma C_{ki}+\sigma F_{ki}K_{j})^{T}P( \sigma C_{ki}+\sigma F_{ki}K_{j})+(\sigma C_{li}+\sigma F_{li}K_{q})^{T} \\ &{}\times P(\sigma C_{li}+\sigma F_{li}K_{q}) \bigr] \\ &{}+\sum_{i=1}^{m}2c_{1} \bigl[(C_{ki}+F_{ki}K_{j})^{T}P(C_{ki}+F_{ki}K_{j})+(C_{ki}+F_{ki}K_{j})^{T} \\ &{}\times (C_{ki}+F_{ki}K_{j})+P^{2} \bigr] \Biggr\} x \\ \doteq{}&\frac{1}{2}\sum_{k=1}^{L} \sum_{l=1}^{L} \sum _{j=1}^{L}\sum_{q=1}^{L} h_{k}h_{l}h_{j}h_{q}x^{T}(- \Theta _{2})x, \end{aligned} \end{aligned}$$
(5.3)

where \(c_{1}\in R_{+}\) was defined in Theorem 4.1, and \(\Theta _{2}\) represents the corresponding matrix. We pre-multiply and post-multiply (5.2) by the matrix \(\operatorname{diag}(Z^{-1},I_{mn},I_{mn},I_{mn},I_{mn},I_{mn})\), then we can have the following inequality by the Schur complements lemma:

$$ \begin{aligned} &2 \Biggl[Z^{-1} \Biggl(A_{k}+\sum_{i=1}^{m} \tilde{b}_{i}C_{ki} \Biggr)+Z^{-1} \Biggl(B_{k}+ \sum_{i=1}^{m} \tilde{b}_{i}F_{ki} \Biggr)Y_{j}Z^{-1} \\ &\quad{} + \Biggl(A_{k}+\sum_{i=1}^{m} \tilde{b}_{i}C_{ki} \Biggr)^{T}Z^{-1} + \bigl(Y_{j}Z^{-1} \bigr)^{T} \Biggl(B_{k}+ \sum_{i=1}^{m}\tilde{b}_{i}F_{ki} \Biggr)^{T}Z^{-1} \Biggr] \\ &\quad {}+\sum_{i=1}^{m} \bigl[ \bigl(\sigma C_{ki}+\sigma F_{ki}Y_{j}Z^{-1} \bigr)^{T}Z^{-1} \bigl( \sigma C_{ki}+\sigma F_{ki}Y_{j}Z^{-1} \bigr) \\ &{\quad }+ \bigl(\sigma C_{li}+\sigma F_{li}Y_{q}Z^{-1} \bigr)^{T}Z^{-1} \bigl(\sigma C_{li}+ \sigma F_{li}Y_{q}Z^{-1} \bigr) \bigr] \\ &\quad {}+\sum_{i=1}^{m}2c_{1} \bigl[ \bigl(C_{ki}+F_{ki}Y_{j}Z^{-1} \bigr)^{T}Z^{-1} \bigl(C_{ki}+F_{ki}Y_{j}Z^{-1} \bigr) \\ &\quad {}+ \bigl(C_{ki}+F_{ki}Y_{j}Z^{-1} \bigr)^{T} \bigl(C_{ki}+F_{ki}Y_{j}Z^{-1} \bigr)+ \bigl(Z^{-1} \bigr)^{2} \bigr]< 0. \end{aligned} $$
(5.4)

Letting \(Z^{-1}=P\), together with \(K_{j}=Y_{j}Z^{-1}\), substituting (5.4) into (5.3), for any \(x\neq 0\), we arrive at

$$ LV(t,x)\leq \frac{1}{2}\sum_{k=1}^{L} \sum_{l=1}^{L} \sum _{j=1}^{L}\sum_{q=1}^{L} h_{k}h_{l}h_{j}h_{q}x^{T}(- \Theta _{2})x< 0. $$
(5.5)

Let \(\mu (x)=1/2\sum_{k=1}^{L}\sum_{l=1}^{L}\sum_{j=1}^{L}\sum_{q=1}^{L} h_{k}h_{l}h_{j}h_{q}x^{T}(- \Theta _{2})x\) and \(\lambda (t)=0\). In view of Theorem 3.1, system (5.1) is almost surely asymptotically stable. The proof is completed. □

Under the above results, the overall closed-loop system (2.6) is represented as follows:

$$ \begin{aligned} dx(t)={}&\sum _{k=1}^{L}\sum_{j=1}^{L}h_{k}h_{j} \Biggl\{ \Biggl[ \Biggl(A_{k}+\sum_{i=1}^{m} \tilde{b}_{i}C_{ki}+\Delta A_{k}+\sum _{i=1}^{m} \tilde{b}_{i}\Delta C_{ki} \Biggr)x(t-) \\ &{}+ \Biggl(B_{k}+\sum_{i=1}^{m} \tilde{b}_{i}F_{ki}+\Delta B_{k}+\sum _{i=1}^{m} \tilde{b}_{i}\Delta F_{ki} \Biggr)K_{j}x(t-) \Biggr]\,dt \\ &{}+\sum_{i=1}^{m} \bigl[(\sigma C_{ki}+\sigma \Delta C_{ki})x(t-)+( \sigma F_{ki}+ \sigma \Delta F_{ki})K_{j}x(t-) \bigr]\,dB_{i}(t) \\ &{}+\sum_{i=1}^{m} \int _{R^{m}\setminus \{0\}} \bigl[(C_{ki}+ \Delta C_{ki})x(t-)+(F_{ki}+ \Delta F_{ki})K_{j}x(t-) \bigr]y_{i} \widetilde{N}(dt,dy) \Biggr\} . \end{aligned} $$
(5.6)

The following theorem is given for system (5.6).

Corollary 5.1

If there exist a sequence of \(\{Y_{j}\}\) and positive definite matrix \(Z=Z^{T}>0\) such that

$$ \begin{bmatrix} \Upsilon _{1} & \Upsilon _{2} & \Upsilon _{3}^{T} \\ {*} & -I & \widehat{J}^{T} \\ {*} & {*} & -I \end{bmatrix}< 0, $$
(5.7)

where

$$ \Upsilon _{1}= \begin{bmatrix} \Psi _{1} & \Psi _{2} & \Psi _{3} & \Psi _{4} & \Psi _{5}& \Psi _{6} \\ {*} & -I_{m}\otimes Z & 0 & 0 & 0 & 0 \\ {*} & 0 & -I_{m}\otimes Z & 0 & 0 & 0 \\ {*} & 0 & 0 & -I_{m}\otimes Z & 0 & 0 \\ {*} & 0 & 0 & 0 & -I_{m}\otimes I & 0 \\ {*} & 0 & 0 & 0 & 0 & -I_{m}\otimes I \end{bmatrix}, $$

\(\Psi _{1},\Psi _{2},\ldots,\Psi _{6}\) defined in Theorem 5.1, and

$$\begin{aligned}& \Upsilon _{2}= \begin{bmatrix} 2G_{k} & 0 & 0 & 0 & 0 & 0 \\ 0 & I_{m}\otimes G_{k} & 0 & 0 & 0 & 0 \\ 0 & 0 & I_{m}\otimes G_{l} & 0 & 0 & 0 \\ 0 & 0 & 0 & I_{m}\otimes G_{k} & 0 & 0 \\ 0 & 0 & 0 & 0 & I_{m}\otimes G_{k} & 0 \\ 0 & 0 & 0 & 0 & 0 & I_{m}\otimes I \end{bmatrix}, \\& \Upsilon _{3}= \begin{bmatrix} H_{1}^{k}Z+\sum_{i=1}^{m}\tilde{b}_{i}H_{3i}^{k}Z+H_{2}^{k}Y_{j}+ \sum_{i=1}^{m}\tilde{b}_{i}H_{4i}^{k}Y_{j} & 0_{n\times 5mn} \\ \sigma H_{3}^{k}Z+\sigma H_{4}^{k}Y_{j} & 0_{mn\times 5mn} \\ \sigma H_{3}^{l}Z+\sigma H_{4}^{l}Y_{q} & 0_{mn\times 5mn} \\ \sqrt{2c_{1}}H_{3}^{k}Z+\sqrt{2c_{1}}H_{4}^{k}Y_{j} & 0_{mn\times 5mn} \\ \sqrt{2c_{1}}H_{3}^{k}Z+\sqrt{2c_{1}}H_{4}^{k}Y_{j} & 0_{mn\times 5mn} \\ \sqrt{2c_{1}}I & 0_{mn\times 5mn} \end{bmatrix}, \end{aligned}$$

and \(\widehat{J}=I_{5m+1}\otimes J\), \(H_{3}^{k}=[(H_{31}^{k})^{T}, (H_{32}^{k})^{T},\ldots, (H_{3m}^{k})^{T}]^{T}\), \(H_{3}^{l}=[(H_{31}^{l})^{T}, (H_{32}^{l})^{T},\ldots, (H_{3m}^{l})^{T}]^{T}\), \(H_{4}^{k}=[(H_{41}^{k})^{T}, (H_{42}^{k})^{T},\ldots, (H_{4m}^{k})^{T}]^{T}\), \(H_{4}^{l}=[(H_{41}^{l})^{T}, (H_{42}^{l})^{T},\ldots, (H_{4m}^{l})^{T}]^{T}\). Then system (5.6) is almost surely asymptotically stable, and moreover, the feedback controller is designed as follows:

$$ u=\sum_{j=1}^{L}h_{j}K_{j}x, \quad K_{j}=Y_{j}Z^{-1},j=1,2,\ldots,L. $$

Proof

Let \(\widehat{Q}(t)=I_{5m+1}\otimes Q(t)\), then

$$ \begin{aligned} \bigl[I-\widehat{Q}(t)\widehat{J} \bigr]^{-1} \widehat{Q}(t)&= \bigl\{ I_{5m+1} \otimes \bigl[(I-Q(t)J \bigr] \bigr\} ^{-1} \bigl[I_{5m+1}\otimes Q(t) \bigr] \\ &= \bigl\{ I_{5m+1}\otimes \bigl[(I-Q(t)J \bigr]^{-1} \bigr\} \bigl[I_{5m+1}\otimes Q(t) \bigr] \\ &=I_{5m+1}\otimes \bigl\{ \bigl[(I-Q(t)J \bigr]^{-1}Q(t) \bigr\} =I_{5m+1}\otimes \Lambda = \widehat{\Lambda }. \end{aligned} $$

Carrying out an argument analogous to that of the above equality, one has

$$\begin{aligned}& I-\widehat{J}\widehat{J}^{T}=I_{5m+1}\otimes \bigl(I-JJ^{T} \bigr)>0, \\& I-\widehat{Q}(t)\widehat{Q}(t)=I_{5m+1}\otimes \bigl(I-Q(t)Q^{T}(t) \bigr)\geq 0. \end{aligned}$$

Using the above definitions and (5.7), for the positive definite matrix Z and any \(\delta >0\), letting

$$ \widehat{Z}=\delta ^{-1}Z, \quad \widehat{\Upsilon }_{1}=\delta ^{-1} \Upsilon _{1}, \quad \widehat{\Upsilon }_{3}=\delta ^{-1}\Upsilon _{3},\quad \widehat{Y}_{j}=\delta ^{-1}{Y}_{j}, $$
(5.8)

and substituting (5.8) into (5.7), we have

$$ \begin{bmatrix} \delta \widehat{\Upsilon }_{1} & \Upsilon _{2} & \delta \widehat{\Upsilon }_{3}^{T} \\ {*} & -I & \widehat{J}^{T} \\ {*} & {*} & -I \end{bmatrix}< 0. $$
(5.9)

Using Lemma 2.2 and (5.9), we have

$$ \widehat{\Upsilon }_{1}+\Upsilon _{2} \widehat{\Lambda } \widehat{\Upsilon }_{3} +\widehat{\Upsilon }_{3}^{T}\widehat{\Lambda }^{T} \Upsilon _{2}^{T}< 0. $$
(5.10)

According to the definitions of matrices in (5.10), it follows that

$$ \begin{bmatrix} \widetilde{\Psi }_{1} & \widetilde{\Psi }_{2} & \widetilde{\Psi }_{3} & \widetilde{\Psi }_{4} & \widetilde{\Psi }_{5}& \widetilde{\Psi }_{6} \\ {*} & -I_{m}\otimes \widehat{Z} & 0 & 0 & 0 & 0 \\ {*} & 0 & -I_{m}\otimes \widehat{Z} & 0 & 0 & 0 \\ {*} & 0 & 0 & -I_{m}\otimes \widehat{Z} & 0 & 0 \\ {*} & 0 & 0 & 0 & -I_{m}\otimes I & 0 \\ {*} & 0 & 0 & 0 & 0 & -I_{m}\otimes I \end{bmatrix}< 0, $$
(5.11)

where

$$\begin{aligned}& \begin{aligned} \widetilde{\Psi }_{1}={}&2 \Biggl\{ \Biggl(A_{k}+\sum_{i=1}^{m} \tilde{b}_{i}C_{ki} \Biggr) \widehat{Z}+ \Biggl(G_{k} \Lambda H_{1}^{k}+G_{k} \Lambda \sum_{i=1}^{m} \tilde{b}_{i}H_{3i}^{k} \Biggr)\widehat{Z} +\widehat{Z} \Biggl(A_{k}+\sum _{i=1}^{m} \tilde{b}_{i}C_{ki} \Biggr)^{T} \\ &{}+\widehat{Z} \Biggl[ \bigl(H_{1}^{k} \bigr)^{T} \Lambda ^{T} G_{k}^{T}+\sum _{i=1}^{m} \tilde{b}_{i} \bigl(H_{3i}^{k} \bigr)^{T}\Lambda ^{T}G_{k}^{T} \Biggr] + \Biggl(B_{k}+\sum _{i=1}^{m} \tilde{b}_{i}F_{ki} \Biggr)\widehat{Y}_{j} \\ &{}+\widehat{Y}_{j}^{T} \Biggl(B_{k}+\sum_{i=1}^{m} \tilde{b}_{i}F_{ki} \Biggr)^{T} + \Biggl(G_{k}\Lambda H_{2}^{k}+G_{k} \Lambda \sum_{i=1}^{m}\tilde{b}_{i}H_{4i}^{k} \Biggr) \widehat{Y}_{j} \\ &{} + \widehat{Y}_{j}^{T} \Biggl[ \bigl(H_{2}^{k} \bigr)^{T}\Lambda ^{T} G_{k}^{T}+ \sum_{i=1}^{m} \tilde{b}_{i} \bigl(H_{4i}^{k} \bigr)^{T} \Lambda ^{T}G_{k}^{T} \Biggr] \Biggr\} , \end{aligned} \\& \begin{aligned} \widetilde{\Psi }_{2}={}& \bigl[\sigma \widehat{Z}C_{k1}^{T}+ \sigma \widehat{Z} \bigl(H_{31}^{k} \bigr)^{T}\Lambda ^{T}G_{k}^{T}+\sigma Y_{j}^{T}F_{k1}^{T}+ \sigma Y_{j}^{T} \bigl(H_{41}^{k} \bigr)^{T}\Lambda ^{T}G_{k}^{T}, \\ & \sigma \widehat{Z}C_{k2}^{T}+\sigma \widehat{Z} \bigl(H_{32}^{k} \bigr)^{T} \Lambda ^{T}G_{k}^{T}+\sigma Y_{j}^{T}F_{k2}^{T}+ \sigma Y_{j}^{T} \bigl(H_{42}^{k} \bigr)^{T} \Lambda ^{T}G_{k}^{T}, \\ & \ldots , \sigma \widehat{Z}C_{km}^{T}+\sigma \widehat{Z} \bigl(H_{3m}^{k} \bigr)^{T} \Lambda ^{T}G_{k}^{T}+\sigma Y_{j}^{T}F_{km}^{T}+ \sigma Y_{j}^{T} \bigl(H_{4m}^{k} \bigr)^{T} \Lambda ^{T}G_{k}^{T} \bigr], \end{aligned} \\& \begin{aligned} \widetilde{\Psi }_{3}={}& \bigl[\sigma \widehat{Z}C_{l1}^{T}+ \sigma \widehat{Z} \bigl(H_{31}^{l} \bigr)^{T}\Lambda ^{T}G_{l}^{T}+\sigma Y_{q}^{T}F_{l1}^{T}+ \sigma Y_{q}^{T} \bigl(H_{41}^{l} \bigr)^{T}\Lambda ^{T}G_{l}^{T}, \\ & \sigma \widehat{Z}C_{l2}^{T}+\sigma \widehat{Z} \bigl(H_{32}^{l} \bigr)^{T} \Lambda ^{T}G_{l}^{T}+\sigma Y_{q}^{T}F_{l2}^{T}+ \sigma Y_{q}^{T} \bigl(H_{42}^{l} \bigr)^{T} \Lambda ^{T}G_{l}^{T}, \\ & \ldots , \sigma \widehat{Z}C_{lm}^{T}+\sigma \widehat{Z} \bigl(H_{3m}^{k} \bigr)^{T} \Lambda ^{T}G_{l}^{T}+\sigma Y_{q}^{T}F_{lm}^{T}+ \sigma Y_{q}^{T} \bigl(H_{4m}^{l} \bigr)^{T} \Lambda ^{T}G_{l}^{T} \bigr], \end{aligned} \\& \begin{aligned} \widetilde{\Psi }_{4}={}& \bigl[ \sqrt{2c_{1}} \widehat{Z}C_{k1}^{T}+ \sqrt{2c_{1}} \widehat{Z} \bigl(H_{31}^{k} \bigr)^{T}\Lambda ^{T}G_{k}^{T}+ \sqrt{2c_{1}} Y_{j}^{T}F_{k1}^{T}+ \sqrt{2c_{1}} Y_{j}^{T} \bigl(H_{41}^{k} \bigr)^{T}\Lambda ^{T}G_{k}^{T}, \\ & \sqrt{2c_{1}} \widehat{Z}C_{k2}^{T}+ \sqrt{2c_{1}} \widehat{Z} \bigl(H_{32}^{k} \bigr)^{T} \Lambda ^{T}G_{k}^{T}+ \sqrt{2c_{1}}Y_{j}^{T}F_{k2}^{T}+ \sqrt{2c_{1}} Y_{j}^{T} \bigl(H_{42}^{k} \bigr)^{T} \Lambda ^{T}G_{k}^{T}, \\ & \ldots , \sqrt{2c_{1}} \widehat{Z}C_{km}^{T}+ \sqrt{2c_{1}} \widehat{Z} \bigl(H_{3m}^{k} \bigr)^{T} \Lambda ^{T}G_{k}^{T}+ \sqrt{2c_{1}} Y_{j}^{T}F_{km}^{T}+ \sqrt{2c_{1}} Y_{j}^{T} \bigl(H_{4m}^{k} \bigr)^{T} \Lambda ^{T}G_{k}^{T} \bigr], \end{aligned} \\& \begin{aligned} \widetilde{\Psi }_{5}={}& \bigl[ \sqrt{2c_{1}} \widehat{Z}C_{k1}^{T}+ \sqrt{2c_{1}} \widehat{Z} \bigl(H_{31}^{k} \bigr)^{T}\Lambda ^{T}G_{k}^{T}+ \sqrt{2c_{1}} Y_{j}^{T}F_{k1}^{T}+ \sqrt{2c_{1}} Y_{j}^{T} \bigl(H_{41}^{k} \bigr)^{T}\Lambda ^{T}G_{k}^{T}, \\ & \sqrt{2c_{1}} \widehat{Z}C_{k2}^{T}+ \sqrt{2c_{1}} \widehat{Z} \bigl(H_{32}^{k} \bigr)^{T} \Lambda ^{T}G_{k}^{T}+ \sqrt{2c_{1}}Y_{j}^{T}F_{k2}^{T}+ \sqrt{2c_{1}} Y_{j}^{T} \bigl(H_{42}^{k} \bigr)^{T} \Lambda ^{T}G_{k}^{T}, \\ & \ldots , \sqrt{2c_{1}} \widehat{Z}C_{km}^{T}+ \sqrt{2c_{1}} \widehat{Z} \bigl(H_{3m}^{k} \bigr)^{T} \Lambda ^{T}G_{k}^{T}+ \sqrt{2c_{1}} Y_{j}^{T}F_{km}^{T}+ \sqrt{2c_{1}} Y_{j}^{T} \bigl(H_{4m}^{k} \bigr)^{T} \Lambda ^{T}G_{k}^{T} \bigr], \end{aligned} \\& \widetilde{\Psi }_{6}= \bigl[\sqrt{2c_{1}}\Lambda ^{T}, \sqrt{2c_{1}} \Lambda ^{T},\ldots, \sqrt{2c_{1}}\Lambda ^{T} \bigr], \end{aligned}$$

and the desired result is obtained. □

6 Discussion of the main results

The paper has considered the almost sure asymptotic stability of an uncertain stochastic T–S fuzzy system driven by Lévy noise. Since the Lévy process has a càdlàg path, we provided the special stochastic techniques. On the other hand, the uncertainty of the system was the linear fractional form, which was different from the previous norm-bounded uncertainty, so the new matrix decomposition method has been used to deal with it.

In the main results, the proofs for almost sure asymptotic stability of stochastic systems with càd-làg path have been presented, which generalized the application scope of the nonnegative semi-martingale convergence theorem. Under this results, we have designed the fuzzy state-feedback controller, so the closed-loop system was robustly almost surely asymptotically stable, and the stabilization criteria were in terms of linear matrix inequalities (LMIs). Therefore, the fuzzy state-feedback controller for stabilization was easier to design and apply. Of course, the above research have also made some problems to be easier and more feasible, such as \(H_{2}/H_{\infty }\), output feedback control, design of observer, and so on.

Availability of data and materials

All the data and material of this manuscript can be available.

References

  1. Applebaum, D.: Lévy Processes and Stochastic Calculus, 2nd edn. Cambridge University Press, Cambridge (2009)

    Book  Google Scholar 

  2. Applebaum, D., Siakalli, M.: Asymptotic stability of stochastic differential equations driven by Lévy noise. J. Appl. Probab. 46, 1116–1129 (2009)

    Article  MathSciNet  Google Scholar 

  3. Arnold, L., Crauel, H., Wihstutz, V.: Stabilization of linear systems by noise. SIAM J. Control Optim. 21, 451–461 (1983)

    Article  MathSciNet  Google Scholar 

  4. Bellman, R., Bentsman, J., Meerkov, S.: Stability for fast periodic systems. IEEE Trans. Autom. Control 30, 289–291 (1985)

    Article  MathSciNet  Google Scholar 

  5. Chang, Y., Ho, S., Chen, B.: Robust stabilization design of nonlinear stochastic partial differential systems: fuzzy approach. Fuzzy Sets Syst. 248, 61–85 (2014)

    Article  MathSciNet  Google Scholar 

  6. Chen, B.S., Tseng, C.S., Uang, H.J.: Mixed \(H_{2}/H_{\infty }\) fuzzy output feedback control design for nonlinear dynamic systems: an LMI approach. IEEE Trans. Fuzzy Syst. 8, 249–265 (2000)

    Article  Google Scholar 

  7. Ding, B.: Improving the asymptotically necessary and sufficient conditions for stability of fuzzy control. Fuzzy Sets Syst. 161, 2793–2794 (2010)

    Article  MathSciNet  Google Scholar 

  8. Feng, G.: A survey on analysis and design of model-based fuzzy control systems. IEEE Trans. Fuzzy Syst. 8, 676–697 (2006)

    Article  Google Scholar 

  9. Gassara, H., Hajjaji, A.E., Chaabane, M.: Robust \(H_{\infty }\) control for T–S fuzzy systems with time-varying delay. Int. J. Syst. Sci. 41, 1481–1491 (2010)

    Article  MathSciNet  Google Scholar 

  10. Ghaoui, L., Scorletti, G.: Control of rational systems using linear fractional representations and linear matrix inequalities. Automatica 32(9), 1273–1284 (1996)

    Article  MathSciNet  Google Scholar 

  11. Huo, X., Ma, L., Zhao, X., Zong, G.: Observer-based fuzzy adaptive stabilization of uncertain switched stochastic nonlinear systems with input quantization. J. Franklin Inst. 356, 1789–1809 (2019)

    Article  MathSciNet  Google Scholar 

  12. Liu, D., Wang, W., Ignatyev, O., Zhang, W.: Partial stochastic asymptotic stability of neutral stochastic functional differential equations with Markovian switching by boundary condition. Adv. Differ. Equ. 2012, 220 (2012)

    Article  MathSciNet  Google Scholar 

  13. Mao, X.: Stability of stochastic differential equations with Markovian switching. Stoch. Process. Appl. 79, 45–67 (1999)

    Article  MathSciNet  Google Scholar 

  14. Mao, X.: Exponential stability of stochastic delay interval systems with Markovian switching. IEEE Trans. Autom. Control 47(10), 1604–1612 (2002)

    Article  MathSciNet  Google Scholar 

  15. Mao, X.: Stochastic Differential Equations and Application. Horwood, Chichester (2007)

    MATH  Google Scholar 

  16. Mao, X., Matasov, A., Piunovskiy, A.B.: Stochastic differential delay equations with Markovian switching. Bernoulli 6(1), 73–90 (2000)

    Article  MathSciNet  Google Scholar 

  17. Mao, X., Yin, G., Yuan, C.: Stabilization and destabilization of hybrid systems of stochastic differential equations. Automatica 43, 264–273 (2007)

    Article  MathSciNet  Google Scholar 

  18. Mao, X., Yuan, C.: Stochastic Differential Equations with Markovian Switching. Imperial College Press, London (2006)

    Book  Google Scholar 

  19. Rogers, L.C.G., Williams, D.: Diffusions, Markov Processes and Martingales, vol. 1, 2nd edn. Cambridge University Press, Cambridge (2000)

    Book  Google Scholar 

  20. Senthilkumar, T., Balasubramaniam, P.: Delay-dependent robust \(H_{\infty }\) control for uncertain stochastic T–S fuzzy systems with time-varying state and input delays. Int. J. Syst. Sci. 42, 877–887 (2011)

    Article  MathSciNet  Google Scholar 

  21. Sheng, L., Gao, M., Zhang, W.: Dissipative control for Markov jump non-linear stochastic systems based on T–S fuzzy model. Int. J. Syst. Sci. 45(5), 1213–1224 (2014)

    Article  MathSciNet  Google Scholar 

  22. Song, Q., Zhao, Z., Yang, J.: Passivity and passification for stochastic Takagi–Sugeno fuzzy systems with mixed time-varying delays. Neurocomputing 122, 330–337 (2013)

    Article  Google Scholar 

  23. Stojanovic, S., Debeljkovic, D., Antic, D.: Robust finite-time stability and stabilization of linear uncertain time-delay systems. Asian J. Control 15(5), 1548–1554 (2013)

    MathSciNet  MATH  Google Scholar 

  24. Takagi, T., Sugeno, M.: Fuzzy identification of systems and its applications to modeling and control. IEEE Trans. Syst. Man Cybern. 15(1), 116–132 (1985)

    Article  Google Scholar 

  25. Tanaka, K., Wang, H.O.: Fuzzy Control Systems Design and Analysis: A LMI Approach. Wiley, New York (2001)

    Book  Google Scholar 

  26. Tseng, C.S.: Robust fuzzy filter design for a class of nonlinear stochastic systems. IEEE Trans. Fuzzy Syst. 15, 261–274 (2007)

    Article  Google Scholar 

  27. Uang, H.J.: On the dissipativity of nonlinear systems: fuzzy control approach. Fuzzy Sets Syst. 156, 185–207 (2005)

    Article  MathSciNet  Google Scholar 

  28. Xu, S., Song, B., Lu, J., Lam, J.: Robust stability of uncertain discrete-time singular fuzzy systems. Fuzzy Sets Syst. 158, 2306–2316 (2007)

    Article  MathSciNet  Google Scholar 

  29. Zhai, J., Qian, C., Du, H.: Semi-global output feedback stabilization for a class of uncertain nonlinear systems. Asian J. Control 14(6), 1724–1731 (2012)

    Article  MathSciNet  Google Scholar 

  30. Zhou, S., Lam, J.: Control design for fuzzy systems based on relaxed nonquadratic stability and \(H_{\infty }\) performance conditions. IEEE Trans. Fuzzy Syst. 15(2), 188–199 (2007)

    Article  Google Scholar 

  31. Zhou, S., Ren, W., Lam, J.: Stabilization for T–S model based uncertain stochastic systems. Inf. Sci. 181, 779–791 (2011)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors are very grateful to the anonymous referees for their valuable suggestions.

Funding

This work was supported by the Natural Science Foundation of China (61703001, 11901188, 11701001), Anhui Provincial Fund for Excellent Young Talents in Colleges and Universities (gxyq2017011).

Author information

Authors and Affiliations

Authors

Contributions

The authors have achieved equal contributions to each part of this paper. All the authors read and approved the final manuscript.

Corresponding author

Correspondence to Dezhi Liu.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Liu, D., Zhu, M. & Liu, J. Stabilization for uncertain stochastic T–S fuzzy system driven by Lévy noise. Adv Differ Equ 2021, 472 (2021). https://doi.org/10.1186/s13662-021-03573-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-021-03573-9

MSC

Keywords