This chapter describes widespread methods of model-based fuzzy control systems. The subject of this chapter is a systematic framework for the stability and design of nonlinear fuzzy control systems. We are trying to build a bridge between conventional fuzzy control and classic control theory. By building this bridge, the strong well developed tools of classic control could be used in model-based fuzzy control systems
Model-based fuzzy control, with the possibility of guaranteeing the closed loop stability, is an attractive method for control of nonlinear systems. In recent years, many studies have been devoted to the stability analysis of continuous time or discrete time model based fuzzy control systems (Takagi & Sugeno, 1985; Rhee & Won, 2006; Chen et al.,1993;Wang et al.,1996; Zhao et al.,1996; Tanaka & Wang, 2001; Tanaka et al.,2001). Among such methods, the method of Takagi-Sugeno (Takagi & Sugeno, 1985) has found many applications for modelling complex nonlinear systems (Tanaka & Sano, 1994;Tanaka & Kosaki, 1997;Li et al., 1998). The concept of sector nonlinearity (Kawamoto et al., 1992) provided means for exact approximation of nonlinear systems by fuzzy blending of a few locally linearized subsystems. One important advantage of using such a method for control design is that the closed-loop stability analysis, using the Lyapunov method, becomes easier to apply. Various stability conditions have been proposed for such systems (Tanaka &Wang, 2001), (Ting, 2006), where the existence of a common solution to a set of Lyapunov equations is shown to be sufficient for guaranteeing the closed-loop stability. Some relaxed conditions are also proposed in (Kim & Lee, 2000; Ding et al, 2006; Fang et al.,2006, Tanaka & Ikeda, 1998). Parallel Distributed Compensator (PDC) is a generalization of the state feedback controller to the case of nonlinear systems, using the Takagi-Sugeno fuzzy model (Wang et al.,1996). This method is based on partitioning nonlinear system dynamics into a number of linear subsystems, for which state feedback gains are designed and blended in a fuzzy sense. Takagi-Sugeno model and parallel distributed compensation have been used in many applications successfully (Sugeno & Kang, 1986, Lee et al., 2006, Hong & Langari, 2000, Bonissone et al., 1995). The Linear Matrix Inequality (LMI) technique offers a numerically tractable way to design a PDC controller with objectives such as stability (Wang et al.,1996; Ding et al, 2006; Fang et al., 2006; Tanaka & Sugeno 1992), H∞ control (Lee et al., 2001), H2 control (Lin & Lo, 2003), pole-placement (Jon et al, 1997; Kang & Lee, 1998), and others ( Tanaka & Wang, 2001).
2. Takagi-Sugeno fuzzy model
The main idea of the Takagi-Sugeno fuzzy modeling method is to partition the nonlinear system dynamics into several locally linearized subsystems, so that the overall nonlinear behavior of the system can be captured by fuzzy blending of such subsystems. The fuzzy rule associated with the i-th linear subsystem for the continuous fuzzy system and the discrete fuzzy system, can then be defined as
Continuous fuzzy system
Discrete Fuzzy System
where, is the state vector, is the input vector,, ,; are nonlinear functions of the state variables obtained from the original nonlinear equation, and are the degree of membership of in a fuzzy set. Whenever there is no ambiguity, the time argument in
Continuous fuzzy system
Discrete Fuzzy System
It is also true, for all
2.1. Building a fuzzy model
There are generally three approaches to build the fuzzy model: "sector nonlinearity," "local approximation," or a combination of the two.
2.1.1. Sector nonlinearity
Figure 1 illustrates the concept of global and local sector nonlinearity. Suppose the original nonlinear system satisfies the sector non-linearity condition (Kawamoto et al., 1992, as cited in Tanaka & Wang, 2001), i.e., the values of nonlinear terms in the state-space equation remain within a sector of hyper-planes passing through the origin. This model guarantees the stability of the original nonlinear system under the control law. A function Φ: R→R is said to be sector [a,c] if for all xϵR, y= Φ(x) lies between and.
The well-known nonlinear control benchmark, the ball-and-beam system is commonly used as an illustrative application of various control methods (Wang & Mendel, 1992) depicted in figure 2. Let x1(t) and x2(t) denote the position and the velocity of the ball and let x3(t) and x4(t) denote the angular position and the angular velocity of the beam Then, the system dynamics can be described by the following state-space equation
Where and u(t) is torque.and are nonlinear terms in the state-space equation. We define and. Assume and as the region within which the system will operate. Figure 3 shows that and its local sector operating region.The sector [b1, b2] consists of two lines blxl and b2xl, where the slopes are bl = 1 and b2=. It follows that
We present is represented as follows:
From the property of membership functions, we can obtain the membership functions
Similarly we obtain membership functions associated with. Assume and we have:
The exact TS-fuzzy model-based dynamic system of the ball and beam system can be obtained as following:
The fuzzy model has the following 4 rules:
2.1.2. Local approximation
The original system can be partitioned into subsystems by approximation of nonlinear terms about equilibrium points. This approach can have fewer rules and of course less complexity but it cannot guarantee the stability of the original system under the controller. Usually in this approach, construction of a fuzzy membership function requires knowledge of the behavior of the original system and of course different types of membership functions can be selected.
3. Parallel distributed compensation
Parallel distributed compensation (PDC) is a model-based design procedure introduced in (Wang et al,. 1995). Using the Takagi-Sugeno fuzzy model, a fuzzy combination of the stabilizing state feedback gains, associated with every linear subsystem is used as the overall state feedback controller. The general structure of the controller is then as
The output of the controller is represented by
The Takagi-Sugeno model and the Parallel Distributed Compensation have the same number of fuzzy rules and use the same membership functions.
4. Stability conditions and control design
A variety of problems arising in system and control theory can be reduced to a few standard convex or quasi-convex optimization problems involving linear matrix inequalities (LMIs). Lyapunov published his theory in 1890 and showed that is stable if and only if there exists a positive-definite matrix P such that. The Lypanov inequality, and is a form of an LMI.
An LMI has the form
Where are the given symmetric matrices and is the variable and the inequality symbol shows that is positive definite (Boyd, 1994).
4.2. Stability conditions
There are a large number of works on stability conditions and control design of fuzzy systems in the literature. A sufficient stability condition for ensuring stability of PDC was derived by Tanaka and Sugeno (Tanaka & Sugeno, 1990; 1992 ).
By substituting the controller output (15) into the TS model for the continuous fuzzy control (4), we have:
where, Similarly for the discrete fuzzy system we have
Theorem 1: The equilibrium of the continuous fuzzy system (3) with u(t) = 0 is globally asymptotically stable if there exists a common positive definite matrix P such that
that is, a common P has to exist for all subsystems.
Theorem 2: The equilibrium of the discrete fuzzy system (4) with u(t) = 0 is globally asymptotically stable i f there exists a common positive definite matrix P such that
that is, a common P has to exist for all subsystems.
The stability of the closed loop system can be derived by using theorem 1 and 2.
Theorem 3: The equilibrium of the continuous fuzzy control system described by (18) is globally asymptotically stable if there exists a common positive definite matrix P such that
Theorem 4: The equilibrium of the discrete fuzzy control system described by (20) is globally asymptotically stable if there exists a common positive definite matrix P such that
4.3. Stable controller design
By using the following conditions, the solution of the LMI problem for continuous and discrete fuzzy systems gives us the state feedback gains Fi and the matrix P (if the problem is solvable).
Consider a new variable then the stable fuzzy controller design problem is:
Continuous fuzzy system
Similarly for a discrete fuzzy system the design problem is
4.4. Decay rate
Therefore, by solving the following generalized eigenvalue minimization problem in X, the largest lower bound on the decay rate that can be found by using a quadratic Lyapunov function:
maximize subject to
Similarly for a discrete fuzzy system:
The generalized eigenvalue minimization can be found in (Tanaka & Wang, 2001).
4.5. Constraint on control
Theorem 5: Assume that the initial condition x(0) is known. The constraint is satisfied at all times if the LMIs
Hold, where and.
The above LMI design conditions depend on the initial states. Thus, if the initial states change, this means that the feedback gains Fi must be again determined. To overcome this disadvantage, modified LMI constraints on the control input have been developed, where is unknown but the upper bound of is known, i.e.,.
Theorem 6: Assume that, where x(0) is unknown but the upper bound is known. Then,
Proofs of theorem 1 and 2 are given in (Tanaka & Wang, 2001)
4.6. Performance-oriented parallel distributed compensation
In the modified PDC proposed in (Seidi & Markazi, 2011), unlike the conventional PDC, state feedback gains associated with every linear subsystem, are not assumed fixed. Instead, based on some pre-specified performance criteria, several feedback gains are designed and used for every subsystem. The overall gain associated with each of the subsystems, is then determined by a fuzzy blending of such gains, so that a better closed-loop performance can be achieved. The required membership functions are chosen based on some pre-specified performance indices, for example, a faster response or a smaller control input. In general, the rest of the method for calculating the overall state feedback gain remains similar to the conventional PDC method, as in (14) and (15). Figure 4, depicts the general framework for the proposed method, through which and depending on various performance criteria, different characteristics for the controller can be specified. For example, two different feedback gains could be designed for a typical subsystem; one providing a lower control input with a longer settling time response, and the other a faster response but with a larger control input. The idea is then to select the overall feedback gain for this subsystem as a weighted sum of such gains, where the weights are appropriately adjusted, in a fuzzy sense, during the time evolution of the system response, so that as a whole, a faster response with a lower control input can be achieved. For this purpose, when the magnitude of the control input becomes large, the relative weight of the first feedback gain is increased, so that the magnitude of the control input is kept within the permissible limits. On the other hand, when the control input is well below the permissible limit, the weight of the second feedback gain is increased, for a faster response. The dynamics of the resulting closed-loop control system can be analyzed as follows:
Consider the following Takagi–Sugeno model of the plant
The following structure is proposed for the fuzzy controller rules
Where, is the number of gain coefficients in the
The state space equations for the system of Figure 4 are
In order to apply the PDC methodology, the fuzzy Takagi-Sugeno Model is developed first (Seidi & Markazi, 2008). The nonlinear expression, for, can be expressed as
Where, and, hence, the membership functions for are obtained as
The resulting fuzzy model would then have the following fuzzy rules:
Assume, and other parameters are assumed unity then we have
The final output of the controller is
Using the MATLAB LMI Control Toolbox we obtain
Considering and by using the MATLAB LMI Control Toolbox we obtain:
We design a stable fuzzy controller by considering the decay rate and the constraint on the control input. The design problem of the FJR is defined as follows:
The following stabilizing feedback gains are chosen using the pole placement method, so that and produce large magnitude inputs for subsystems 1 and 2, respectively, and and induce low magnitude inputs for those subsystems. In particular,
The required simple membership functions are selected as in Figure 12, so that, with a decrease in the corresponding plant input, in subsystems 1 and 2 respectively, the overall feedback gains come closer to and, and with an increase in the corresponding control input respectively, the overall feedback gains come closer to and. Now, the fuzzy rules for the controller are constructed as follows:
Rule 1: If is and is "small" then
Rule 2: If is and is "large" then
Rule 3: If is and is "small" then
Rule 4: If is and is "large" then
A common positive definite matrix, P, satisfying the stability conditions (42) is obtained by solving the LMI problems:
Applying a unit step reference signal for, the response history and the corresponding control input are shown in Figures (13) and (14), respectively. Simulation results are investigated for the following three controllers:
A PDC controller with feedback gains and providing a high speed response, and with possible high control inputs (HPDC controller).
A PDC controller with feedback gains and providing a low speed response, and with a lower control input, as compared with the HPDC case (LPDC controller).
Proposed modified PDC controller, providing a fast response, yet with an acceptable level of control input (NPDC controller).
It is observed that the new controller provides a settling time similar to the HPDC case, with a much lower magnitude for the control input.
This chapter deals with approximation of the nonlinear system using Takagi-Sugeno (T-S) models with linear models as rule consequences and a construction procedure of T-S models. Also, the stability conditions and stabilizing control design of parallel distributed compensation (PDC) are discussed. It is seen that PDC a linear control method can be used to control the nonlinear system. Moreover, the stability analysis and control design problems for both continuous and discrete fuzz control systems can be transformed to linear matrix inequality (LMI) problems and they can be solved efficiently by convex programming techniques for LMIs. Design examples demonstrate the effectiveness of the LMI-based designs.