LMIs in Control/pages/Quadratic Stability

LMIs in Control/pages/Quadratic Stability


The System: edit

A TS fuzzy model allows the representation of a non-linear model as a set of local LTI (Linear Time Invariant) models  , each one called subsystem. A subsystem is the local representation of the system in the space of premise variables   =   which are known and could depend on the state variables and input variables.

The Optimization Problem: edit

Let consider an autonomous system  =  with   being a constant matrix. If we define the Lyapunov function  = , then the system is stable if there exist   such that condition is satisfied.

 

If we have a family of matrices   (where   is a parameter that is bounded by a polytope ∆) instead of a single matrix A, then the system equation becomes  =  and condition should be satisfied for all possible values of  . If exists   such that following condition is satisfied then the system is quadratically stable.

   ∈ ∆.

Since there are an infinite number of matrices A(δ(t)) there is also an infinite number of constraints like that for quadratic stability mentioned previously that should be fulfilled. From a practical point of view this makes the problem impossible to be solved. Let consider now that the system   can be written in a polytopic form as a Takagi-Sugeno (TS) polytopic system with premise variables   and a set of r subsystems   for  .

 .

It can be proven that a polytopic autonomous system is quadratically stable if previous condition is satisfied in the vertices (subsystems) of the polytope. Therefore there is no need to check stability in an infinite number of matrices, but only in subsystems matrices  .

  ∀i = 1, . . . , r.

Stability conditions can be applied to the closed-loop system and the following set of conditions are obtained.

  ∀i = 1, . . . , r.

  ∀i, j ∈ {1, . . . , r}, i < j.

where  and  .

In the special case where matrices Bi are constant (i.e.  ), the first set of inequalities are enough to prove stability. Therefore, assuming constant B for all the subsystems, if there exist P > 0 such that conditions are fulfilled, then the polytopic TS model (2.2) with state feedback control is quadratically stable inside the polytope.

  ∀i = 1, . . . , r.

The assumption of constant B can be achieve using a prefiltering of the input. This change is not restrictive and the main consequence is the addition of some new state variables (the ones from the filter) to the TS model.



The LMI: edit

The design of the controller that stabilizes the closed-loop system boils down to solve the Linear Matrix Inequality (LMI) problem of finding a positive definite matrix P and a set of matrices   such that conditions are fulfilled. However, since the constraints should be linear combinations of the unknown variable, the following change of variables is applied:   where  . The solution of the LMI problem is the set of matrices   such that conditions are fulfilled.

 

 . ∀i = 1, . . . , r.

The i-th controller is computed from the solution as   =    

Conclusion: edit

The LMI is feasible.

Implementation edit

References edit

  • Control, A. (2016). Gain-scheduling Control of a Quadrotor Using the Takagi-Sugeno Approach.