1. Introduction
To simplify stability problems of nonlinear systems, the Takagi-Sugeno (T-S) fuzzy system [
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
17] is generally widely used by merging a group of linear systems and membership functions. Furthermore, a concept of Parallel Distributed Compensation (PDC) was first proposed by [
1] to design a fuzzy controller whose structure is the same as the T-S fuzzy system. Based on the T-S fuzzy system and PDC concept, many linear stability theories can be directly adopted to discuss the control issues of nonlinear systems. Moreover, some stability criteria [
2,
3,
4,
5,
6,
7,
8] for nonlinear stochastic systems were developed via the T-S fuzzy system. Referring to [
6,
7,
8], a stochastic differential equation was modeled by combining a deterministic differential equation and a multiplicative noise term. The term consists of states and Brownian motion [
8] and is employed to describe stochastic behavior. To discuss the stability of a stochastic system, the Itô formula and concept of mean square are generally required according to the unpredicted property and complete probability. Based on the T-S fuzzy model and stochastic differential equation, several PDC-based fuzzy controller design methods were developed to achieve performances such as the
mixed performance [
9,
10,
11], passivity [
7,
12,
13], robustness [
5,
17], and so on.
Usually, time delay is a common effect that causes poor control performance during the signal transmission of physical systems such as the COVID epidemic, a ship stabilizer, a network system, a chemical changer, and a hydraulic machine [
18]. For example, an internal time-varying delay is considered a general case because both upper and lower bounds are simultaneously considered. According to this consideration, the stability of systems with an interval time-varying delay is more difficult and complex to achieve compared to the stability of systems with other delay cases [
19,
20]. Furthermore, some delay-dependent stability criteria [
21,
22,
23,
24] were discussed by the Lyapunov-Krasovskii function. Based on the T-S fuzzy modeling approach, delay-dependent stability criteria [
25,
26] have been developed for nonlinear systems. The Lyapunov-Krasovskii function used by [
25,
26] is constructed by a common positive definite matrix. It is well known that a common matrix causes conservative results when solving a control problem. To achieve a relaxed criterion, the Lyapunov-Krasovskii function has been improved by choosing a parameter-dependent structure [
27] to increase the number of variables. Furthermore, several technologies [
28,
29] were proposed to introduce some slack variables and relax the conservatism of controller design methods. On the other hand, a limitation is naturally caused such that the derivative of the time-varying function of delays is less than one. Referring to [
29], a free-matrix inequality was developed to eliminate the limitation caused by the derivation. Unfortunately, the controller design problem of the delayed nonlinear systems was not discussed by [
29] due to the conversion of sufficient conditions for satisfying the form of Linear Matrix Inequality (LMI). Therefore, the relaxed stabilization issue of a nonlinear delayed system is worth investigating for the design of a PDC-based fuzzy controller.
Most of the stability criteria in the present results were proposed by choosing the Lyapunov function. For a polynomial description, such as the T-S fuzzy system [
4] and linear parameter varying systems [
30], a class of fuzzy Lyapunov functions and parameter-dependent Lyapunov functions were employed to increase the relaxation of the proposed criteria. Referring to [
15], although multiple matrices in the fuzzy Lyapunov function provide relaxation, a potential conservatism is caused by the derivative of the membership function. Hence an integral Lyapunov function was proposed by [
16] to avoid the conservatism caused by the derivative. Depending on the structure of the matrices in the integral Lyapunov function, it is hard to convert the sufficient condition into an LMI form. Thus, an extra iterative LMI algorithm [
12] was proposed to find a solution to the condition derived by the integral Lyapunov function. It should be noted that the extra algorithm causes not only some conservatism but also computational complexity. Therefore, an interesting solution to applying the integral Lyapunov function is to extend the advantage for other stability criteria without using an extra algorithm.
According to the above motivations, a novel delay-dependent stability criterion of a nonlinear stochastic system is investigated in this paper subject to passivity. Based on the modeling approach and stochastic differential equation, the nonlinear stochastic system is represented by a T-S fuzzy system with multiplicative noise terms. For the general delay effect, the interval time-varying case is considered to discuss the delay-dependent stability problem. For the problem, an integral Lyapunov-Krasovskii function is proposed to avoid the conservatism caused by the derivative of the membership function. Dealing with the delay term in the derivative, the free-matrix inequality is employed such that the differentiation of the delay function is not limited by one. In addition to the delay, the attenuation performance is also concerned by the passivity theory [
24] to constrain the effect of external disturbance on the system. With the Itô formula, some sufficient conditions are derived to ensure the asymptotical stability of the system in the mean square. Furthermore, the concept of PDC is adopted to establish a fuzzy controller and to discuss the stabilization problem. Based on the convex optimization algorithm, the projection lemmas [
28] are employed such that the derived conditions are in strict LMI form. To summarize the contributions of this paper, three points are provided: (1) A novel integral Lyapunov-Krasovskii function is proposed to eliminate the conservatism caused by the derivative of the membership function. (2) The differentiation of the time-varying function of delay is bigger than the one that increases the application of the proposed design method. (3) No extra algorithm is required to find feasible solutions to the derived conditions.
The paper is organized as follows: In
Section 2, the stability problem of the delayed T-S fuzzy system with multiplicative noise is presented. In
Section 3, the relaxed stability criterion is proposed to ensure the asymptotical stability of the system in the mean square. The numerical simulation and comparisons are provided in
Section 4. Finally, some conclusions to this paper are stated in
Section 5.
Notation: denotes the elements with their symmetry matrices. denotes the diagonal matrix with dimension , whose all-diagonal element is . denotes the identity matrix with proper dimension. denotes the transpose matrix. denotes the expected value of .
2. System Descriptions and Problem Statements
The continuous-time T-S stochastic system with interval time-varying delay and external disturbance is presented as follows:
IF
is
and
is
and … and
is
THEN
where
is the state vector,
is the control input vector,
is the disturbance,
is the system output,
is the initial condition,
is a scalar continuous type Brownian motion satisfying the independent increment property [
6] such as
,
and
. Besides,
,
,
,
,
,
,
,
,
and
are the constant matrices with compatible dimension,
is the number of fuzzy rules,
is the fuzzy set,
is the premise variable number and
specifies which
-based fuzzy set is used in the
i-th fuzzy rule, therefore
for any
.
is the time-varying delay satisfying
and
. The state equations for the system (1)–(2) can be inferred in terms of rules as follows:
where
,
,
and
.
Based on the PDC concept [
1], the following fuzzy controller is presented to compensate the considered system (3).
where
is the control gain, which needs to be found. The final output of (4) can also be represented as follows:
Substituting (4) into (2), the following closed-loop system can be inferred.
where
and
. For simplification,
is defined as
.
For the closed-loop system (6), the concerned stability and attenuation performance are respectively ensured by the following definitions.
Definition 1. [
8]
For the closed-loop systems (6), the solution is asymptotically stable in the mean square when and are converged to zero as .
Definition 2. [
8]
If the matrices ,
,
and exist to satisfy the following inequality, then the system (6) with and is called passive. where is the terminal time. Referring to [
8], the inequality (7) can be reduced by several performance indexes by choosing different
,
, and
. To deal with the delay terms during the derivative, the following free-matrix inequality is applied.
Lemma 1. [
29]
Let be a differentiable function: . For symmetric matrices and , and matrices and , satisfying: Moreover, the following inequality holds.where,,,,,and.
Besides, the following projection lemma is applied to transfer the bilinear condition into the LMI problem.
Lemma 2. [
30]
Giving the matrices , and which satisfy and , if there exists any matrix such that: then the following inequalities are held. and where and are matrices whose column form is the null-space of and respectively. Lemma 3. [
24]
For the given matrices , and , if there exists then the following inequalities are equivalent: and According to [
16], the positive matrix of the integral Lyapunov function which has the path-independent property is constructed as follows:
in which,
is a positive definite symmetric matrix and defined as follows:
Referring to (16), the off-diagonal elements are the same, but the diagonal elements are different according to the fuzzy sets in the premise parts of the fuzzy rules. Furthermore, the
j-th diagonal elements are independent from each other for the different
-based fuzzy sets. One can refer to [
16] for detailed information on the integral Lyapunov function.
In the next section, a novel delay-dependent stability criterion for the closed-loop system (6) is developed via the integral Lyapunov-Krasovskii function. Furthermore, the above lemmas are applied to reduce the conservatism of the criterion. Based on the criterion, the asymptotical stability and passivity are achieved in the mean square.
3. Stability Criterion Subject to Passivity Constraint
In this section, some sufficient conditions guaranteeing the asymptotical stability of the closed-loop system (6) are derived subject to passivity in the mean square. Through applying Lemmas 2 and 3, some LMI conditions are derived and can be directly solved by a convex optimization algorithm to find feasible solutions. With the obtained solutions, the fuzzy controller (5) can be established to achieve the required performance.
Theorem 1. Giving the matrices,and,scalars,,andsatisfying the definition of,the closed-loop system (6) is asymptotically stable subject to passivity in the mean square if there exist positive symmetric matrices,,,,,and,symmetrical matrices,,,,,,and,any matrices,,, ,,,,,,andsuch that:andwhereand Proof of Theorem 1. Choosing the following integral Lyapunov-Krasovskii function.
where
and
Through applying the Itô formula, the following derivation of
along the trajectories of (6) can be obtained.
and
Combining Equations (23)–(29), one has the following equation, when taking the expectation with the independent increment property
Applying
Lemma 1, the following inequalities are inferred from the terms in (24)–(26).
and
where
and
From the results of (31)–(33), the following inequality can be easily found from (30):
where
and
Let us define the following cost function with zero initial condition for all
.
where
Substituting (2) and (34) into (36), one has.
Obviously, if the conditions (17)–(21) are satisfied, then one can obtain
implying
in (37). From (35), one can further infer the following inequalities for all nonzero external disturbances due to
.
or
Because (39) is equal to (7), the closed-loop system (6) is passive due to
Definition 2. Next, it is necessary to show that the system is asymptotically stable in the mean square with
. According to (37), if condition (17) holds, then one has
. By assuming
, one can find
from (36) due to
. Since
and
, one can obtain the following equation from (30).
Obviously, if holds, then is easily inferred by (40). Based on Definition 1, the asymptotical stability of the closed-loop system (6) is ensured in the mean square according to . This proof is completed. □
Remark 1. According to the existence ofand, the conditions inTheorem 1are not in the standard LMI form with. However, it is the linear function of the variablesfor allandif four cases of,,andare set. It can easily use the convex optimization algorithm for four cases to obtain feasible solutions.
The derived conditions in Theorem 1 belong to a bilinear problem which cannot be directly solved by the convex optimization algorithm. Based on Lemmas 2 and 3, the conditions are transferred into LMI forms in the following theorem.
Theorem 2. For the given matrices,, and,scalars,,, andsatisfying the definition of, and the scalarsand, the closed-loop system (6) is asymptotically stable and subject to passivity in the mean square if positive definite matrices exist,,,,,and, symmetrical matrices,,,,,,and,and any matrices,,,, ,,,,,,,,,andsuch that:andwhereand Proof of Theorem 2. Without the general lost, condition (41) can be rewritten as follows:
where
and
In this paper, the orthogonal matrices for
and
are respectively chosen as:
and
Based on
Lemma 2,
and
, the following inequalities are also held form (46).
and
where
and
Furthermore, inequality (47) can be rewritten as follows:
where
,
,
and
.
According to
Lemma 3 and (49), the following inequality is also hold.
Through the arrangement, one can infer that the inequality (50) is equal to the condition (14). Thus, if condition (41) holds, then condition (17) is also satisfied. Moreover, the closed-loop system (6) is asymptotically stable in the mean square subject to passivity. The proof of Theorem 2 is complete. □
Remark 2. According toand, the conditions inTheorem 2are not in the strict LMI form. Based onRemark 1, the convex optimization algorithm is employed to find the feasible solutions to simultaneously satisfying four cases. However, that may increase the complexity of the number of conditions. On the other hand, one can find the conservative solutions for conditions in theorems through setting the terms asandinto, andinto, respectively. Although the terms provide conservative solutions, the number of LMIs can be reduced from 4r2 + 4 to r2 + 4 such that the proposed design method is easily used to design the controller (5).
Remark 3. The parameters andand matrices andare introduced in Theorem 2 based on Lemmas 2 and 3. Moreover, the number of variables in Theorem 2 is 28 + 2r. Although the huge number of variables increases the freedom of searching for feasible solutions, it also brings computational complexity.
Following the description of Remark 2, the relaxed conditions in Theorem 2 with four cases are solved via the convex optimization algorithm for discussing the stabilization problem of the ship’s autopilot system in the following section. Moreover, a comparison is also provided to discuss the conservatism of the proposed stability criterion.
4. Simulation Result
In this section, two cases are provided to demonstrate the effectiveness and applicability of the proposed delay-dependent stability criterion. In
Case 1, the stabilization problem of the ship’s autopilot dynamic system [
31] is discussed by
Theorem 2. In
Case 2, some comparisons with the works of [
25,
26] are provided to discuss the conservatism of Theorem 1 through searching the maximum value of time delay.
Firstly, the interval time-varying delay, stochastic behaviors and external disturbance are added to the autopilot dynamic system described by [
31]. Thus, the considered ship’s autopilot system is represented of follows:
where
,
, and
, respectively, denote the earth-fixed positions
and yaw angle
of the ship.
,
, and
, respectively, denote the earth-fixed velocity and yaw angular velocities, and
are the control inputs.
is added as a zero-mean white noise with a variance of one that is presented for the disturbance form sea wave affecting roll shifting. The time delay effect
is added to reflect on the yaw angular velocity. It is assumed and caused by the hydraulic transmission of rudder. In this simulation,
is set to present the delay effect on the system. Based on the modelling approach [
1] and assuming
, the following T-S fuzzy model can be presented for (51)–(56).
where
and
According to
, the scalars
,
,
and
are found. By choosing
,
, and
,
Definition 2 is reduced as strictly input passivity focusing on the attenuation performance. Moreover, the scalars
and
are given. The membership is constructed as
Figure 1 according to
. Based on the given scalars and matrices, the following feedback gains are found by using the convex optimization algorithm to solve
Theorem 2.
Figure 1.
Membership function.
Figure 1.
Membership function.
and
With the obtained gains, the PDC-based fuzzy controller is established as follows:
With the chosen initial condition as
, the responses of the system (51)–(56) driven by (59) are showed in
Figure 2,
Figure 3,
Figure 4,
Figure 5,
Figure 6 and
Figure 7. According to
,
,
, and state responses, the following equation can be applied to check the achievement of strictly input passivity.
Because the value in (60) is smaller than one, the strict input passivity of the system (51)–(56) driven by (59) is achieved by
Definition 2. Referring to
Figure 3, the poor transient response and vibration in
are caused by external disturbance. Since the achievement in (60), the effect of an external disturbance on the system (51)–(56) is constrained by (59). Besides, the poor transient response in
is made by the consideration of
. From
Figure 2,
Figure 3,
Figure 4,
Figure 5,
Figure 6 and
Figure 7, all states of the system (51)–(56) driven by (59) are converged to zero that satisfy
Definition 1. Based on the simulation results, this paper provides an effective and useful delay-dependent stability criterion to guarantee the asymptotical stability of T-S fuzzy systems with multiplicative noise in the mean square.
Referring to [
25,
26], some delay-dependent stability criteria have been proposed for delayed T-S fuzzy systems. In the literature, the parameter-independent Lyapunov-Krasovskii was applied to derive their sufficient conditions. To discuss the conservatism of searching a maximum value of delay,
Theorem 1 of this paper, Corollary 1 of [
25], and Theorem 1 of [
26] are respectively applied to analyze the delay-dependent stability of the following T-S fuzzy system.
where
,
,
and
.
For convenience,
and
are set to seek the maximum value of
with different values of
. Therefore, four cases considered by
Theorem 1 can be reduced to a single case as
. By using Corollary 1 of [
25], the maximum value of
with
is 0.21. Applying Theorem 1 of [
26], the maximum value as
with
can be found. Based on
Theorem 1 of this paper, maximum values are
with
and
with
. The comparing results are stated in
Figure 8. From
Figure 8, the criteria in [
25,
26] cannot allow the value of
. Moreover, the values of
found by
Theorem 1 of this paper are bigger than ones found by the criteria of [
25,
26]. The above results mean that the number of the positive definite matrix in the Lyapunov-Krasovskii function determines relaxation. Moreover, the free-matrix inequality in
Lemma 1 reduces the limitation as
. Thus, it is easy to find that
Theorem 1 of this paper provides a less conservative criterion than the one in [
25,
26] in this case.