H∞ Disturbance Attenuation of Nonlinear Networked Control Systems via Takagi-Sugeno Fuzzy Model

Abstract: H∞ disturbance attenuation of nonlinear networked systems which are described by the Takagi-Sugeno fuzzy time-delay systems is concerned. In the networked control system, the control signal is delayed and the closed-loop system with the controller can be modeled as a fuzzy system with time-varying delays in sensor and actuator nodes. The system often encounters the external noises that disturb its behaviors. For such a nonlinear system with delays, the H∞ disturbance attenuation problem is considered. Multiple Lyapunov-Krasovskii function with multiple integral functions allows us to obtain less conservative conditions for a networked control system to satisfy the disturbance attenuation criterion. Based on this approach, a novel control design method for a networked control system is proposed. An illustrative example is given to show the effectiveness of the proposed method.


Introduction
Networked control systems(NCSs) are a class of systems where the signals of feedback loops are closed via communication network. These systems are found in many applications such as automobiles and airplanes, large scale disributed industrial systems and telecommunication systems due to easier installation and maintenance, simpler upgrading and more reliability over the point-to-point connected systems( [3]). Therefore, much attention has been paid to NCSs in the last decades( [5], [21]). In the networked control system, the information is exchanged with packets through a network where the data packets encounter delays. Considering the effects of network-induced delays in nonlinear NCS, we model its closed-loop system as a fuzzy system with bounded delays.
For a nonlinear control system, Takagi-Sugeno fuzzy model has been playing an important role. It can represent a nonlinear system effectively and is known to be a great tool to analyze and synthesize nonlinear control systems( [11], [12], [13]). The papers [4], [6], [7], [9], [10], [16], [19], [20], and [22] considered control design problems for nonlinear networked control systems. The paper [6] partially introduced a multiple Lyapunov-Krasovskii matrix method for fuzzy systems with time-delay but it is not a general multiple Lyapunov matrix method. The papers [4], [9], [20], and [22] discussed various fuzzy networked control systems but all employed a common Lyapunov-Krasovskii function method. The papers [7], [10], and [19] employed a common Lyapunov-Krasovskii function method with descriptor system approach, which is still more conservative than a multiple Lyapunov-Krasovskii matrix method. The papers [6], [16], and [19] used a free matrix method to reduce the conservatism but increase computational load by introducing a number of free matrices. Furthermore, the paper [17] introduced a new multiple Lyapunov matrix method but only considered the stability of a networked control system. The papers [17] and [18] considered the stability and stabilization problems based on multiple Lyapunov-Krasovskii matrix method.
In this paper, we consider the H ∞ disturbance attenuation of nonlinear networked control systems based on Takagi-Sugeno fuzzy models. First, we assume a new class of fuzzy feedback controller and consider the H ∞ disturbance attenuation of the closed-loop system with such a feedback controller. In order to obtain less conservative H ∞ disturbance attenuation conditions, we introduce a new type of multiple Lyapunov-Krasovskii function, which reduces the conservatism in stability conditions. A multiple Lyapunov-Krasovskii function is a natural extension of a common Lyapunov-Krasovskii function. However, a conventional multiple Lyapunov function contains the membership function and hence a resulting condition depends on the derivatives of the membership function. However, the derivative of the membership function may not always be known a priori nor differentiable. The paper [8] introduced a new class of multiple Lyapunov function, which contains an integral of the membership function of fuzzy systems. This approach requires no information on the derivatives of the membership function and is shown to reduce the conservatism in H ∞ disturbance attenuation conditions. In addition, triple and quadruple integrals of Lyapunov-Krasovskii functions are employed, which enormously reduce the conservatism. Based on such a multiple Lyapunov-Krasovskii function, a control design method of nonlinear networked control systems are proposed. Finally, a numerical example is shown to illustrative our control design method and to show the effectiveness of our approach.

Fuzzy Model of Networked Control Systems
Consider the Takagi-Sugeno fuzzy model, described by the following IF-THEN rules: where x(t) ∈ n is the state, u(t) ∈ m is the control input. and z(t) ∈ q is the controlled output.
The matrices A i , B i , C i and D i are constant matrices of appropriate dimensions. r is the number of IF-THEN rules. M i j are fuzzy sets and ξ 1 , · · · , ξ p are premise variables. We set ξ = [ξ 1 · · · ξ p ] T . The premise variable ξ(t) is assumed to be measurable.
Then, the state equation and the controlled output equation are described bẏ and M i j (·) is the grade of the membership function of M i j . We assme for any ξ(t).
In the considered networked control system, the controller and the actuator are event-driven and sampler is clock-driven. The actual input of the system (2.1) is realized via a zero-order hold device. The sampling period is assumed to be a positive constant T and the information of the zero-order hold may be updated between sampling instants. The updating instants of the zero-order hold are denoted by t k , and τ a and τ b are the time-delays from the sampler to the controller and from the controller to the zero-order hold at the updating instant t k , respectively. So, the successfully transmitted data in the networked control system at the instant t k experience round trip delay τ = τ a + τ b which does not need to be restricted inside one sampling period. Regarding the role of the zero-order hold, for a state sample data t k − τ, the corresponding control signal would act on the plant from t k unto t k+1 . Therefore, the rules of the fuzzy control input for t k ≤ t ≤ t k+1 , is written as follows: where K i , i = 1, · · · , r are constant matrices, and τ(t) may be an unknown time varying delay but its lower bound τ 1 and upper bound τ 2 are assumed to be known. The upper bound η of the delay rate is also assumed to be known: Then, an overall controller is given by and h > 0 is some scalar. The closed-loop system (2.1) with (2.4) is given bẏ We note that µ i (ξ(t)) ≥ 0, i = 1, · · · , r and which imply that µ i (ξ(t)) and λ i (ξ(t)) share the same properties as seen in (2.3). We define the cost function where γ is a prescribed scalar. Our problem is to find a condition such that the closed-loop system (2.2) and (2.5) is asymptotically stable with w(t) = 0 and it satisfies J < 0 in (2.6). In this case, the system is said to achieve the H ∞ disturbance attenuation with γ.

