Stabilizing Fuzzy Output Control for a Class of Nonlinear Systems

e paper presents new conditions suitable in design of a stabilizing output controller for a class of continuous-time nonlinear systems, represented by Takagi-Sugeno models. Taking into account the affine properties of the TS model structure and applying the fuzzy control scheme relating to the parallel distributed output compensators, the sufficient design conditions are outlined in terms of linear matrix inequalities. e proposed procedure decouples the Lyapunov matrix and the system parameter matrices in the LMIs and guarantees global stability of the system. Simulation result illustrates the design procedure and demonstrates the performances of the proposed design method.


Introduction
Contrarily to the linear framework, nonlinear systems are too complex to be represented by uni�ed mathematical resources, and so a generic method has not been developed yet to design a controller valid for all types of nonlinear systems.An alternative to nonlinear system models is Takagi-Sugeno (TS) fuzzy approach [1], which bene�ts from the advantages of suitable linear approximation.Using the TS fuzzy model, each rule utilizes the local system dynamics by a linear model and the nonlinear system is represented by a collection of fuzzy rules.Recently, TS model based fuzzy control approaches are being fast and successfully used in nonlinear control frameworks.As a result, a range of stability analysis conditions [2][3][4][5], as well as control design methods [6][7][8][9][10][11], have been developed for TS fuzzy systems, relying mostly on the feasibility of an associated set of linear matrix inequalities (LMI) [12].An important fact is that the design problem is a standard feasibility problem with several LMIs, potentially reformulated such that the feedback gains can be solved numerically.In consequence, the state feedback control based on fuzzy TS systems model is mostly realized in such structures which can be designed using a technique based on LMIs.
e TS fuzzy model-based state control is based on an implicit assumption that all states are available for measurement.If it is impossible, TS fuzzy observers are used to estimate the unmeasurable states variables, and the state controller exploits the system state variable estimate values [13][14][15].e nonlinear output feedback design is so formulated as the two LMI set problems, and treated by the two-stage procedure, that is, dealing with a set of LMIs for the observer parameters at �rst and then solving another set of LMIs for the controller parameters [16].Since the fuzzy control design problem is preferred to be formulated as a one LMI set problem, such formulation for the output feedback control design is proposed in [17,18].
e main contribution of the paper is the presentation of the original design condition of the fuzzy output feedback control for the continuous-time nonlinear MIMO systems approximated by a TS model.e central idea of the TS fuzzy model-based control design, that is, to derive control rules so as to compensate each rule of a fuzzy system and construct the control strategy based on the parallel distributed compensators, is re�ected in the approach of output control, taking into account the fact that the desired output variables are measurable.Motivated by the above-mentioned observations, the proposed design method combines the principles given in [15,17], respecting the results presented in [19], and is constructed on an enhanced form of quadratic Lyapunov function [20].Comparing with the approaches based on a quadratic Lyapunov matrix [15,17,21], which are particularly in the case of a large number of rules very conservative as a common symmetric positive de�nite matrix is used to verify all Lyapunov inequalities, presented principle naturally extends the affine TS model properties using slack matrix variables to decouple Lyapunov matrix and the system matrices in LMIs, does not use iterative algorithms based on LMIs or matrix norm bounds, and gives substantial reducing of conservativeness.Potentially, extra constraints can be imposed to the slack matrices, but such additive constraints can potentially increase the conservativeness of the proposed design conditions.e remainder of this paper is organized as follows.In Section 2 the structure of TS model for considered class of nonlinear systems is brie�y described, and some of its properties are outlined.e output feedback control design problem for systems with measurable premise variables is given in Section 3, where the design conditions that guarantee global quadratic stability are formulated and proven.e method is reformulated in Section 4 in a newly de�ned enhanced criterion for fuzzy output feedback control design.Section 5 gives the numerical example to illustrate the effectiveness of the proposed approach and to con�rm the validity of the control scheme.e last section draws conclusions and some future directions.
roughout the paper, the following notations are used:   ,   denote the transpose of the vector  and matrix , respectively, diag[⋅] denotes a block diagonal matrix, for a square matrix     > 0 (resp.,     < 0) means that  is a symmetric positive de�nite matrix (resp., negative de�nite matrix), the symbol   represents the th order unit matrix, ℝ denotes the set of real numbers, and ℝ  denotes the set of all    real matrices.
Considering that the number of the nonlinear terms in (()) is , there exists a set of nonlinear sector functions as follows: () ,   , ,  , ,   , ,  , , where  is the number of sectors, and is the vector of premise variables.It is assumed that the premise variable is a system state variable, or a measurable external variable, and none of the premise variables does not depend on the inputs ().Using a TS model, the conclusion part of a single rule consists no longer of a fuzzy set [3], but determines a function with state variables as arguments, and the corresponding function is a local function for the fuzzy region that is described by the premise part of the rule.us, using linear functions, a system state is described locally (in fuzzy regions) by linear models, and at the boundaries between regions an interpolation is used between the corresponding local models.
us, constructing the set of membership functions {  (())       (  ()),   , ,  ,     } from all combinations of sector functions, the �nal states of the systems are inferred as follows: with the output given by the relation where is the average weight for the th rule, representing the normalized grade of membership (membership function).By de�nition, the membership functions satisfy the following convex sum properties: Assuming that (()) and (()) are bounded in sectors, that is, in the fuzzy regions within the system will operate, and (()) takes the value ()  , the fuzzy approximation of (1) leads to (6).us,    ℝ  is the matrix of (()),    ℝ  is the matrix of (()), respectively, both for ()    , where   is the th combination of the bounds of the sector functions with respect to the center of the th fuzzy region, dedicated by (3).It is evident that a general fuzzy model is achieved by fuzzy amalgamation of the linear systems models.
Note, the model ( 5) and ( 6) is mostly considered for analysis, control, and state estimation of nonlinear systems.Assumption 1.Each triplet (  ,   , ) is locally controllable and observable, the matrix  is the same for all local models, and the number of input variables is equal to the number of output variables.
It is supposed in the following considerations that the aforementioned model does not include parameter uncertainties or external disturbances, and the premise variables are measured.

