Abstract

The finite-time admissibility analysis and controller design issues for extended T-S fuzzy stochastic singular systems (FSSSs) with distinct differential term matrices and Brownian parameter perturbations are discussed. When differential term matrices are allowed to be distinct in fuzzy rules, such fuzzy models can describe a wide class of nonlinear stochastic systems. Using fuzzy Lyapunov function (FLF), a new and relaxed sufficient condition is proposed via strict linear matrix inequalities (LMIs). Different from the existing stability conditions by FLF, the derivative bounds of fuzzy membership functions are not required in this condition. Based on admissibility analysis results, a design method for parallel distribution compensation (PDC) controller of FSSSs is given to guarantee the finite-time admissibility of the closed-loop system. Finally, the feasibility and effectiveness of the proposed methods in this article are illustrated with three examples.

1. Introduction

T-S fuzzy systems have gained a lot of attentions in the recent years mostly due to fuzzy systems being the omnipotent simulator of nonlinear systems [1]. Meanwhile, the related domestic and foreign research achievements of the T-S fuzzy system are abundant and creative [24]. Stability is the fundamental characteristic of the system, which is the precondition to make sure the control system can run normally. Based on the common Lyapunov function (CLF), the stability conditions of such systems are proposed via LMIs in [5]. Then, considering the conservatism of the CLF in the stability analysis, a fuzzy Lyapunov function is given in [6] to study this kind of systems. Singular systems are a class of more general dynamic systems with extensive application background and hence have attracted much attention [7, 8]. So, T-S fuzzy singular systems with distinct derivative term matrices [9] are generalized from normal systems, which can describe the actual system accurately. Afterwards, considering the system with time delay, the PDC controller design method of these systems is given without all the subsystems which are regular and impulse-free in [10]. In [11], PDC and proportional-derivative state feedback controller for fuzzy singular systems with different derivative matrices are designed. In [12], the dissipativity analysis and controller design for a class of fuzzy descriptor systems with different derivative matrices are studied. In [13], under the presence of uncertainties, the novel fuzzy sliding-mode controller is given to maintain the system states onto the predefined fuzzy manifold.

In practical systems, randomness and nonlinearity are inevitable [1416]. In this situation, it is necessary to study the stability of nonlinear stochastic singular systems. Considering the complexity of nonlinear stochastic singular systems, an effective method to use the fuzzy model as the approximators of the original system has achieved the analysis and control of such systems. The issues of robust stabilization for fuzzy stochastic singular systems are studied by using integral sliding-mode controller [17]. In [18], the sliding-mode controller design method of fuzzy stochastic singular systems with different local input matrices is given and it still has strong anti-interference. In [19], based on augmented singular sliding-mode observer, fault tolerant control for T-S fuzzy stochastic singular systems is discussed. In [20], using the suitable singular stochastic Lyapunov function, the sufficient conditions are firstly given to ensure the stochastically admissibility and dissipativity of the considered system. In [21], the integral sliding-mode controller is given for fuzzy singularly perturbed descriptor systems under nonlinear perturbation.

Different from Lyapunov asymptotic stability concept, finite-time stability issues focus on the behavior of the systems in a finite-time horizon. During the actual system operation, when the system is asymptotically stable, it may be useless because of the bad system instantaneous performance. So, related research studies on finite-time stability have received a lot of attention. In [22], the finite-time controller design method is given for the nonlinear delay system presented by a fuzzy model. The reliable finite-time control issues of singular nonlinear delay markov systems with bounded transition probabilities are considered in [23]. For the case of time-varying and unknown transition probabilities, finite-time filtering T-S fuzzy nonhomogeneous Markov systems are addressed in [24]. Sufficient conditions are given to ensure that the closed-loop system is finite-time bounded with the performance in [25]. In [26], considering unknown nonlinearities and random interference terms, a novel adaptive control method for the finite-time stability of nonlinear stochastic systems is proposed. In [27], the sufficient conditions of finite-time stability are given for the stochastic singular biological economic systems based on CLF. At present, the research on finite-time stability of fuzzy singular stochastic systems with Brownian motion is not sufficient, especially distinct differential term matrices in fuzzy rules.

