Open access peer-reviewed chapter

Stabilizing Fuzzy Control via Output Feedback

By Dušan Krokavec and Anna Filasová

Submitted: November 7th 2016Reviewed: February 24th 2017Published: August 30th 2017

DOI: 10.5772/68129

Downloaded: 547

Abstract

The chapter presents new conditions suitable in design of stabilizing static as well as dynamic output controllers 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 the terms of linear matrix inequalities. Depending on the proposed procedures, the Lyapunov matrix can be decoupled from the system parameter matrices using linear matrix inequality techniques or a fuzzy-relaxed approach can be applied to make closed-loop dynamics faster. Numerical examples illustrate the design procedures and demonstrate the performances of the proposed design methods.

Keywords

  • continuous-time nonlinear systems
  • Takagi-Sugeno fuzzy systems
  • linear matrix inequality approach
  • parallel-distributed compensation
  • output feedback

1. Introduction

Contrarily to the linear framework, nonlinear systems are too complex to be represented by unified 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 benefits from the advantages of suitable linear approximation of sector nonlinearities. 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 [25] as well as control design methods have been developed for TS fuzzy systems [69], relying mostly on the feasibility of an associated set of linear matrix inequalities (LMI) [10]. An important fact is that the design problem is a standard feasibility problem with several LMIs, potentially combined with one matrix equality to overcome the problem of bilinearity. In consequence, the state and output feedback control based on fuzzy TS systems models is mostly realized in such structures, which can be designed using numerical techniques based on LMIs.

The 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 state variables, and the state controller exploits the system state variable estimate values [1114]. The nonlinear output feedback design is so formulated as two LMI set problem, and treated by the two-stage procedure using the separation principle, that is, dealing with a set of LMIs for the observer parameters at first and then solving another set of LMIs for the controller parameters [15]. Since, the fuzzy output control does not require the measurement of system state variables and can be formulated as a one LMI set problem, such structure of feedback control is preferred, of course, if the system is stabilizable.

From a relatively wide range of problems associated with the fuzzy output feedback control design for the continuous-time nonlinear MIMO systems approximated by a TS model, the chapter deals with the techniques incorporating the slack matrix application and fuzzy membership-relaxed approaches. The 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 (PDC), is reflected in the approach of output control. Motivated by the above mentioned observations, the proposed design method respects the results presented in Refs. [16, 17], and is constructed on an enhanced form of quadratic Lyapunov function. Comparing with the approaches based only on quadratic Lyapunov matrix [18], which are particular in the case of large number of rules, that are very conservative as a common symmetric positive definite 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, and gives substantial reducing of conservativeness. Moreover, extra quadratic constraints are included to incorporate fuzzy membership functions relaxes [19, 20] and applied for static as well as dynamic TS fuzzy output controllers design. Note, other constraints with respect to, for example, to decay rate and closed-loop pole clustering can be utilized to extend the proposed design procedures.

The remainder of this chapter is organized as follows. In Section 2, the structure of TS model for considered class of nonlinear systems is briefly described, and some of its properties are outlined. The output feedback control design problem for systems with measurable promise variables is given in Section 3, where the design conditions that guarantees global quadratic stability are formulated and proven. To complete the solutions, Section 4 formulate the static decoupling principle in static TS fuzzy output control, and the method is reformulated in Section 5 in defined criteria for TS fuzzy dynamic output feedback control design. Section 6 gives the numerical examples to illustrate the effectiveness of the proposed approach, and to confirm the validity of the control scheme. The last section, Section 7, draws conclusions and some future directions.

Throughout the chapter, the following notations are used: xT, XT denotes the transpose of the vector x and matrix X, respectively, for a square matrix X = XT > 0 (respectively, X = XT < 0) means that X is a symmetric positive definite matrix (respectively, negative definite matrix), the symbol In represents the n-th order unit matrix, IRdenotes the set of real numbers, and IRn × r denotes the set of all n × r real matrices.

2. Takagi-Sugeno fuzzy models

The systems under consideration are from one class of multi-input and multi-output (MIMO) dynamic systems, which are nonlinear in sectors and represented by TS fuzzy model. Constructing the set of membership functions hi (θ(t)), i = 1, 2, …, s, where

θt=θ1tθ2tθqt,E1

is the vector of premise variables, the final states of the systems are inferred in the TS fuzzy system model as follows

q.t=i=1shiθtAiqt+Biut,E2

with the output given by the relation

yt=Cqt,E3