Fuzzy Output Control Design
In the next, the fuzzy output controller is designed using the concept of parallel distributed compensation, in which the fuzzy controller shares the same sets of normalized membership functions like the TS fuzzy system model.�e�nition �.Considering ( 5) and ( 6), and using the same set of normalized membership function (8), the fuzzy static output controller is de�ned as Note that the fuzzy controller ( 9) is in general nonlinear.eorem 2. e equilibrium of the fuzzy system (5) and (6), controlled by the fuzzy controller (9), is global asymptotically stable if there e�ist a positive de�nite symmetric matri� W ∈ ℝ  and matrices   ,   ∈ ℝ  such that for ℎ  (())ℎ  (())  0, ,  = , 2,  , .

If the above conditions hold, the set of control law gain matrices is given as
where ⊖ is Moore-Penrose pseudo-inverse of .
Proof .Considering the model ( 6) and ( 2) and the control law (9), then it yields In order to analyze the convergence of the system state, the quadratic positive Lyapunov function is considered as follows: where  ∈ ℝ  is a positive de�nite symmetric matrix.�en, the time derivative of (()) along the system trajectory is Substituting ( 14) in ( 16), and introducing the term as follows: where and {  =    ∈ ℝ  , ,  = , 2,  ,  is the set of matrices.In the sense of Krasovskii theorem (see, e.g., [22]) it can be set up as follows: respectively, which implies It is evident that   has to be negative de�nite.Since  = , it is possible to set where and  ∈ ℝ  is a regular square matrix.Substituting ( 22) into ( 21) results in Premultiplying the le side and the right side of (24) by  − leads to and using the notations then ( 25) implies (11).Since (25) 29) implies (10).In addition, (23) gives Premultiplying the right side of (30) by   gives and so it is us, ( 23) and ( 32) imply ( 12)-( 13), respectively.is concludes the proof.
Note, the derived results are linked to some existing �nding when the design problem involves additive performance requirements and the relaxed quadratic stability conditions of fuzzy control systems (see, e.g., [13,23]) are equivalently steered.
Trying to minimize the number of LMIs owing to the limitation of solvers, eorem 2 can be presented in the equivalent structure in which the number of stabilization conditions, used in fuzzy controller design, is equal to   ( 2 +2+1.Evidently, the number of stabilization conditions is substantially reduced if  is large.eorem 3. e equilibrium of the fuzzy system (5) and (6), controlled by the fuzzy controller (9) Premultiplying the le and the right side of ( 53) and ( 50) by where us, using the notations then ( 56), ( 58) implies (41).Since now, (()) in (57) and W(())W in (28), both have the same structure if  = W, (57) implies (40).
is principle naturally exploits the affine TS model properties.Introducing the slack matrix variables ,  into the LMIs, the system matrices are decoupled from the equivalent Lyapunov matrix .Note, the above-presented inequalities are linear matrix inequalities, but the equivalent Lyapunov matrix  is not a symmetric matrix.Introducing a scalar design parameter   0,   , eorem 4 can be modi�ed in the next form.
us, the equilibrium of the fuzzy system (5) and (6), controlled by the fuzzy controller (9), is global asymptotically stable if for given positive scalar   0,    there exist positive de�nite symmetric matrices ,     , and matrices   ,      such that (62)-(63) hold.Subsequently, the set of control law gain matrices is given by (42)-(43).
Note, (63) represents the set of LMIs only if  is a prescribed constant ( can be considered as a tuning parameter).Considering  as a LMI variable, (63) represents the set of bilinear matrix inequalities (BMI).eorem 6. e equilibrium of the fuzzy system (5) and (6), controlled by the fuzzy controller ( 9) is global asymptotically stable if there exist positive de�nite symmetric matrices ,     , a matrix     , and matrices   ,      such that and, evidently, (74), (75) imply (65),(66) respectively.is concludes the proof.

Illustrative Example
e nonlinear dynamics of the hydrostatic transmission was taken from [24]   us, solving (62), (63) with respect to the LMI matrix variables , ,   ,   , , , , and with    then, using Self-Dual-Minimization (SeDuMi) package for Matlab [25,26], the feedback gain matrix design problem was feasible with the results

𝐓𝐓
which rise up a stable set of closed-loop subsystems.It can be seen that with an enough precision the used design conditions imply the approximately equal control gain matrices.
Comparing with design methods proposed in [17], the fuzzy control is so less conservative.e conditions in simulations were speci�ed for the system in the forced regime, where (84) Figure 1 shows the simulation result for the system with zero initial state.

Concluding Remarks
New approach for output feedback control design, taking into account the output matrix of the system model and the affine properties of the TS model structure, is presented in this paper.Applying the fuzzy output control scheme relating to the parallel distributed output compensators and introducing the slack matrices into an enhanced Lyapunov inequality, the method signi�cantly reduces the conservativeness in the control design conditions.By the proposed procedure, strictly decoupling a Lyapunov matrix and the system parameter matrices in the LMIs, the control problem is parameterized in such LMI structure which admit more freedom in guaranteeing the output feedback control performances.Sufficient conditions of the controller existence, manipulating the global stability of the system, imply the control structure which stabilizes the nonlinear system in the sense of Lyapunov, and the design of controller parameters directly from these conditions is a solved numerical problem.An additional bene�t of the method is that controllers use minimum feedback information with respect to desired system output and the approach is �exible enough to allow the inclusion of additional design conditions such as fuzzy Lyapunov functions.e validity and applicability of the approach is demonstrated through a numerical design example.