Based on the above analysis, in this paper, the finite-time admissibility issues of T-S fuzzy singular stochastic systems with distinct differential term matrices and Brownian parameter perturbations are discussed via FLF. Firstly, the innovative sufficient condition is proposed to ensure that these systems are finite-time admissible via strict LMIs. Then, a novel design approach of fuzzy PDC controller is given, which avoids solving bilinear matrix inequalities. Finally, the effectiveness and feasibility of the improved method are verified by three examples. The contributions of this article are summarized as follows:(i)The finite-time admissibility analysis and controller design for T-S fuzzy singular stochastic systems with distinct differential term matrices and Brownian parameter perturbations are studied. And this kind of systems can describe a wide range of nonlinear singular stochastic systems, and many actual systems are described more simply and naturally by such systems. Unlike existing methods, a relaxed finite-time admissibility condition is given based on FLF. Meanwhile, considering it is hard to obtain the bounds of derivatives for fuzzy membership functions, fuzzy Lyapunov matrices are redesigned to eliminate the derivatives of membership functions appearing in the admissibility condition.(ii)Fuzzy PDC controller is further investigated to guarantee closed-loop finite-time admissibility. Using FLF to analyze stability, it is unavoidable to solve the bilinear matrix problem in the design process of PDC controller. Under the proposed approach, the controller design becomes simple and effective in form of strict LMIs.

2. Notations

: determinant of the matrix   : -dimensional real Euclidean space  : matrices with real elements  : degree of the polynomial  : Moore–Penrose pseudo inverse of   : positive (negative) semidefinite matrix  : positive (negative) matrix  : rank of the matrix

The off-diagonal blocks of the symmetric matrix can be abbreviated as , i.e.,

3. Preliminaries

Consider the following fuzzy singular models with distinct derivative matrices and Brownian parameter perturbations:

where denotes state vectors, and denote input/output vectors, and , , , , and are known matrices, and, are fuzzy sets, and denote premise variables which may be the functions of system states.

Consider the derivative matrices which met the basic assumptions.

Assumption 1 (see [10, 20]). where are full column rank matrices and is an invertible matrix.
Using Assumption 1, we can find two invertible matrices and , such thatThen, considering , the fuzzy rules are transformed as : IF is , is ,AND is , THENwhere is the same as (5) andThen, the overall fuzzy model can be given as follows:where , and we can directly find

Assumption 2. , where are the known constant.

Remark 1. By the shape of membership functions, the boundary can be obtained accurately. In general case, .
For simplicity, system (7) is rewritten byThe definition for unforced systems is given as follows:

Definition 1. (i)System (11) is regular at if satisfies(ii)System (11) is impulse-free at when(iii)System (11) is stochastic finite-time stable (FTS) with respect to , where , , if(iv)System (11) is stochastic finite-time admissible if the system is regular, impulse-free, and stochastic finite-time stable.

Lemma 1 (see [28]). Given the piecewise continuous matrix ; if there exist the norm-bounded time-varying matrix and a scalar such thatthen the following holds:(i) is invertible(ii) is bounded

Lemma 2 (see [29]). Given a matrix , thenis fulfilled if the following conditions are hold:

Lemma 3. When , the following statements are true:(i)Matrix satisfiesif and only ifwhere . Meanwhile, if is the invertible matrix, we can obtain that and .(ii)Now, satisfying (18) is given aswhere , , , and is an arbitrary matrix.(iii)If is invertible, matrices and are two positive definite matrices, and satisfy (18), and is a diagonal matrix, and the following equality holds:

Then, the positive definite matrix is a solution of (21).

Proof. The proof of this lemma is similar to the proof process in literature [30], which is omitted here.

Lemma 4 (Gronwall inequality (see [31])). If nonnegative function satisfieswhere constants , we have

4. Main Result

4.1. Admissibility Analysis

The admissibility theorem for systems (11) is given as follows.

Theorem 1. System (11) is stochastic finite-time admissibility if there exist symmetric matrices , , , and , such thatwhere

Proof. Using Lemma 2 and (24) and (25), we haveThen,Further, by and , we getwhere .
Then, we haveNext, based on Lemma 3, can be constructed asSo, we getThen, according to (32) and (34), we havewhere means that it will not affect the proof.
Consideringit can be deduced that and are nonsingular based on Lemma 1. So, system (11) is regular and impulse-free.
Then, let us choose the candidate Lyapunov function asSince and are nonsingular, we can get is nonsingular.
Then,By the formula, the stochastic derivative of along the trajectory of system (11) can be obtained aswhereBy , we get .
Next,So,Further, we can obtainWhen , we haveThen, one hasSo, holds if and only if the following inequality holds:Multiplying inequality (46) on the left by and right , respectively, one hasAccording to Lemma 3, we obtain . Then, inequality (47) is rewritten asUsing Schur complement Lemma with (31), we haveIntegrating (49) and then taking the mathematical expectation, we getBy Lemma 4, we haveBecausethe following inequality can be obtained:Then, by (27), we haveSo, this system is stochastic finite-time stable. The proof is completed.