H ∞ Disturbance Attenuation
Let us first assume that all the controller gain matrices K i , i = 1, · · · , r are given. Importance on the disturbance attenuation conditions lies on how to choose an appropriate Lyapunov-Krasovskii function. Here, we introduce a new Lyapunov-Krasovskii function. To begin with, let us consider a polytopic matrix: and similar notations will be used for other matrices. It is easy to see that the time-derivative of Z µ is calculated asŻ For later use, we give some notation and lemmas: Lemma 3.1. (Jensen's Inequality) For τ ∈ , x(t) ∈ n , and P > 0 ∈ n×n , the following inequalities hold: x(t) ∈ n , and P > 0 ∈ n×n , the following inequalities hold: Now, we are ready to give our first result.
Remark 3.1. The paper [18] uses the similar method to propose a stabilizing control design for nonlinear NCSs. It has shown that its method has advantaes over the previous methods in [6] and [7]. The novelty of Theorem 3.1 lies in a new multiple Lyapunov-Krasovskii function (3.9) where Z j , W j , Q 1 j , Q 2 j , R 1 j , R 3 j , X 1 j and X 3 j are multiple Lyapunov matrices. In addition, the integral µ i (ξ(t)), i = 1, · · · , r of the membership functions avoid the derivatives of the membership function in the H ∞ disturbance attenuation conditions (3.2)-(3.5). The quadruple integral terms and the quadratic forms of the double integral terms x T (s)dsdβP x T (s)dsdβ are employed in (3.9), which leads to a drastic reduction of the conservatism in the H ∞ disturbance attenuation condition. In fact, recent papers [6] and [7] do not use the quadruple integrals and the quadratic forms of the double integrals. This implies that our H ∞ disturbance attenuation conditions are less conservative than recent results, and is technically better than others. In fact, this advantage was shown in [18].  h , these conditions can be seen as bilinear matrix inequalities. Effective algorithms to solve them include the branch-and-cut algorithm, the branch-and-bound algorithm, and the Lagrangian dual global optimization algorithm in [2], [14], and [15], respectively.

Control Design
Next, we shall propose a control design method. It is assumed that instead of the controller (2.4), a form of the controller is given by non-PDC, described by where K i and Z i , i = 1, · · · , r are to be determined, and µ i , i = 1, · · · , r are given as in (2.4). Then, the closed-loop system (2.1) with (4.1) becomeṡ Applying Theorem 3.1, we obtain the following theorem for control design.
Remark 4.1. In case that the delay rate η is unknown, we can still make use of Theorem 4.1 with W j = 0, j = 1, · · · , r.
Remark 4.2. The conditions (4.3)-(4.6) are not strict LMIs unless h > 0 is given, either. However, they can be solved in the same way as discussed in Remark 3.3.

Numerical Example
We consider the system( [19]) First, we compare our results with others to show the effectiveness of Theorem 3.1 for stabilization with w(t) = 0.
Method τ 2 [19] 0.60 [7] 1.40 Theorem 3.1 2.38 Table 1: Comparison of the methods This obviously show that our new multiple Lyapunov-Krasovskii function method is better than the existing conditions. Next, we design an H ∞ controller for the fuzzy networked system (5.1)-(5.2). Given the H ∞ attenuation level γ = 1, Theorem 4.1 gives the feedback control u(t) by Theorem 4.1 is based on Theorem 3.1, which has been shown to be least conservative in the above numerical example. It implies that Theorem 4.1 is a control design method which requires less conservative design conditions than others. Finally, the simulation result on the state trajectories of the closed-loop system with the initial conditions x(0) = [−0.5 0.5] T and the zero-mean Gaussian random variable w(t) of variance 0.1 is shown in Figure 1. The delay τ(t) is assumed to be τ(t) = 1 + 0.5 sin(0.1t). The bold and dotted lines indicate x 1 (t) and x 2 (t), respectively, and they show the system stability with disturbance attenuation.

Conclusions
The H ∞ disturbance attenuation and control design of nonlinear networked control systems described by Takagi-Sugeno fuzzy systems have been considered. A new multiple Lyapunov-Krasovskii function was introduced to obtain new H ∞ disturbance attenuation conditions for the closed-loop system. This technique leads to less conservative conditions. Control design method for nonlinear networked control systems was also proposed based on the same multiple Lyapnov-Krasovskii function and thus conditions for control design are less conservative than the existing ones.