where q(t) ∈ IRn, u(t) ∈ IRr, y(t) ∈ IRm are vectors of the state, input, and output variables, Ai ∈ IRn × n, Bi ∈ IRn × r, C ∈ IRm × n are real finite values matrix, and where hi(θ(t)) is the averaging weight for the i-th rule, representing the normalized grade of membership (membership function).

By definition, the membership functions satisfy the following convex sum properties.

0hiθt1,i=1shiθt=1i1s.E4

It is assumed that the premise variable is a system state variable or a measurable external variable, and none of the premise variables depends on the inputs u(t).

It is evident that a general fuzzy model is achieved by fuzzy amalgamation of the linear system models. Using a TS model, the conclusion part of a single rule consists no longer of a fuzzy set [21], 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. Thus, 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.

Note, the models, Eqs. (2) and (3), are mostly considered for analysis, control, and state estimation of nonlinear systems.

Assumption 1 Each triplet (AiBiC) is locally controllable and observable, the matrix C is the same for all local models.

It is supposed in the next that the aforementioned model does not include parameter uncertainties or external disturbances, and the premise variables are measured.

3. Static fuzzy output controller

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.

Definition 1 Considering Eqs. (2) and (3), and using the same set of normalized membership function Eq. (4), the fuzzy static output controller is defined as

ut=j=1shjθtKjyt=j=1shjθtKjCqt.E5

Note that the fuzzy controller Eq. (5) is in general nonlinear.

Considering the system, Eqs. (2) and (3), and the control law, Eq. (5), yields

q.t=i=1sj=1shiθthjθtAi+BiKjCqt=i=1sj=1shiθthjθtAcijqt,E6
Acij=Ai+BiKjC,Acji=Aj+BjKiC.E7

Proposition 1 (standard design conditions). The equilibrium of the fuzzy system Eqs. (2) and (3), controlled by the fuzzy controller Eq. (5), is global asymptotically stable if there exist a positive definite symmetric matrix W ∈ IRn × n and matrices Yj ∈ IRr × m, H ∈ IRm × m such that

W=WT>0,E8
AiW+WAiT+BiYiC+CTYiTBiT<0,E9
AiW+WAiT2+AjW+WAjT2+BiYjC+CTYjTBiT2+BjYiC+CTYiTBjT2<0,E10
CW=HCE11

for i = 1, 2, …, s as well as i = 1, 2, …, s − 1, j = i + 1, i + 2, …, s, and hi(θ(t))hj(θ(t)) ≠ 0.

When the above conditions hold, the control law gain matrices are given as

Ki=YiH1.E12

Proof. (compare, for example, Ref. [16]) Prescribing the Lyapunov function candidate of the form

νqt=qTtPqt>0,E13

where P ∈ IRn × n is a symmetric positive definite matrix, the time derivative of Eq. (13) along the system trajectory is

ν.qt=q.TtPqt+qTtPq.t<0.E14

Inserting Eq. (6) into Eq. (14), it has to be satisfied

ν.qt=i=1sj=1shiθthjθtqTtPcijqt<0,E15
Pcij=PAcij+AcijTP.E16

Since P is positive definite, the state coordinate transform can be defined as

qt=Wpt,W=P1,E17

and subsequently, Eqs. (15) and (16) can be rewritten as

ν.pt=i=1sj=1shiθthjθtpTtWcijpt<0,E18
Wcij=AcijW+WAcijT.E19

Permuting the subscripts i and j in Eq. (18), also it can write

ν.qt=i=1sj=1shiθthjθtpTtWcjipt<0,E20
Wcji=AcjiW+WAcjiT.E21

Thus, adding Eqs. (17) and (19), it yields

2ν.pt=i=1sj=1shiθthjθtpTtWcij+Wcjipt<0E22

and subsequently,

ν.pt=i=1shi2θtpTtWciipt+2i=1s1j=i+1shiθthjθtpTtWcij+Wcji2pt<0,E23

which leads to the set of inequalities.

Ai+BiKiCW+WAi+BiKiCT<0,E24
Ai+BiKjCW2+Aj+BjKiCW2+WAi+BiKjCT2+WAj+BjKiCT2<0E25

for i = 1, 2, …, s as well as i = 1, 2, …, s − 1, j = 1 + 1, i + 2, …, s and hi(θ(t))hj(θ(t)) ≠ 0.

Thus, setting here

KjCW=KjHH1CW,E26

where H is a regular square matrix of appropriate dimension and defining

H1C=CW1,Yj=KjH,E27

the LMI forms of Eqs. (9) and (10) are obtained from Eqs. (24) and (25), respectively, and Eq. (27) implies Eq. (11). This concludes the proof.

Trying to minimize the number of LMIs owing to the limitation of solvers, Proposition 1 is presented in the structure, in which the number of stabilization conditions, used in fuzzy controller design, is equal to N = (s2 + s)/2 + 1. Evidently, the number of stabilization conditions is substantially reduced if s is large.

Proposition 2 (enhanced design conditions). The equilibrium of the fuzzy system Eqs. (2) and (3), controlled by the fuzzy controller Eq. (5), is global asymptotically stable if for given a positive δ ∈ IR, there exist positive definite symmetric matrices VS ∈ IRn × n, and matrices Yj ∈ IRr × m, H ∈ IRm × m such that

S=ST>0,V=VT>0,E28
AiS+SAiT+BiYiC+CTYiTBiTVS+δAiS+δBiYiC2δS<0,E29
ΦijVS+δAiS+AjS2+δBiYj+BjYi2C2δS<0,E30
CS=HC,E31

for i = 1, 2, …, s, as well as i = 1, 2, …, s − 1, j = 1 + 1, i + 2, …, s, hi(θ(t))hj(θ(t)) ≠ 0, and

Φij=AiS+SAiT2+AjS+SAjT2+BiYjC+CTYjTBiT2+BjYiC+CTYiTBjT2.E32

When the above conditions hold, the control law gain matrices are given as

Ki=YiH1.E33

Here and hereafter,denotes the symmetric item in a symmetric matrix.

Proof. Writing Eq. (6) in the form

i=1sj=1shiθthjθtAcijqtq.t=0,E34

then with an arbitrary symmetric positive definite matrix S ∈ IRn × n and a positive scalar δ ∈ IR, it yields

i=1sj=1shiθthjθtqTtS+δq.TtSAcijqtq.t=0.E35

Since S is positive definite, the new state variable coordinate system can be introduced so that

pt=Sqt,p.t=Sq.t,V=S1PS1.E36

Therefore, Eq. (14) can be rewritten as

ν.pt=p.TtVpt+pTtVp.t<0E37

and Eq. (35) takes the form

i=1sj=1shiθthjθtpTt+δp.TtAcijSptSp.t=0.E38

Thus, adding Eq. (38) as well as the transposition of Eq. (38) to Eq. (37), it yields

ν.pi=p.TtVpt+pTtVp.t+i=1sj=1shiθthjθtpTt+δp.TtAcijSptSp.t+i=1sj=1shiθthjθt(AcijSptSp.(t))Tpt+δp.t<0.E39

Using the notation

pcTt=pTtp.Tt,E40

the inequality Eq. (39) can be written as

ν.pct=i=1sj=1shiθthjθtpcTtScijpct<0,E41
Scij=Ai+BiKjCS+SAi+BiKjCTVS+δAi+BiKjCS2δS<0.E42

Permuting the subscripts i and j in Eq. (41), and following the way used above, analogously it can obtain

ν.pct=i=1shi2θtpcTtSciipct+2i=1s1j=i+1shiθthjθtpcTtScij+Scji2pct<0.E43

Since r = m, it is now possible to set

KjCS=KjHH1CS,E44

where H is a regular square matrix of appropriate dimension and introducing

H1C=CS1,Yj=KjHE45

then Eqs. (42) and (45) imply Eqs. (29)(31). This concludes the proof.

Note, Eq. (42) leads to the set of LMIs only if δ is a prescribed constant. (δ can be considered as a tuning parameter). Considering δ as a LMI variable, Eq. (42) represents the set of bilinear matrix inequalities (BMI).

Theorem 1 (enhanced relaxed design conditions). The equilibrium of the fuzzy system Eqs. (2) and (3), controlled by the fuzzy controller Eq. (5), is global asymptotically stable if for given a positive δ ∈ IR there exist positive definite symmetric matrices VS ∈ IRn × n, the matrices Xij=XjiTIRr×n, and Yj ∈ IRr × m, H ∈ IRm × m such that

S=ST>0,V=VT>0,X11X12X1sX21X22X2sXs1Xs2Xss>0,E46
AiS+SAiT+BiYiC+CTYiTBiT+XiiVS+δAiS+δBiYiC2δS<0,E47
ΦijVS+δAiS+AjS2+δBiYj+BjYi2C2δS<0,E48
CS=HC,E49

for i = 1, 2, …, s, as well as i = 1, 2, …, s − 1, j = 1 + 1, i + 2, …, s, hi(θ(t))hj(θ(t)) ≠ 0 and