Remark 3. Based on FLF and stochastic system theory, the complete proof of the finite-time admissibility for fuzzy stochastic singular systems is firstly discussed, which provides a good base for the analysis and control of this kind of systems. Since the membership function is also related to the state of the system, it is difficult to obtain the boundary information of the membership function. In order to overcome this difficulty, in Theorem 1, through redesigning , we get

4.2. Controller Design

Fuzzy PDC controller for the T-S FSSs (11) is designed as follows. : IF is , is ,AND is , THENwhere is the feedback gain matrix. Then, the over fuzzy PDC controller is given as

The closed-loop system is

Theorem 2. System (11) is stochastic finite-time admissibile if there exist symmetric matrices , , and and matrices , , and , such thatwhereFurthermore, the feedback gains are given by .

Proof. Similar as the proof method of Theorem 1, we can obtainwhere .
Then, pre- and postmultiplying (62) by and its transpose matrix, we havewhere . Based on Theorem 1, system (58) is admissible. This completes the proof.

5. Illustrative Examples

Example 1. Consider the following fuzzy stochastic singular model:whereChoosing the parameter , the finite-time admissibility of this model is checked by comparing Theorem 1 and Theorem 10 in [27], for the pairs , where and . The feasible region is depicted in Figure 1. From Figure 1, it can be directly seen that Theorem 1 provides the larger feasible region.

Example 2. The 2-rule FSSSs with distinct differential term matrices are given aswhereChoosing the parameter , the PDC controller is solved by Theorem 2, and the obtained controller gains areSelecting the initial state and to verify the effectiveness of the proposed controller, the dynamic corresponding diagram of the open-loop system and closed-loop system is shown in Figures 2 and 3, respectively. From Figure 3, we can find that the system under the proposed controller is finite-time stable.

Example 3. Consider the DC motor actuated pendulum system in [17].where is the angular displacement of the pendulum; B is the angular velocity of the pendulum; , , and are the inductance voltage, electric current, and armature circuit applied voltage, respectively; parameter is the rotor mechanical inertia; and are the pendulum length and mass, respectively; is the gravity constant; is the motor torque constant; is the armature circuit inductance; is the armature circuit resistance; is the back electromotive force constant; and is the viscous friction coefficient.
Considering the influence of random factors on the system, we assume that the viscous friction coefficient is affected by the white noise. LetThis system is rewritten asThen, based on sector nonlinearity approach, the parameters of the fuzzy stochastic singular system can be obtained aswhereAccording to Theorem 2, choosing , the controller gains and are given byChoosing the initial states , the resultant stochastic state responses (30 tests) and mean of the closed-loop system under PDC controller are shown in Figures 47 . So, this system under PDC controller is finite-time stable.

6. Conclusions

This paper studies finite-time admissibility analysis and controller design issues for FSSSs with distinct differential term matrices and Brownian parameter perturbations. Based on FLF approach and -type stochastic system theory, the finite-time admissibility criterion of T-S fuzzy stochastic singular systems is proposed. The boundary information of derivative of fuzzy membership function is not needed in this admissibility condition. Furthermore, the PDC controller design method is given to ensure finite-time admissibility of the closed-loop system. Finally, simulation examples are used to test the feasibility and practicability of the proposed results.

It is important to point out that the other control problems of T-S FSSSs with distinct differential term matrices and Brownian parameter perturbations can also follow the proposed method in this paper, e.g., observer design, output feedback controller design, robust controller design, and so on. Meanwhile, if the differential term matrices do not satisfy the assumption condition, the corresponding problems will become very difficult and full of challenging. These topics are for future study.

Data Availability

The data used to support the findings of this study are included in this paper.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was supported in part by the National Natural Science Foundation of China under Grants 62003033 and 61903026, in part by the Fundamental Research Funds for the Central Universities under Grants FRF-TP-19-033A1 and FRF-TP-18-103A1, in part by the Guangdong Basic and Applied Basic Research Foundation under Grants 2019A1515111141, and in part by the Open Research Fund of Engineering Research Center of Intelligent Control for Underground Space, Ministry of Education, China University of Mining and Technology under Grants 2019-KF-23-04.