- Research
- Open access
- Published:
Stabilization for uncertain stochastic T–S fuzzy system driven by Lévy noise
Advances in Difference Equations volume 2021, Article number: 472 (2021)
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
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:
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
where
\(\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
So the Lévy process \((Y(t),t\geq 0)\) has the following decomposition:
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:
where \(\tilde{b}_{i}=b_{i}+\int _{ \vert y \vert \geq 1}y_{i}\pi (dy)\). Therefore, (2.4) can be rewritten as
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
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
holds for all \(Q(t)\) such that \(Q(t)Q^{T}(t)\leq I\), if and only if, for some \(\delta >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:
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}\),
where L is the differential operator associated with equation (3.1). And L acts on a V function in the following form:
where
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\),
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.,
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
where
and
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
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\),
which yields
Let us decompose the sample space
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
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
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
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
Applying Kunita’s first inequality (Applebaum [1], Chap. 4, Theorem 4.4.23), we get
Substituting (3.7) and (3.8) into (3.6), we derive
and further by Chebyshev’s inequality, for any \(\vartheta >0\),
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\),
Set \(\epsilon =\frac{1}{2}\). For any \(\epsilon _{2}>0\), there exists \(t^{*}=t^{*}(k,\epsilon _{2})\) such that
Define a sequence of stopping times
and set \(\inf \emptyset =\infty \). By (3.4), it is easy to get
By the strong Markov property and setting \(\epsilon _{1}=2\epsilon _{2}\), we obtain
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
This, together with the Borel–Cantelli lemma, yields
Since
then
By (3.2), for any \(k>0\), one has
Letting \(k\rightarrow \infty \), we obtain \(\mathbb{P}\{\rho _{r}=\infty \}\rightarrow 1\), which, together with (3.11), yields
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
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
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
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
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
where
Then system (4.1) is almost surely asymptotically stable.
Proof
Let \(V(x)=x^{T}Px\). Using Lemma 2.1, we obtain that
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:
Letting \(Z^{-1}=P\) and substituting (4.4) into (4.3), for any \(x\neq 0\), we have
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
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
where
\(\Phi _{1}, \Phi _{2},\ldots,\Phi _{7}\) have been defined in Theorem 4.1, and
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
Carrying out a similar calculation, we obtain
Combining the above definitions with (4.6), for positive definite matrix Z and any \(\delta >0\), and
substituting (4.7) into (4.6), yields
Using Lemma 2.2 and (4.8), we have
Reviewing the definitions of matrices in (4.9), one has
where
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
In view of the above control law, the overall closed-loop system is obtained with \(\Lambda =0\) as follows:
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
where
Then system (5.1) is almost surely asymptotically stable. Moreover, the fuzzy feedback controller is designed as follows:
Proof
Define \(V(x)=x^{T}Px\). By Lemma 2.1, one has
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:
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
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:
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
where
\(\Psi _{1},\Psi _{2},\ldots,\Psi _{6}\) defined in Theorem 5.1, and
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:
Proof
Let \(\widehat{Q}(t)=I_{5m+1}\otimes Q(t)\), then
Carrying out an argument analogous to that of the above equality, one has
Using the above definitions and (5.7), for the positive definite matrix Z and any \(\delta >0\), letting
and substituting (5.8) into (5.7), we have
Using Lemma 2.2 and (5.9), we have
According to the definitions of matrices in (5.10), it follows that
where
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
Applebaum, D.: Lévy Processes and Stochastic Calculus, 2nd edn. Cambridge University Press, Cambridge (2009)
Applebaum, D., Siakalli, M.: Asymptotic stability of stochastic differential equations driven by Lévy noise. J. Appl. Probab. 46, 1116–1129 (2009)
Arnold, L., Crauel, H., Wihstutz, V.: Stabilization of linear systems by noise. SIAM J. Control Optim. 21, 451–461 (1983)
Bellman, R., Bentsman, J., Meerkov, S.: Stability for fast periodic systems. IEEE Trans. Autom. Control 30, 289–291 (1985)
Chang, Y., Ho, S., Chen, B.: Robust stabilization design of nonlinear stochastic partial differential systems: fuzzy approach. Fuzzy Sets Syst. 248, 61–85 (2014)
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)
Ding, B.: Improving the asymptotically necessary and sufficient conditions for stability of fuzzy control. Fuzzy Sets Syst. 161, 2793–2794 (2010)
Feng, G.: A survey on analysis and design of model-based fuzzy control systems. IEEE Trans. Fuzzy Syst. 8, 676–697 (2006)
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)
Ghaoui, L., Scorletti, G.: Control of rational systems using linear fractional representations and linear matrix inequalities. Automatica 32(9), 1273–1284 (1996)
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)
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)
Mao, X.: Stability of stochastic differential equations with Markovian switching. Stoch. Process. Appl. 79, 45–67 (1999)
Mao, X.: Exponential stability of stochastic delay interval systems with Markovian switching. IEEE Trans. Autom. Control 47(10), 1604–1612 (2002)
Mao, X.: Stochastic Differential Equations and Application. Horwood, Chichester (2007)
Mao, X., Matasov, A., Piunovskiy, A.B.: Stochastic differential delay equations with Markovian switching. Bernoulli 6(1), 73–90 (2000)
Mao, X., Yin, G., Yuan, C.: Stabilization and destabilization of hybrid systems of stochastic differential equations. Automatica 43, 264–273 (2007)
Mao, X., Yuan, C.: Stochastic Differential Equations with Markovian Switching. Imperial College Press, London (2006)
Rogers, L.C.G., Williams, D.: Diffusions, Markov Processes and Martingales, vol. 1, 2nd edn. Cambridge University Press, Cambridge (2000)
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)
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)
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)
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)
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)
Tanaka, K., Wang, H.O.: Fuzzy Control Systems Design and Analysis: A LMI Approach. Wiley, New York (2001)
Tseng, C.S.: Robust fuzzy filter design for a class of nonlinear stochastic systems. IEEE Trans. Fuzzy Syst. 15, 261–274 (2007)
Uang, H.J.: On the dissipativity of nonlinear systems: fuzzy control approach. Fuzzy Sets Syst. 156, 185–207 (2005)
Xu, S., Song, B., Lu, J., Lam, J.: Robust stability of uncertain discrete-time singular fuzzy systems. Fuzzy Sets Syst. 158, 2306–2316 (2007)
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)
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)
Zhou, S., Ren, W., Lam, J.: Stabilization for T–S model based uncertain stochastic systems. Inf. Sci. 181, 779–791 (2011)
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
Contributions
The authors have achieved equal contributions to each part of this paper. All the authors read and approved the final manuscript.
Corresponding author
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/.
About this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03573-9