Hybrid Feedback Stabilization of Fuzzy Nonlinear Systems

This paper is concerned with the problem of stabilizing one family of fuzzy nonlinear systems by means of fuzzy quantized feedback. The hybrid control strategy originating in earlier work by Brockett and Liberzon (2000) and Liberzon (2003) relies on the possibility of making discrete online adjustments of quantizer parameters. We explore this method here for one class of fuzzy nonlinear systems with fuzzy quantizers affecting the state of the system. New results on the stabilization of the family of fuzzy nonlinear systems are obtained by choosing appropriately quantized strategies. Finally, an illustrative example is given to demonstrate the effectiveness of the proposed method.


Introduction
In recent years, there has been increasing interest in stability analysis and controller design for hybrid and switched systems see, for example, [1,2].In the presence of quantization, the state space of the system is divided into a finite number of quantization regions, each corresponding to a fixed value of the quantizer.At the time of passage from one quantization region to another, the dynamics of the closed-loop system change abruptly.Therefore, systems with quantization can be naturally viewed as hybrid systems.Thus, considerable efforts have been devoted to the study of quantized control, for instance, see [3][4][5][6][7] and the references therein.Among these results, mainly two approaches for studying control problems with quantized feedback are chosen, which are called static quantization policies (e.g., [8][9][10]) and dynamic quantization policies (e.g., [5,11]).
Liberzon [5] gave the conditions of hybrid feedback stabilization of systems with quantized signal under the assumption of the systems being stabilized by a feedback law.De Persis [12] extended Liberzon's [5] results to the problem of stabilizing a nonlinear system by means of quantized output feedback.Gao and Chen [13] presented a new approach to quantized feedback control systems which provided stability and H ∞ performance analysis as well as controller synthesis for discrete-time state-feedback control systems with logarithmic quantizers.The most significant feature is the utilization of a quantization dependent Lyapunov function.Ceragioli and De Persis [14] discussed discontinuous stabilization of nonlinear systems with quantized and switching controls, that is, considering the classical problem of stabilizing nonlinear systems in the case of the control laws which take values in a discrete set.
The well-known Takagi-Sugeno (T-S) fuzzy model (e.g., [15]) has been recognized as a popular and powerful tool in approximating and describing complex nonlinear systems.Thus, over the past ten years, the study of T-S systems has been attracting increasing attention, for instance, see [16][17][18][19][20][21][22][23].However, so far, the study of fuzzy systems with quantized feedback was rare, for instance, [24].In this paper, we concentrate on the problem of stabilizing fuzzy nonlinear systems via fuzzy quantized feedback.We extend the results (see, [5]) to a class of T-S fuzzy nonlinear systems with general types of quantizers affecting the state of the system.New results on the stabilization of fuzzy nonlinear systems are obtained by choosing appropriately quantized strategies and applying the Lyapunov function approach.
The paper is organized as follows.Section 2 gives the concept of quantizer and the description of fuzzy systems.New results on the stabilization of fuzzy nonlinear systems with fuzzy quantized feedback are presented in Section 3. In Section 4, an example is given to show the effectiveness of the proposed method.Conclusions are presented in Section 5.

Problem Statement
In this section, some notations and definition of quantizer are introduced, and the problem statement is given.
As in [5], a quantizer with general form is defined as follows.
Let z ∈ R l be the variable being quantized.A quantizer is defined as a piecewise constant function q : R l → D, where D is a finite subset of R l .This leads to a partition of R l into a finite number of quantization regions of the form {z ∈ R l : q(z) = i}, i ∈ D. These quantization regions are not assumed to have any particular shapes.We assume that there exist positive real numbers M and Δ such that the following conditions hold: Throughout this paper, we denote by | • | the standard Euclidean norm in the n-dimensional vector space R n and denote by • the corresponding induced matrix norm in R n×n .Condition (1) gives a bound on the quantization error when the quantizer does not saturate.Condition (2) provides a way to detect the possibility of saturation.We will refer to M and Δ as the range of q and the quantization error, respectively.We also assume that {x : q(x) = 0} for x in some neighborhood of the origin which is needed to preserve the origin as an equilibrium.
In the control strategy to be developed below, we will use quantized measurements of same the form as in [3,4] where μ > 0 is an adjustable parameter, called the "zoom" variable, that is updated at discrete instants of time.
To be convenient, we denoted that r i, j=1 and w The T-S fuzzy system, suggested by Takagi and Sugeno [15] can represent a general class of nonlinear systems.It is based on "fuzzy partition" of input space and it can be viewed as the expansion of piecewise linear partition.Considering a nonlinear dynamic multi-input-multi-output system modeled by the T-S fuzzy system, it can be represented by the following forms.
(i) If-then form: where is the ith fuzzy rule, r is the number of rule, M i1 , M i2 , . . ., M in are fuzzy variable, and h i is fuzzy basis function.
For the nonlinear plant represented by ( 4) or ( 5), we consider the fuzzy controller as follows.
(iii) If-then form: or (iv) Input-output form: or The system (5) with (8) or the system (5) with ( 9) can, respectively, be written in the form of the T-S fuzzy control system as follows: where

