Analysis and Synthesis of Stochastic Nonlinear SystemsView this Special Issue
Research Article | Open Access
Li Li, Qingling Zhang, Yi Zhang, Baoyan Zhu, " Fuzzy Control for Nonlinear Singular Markovian Jump Systems with Time Delay", Mathematical Problems in Engineering, vol. 2015, Article ID 896515, 13 pages, 2015. https://doi.org/10.1155/2015/896515
Fuzzy Control for Nonlinear Singular Markovian Jump Systems with Time Delay
This paper investigates the problem of fuzzy control for a class of nonlinear singular Markovian jump systems with time delay. This class of systems under consideration is described by Takagi-Sugeno (T-S) fuzzy models. Firstly, sufficient condition of the stochastic stabilization by the method of the augmented matrix is obtained by the state feedback. And a designed algorithm for the state feedback controller is provided to guarantee that the closed-loop system not only is regular, impulse-free, and stochastically stable but also satisfies a prescribed performance for all delays not larger than a given upper bound in terms of linear matrix inequalities. Then fuzzy control for this kind of systems is also discussed by the static output feedback. Finally, numerical examples are given to illustrate the validity of the developed methodology.
Singular systems, also known as descriptor systems, have been widely studied in the past several decades. They have broad applications and can be found in many practical systems, such as electrical circuits, power systems, network, economics, and other systems [1, 2]. Due to their extensive applications, many research topics on singular systems have been extensively investigated such as the stability and stabilization [3, 4] and control problem [5, 6]. A lot of attention has been paid to the investigation of Markovian jump systems (MJSs) over the past decades. Applications of such class of systems can be found representing many physical systems with random changes in their structures and parameters. Many important issues have been studied for this kind of physical systems, such as the stability analysis, stabilization, and control [7–10]. When singular systems experience abrupt changes in their structures, it is natural to model them as singular Markovian jump systems (SMJSs) [11–13]. Time delay is one of the instability sources for dynamical systems and is a common phenomenon in many industrial and engineering systems such as those in communication networks, manufacturing, and biology . So the study of SMJSs with time delay is of theoretical and practical importance [15, 16].
The fuzzy control has been proved to be a powerful method for the control problem of complex nonlinear systems. Specially, the Takagi-Sugeno (T-S) fuzzy model has attracted much attention due to the fact that it provides an efficient approach to take full advantage of the linear control theory to the nonlinear control. In recent years, this fuzzy-model-based technique has been used to deal with nonlinear time delay systems [17, 18] and nonlinear MJSs [19, 20]. But singular Markovian jump fuzzy systems (SMJFSs) are not fully studied [21, 22], which motivates the main purpose of our study. In this paper, a new method using the augmented matrix will be given to the control of SMJFSs. By this method the number of LMIs will be decreased, so the complexity of the calculation will be greatly reduced when the number of fuzzy rulers is relatively large. And, at the same time, some new relaxation matrices added will reduce the conservation of control conditions compared with previous literatures. And when using the augmented matrix to design the static output feedback control, there are not any crossing terms between system matrices and controller gains, so assumptions for the output matrix , the equality constraint for the output matrix , and the bounding technique for crossing terms are not necessary; therefore, the conservatism brought by them will not exist.
In this paper, the fuzzy control problem for a class of nonlinear SMJSs with time delay which can be represented by T-S fuzzy models is considered. Our aim is to design fuzzy state feedback controllers and static output feedback controllers for SMJFSs with time delay, such that closed-loop systems are stochastically admissible (regular, impulse-free, and stochastically stable) with a prescribed performance . Sufficient criterions are presented in forms of LMIs which are simple and easy to implement compared with previous literatures. Finally, numerical examples are given to illustrate the merit and usability of the approach proposed in this paper.
Notations. Throughout this paper, notations used are fairly standard; for real symmetric matrices and , the notation () means that the matrix is positive semidefinite (positive definite). represents the transpose of the matrix , and represents the inverse of the matrix . is the maximal (minimal) eigenvalue of the matrix . stands for a block-diagonal matrix. is the unit matrix with appropriate dimensions, and, in a matrix, the term of symmetry is stated by the asterisk “.” Let stand for the -dimensional Euclidean space, is the set of all real matrices, and denotes the Euclidean norm of vectors. denotes the mathematics expectation of the stochastic process or vector. stands for the space of -dimensional square integrable functions on . denotes Banach space of continuous vector functions mapping the interval into with the norm .
2. Basic Definitions and Lemmas
Consider a SMJFS; its th fuzzy rule is given by : if is , is , and is , then where is the state vector, is the control input, is the exogenous disturbance which belongs to , and is the controlled output. is a compatible vector-valued initial function, and is an unknown but constant delay satisfying . The scalar is the number of If-Then rules. are fuzzy sets. are premise variables. may be a singular matrix with . , , , , , , , and are known constant matrices with appropriate dimensions. is a continuous-time Markovian process with right continuous trajectories taking values in a finite set given by with the transition rate matrix satisfying where , , and , for , is the transition rate from mode at time to at time and .
By fuzzy blending, the overall fuzzy model is inferred as follows: where , . Letting , it follows that , .
For the notational simplicity, in the sequel, for each possible , , , , , and so on.
Definition 1 (see [15, 25]). (i) For a given scalar , the SMJS with time delayis said to be regular and impulse-free for any constant time delay satisfying , if pairs and are regular and impulse-free.
(ii) System (4) is said to be stochastically stable if there exists a finite number such that the following inequality holds: (iii) System (4) is said to be stochastically admissible if it is regular, impulse-free, and stochastically stable.
Lemma 2 (see ). Given matrices , if is nonsingular, there exist matrices , such that , where , such that , , , , and .
Lemma 3 (see ). For matrices , , and with appropriate dimensions, the following inequality holds:
Lemma 4 (see ). For any constant matrix , , scalar , and vector function such that the following integration is well defined; then
Lemma 5 (see ). Suppose there are piecewise continuous real square matrices , , and satisfying for all . Then the following conditions hold:(i) and are nonsingular.(ii) for some .
Lemma 6 (see ). If the following conditions hold:then the following parameterized matrix inequality holds: where and .
Based on the parallel distributed compensation, the following state feedback controller will be considered here: where () are local controller gains, such that the closed-loop system is stochastically admissible.
3. The Design of the State Feedback Controller
Remark 7. For systems (11) and (12), it can be seen thatBy and Definition 1, it can be obtained that the regularity and nonimpulse of system (11) are equal to the regularity and nonimpulse of system (12). So the stochastic admissibility of system (11) can be studied by system (12).
Theorem 8. For a prescribed scalar , there exists a state feedback controller (10) with such that system (11) when is stochastically admissible for any constant time delay satisfying , if there exist matrices , , , , , , , and , , such thatwhere , , , , , , , , is any matrix with full column rank and satisfies , and are nonsingular matrices that make .
Proof. From (15), it can be concluded that and are nonsingular matrices. Because , Denote ; from (17), it is easy to obtain that and is symmetric; then . So it can be concluded that and are nonsingular; furthermore, . Let . So is nonsingular. By Lemma 2, , where , , and is a matrix with full column rank and satisfies . Denote , , and . SoDenote , , and . By Lemma 3, it can be obtained that Now pre- and postmultiplying (15) by and its transpose, by Schur complement lemma, and (18)-(19), it is easy to see that where . Pre- and postmultiplying (16) by and its transposition by Schur complement lemma, it can be seen that From (20), it can be concluded that On the other hand, . Then Denote ; from (22), it can be obtained that for every , which implies that is nonsingular. Thus, the pair is regular and impulse-free for every . By (20), it is easy to see that Pre- and postmultiplying (25) by and its transpose, it can be obtained that Hence, Equation (27) implies that the pair is regular and impulse-free for every . Thus, by Definition 1, system (12) is regular and impulse-free. By Remark 7, this implies that system (11) is regular and impulse-free.
Now, it will be shown that system (11) is stochastically stable. Define a new process by ; then is a Markovian process with the initial state . Now, for , choose the following stochastic Lyapunov-Krasovskii candidate for this system: where Let be the weak infinitesimal generator of the random process . Then, for each ,From (21), it is clear that From Lemma 4, it follows thatSo it can be concluded that where Using (20), it is easy to see that there exists a scalar such that, for every , , where .
So, for , by Dynkin’s formula, it can be obtained that which yields Because , denoteBy the regularity and nonimpulse of system (11), is nonsingular; for each , set . It is easy to obtainwhere Then, for each , system (11) is equal to where .
For any , using Lemma 5, there exists a scalar such that , and , and ; it follows from (40) thatwhereThen, for any , Applying the Gronwall-Bellman lemma, it can be obtained, for any , thatThus, It can be seen from (40) that where , , . Hence, where . Therefore, Note that Then, from (48) and (28), it can be obtained that there exists a scalar such that This together with (36) and (48) implies that there exists a scalar such that Considering this and Definition 1, system (11) is stochastically stable for any constant delay satisfying . Therefore, system (11) is stochastically admissible. This completes the proof.
In the following, a set of sufficient conditions will be developed under which the considered system is guaranteed to be stochastically admissible with an performance.
Definition 9. System (11) is said to be stochastically admissible with an performance , if it is stochastically admissible when , and under zero initial condition, for nonzero ,
The following result can be presented.
Theorem 10. For a prescribed scalar , there exists a state feedback controller (10) with such that system (11) is stochastically admissible with an performance for any constant time delay satisfying , if there exist matrices , , , , , , , and , , , such that (16) and whereand the other notations are the same as in Theorem 8.
Proof. From Theorem 8 when system (11) is stochastically admissible. Let Under zero initial condition, it is easy to see that where and notations of , , and are the same as in Theorem 8. Hence, by Schur complement lemma and using the similar method in the proof of Theorem 8, from (16) and (53), it can be obtained that for all . Therefore, for any nonzero , (52) holds. Hence, according to Definition 9, the system is stochastically admissible with an performance . This completes the proof.
Remark 11. Compared with methods in [21, 22], because of the method of the augmented matrix adopted in Theorems 8 and 10, the number of LMIs needed to solve is relatively small in this paper. When the value of is relatively large, the quality of the computation is greatly reduced. some new relaxation matrices added will reduce the conservatism of control conditions compared with previous literatures, which can be seen from Example 2.
4. The Design of the Static Output Feedback Controller
When , consider the overall SMJFS as follows: