Abstract
The paper proposes a new design method based on linear matrix inequalities (LMIs) for tracking constant signals (regulation) considering nonlinear plants described by the Takagi-Sugeno fuzzy models. The procedure consists in designing a single controller that stabilizes the system at operation points belonging to a certain range or region, without the need of remaking the design of the controller gains at each new chosen equilibrium point. The control system design of a magnetic levitator illustrates the proposed methodology.
1. Introduction
In recent years the design of tracking control systems for nonlinear plants described by Takagi-Sugeno fuzzy models [1] has been the subject of several studies [2–10]. For the tracking problem the goal is to make the tracking error (difference between the output and desired output) equal to zero, ensuring the asymptotic stability of the equilibrium point. The linear matrix inequality (LMI) formulation [11] has emerged recently as a useful tool for solving a great number of practical control problems [9, 12–17]. The advantage is that LMIs, when feasible, can be easily solved using available software [18, 19]. Furthermore, the procedure based on LMIs can also consider other design specifications regarding plant uncertainties, such as decay rate (related to the setting time) and output and input constraints [20].
An interesting method for the design of tracking control systems using LMIs was studied in [2]. The tracking process uses the concept of virtual desired variable, and the design is divided into two steps: first determine the virtual desired variables of the system; then determine the control gains based on LMIs, for the stabilization of the system. In [4] is proposed a design method for tracking system with disturbance rejection applied to a class of nonlinear systems using fuzzy control. The method is based on the minimization of the norm between the reference signal and the tracking error signal, where the tracking error signal is the difference between the reference input signal and the output signal. In [6] is addressed the speed tracking control problem of permanent magnet synchronous motors with parameter uncertainties and load torque disturbance. Fuzzy logic systems are used to approximate the nonlinearities, and an adaptive backstepping technique is employed to construct the controllers. The proposed controller guarantees the convergence of the tracking error to a small neighborhood of the origin and achieves good tracking performance. A similar study is presented in [7], where a robust reference-tracking control problem for nonlinear distributed parameter systems with time delays, external disturbances, and measurement noises is studied; the nonlinear distributed parameter systems are measured at several sensor locations for output-feedback tracking control. A fuzzy-spatial state-space model derived via finite-difference approach was introduced to represent the nonlinear distributed parameter time-delayed system.
In this context there exist many other researches. In [21] a neural network-based approach was developed which combines control performance with the Takagi-Sugeno fuzzy control for the purpose of stabilization and stability analysis of nonlinear systems. In [22] an analytical solution was derived to describe the wave-induced flow field and surge motion of a deformable platform structure controlled with fuzzy controllers in an oceanic environment. In the controller design procedure, a parallel distributed compensation scheme was utilized to construct a global fuzzy logic controller by blending all local state feedback controllers, and the Lyapunov method was used to carry out stability analysis of a real system structure.
This paper proposes a new control methodology for tracking constant signals for a class of nonlinear plants. This method is based on LMIs and uses the Takagi-Sugeno fuzzy models to accurately describe the nonlinear model of the plant. The main idea of the method was to add in the domain of the nonlinear functions of the plant the coordinate of the equilibrium point that we desire to track. An application of the methodology in the control of a magnetic levitator, given in [23], is presented.
The main advantage of this new procedure is its practical application because the designer chooses the desired region of the equilibrium points and designs a single set of gains of the regulator that guarantees asymptotic stability of the system at any equilibrium point previously chosen in the region. This region is flexible and can be specified by the designer. The project considers that the change from an operating point to another occurs after large time intervals, such that in the instants of the changes the system is practically in steady-state. In addition, this new methodology allows the use of well-known LMIs-based design methods, for the design of fuzzy regulators for plants described by the Takagi-Sugeno fuzzy models, for instance presented in [11, 14, 15, 24–28], which allows the inclusion of the specification of performance indices such as decay rate and constraints on the plant input and output.
2. Preliminary Results
2.1. The Takagi-Sugeno Fuzzy Regulator
As described in [1], the Takagi-Sugeno fuzzy model is as follows. where , , is the fuzzy set of Rule , is the state vector, is the input vector, is the output vector, , , , and are premise variables, which in this paper are the state variables.
As in [24], given in (2.1) can be written as follows: where is the normalized weight of each local model system that satisfies the following properties:
Considering the Takagi-Sugeno fuzzy model (2.1), the control input of fuzzy regulators via parallel distributed compensation (PDC) has the following structure [24]:
Similar to (2.2), it can be concluded that
From (2.5), (2.2) and observing that , we obtain that Defining then (2.6) can be written as follows:
2.2. Stability of the Takagi-Sugeno Fuzzy Systems via LMIs
The following theorem, whose proof can be seen in [24], guarantees the asymptotic stability of the origin of the system (2.8).
Theorem 2.1. The equilibrium point of the continuous time fuzzy control system given in (2.6) is asymptotically stable in the large if a common symmetric positive definite matrix and exists such that the following LMIs are satisfied: for all , excepting the pairs such that for all . If there exists such a solution, the controller gains are given by .
In a control design it is important to assure stability and usually other indices of performance for the controlled system, such as the response speed, restrictions on input control, and output signals. The speed of the response is related to the decay rate of the system (2.6) or largest Lyapunov exponent, which is defined as the largest such that holds for all trajectories .
As in [11, page 66], one can use a quadratic Lyapunov function to establish a lower bound for the decay rate of system (2.6). The condition for all trajectories assures that the system has a decay rate greater or equal to . This condition is considered in Theorem 2.2, whose proof can be found, for instance, in [24].
Theorem 2.2. The equilibrium point of the continuous time fuzzy control system given in (2.8) is globally asymptotically stable, with decay rate greater or equal to , if there exists a positive definite symmetric matrix and matrices , such that the following LMIs are satisfied: for all , excepting the pairs such that for all . If there exists this solution, the controller gains are given by .
3. Magnetic Levitator
Currently, magnetic suspension systems are mainly used in applications where the reduction of friction force due to mechanical contact is essential. They are usually found in high-speed trains, gyroscopes, and accelerometers [23, page 23].
This paper considers the mathematical model of a magnetic levitator to illustrate the proposed control design method. Figure 1 shows the basic configuration of a magnetic levitator whose mathematical model [23, page 24] is given by where is the mass of the ball; is the gravity acceleration; and are positive constants; is the electric current; and is the position of the ball.
Define the state variable and . Then, (3.1) can be written as follows [29]:
Consider that, during the required operation, , where The paper aims to design a controller that keeps the ball in a desired position , after a transient response. Thus, the equilibrium point of the system (3.2) is .
From the second equation in (3.2), observe that, in the equilibrium point, and , where
Note that the equilibrium point is not in the origin . Thus, the following change of coordinates is necessary for the stability analysis: Therefore, , , and from (3.4), .
Hence, the system (3.2) can be written as follows: and also, after some simple calculations, by Finally, from (3.7) it follows that where
4. Regulator Design for an Operating Point
The goal of the design in this subsection is to keep the ball in a given position . In the first design, m, and in the second, m. Table 1 presents the parameters of the plant (3.8)–(3.10), for the controller design.
First, assume that m and consider the following domain during the operation
Now, from the generalized form proposed in [26], it is necessary to obtain the maximum and minimum values of the functions and in the domain . After the calculations, it follows that
Thus, the nonlinear the function can be represented by a Takagi-Sugeno fuzzy model, considering that there exists a convex combination with membership functions and and constant values and given in (4.2) such that [26] with Therefore, from (4.3) and (4.4) note that
Similarly, from (4.2) there exist and such that with Hence, from (4.6) and (4.7) observe that
Recall that . Therefore, from (4.3) it follows that
Similarly, from (4.6) and , we obtain
Now, define as the membership functions of the system (3.8)–(3.10), and their local models where and , and are the maximum and minimum values of the functions and , respectively, as described in (4.2).
Therefore, the system (3.8)–(3.10), with the control law (2.5), can be represented as a Takagi-Sugeno fuzzy model, given in (2.6) and (2.8), with :
Thus, using the LMIs (2.9) from Theorem 2.1, we obtain the following controller gains:
Considering the initial condition and m for the system (3.2) (for the system (3.8)–(3.10), the initial condition is ), the simulation of the controlled system (3.8)–(3.10), (2.5), and (4.14) presented the responses shown in Figures 2 and 3. Note that , as desired.
(a)
(b)
(a)
(b)
Now, suppose that the wanted position of the magnetic levitator is m. Thus, for the design of the control law, consider that in the required operation the domain is
For the generalized form, as proposed in [26], it is necessary to find the maximum and minimum values of the functions and in the domain . The obtained values were the following:
Considering the same procedure adopted in (4.3)–(4.12) and from the condition given in Theorem 2.1, we obtain the following controller gains: For the initial condition and m (for the system (3.8)–(3.10), the initial condition is ), the simulation of the controlled system (3.8)–(3.10), (2.5), and (4.17) presented the responses given in Figures 4 and 5.
(a)
(b)
(a)
(b)
Note that the gains of the controllers (4.14) and (4.17) change according to the change of . It happens because each time we change the value of , the operation point changes. Thus, the local models and membership functions also change. Therefore, following the presented control design method, it is necessary to design a new regulator when the value of changes, which makes difficult the practical implementation in cases where the system can work in different operating points. To solve this problem, in the next section we present a method for designing a single Takagi-Sugeno fuzzy controller via LMIs, for all of the range of known values of , related to the operation of the system.
5. Regulator Design for a Set of Operation Points
Before presenting the method, it is necessary to understand the following property.
Property 1. Let and be compact subsets such that , a continuous function and . If for some given , and , then and .
Proof. Suppose, by contradiction, that . Then, this implies that for all which is an absurd because is compact. Thus, there exists such that .
Similarly it is shown that .
Property 1 is important to justify the proposed methodology. For instance, suppose that the plant can work in the region and that we want the asymptotic stability of operating points , where is a known constant and . Thus the range of for all is . So we could get the gains of regulator for all , where will be considered as a new variable for the specification of the domain of the nonlinear functions and :
From Property 1, (4.1), (4.15), and (5.1) note that
Indeed, after the calculations, considering (3.9), (3.10), Table 1, and (5.1), we obtain
Based on the same procedure adopted in (4.3)–(4.12) (now for the domain ) and from the LMIs of Theorem 2.1, the controller gains are the following:
For numerical simulation, at s, the initial conditions are and m. Thus, . In s, from Figure 6, the system is practically at the point . After changing from 0.1 m to 0.05 m at s, we can see that the system is practically at the point at s from Figure 6. After changing again from 0.05 m to 0.08 m at s, we can see from Figure 6 that . Figures 6 and 7 illustrate the system response.
(a)
(b)
(a)
(b)
Note that the control law, given in (2.5) with , uses a single set of gains presented in (5.4). However, the membership functions , specified in (3.9), (3.10), (4.3)–(4.11), and (5.3), are functions of , and so they must be updated each time that there is a change in the value of . Finally, observe that also must be changed in the control law (2.5), when is modified.
Remark 5.1. In the example of the levitator, the range considered for the desired position point was and the domain of was . Thus, in general, the restriction for the proposed method is only that the region containing the desired equilibrium points must be contained in the domain of the state variables of the system. This region is flexible and can be chosen by the designer.
5.1. Regulator Design for a Set of Points of Operation with Rate of Decay
Usually, in control system designs, it is important to consider the stability and other performance indices for the controlled system, such as response speed, input constraint, and output constraint. The proposed methodology allows the specification of these performance indices, without changing the LMIs given in [11] (the same presented in Theorems 2.1 and 2.2), or their relaxations presented, for instance, in [14, 24], by adding a new set of LMIs.
Now, a decay rate will be specified for designing the new control gains for the magnetic levitator. Thus, it was considered (4.3)–(4.12), (5.3), and LMIs (2.11) from Theorem 2.2, with decay rate , and the obtained controller gains are the following:
The numerical simulation supposes the same condition of the last simulation; that is, initially it was considered the initial condition and m. In s the system is practically at the point , and then, is changed from 0.1 m to 0.05 m. At s the system is almost at the point , and now is changed from 0.05 m to 0.08 m. Figures 8 and 9 illustrate the response of the system.
(a)
(b)
(a)
(b)
As can be seen in Figure 8, using a decay rate greater than or equal to , the response of the system was adequate and faster, when compared with Figure 6. However, from (5.4) and (5.5), note that the controller gains are now greater and consequently the control signal and the electric current are also greater, as can be seen by comparing Figures 7 and 9.
Remark 5.2. The proposed methodology can also be applied when the plant has known parameters belonging to a given region. In this case, one must consider these parameters as new variables in the domain of the nonlinearities and obtain the maximum and minimum values of the nonlinearities, in the region of operation. In the example of the levitator, we can consider, for instance, that the mass is a known constant parameter, belonging to the range with and known constants. Thus, the nonlinearities (3.9) and (3.10) are now given by and , respectively. Note that, from (3.4), in this case also depends on the mass and therefore must be updated when the mass changes. The design considers that the change of the mass occurs after large time intervals, such that in the instants of the changes the system is practically in steady state.
6. Conclusions
In this paper we proposed a new design method of regulators with operating points belonging to a given region, which allows the tracking of constant signals for nonlinear plants described by the Takagi-Sugeno fuzzy models. The design is based on LMIs, and an application in the control design of a magnetic levitator illustrated the proposed procedure.
An advantage of the proposed methodology is that it does not change the LMIs given in the control design methods usually adopted for plants described by the Takagi-Sugeno fuzzy models, for instance, as proposed in [4, 11, 14, 15, 24–28, 30–32]. Furthermore, it allows to choose an equilibrium point of the system in a region of values previously established without needing of remaking the design of the controller gains for each new chosen equilibrium point. Moreover, the simulation of the application of this new control design method in a magnetic levitator presented an appropriate transient response, as can be seen in Figures 8 and 9. Thus, the authors think that the proposed method can be useful in practical applications of nonlinear control systems.
Acknowledgment
The authors gratefully acknowledge the financial support by CAPES, FAPESP, and CNPq from Brazil.