Fuzzy Hybrid Feedback Stabilization
In this section, in order to find some sufficient conditions which stabilize the fuzzy nonlinear systems (11) by choosing appropriately quantized strategies, we require the following assumption 1 and an important lemma is given as in Lemma 1 as follows.
Assumption 1. Assume that there exists a sequence of matrices {L i } r i=1 and a common positive definite matrix P and a sequence of positive matrices {Q i j } r i, j=1 such that Moreover, both B i and L i for all i, j ∈ {1, 2, . . ., r} are nonzero matrices, which cause no loss of generality because the case of interest is when A i is not a stable matrix for all i ∈ {1, 2, . . ., r}.
Remark 2. As in [5], it is necessary to suppose that systems are stabilizable.To be convenient, we suppose that Assumption 1 holds so that the system (5) is stabilizable.
Lemma 1. Assume that Assumption 1 holds.an arbitrary σ > 0, and M is large enough compared to Δ such that where Let Then all solutions of (11) that start in the ellipsoid E 1 (μ) enter the smaller ellipsoid E 2 (μ) in finite time.
Proof.We consider the Lyapunov function candidate V (x) = x T Px for the closed-loop system (11) the derivative of V (x) along solutions of ( 11) is computed as x T H T i j P + PH i j x(t) According to (13), for any nonzero x, we can find a positive scalar μ such that This is also true in the case of x = 0, where we set μ = 0 as an extreme case and consider the output of the quantizer as zero.
Proof of Claim 1. we only prove that E 1 (μ) is an invariant set of the system (11).Assuming x(t 0 ) ∈ E 1 (μ), we denote where x(t) is a solution of the system (11) with the initial condition x(t 0 ).If τ < +∞, then there exists a positive constant τ such that By the virtue of condition (13), we have 4 Journal of Control Science and Engineering Hence, we obtain Using ( 13), we have E 2 (μ) ∈ E 1 (μ) and By the continuity of V (x(t)), there exists a positive constant such that for all t ∈ [0, ] satisfying Hence, we have V (x(t + τ)) ≤ λ min (P)M 2 μ 2 for all t ∈ [0, ] that is to say that x(t + τ) ∈ E 1 (μ) holds for all t ∈ [0, ] this is a contradiction with the definition τ.Thus, τ = +∞.we complete the proof of Claim 1.
Fixed an arbitrary x(t 0 ) ∈ E 1 (μ), and for all x, we can find a positive scalar μ satisfying (18).Then, integrating (19) from t 0 to t 0 + T, we have Hence, we obtain If we choose we have x(t 0 + T x ) ∈ E 2 (μ).
Using Lemma 1 and assuming that the fuzzy control law (9) of the system (5) satisfies We have the following theorem 1.
Theorem 1. Assume that Assumption 1 holds.Assume that M is large enough compared to Δ such that λ min (P) holds, where Θ x is the same as in Lemma 1. Then there exists a fuzzy quantized feedback control strategy such that the system (5) with fuzzy quantized control law (9) or the closed fuzzy nonlinear system (11) is globally asymptotically stable.
Proof.The "zooming-out" stage.Let u = 0.In this case, we rewrite the system (11) for Let Let μ 0 = μ(0) = 1, and then increase μ in a piecewise constant fashion, fast enough to dominate the rate of e rAt .Then, there is a time t ≥ 0 such that By condition (1) in Section 2, it is implied We can pick a t 0 such that (34) holds with t = t 0 .Again, applying conditions (1) and (2) of Section 2, we obtain Hence, we have x(t 0 ) ∈ E 1 (μ(t 0 )) given by (15).
The "zooming-in" stage.Define the sequence of times {t j } j∈N satisfying and the sequence of positive real numbers where Ω denotes λ max (P)/λ min (P)(Θ x μΔ(1 + σ)/M) and T x is the same as in (28).

Numerical Example
In this section, we consider the following nonlinear system: where a, b, c, d are constants, u(t) is control input, and It follows that the nonlinear system can be represented by the following T-S fuzzy model.Moreover, the F 1 and F 2 are fuzzy sets defined as For the simplicity of simulation, the quantizer is chosen to be logarithmic, which satisfies general quantizer (9), see [5,9,10].That is to say, we choose the quantization level to be described as and the associated quantizer q(•) is defined as follows: Thus, the corresponding fuzzy quantized controller can be chosen as Now define the quantization error by Therefore, u(t) can be expressed as where Φ ∈ [−δ, δ].Thus the above closed-loop system with quantized control law can be written as follows In this paper, the system parameters are a = −10, b = 2, c = 0.2, d = 0.1, and quantized parameters are δ = 0.4.It can be easily seen that both matrices A 1 and A 2 are unstable and the corresponding feedback gain matrix and Lyapunov function matrix of the fuzzy system with quantized controller (49) in Lemma 1 are obtained, respectively: (51) Moreover, for the quantized control of system (42), we can obtain M > 43.8764Δ from Theorem 1. Then the response of state and control law with quantized control law (49) is showed in Figures 1 and 2, respectively, where the initial condition is x 0 = [1.2,−0.85] T .

Conclusions
In this paper, we extend the results (see, [5]) to a class of T-S fuzzy nonlinear systems and obtain the conditions of stabilizing a fuzzy nonlinear system via fuzzy quantized feedback.We present new results on the stabilization of fuzzy nonlinear systems by choosing appropriately quantized strategies and applying the Lyapunov function approach.An example has been given to illustrate the effectiveness of the proposed method.