Φij=AiS+SAiT2+AjS+SAjT2+BiYjC+CTYjTBiT2+BjYiC+CTYiTBjT2+Xij+Xji2.E50

When the above conditions hold, the control law gain matrices are given as

Ki=YiH1.E51

Proof. Introducing the positive real term

ννθt=qTtZθtqt>0,E52
Zθt=ZTθt=i=1sj=1shiθthjθtZij>0,E53

where Zij=ZjiTIRn×n, ij = 1, 2, …, s is the set of associated matrices and using the state coordinate transform Eq. (36), then Eq. (53) can be rewritten as

ννpt=i=1sj=1shiθthjθtpTtXijpt>0,Xij=S1ZijS1=XjiT,E54

where

Zθt=[h1(θtpth2(θtpths(θtpt]X11X12X1sX21X22X2sXs1Xs2Xss[h1(θ(t)p(t)h2(θ(t)p(t)hs(θ(t)p(t)]E55

is symmetric, an positive definite if Eq. (46) is satisfied. Then, in the sense of the Krasovskii theorem (see, for example, Ref. [22]), it can be set up in Eq. (39)

ν.pi=p.TtVpt+pTtVp.t+i=1sj=1shiθthjθtpTt+δp.TtAcijSptSp.t+i=1sj=1shiθthjθt(AcijSptSp.(t))Tpt+δp.t<i=1sj=1shiθthjθtpTtXijpt<0,E56

which in the consequence, modifies Eq. (42) as follows

Scij=Ai+BiKjCS+SAi+BiKjCT+XijVS+δAi+BiKjCS2δS<0.E57

Following the same way as in the proof of Proposition 2, then Eqs. (47) and (48) can be derived from Eq. (57), while Eq. (55) implies Eq. (46). This concludes the proof.

This principle naturally exploits the affine TS model properties. Introducing the slack matrix variable S into the LMIs, the system matrices are decoupled from the equivalent Lyapunov matrix V. Note, to respect the conditions X1j=XjiT, the set of inequalities Eqs. (47) and (48) have to be constructed. In the opposite case, constructing a set on s2 LMIs, the constraint conditions have to be set as X1j=XijT>0, that is, the weighting matrices have to be symmetric positive definite.

Corollary 1 Prescribing S = V and using the Schur complement property, then Eq. (57) implies

AcijS+SAcijT+Xij+0.5δSAcijTδ1S1δAcijS<0E58

and for δ = 0 evidently, it has to be

AcijS+SAcijT+Xij<0.E59

Evidently, then Eqs. (47) and (48) imply

SAi+BiKiCT+Ai+BiKiCS+Xii<0,E60
Ai+BiKjCS2+Aj+BjKiCS2+SAi+BiKjCT2+SAj+BjKiCT2+Xij+Xji2<0.E61

Considering S = W and comparing with Eqs. (23) and (24), then Eqs. (60) and (61) are the extended set of inequalities Eqs. (23) and (24). The result is that the equilibrium of the fuzzy system Eqs. (2) and (3), controlled by the fuzzy controller Eq. (5), is global asymptotically stable if there exist a positive definite symmetric matrices S ∈ IRn × n, the matrices X1j=XjiTIRr×n, and Yj ∈ IRr × n, H ∈ IRm × m such that

S=ST>0,X11X12X1sX21X22X2sXs1Xs2Xss>0,E62
AiS+SAiT+BiYiC+CTYiTBiT+Xii<0,E63
AiS+SAiT2+AjS+SAjT2+BiYjC+CTYjTBiT2+BjYiC+CTYiTBjT2Xij+Xji2<0,E64
CS=HC,E65

for i = 1, 2, …, s, as well as i = 1, 2, …, s − 1, j = 1 + 1, i + 2, …, s, and hi(θ(t))hj(θ(t)) ≠ 0. Subsequently, if this set of LMIs is satisfied, the set of control law gain matrices is given as

Ki=YiH1.E66

These LMIs form relaxed design conditions.

Note the derived results are linked to some existing finding when the design problem involves additive performance requirements and the relaxed quadratic stability conditions of fuzzy control systems (see, e.g., Refs. [11, 19]) are equivalently steered.

4. Forced mode in static output control

In practice, the plant with r = m (square plants) is often encountered, since in this case, it is possible to associate with each output signal as a reference signal, which is expected to influence this wanted output. Such mode, reflecting nonzero set working points, is called the forced regime.

Definition 2 A forced regime for the TS fuzzy system Eqs. (2) and (3) with the TS fuzzy static output controller Eq. (5) is foisted by the control policy

ut=j=1shjθtKjyt+i=1sj=1shiθthjθtWijwt,E67

where r = m, w(i) ∈ IRm is desired output signal vector, and Wij ∈ IRm × m, ij = 1, 2, … s is the set of the signal gain matrices.

Lemma 1. The static decoupling challenge is solvable if (AiBi) is stabilizable and

rankAiBiC0=n+m.E68

Proof. If (AiBi) is stabilizable, it is possible to find Kj such that matrices Acij = Ai + BiKjC are Hurwitz. Assuming that for such Kj, it yields

rankAiBiC0=rankAiBiC0In0KjCIm=rankAi+BiKjCBiC0,E69
rankAi+BiKjCBiC0=rankIn0CAi+BiKjC1ImAi+BiKjCBiC0,E70

respectively, then

rankAiBiC0=rankAi+BiKjCBi0CAi+BiKjC1Bi=n+m,E71

since rank(Ai + BiKjC) = n, and rankBi = m.

Thus, evidently, it has to be satisfied

rankCAi+BiKjC1Bi=m.E72

This concludes the proof.

Theorem 2. To reach a forced regime for the TS fuzzy system Eqs. (2) and (3) with the TS fuzzy control policy Eq. (67), the signal gain matrices have to take the forms

Wij=CAi+BiKjC1Bi1,E73

where Wij ∈ IRm × m, ij = 1, 2, … s.

Proof. In a steady state, which corresponds to q.t=0, the equality yo = wo must hold, where qo ∈ IRn, θo ∈ IRq, yowo ∈ IRm are the vectors of steady state values of q(t), θ(t), y(t), w(t), respectively.

Substituting Eq. (67) in Eq. (2) yields the expression

i=1sj=1shiθohjθoAi+BiKjCqo+BiWijwo=0,E74
i=1sj=1shiθohjθoqo=qo=i=1sj=1shiθohjθoAi+BiKjC1BiWijwo,E75

respectively, and it can be set

yo=Cqo=i=1sj=1shiθohjθoCAi+BiKjC1BiWijwo=Imwo.E76

Thus, Eq. (76) gives the solution

Wij1=CAi+BiKjC1Bi,E77

which implies Eq. (68). Hence, declaredly,

rankWj=rankCAi+BiKjC1Bi=m.E78

This concludes the proof.

The forced regime is basically designed for constant references and is very closely related to shift of origin. If the command value w(t) is changed “slowly enough,” the above scheme can do a reasonable job of tracking, that is, making y(t) follow w(t) [23].

5. Bi-proper dynamic output controller

The full order biproper dynamic output controller is defined by the equation

p.t=j=1shjθtJjpt+Ljyt,E79
ut=j=1shjθtMjpt+Njyt,E80

where p(t) ∈ IRh is the vector of the controller state variables and the parameter matrix

Kj=JjLjMjNj,E81

KjIRn+r×h+m, is considered in this block matrix structure with respect to the matrices Jj ∈ IRh × h, Lj ∈ IRh × m, Mj ∈ IRr × h, and Nj ∈ IRr × m. For simplicity, the full order p = n controller is considered in the following.

To analyze the stability of the closed-loop system structure with the dynamic output controller, the closed-loop system description implies the following form

q.t=i=1sj=1shiθthjθtAcijqt,E82
yt=ICqt,E83

where

qTt=qTtpTt,E84
Acij=Ai+BiNjCBiMjLjCNj,I=0Im,C=0InC0E85

and AcijIR2n×2n, I ∈ IRm × (n + m), C ∈ IR(n + m) × 2n.

Introducing the notations

Ai=Ai000,Bi=0BiIn0,E86

where AiIR2n×2n, BiIR2n×n+r, the closed-loop system matrices take the equivalent forms

Acij=Ai+BiKjC.E87

In the sequel, it is supposed that AiBiis stabilizable, AiCiis detectable [24].

Note this kind of controllers can be preferred in fault tolerant control (FTC) structures with virtual actuators [25].

Theorem 3 (relaxed design conditions). The equilibrium of the fuzzy system Eqs. (2) and (3) controlled by the fuzzy dynamic output controller Eqs. (79) and (80) is global asymptotically stable if there exist a positive definite symmetric matrix S ∈ IR2n × 2n, symmetric matrices Xij=XjiIR2n×2n, a regular matrix H ∈ IR(n + m) × (n + m), and matrices YjIRn+r×n+msuch that

S=ST>0,X11X12X1sX21X22X2sXs1Xs2Xss>0,E88
AiS+SAiT+BiYiC+CTYiTBiT+Xii<0,E89
Ai+Aj2S+SAiT+AjT2+BiYj+BjYi2C+CTYjTBiT+YiTBjT2+Xij+Xji2<0,E90
CS=HC,E91

for all i ∈ ⟨1, 2, … s, i < j ≤ s, ij ∈ ⟨1, 2, … s, respectively, and hi(θ(t))hj(θ(t)) ≠ 0.

When the above conditions hold, the set of control law gain matrices are given as

Kj=YjH1,j=1,2,,sE92

Proof. Defining the Lyapunov function as follows

νqt=qTtPqt>0,E93

where P ∈ IR2n × 2n is a positive definite matrix, then the time derivative of ν(q(t)) along a closed-loop system trajectory is

ν.qt=q.TtPqt+qTtPq.t<0.E94

Substituting Eq. (87), then Eq. (94) implies

ν.qt=i=1sj=1shiθthjθtqTtPcijqt<0,E95
Pcij=PAcij+AcijTP.E96

Since P is positive definite, the state coordinate transform can now be defined as

qt=Spt,S=P1,E97

and subsequently Eqs. (95) and (96) can be rewritten as

ν.pt=i=1sj=1shiθthjθtpTtScijpt<0,E98
Scij=AcijS+SAcijT.E99

Introducing, analogously to Eqs. (54) and (55), the positive term

ννpt=pTtZθtpt>0,E100

defined by the set of matrices Xij=XjiTIRn×n,i,j=1,2,,sin the structure Eq. (88) such that

Zθt=ZTθt=i=1sj=1shiθthjθtXij>0,E101

then, in the sense of Krasovskii theorem, it can be set up

ν.pt=i=1sj=1shiθthjθtpTtScijpt<0,E102

where

Scij=AcijS+SAcijT+Xij.E103

Therefore, Eq. (102) can be factorized as follows

ν.pt=i=1shi2θtpTtSciipt+2i=1s1j=i+1shiθthjθtpTtScij+Scji2pt<0,E104

which, using Eq. (87), leads to the following sets of inequalities

AiS+SAiT+BiKjCS+SCTKjTBiT+Xij<0,E105
Ai+BiKjCS2+Aj+BjKiCS2+SAi+BiKjCT2+SAj+BjKiCT2+Xij+Xji2<0,E106

for i = 1, 2, …, s, as well as i = 1, 2, …, s − 1, j = 1 + 1, i + 2, …, s, and hi(θ(t))hj(θ(t)) ≠ 0.

Analyzing the product BiKjCS, it can set

BiKjCS=BiKjHH1CS=BiYjC,E107

where

KjH=Yj,H1C=CS1E108

and H ∈ IR(m + n) × (m + n) is a regular square matrix. Thus, with Eq. (108), then Eqs. (105) and (106) implies Eqs. (89) and (90) and Eq. (108) gives Eq. (91). This concludes the proof.

This theorem provides the sufficient condition under LMIs and LME formulations for the synthesis of the dynamic output controller reflecting the membership function properties.

For the same reasons as in Theorem 1, the following theorem is proven.

Theorem 4 (enhanced relaxed design conditions). The equilibrium of the fuzzy system Eqs. (2) and (3) controlled by the fuzzy dynamic output controller Eqs. (79) and (80) is global asymptotically stable if for given a positive δ ∈ IR there exist positive definite symmetric matrices VS ∈ IRn × n, and matrices YjIRr×n, H ∈ IRm × m such that

S=ST>0,V=VT>0,X11X12X1sX21X22X2sXs1Xs2Xss>0,E109
AiS+SAiT+BiYiC+CTYiTBiTVS+δAiS+δBiYiC2δS<0,E110
ΦijVS+δAiS+AjS2+δBiYj+BjYi2C2δS<0,E111
CS=HC,E112

for i = 1, 2, …, s, as well as i = 1, 2, …, s − 1, j = 1 + 1, i + 2, …, s, hi(θ(t))hj(θ(t)) ≠ 0, and

Φij=AiS+SAiT2+AjS+SAjT2+BiYjC+CTYjTBiT2+BjYiC+CTYiTBjT2.E113

When the above conditions hold, the control law gain matrices are given as

Ki=YiH1.E114

Proof. Since Eq. (82), Eq. (87) takes formally the same structure as Eqs. (6) and (7), following the same way as in the proof of Theorem 1, the conditions given in Theorem 4 can be obtained. From this reason, the proof is omitted. Compare, for example, Ref. [17].

Following the presented results, it is evident that the standard as well as the enhanced conditions for biproper dynamic output controller design can be derived from Theorem 3 and Theorem 4 in a simple way.

6. Illustrative example

The nonlinear dynamics of the system is represented by TS model with s = 3 and the system model parameters [20]

A1=1.05221.86660.51020.43805.43350.92050.55220.13340.4898,A2=1.05651.86610.51160.43805.43590.92140.55650.13390.4884,A3=1.06021.86570.51330.43815.43530.92160.56020.13430.4867,B=0.17650.00000.00000.00000.11760.4721,C=100010.E115

To the state vector q(t) are associated the premise variables and the membership functions as follows

θt=θ1tθ2tθ3t,θit=θ1tifq1tisabout2.5,θ2tifq1tisabout0,θ3tifq1tisabout2.5,    h1θ2t=112.5|θ2t2.5|h2θ1t=112.5|θ1t|h3θ3t=112.5|θ3t+2.5|E116

while the generalized premise variable is θ(t) = q1(t).

Thus, solving Eqs. (46)(49) for prescribed δ = 1.2 with respect to the LMI matrix variables S, V H, Yi, j = 1, 2, 3, and Xij, ij = 1, 2, 3 using Self–Dual–Minimization (SeDuMi) package for Matlab [26], then the feedback gain matrix design problem was feasible with the results

S=0.38990.01020.00000.01020.15960.00000.00000.00000.4099,V=0.92800.12350.15250.12351.15330.39790.15250.39790.7574,H=0.38990.01020.01020.1596,X=0.45670.09830.05170.06940.04630.01740.06940.04630.01740.09830.71530.11180.04630.19060.04410.04630.19050.04400.05170.11180.18830.01750.04420.01430.01750.04420.01420.06940.04630.01750.45730.09810.05150.06950.04630.01740.04630.19060.04420.09810.71540.11150.04630.19050.04400.01740.04410.01430.05150.11150.18760.01750.04410.01420.06940.04630.01750.06950.04630.01750.45780.09780.05140.04630.19050.04420.04630.19050.04410.09780.71520.11110.01740.04400.01420.01740.04400.01420.05140.11110.1868,Y1=0.56070.45900.15440.1191,Y2=0.55580.45770.15790.1207,Y3=0.55180.45660.16060.1222,E1900

Substituting the above parameters into Eq. (51) to solve the controller parameters, the following gain matrices are obtained

K1=1.36532.78950.37720.7224,K2=1.35302.78230.38600.7318,K3=1.34282.77610.39250.7406,Ac22=1.29531.37500.51160.43805.43590.92140.21520.53880.4884,Ac31=1.30121.37340.51330.43815.43530.92160.22160.53480.4867,E117

For simplicity, other closed-loop matrices of subsystem dynamics are not listed here.

Since the diagonal elements of Acij, ij = 1, 2, 3, are dominant, in terms of Gerschgorin theorem [27, 28], all eigenvalues of Acij are real, resulting in the aperiodic dynamics, that is,

ñAc11=0.6751,1.0816,5.4598,ñAc21=0.6756,1.0842,5.4620,ñAc31=0.6757,1.0861,5.4613,ñAc12=0.6745,1.0805,5.4593,ñAc22=0.6750,1.0831,5.4615,ñAc32=0.6751,1.0851,5.4609,ñAc13=0.6742,1.0795,5.4588,ñAc23=0.6748,1.0820,5.4610,ñAc33=0.6748,1.0840,5.4604.E118

Figure 1 gives the associated TS fuzzy static output control structure in a forced mode.

Figure 1.

TS fuzzy static output control structure in a forced mode.

For Eqs. (88)(91), it can find the following feasible solutions by using the given design procedure

S=0.61940.06140.00000.00000.00000.00000.06140.13050.00000.00000.00000.00000.00000.00000.87240.00000.00000.00000.00000.00000.00000.70660.00000.00000.00000.00000.00000.00000.70660.00000.00000.00000.00000.00000.00000.7066,H=0.70660.00000.00000.00000.00000.00000.70660.00000.00000.00000.00000.00000.70660.00000.00000.00000.00000.00000.68080.06140.00000.00000.00000.48890.0691,Y1=0.56680.00000.00000.00000.00000.00000.56680.00000.00010.00000.00000.00000.56670.00000.00000.00000.00000.00000.36120.27830.00000.00000.00000.73961.1397,Y2=0.56680.00000.00000.00000.00000.00000.56680.00000.00010.00000.00000.00000.56670.00000.00000.00000.00000.00000.36150.27840.00000.00000.00000.73971.1397,Y3=0.56670.00010.00000.00000.00000.00010.56670.00000.00010.00000.00000.00000.56680.00000.00000.00000.00000.00000.35190.28590.00010.00000.00010.74861.1421E119

and, computing the biproper dynamic output controller parameters, then

J1=0.80220.00000.00000.00000.80210.00000.00000.00000.8021,L1=1030.03940.00480.31430.33180.02210.0508,M1=1040.20410.15040.06000.53180.09150.3275,N1=2.08892.17017.89149.4765,J2=0.80220.00010.00000.00010.80220.00000.00000.00000.8021,L2=1030.20090.35310.04530.20170.19030.1765,M2=1040.20220.17790.17960.45750.04130.2985,N2=2.08972.17077.89159.4766,J3=0.80200.00010.00000.00010.80210.00000.00000.00000.8022,L3=1030.06410.01390.15160.23820.21160.2630,M3=1040.01350.00200.02380.09170.02180.1102,N3=2.12862.24457.91489.4907.E120

It is evident that all matrices Ji, i = 1.2.3 are Hurwitz, which rise up a TS fuzzy stable dynamic output controller, and based on the solutions obtained, the TS fuzzy dynamic controller can be designed via the concept of PDC.

Verifying the closed-loop stability, it can compute the eigenvalue spectra as follows

ñAc11=0.8022,0.8021,0.8021,4.3774,1.2919±0.2804i,ñAc21=0.8022,0.8021,0.8021,4.3774,1.2919±0.2804i,ñAc21=0.8022,0.8021,0.8021,4.3774,1.2919±0.2804i,ñAc12=0.8022,0.8021,0.8021,4.3774,1.2919±0.2805i,ñAc22=0.8022,0.8021,0.8021,4.3774,1.2919±0.2805i,ñAc32=0.8022,0.8021,0.8021,4.3788,1.2946±0.2963i,ñAc13=0.8020,0.8023,0.8023,4.3713,1.2919±0.2797i,ñAc23=0.8020,0.8023,0.8023,4.3713,1.2919±0.2797i,ñAc33=0.8020,0.8023,0.8023,4.3728,1.2945±0.2958i.E121

7. Concluding remarks

New approach for static and dynamic output feedback control design, taking into account the affine properties of the TS fuzzy model structure, is presented in the chapter. Applying the fuzzy output control schemes relating to the parallel-distributed output compensators, the method presented methods that significantly reduces the conservativeness in the control design conditions. Sufficient existence conditions of the both output controller realization, manipulating the global stability of the system, implies the parallel decentralized control framework which stabilizes the nonlinear system in the sense of Lyapunov, and the design of controller parameters, resulting directly from these conditions, is a feasible numerical problem. An additional benefit of the method is that controllers use minimum feedback information with respect to desired system output and the approach is flexible enough to allow the inclusion of additional design conditions. The validity and applicability of the approach is demonstrated through numerical design examples.

Acknowledgments

The work presented in this chapter was supported by VEGA, the Grant Agency of Ministry of Education and Academy of Science of Slovak Republic, under Grant No. 1/0608/17. This support is very gratefully acknowledged.

How to cite and reference

Link to this chapter Copy to clipboard

Cite this chapter Copy to clipboard

Dušan Krokavec and Anna Filasová (August 30th 2017). Stabilizing Fuzzy Control via Output Feedback, Modern Fuzzy Control Systems and Its Applications, S. Ramakrishnan, IntechOpen, DOI: 10.5772/68129. Available from:

chapter statistics

547total chapter downloads

1Crossref citations

More statistics for editors and authors

Login to your personal dashboard for more detailed statistics on your publications.

Access personal reporting

Related Content

This Book

Next chapter

Non-Fragile Guaranteed Cost Control of Nonlinear Systems with Different State and Input Delays Based on T-S Fuzzy Local Bilinear Models

By Junmin Li, Jinsha Li and Ruirui Duan

Related Book

Speech Enhancement, Modeling and Recognition- Algorithms and Applications

Edited by S. Ramakrishnan

First chapter

A Real-Time Speech Enhancement Front-End for Multi-Talker Reverberated Scenarios

By Rudy Rotili, Emanuele Principi, Stefano Squartini and Francesco Piazza

We are IntechOpen, the world's leading publisher of Open Access books. Built by scientists, for scientists. Our readership spans scientists, professors, researchers, librarians, and students, as well as business professionals. We share our knowledge and peer-reveiwed research papers with libraries, scientific and engineering societies, and also work with corporate R&D departments and government entities.

More about us