Recent Advances on the Theory and Applications of Networked Control SystemsView this Special Issue
Robust Fuzzy Control for Nonlinear Discrete-Time Stochastic Systems with Markovian Jump and Parametric Uncertainties
The paper mainly investigates the fuzzy control problem for a class of nonlinear discrete-time stochastic systems with Markovian jump and parametric uncertainties. The class of systems is modeled by a state space Takagi-Sugeno (T-S) fuzzy model that has linear nominal parts and norm-bounded parameter uncertainties in the state and output equations. An control design method is developed by using the Lyapunov function. The decoupling technique makes the Lyapunov matrices and the system matrices separated, which makes the control design feasible. Then, some strict linear matrix inequalities are derived on robust norm conditions in which both robust stability and performance are required to be achieved. Finally, a computer-simulated truck-trailer example is given to verify the feasibility and effectiveness of the proposed design method.
Over the past decade, there has been a rapidly growing interest in control and filtering of nonlinear systems, and there have been many successful applications [1–4]. In , based on the sum of squares approach, sufficient conditions for the existence of a nonlinear state feedback controller for polynomial discrete-time systems are given in terms of solvability of polynomial matrix inequalities. Reference  presents a stochastic distribution control algorithm; an optimal control law is then obtained using the penalty function method. Despite the success, it has become evident that many basic issues remain to be addressed. In particular, the control technique based on the so-called Takagi-Sugeno (T-S) fuzzy model  has attracted a great deal of attention (see [6–12]). This is because it is regarded as a powerful solution to bridging the gap between the fruitful linear control and the fuzzy logic control targeting complex nonlinear systems. The common practice of the technique is as follows. First, the nonlinear plant is represented by the T-S fuzzy model. This fuzzy model is described by a set of fuzzy IF-THEN rules which correspond to local linear input-output relations of the system, respectively. The overall model of the system is achieved by fuzzy “blending” of these fuzzy models. Then, based on this fuzzy model, a control design is carried out based on the fuzzy models via the so-called parallel distributed compensation (PDC) scheme. The idea is that a linear feedback control is designed for each local linear model. The resulting overall controller, which is, in general, nonlinear, is again a fuzzy blending of each individual linear controller. Their works introduce the model-based analysis methods into fuzzy logic control.
In recent years, the stability issue and robust performance of T-S fuzzy control systems have been discussed in an extensive literature. Since the pioneering work on the so-called optimal control theory, there has been a dramatic progress in the control theory. Recently, the problem of nonlinear control was intensively studied (see [5, 7, 8, 13]). The design of controller for fuzzy dynamic systems was presented in the paper . Reference  introduces a new class of discrete-time networked nonlinear systems with mixed random delays and packet dropouts, and sufficient conditions for the existence of an admissible filter are established, which ensure the asymptotical stability as well as a prescribed performance. The authors in  analyzed the control design problem systematically for a class of nonlinear stochastic active fault-tolerant control systems with Markovian parameters. controller design which was considered in  noted that most of the aforementioned research efforts focused on the use of single quadratic Lyapunov function, which tended to give more conservative conditions. This is because with the use of parameter-dependent or basis-dependent Lyapunov function less conservative control results can be obtained than with the use of single Lyapunov quadratic function. More recently, there were many results on stability analysis and control synthesis of discrete-time uncertain systems based on parameter-dependent Lyapunov functions  or basis-dependent Lyapunov function (see [8, 14]). It is shown that with the use of Lyapunov function well-pleasing control results can be obtained.
In practice, a lot of physical systems have variable structures subject to random changes. These changes may result from abrupt phenomena such as random failures and repairs of the components, changes in the interconnections of subsystems, and sudden environment changes. The so-called Markovian jump systems (MJSS) are special class of hybrid systems. As one of the most basic dynamics models, Markov jump nonlinear system can be used to represent these random failure processes in manufacturing and some investment portfolio models. In the MJSS, the random jumps in system parameters are governed by a Markov process which takes values in a finite set. The class of systems may represent a large variety of processes including those in the production systems, fault-tolerant systems, communication systems, and economic systems . In the past two decades, many important issues of MJSS were researched extensively, such as the controllability and observability , stability and stabilization (see [17–22]),  and performance [24–27], and robustness [28, 29]. To the best of our knowledge, despite these efforts, very few results are available for the control design for nonlinear MJSS. In this study, a mode-dependent control design is proposed to achieve robust stability of uncertain discrete-time nonlinear MJSS via fuzzy control.
In the paper, robust control is investigated for nonlinear discrete-time stochastic MJSS with parametric uncertainties. Under our proposed fuzzy rules, the nonlinear discrete-time stochastic MJSS could be translated into a class of equivalent T-S fuzzy models with parametric uncertainties. The uncertainty could be translated into a linear fractional form, which includes the norm-bounded uncertainty as a special case and can describe a kind of rational nonlinearities. With the PDC scheme, the control law is designed to make the closed-loop system with norm bound stable. Besides, some matrix variables and the Lyapunov function for robust stabilization with -norm bound for the fuzzy discrete-time stochastic MJSS are given. It is shown that the solution of the control design problem can be obtained by solving a class of LMIs.
The paper is organized as follows. Section 2 discusses the T-S fuzzy models. And definitions and preliminary results are given for uncertain nonlinear discrete-time MJSS. Section 3 gives the analysis results of robust stability with performance, and the results are employed in the following to develop an control design. In Section 4, a numerical simulation example is proposed to illustrate the effectiveness of the approach. Finally, the paper is concluded in Section 5.
For convenience, the following basic notations are adopted throughout the paper. denotes the -dimensional real space, and denotes the set of all real matrices. indicates the transpose of matrix and represents a nonnegative definite (positive definite) matrix. Similarly, represents a nonpositive definite matrix (negative definite). refers to the space of square summable infinite vector sequences. stands for the usual norm. represents the mathematical expectation.
2. Problem Formulation and Preliminaries
Consider the following nonlinear MJSS: Assume that , , , , , , and are Borel measurable on . And is the system state, and represent the system control inputs and disturbance signal, and is system output. is a sequence of real random variables defined on a complete probability space , which is wide sense stationary, second-order processes with and , where refers to a Kronecker function; that is, if and if . is a measurable Markov chain taking values in a finite set , with transition probability matrix , where The paper considers the nonlinear discrete-time MJSS which can be described by the following T-S fuzzy model with uncertainties.
Rule i. If is , is is , then The are fuzzy sets; is the number of IF-THEN rules. Moreover, , , , , , , and are system matrices with parametric uncertainties. Besides, are the premise variables of the fuzzy modes and they are the functions of state variables.
Following the PDC scheme, we consider a state feedback fuzzy controller which shares the same structure of the above T-S fuzzy system, as follows.
Rule j. IF is , is is , then where are the local feedback gain matrices.
And the fuzzy basis functions are given by where is the grade of membership of in . By definition, the fuzzy basis functions satisfy A more compact presentation of the discrete-time T-S fuzzy model is given by where And , , , , , , and are assumed to be deterministic matrices with appropriate dimension; , and are unknown matrices which represent the time-varying parameter uncertainties and are assumed to be of the form where , and are known real constant matrices with appropriate dimension and unknown nonlinear time-varying matrix satisfying . To guarantee that the matrix is invertible for all admissible , it is necessary that .
The following definition and lemmas will be used later.
Definition 1. The discrete-time unforced uncertain fuzzy system is said to be robust stable with norm bound if it is stable with norm bound for all uncertainly admissible . For a given control law (4) and a prescribed level of disturbance attenuation to be achieved, the discrete-time fuzzy system (3) is said to be stabilizable with norm bound if for all , , the closed-loop system (7)-(8) is asymptotically stable and the response of the system under the zero initial condition satisfies
Lemma 2. It is supposed that , , and , so the discrete-time MJSS becomes The system (12) is globally asymptotically stable if there exists a symmetric piecewise matrix such that where .
Lemma 3. Given a matrix , , suppose , , . If then
Proof. It is noted that which gives Therefore, the result of Lemma 3 can be easily proven.
3. Robust Stability and Performance Analysis
In this section, the stability and performance for the nominal fuzzy system will be analyzed. Under control law (4), the closed-loop fuzzy system becomes When , the nominal closed-loop system becomes where
Theorem 5. The nominal closed-loop fuzzy system (22) is stable with norm bound ; that is, for all nonzero under the zero initial condition, if there exists matrices for all such that where
Proof. Obviously, inequality (25) implies the following inequality:
It can be checked from the result of Lemma 3 that for all ,
When , the inequality (28) becomes
When , the system (22) becomes
In what follows, we will drop the argument of for clarity. By some algebraic manipulation, with , the difference of Lyapunov function given by along the solution of system (31) is
It follows from (13), (28), and (29) that
which proves the stability of system (31).
It follows from (25) that for all exists Let For zero initial condition , one has Therefore, where defines the difference of along system (22). It is noted that, with defined by we have Then, it is obtained that which can be rewritten as By following similar line as in the proof of (34) it can be checked that, for any , which gives for any nonzero , , and .
Theorem 6. For the nominal fuzzy system (20), there exists a state feedback fuzzy control law (4) such that the closed-loop system is stable with norm bound , if there exist matrices , , and , satisfying the following LMIs: where represents the transposed matrices that are readily inferred by symmetry for all and except the pairs such that , for all . A robust stabilizing controller gain can be given by
Proof. By using (24) and (44), (43) becomes which gives . implies that yielding Note that is invertible. Premultiplying and postmultiplying to (46) give Set and ; there is It follows from Schur complement equivalence that The result then follows from Theorem 5.
Theorem 7. For the uncertain discrete-time MJSS (7), there exists a state feedback fuzzy control law (4) such that the closed-loop system is stable with norm bound , if there exist matrices , , and , satisfying the following LMIs: where represents the transposed matrices that are readily inferred by symmetry for all and except the pairs such that , for all . A robust stabilizing controller gain can be given by
Proof. By using Lemma 4, it can be checked that the feasibility of inequality (50) is equivalent to where It follows from (51)–(53) that which implies that the closed-loop system (20) and (21) is robustly stable with norm bound by Theorem 6.
Corollary 8. Consider the nominal unforced system The nominal unforced fuzzy system is stable with norm bound ; that is, for all nonzero under the zero initial condition, if there exist matrices , for all such that where .
Corollary 9. The nominal unforced fuzzy system (55) is stable with norm bound , if there exist matrices , , satisfying the following LMIs:
4. Numerical Simulation Example
In this section, to illustrate the proposed new fuzzy control method, the backing-up control of a computer-simulated truck-trailer is considered . For example, the truck-trailer model is given by where is the angle difference between truck and trailer, is the angle of trailer, and is the vertical position of rear end of trailer. The parameter is used to describe the actuator failure, where implies no failure, implies a total failure, and implies a partial failure. It is assumed that there is no actuator failure. Equations (59) and (60) are linear, but (61) is nonlinear. The model parameters are given as , , , , and .
The transition probability matrix that relates the three operation modes is given as follows: As in , we set and the nonlinear term as where , and . By solving the equations, it can be seen that the membership functions , have the following relations. When is about 0 rad, , , and when is about rad, , . Then the following fuzzy models can be used to design the fuzzy controller for the uncertain nonlinear MJSS.
Rule 1. If is about 0 rad, then
Rule 2. If is about rad, then where In the above uncertain fuzzy models, the uncertainty to describe the modeling error is assumed to be in the following form: where We choose the following matrices for the uncertain discrete-time MJSS: We set , , , and , , , , respectively. Based on Theorem 7 and using LMI control toolbox in Matlab to solve LMIs (50), we can obtain the feasible set of solutions as follows: By (51), there are the local state feedback gains given by