# Stability Analysis and Design of Time-Varying Nonlinear Systems Based on Impulsive Fuzzy Model

Authors: Yuangan Wang; Honglin Yu; Xiaohong Zhang; Dong Li
Journal: Discrete Dynamics in Nature and Society
 (2012)

---

## Abstract

This paper develops a general analysis and design theory for nonlinear time-varying systems represented by impulsive T-S fuzzy control model, which extends conventional T-S fuzzy model. In the proposed, model impulse is viewed as control input of T-S model, and impulsive distance is the major controller to be designed. Several criteria on general stability, asymptotic stability, and exponential stability are established, and a simple design algorithm is provided with stability of nonlinear time-invariant systems. Finally, the numerical simulation for the predator-prey system with functional response and impulsive effects verify the effectiveness of the proposed methods.


---

## Body

## 1. Introduction

Most plants in engineering, science, and industries have inherent nonlinearity and are difficult to design and control using general nonlinear systems. In order to overcome this kind of difficulties, many researchers have developed various schemes, among which a successful approach is fuzzy control combined with the linguistic knowledge representation. For instance, one can see the control of an unmanned helicopter [1], temperature control in rapid thermal processing [2], the control of an ABS braking system [3], the control of a flexible robot system [4], an automated highway system [5], and an autonomous boat [6]. In parallel with these practical applications, theoretical researches with respect to fuzzy control have been performed to include many control issues. Stability analysis is certainly one of the most important issues that theoretic efforts have focused on. Since the hitherto reported works on the stability analysis of the fuzzy control system, the so-called Takagi-Sugeno (T-S) type fuzzy models have attracted increasing and significant attention: the TS-type fuzzy logic controller (FLC) is conceptually simple and straightforward, and the conventional linear system theory can be applied to analysis and synthesis of nonlinear control systems [7–9], so the stability issue of T-S fuzzy control systems in nonlinear stability frameworks has been studied extensively [10–19].However, it should be admitted that the stability of the TS-type FLC is still an open problem. It is well known that the parallel distributed compensation (PDC) technique in the framework of ordinary T-S model has been the most popular controller design approach and belongs to a continuous input control way. It is important to point out that there exist many systems that cannot commonly endure continuous control inputs, or they have impulsive dynamical behavior due to abrupt jumps at certain instants during the evolving processes such as communication networks, biological population management, prey (pest) management, and chemical control [20–28]. The major features of these systems are that state invariants may be changed by abrupt jump. Hence, it is necessary to extend TS-type FLC and reflect these impulsive jump phenomena in T-S model. Until recently, a kind of the extended T-S model has been developed, whose consequent parts contain abrupt jump of state invariants, that is, consequent parts are the impulsive model. In this model, impulse is known as control input, and impulsive distance is controller to be designed. Its major property is that the local dynamics of each fuzzy rule are described by impulsive model, and it naturally extended the ordinary T-S model to nonlinear systems with impulse effects. The criteria of uniform stability and uniform asymptotic stability for T-S fuzzy delay systems with impulse effects are presented by Razumikhin technique in [29]. Reference [30] discussed impulsive synchronization for Takagi-Sugeno fuzzy model and its application to continuous chaotic system, and [31] proposed T-S fuzzy model-based impulsive control for chaotic systems and its application. However, they only considered the control for some specific points of chaos systems. Furthermore, References [29–31] discussed only the asymptotical stability of the controlled chaotic systems. Reference [32] proposed T-S fuzzy model based on impulsive control of chaotic systems with exponential decay rate and discussed only the exponential stability of the controlled chaotic systems. In addition, to different fuzzy rules and different impulsive instants, the impulsive terms are usually represented by constant control matrices. Time-varying and time-invariant control matrices, to certain extent, are not well discussed in their work. And their results were complex and not suitable for practical application.This paper introduces stability analysis and design of time-varying nonlinear systems based on impulsive fuzzy model. The main contribution of this paper lies in three aspects. Firstly, we generalize the model in [29–32] to a T-S model with much more general impulsive input and systematically discuss and unify various stability properties such as general stability, asymptotical stability, and exponential stability. Moreover, the corresponding controller algorithms are designed. Secondly, this paper considers time-varying impulsive control matrix in consequence parts and deals with time-varying nonlinear impulsive control systems. In the following, the results of time-invariant nonlinear plants are represented in the form of LMIs, and the corresponding conditions can be solved efficiently in practice by convex programming technique for LMIs. Thirdly, in order to illustrate the practical application and effectiveness of the proposed methods, this paper discusses the control problems of the predator-prey model system in detail.The rest of this paper is organized as follows. Section2 describes the fuzzy modeling methodology based on T-S fuzzy model and presents the fuzzy system with impulsive within the framework of the T-S fuzzy model. In Section 3, the theoretic analysis and design algorithm on stability of the impulsive fuzzy system are performed. Numerical simulations for the predator-prey system with functional response and impulsive effects are carried out with respect to the proposed method in Section 4. Finally, some conclusions are made in Section 5.


## 2. T-S Fuzzy Model with Impulsive Effects

Firstly, we recall T-S model proposed by Takagi and Sugeno [33] and described by fuzzy IF-THEN rules, which represent local linear input-output relations of a nonlinear system. The IF-THEN rules of the T-S fuzzy models are of the following forms.Plant Rule I
IFz1(t) is Mi1 and, …, and zp(t) is Mip,
(2.1)THEN{ẋ(t)=Aix(t)+Diu(t),y(t)=Cix(t),i=1,2,…,r,
where Mik(i=1,2,…,r,k=1,2,…,p) is the fuzzy set, and r is the number of IF-THEN rules, x(t)∈Rn is the state vector, u(t)∈Rm denotes the input variable, y(t)∈Rq is the output vector, Ai∈Rn×n, Di∈Rn×m, and  Ci∈Rq×n, z1(t)~zp(t) are the premise variables.Remark 2.1.
In general, the stable problems of (2.1) may be investigated by designing a variety of forms of input u(t) based on system state variables or system outputs, and by using PDC technique, (2.1) is transformed into the system represented by ordinary differential equation, and the direct Lyapunov methods are commonly applied for stability investigation of T-S model. Therefore, PDC is the key technique in T-S model. Moreover, almost all the existing stable results of T-S fuzzy systems have employed PDC so far. Therefore, we hope to provide a new control strategy for T-S model system based on impulsive control strategy.In the following, suppose that (2.1) is a nonimpulsive plant, and given a set of control instants T={τj}, τj∈R, τj<τj+1, j=N. If at least one state variable in each local subsystem (2.1) can be changed instantaneously to any value which is given by a control law, according to impulsive control strategy we only need to change the changeable state variables at discrete instants called control instants. That is, at each τj, state variable x is changed instantaneously by x(τj+)=x(τj-)+U(j,x), which denotes the “jump” of the state variable at the instant τj. Based on this idea, the impulsive control structure of nonlinear system based on T-S model may be represented as follows.Plant Rule II
IFz1(t) is Mi1 and, …, and zp(t) is Mip,
(2.2)THEN{ẋ(t)=Aix(t)+Diu(t),t≠τj,Δx|t=τj=x(tj+)-x(tj-)≡U(i,j,x),t=τj,x(t0+)=x0,i=1,2,…,r,j=1,2,…,
where z1(t)~zp(t) are the premise variables, Mik(i=1,2,…,r,k=1,2,…,p) and r is the number of IF-THEN rules,  x(t)∈Rn is the state, u(t)∈Rm denotes the input variable, Ai∈Rn×n, Di∈Rn×m. Δx|t=τj=x(tj+)-x(tj-)≡U(i,j,x) denotes an impulsive plant in (2.2).Remark 2.2.
(1) There are the distinct differences between (2.2) and (2.1), for example, the consequent sections of (2.2) are the impulsive systems; however, the consequent sections of (2.1) are the linear systems. Therefore, (2.2) is a new model.
(2) In our opinion, the system (2.2) has at least two new explanations or meanings. The first one is that (2.2) can be expressed as impulsive control structure for nonimpulsive fuzzy plant (2.1), that is, impulse is viewed as controller of nonimpulsive fuzzy plant, and U(i,j,x) is the corresponding impulsive control law to be designed. The second one is that if the plant itself is the system with impulsive effects, (2.2) denotes that nonlinear plants with impulsive effects may be represented as T-S fuzzy model by IF-THEN rules, and impulse is no longer control law, while u(t) is the corresponding control input. So, from the two above explanations, it follows that (2.2) not only has extended the conventional T-S fuzzy model such that new T-S model can denote complex nonlinear systems with impulsive effects, but also provides new control strategy for nonlinear systems represented by T-S model compared with the existing control methods based on T-S model, such as PDC.
(3) It should be noted that, in this paper, we only investigate the first case, that is, the systems, in which impulses are said to be controller of nonimpulsive fuzzy plants, will be considered. In this case, we haveu(t)=0. That is, impulses are viewed as the unique control inputs, and then the stability analysis and control design problems of (2.2) are equivalent to finding the suitable impulsive control law and instant distance.By using a singleton fuzzifier, product inference, and a center-average defuzzifier, the following dynamic global model of (2.2) can be obtained:(2.3)ẋ(t)=∑i=1rhi(z(t)){Aix(t)+Diu(t)}t≠τj,Δx=∑i=1rhi(z(t))U(i,j,x)t=τj,x(t0+)=x0,
where z(t)=[z1(t),z2(t),…,zp(t)] are the premise variables, hi(z(t))=wi(z(t))/∑i=1rwi(z(t)) for all t,wi(z(t))=∏k=1pMik(zk(t)), ∑i=1rwi(z(t))>0, and wi(z(t))≥0, i=,2,…,r. From these formulas, we have ∑i=1rhi(z(t))=1, and hi(z(t))≥0, i=1,2,…,r.According to the above discussions, it is important to remember thatU(i,j,x) is a controller to be designed in (2.2). Without loss of generality, we let U(i,j,x)=Bi,jx(t), where Bi,j∈Rn×n, and x(t) denotes state variable. In fact, this may represent a complex nonlinear impulsive term. Since u(t)=0, (2.3) can be rewritten as:(2.4)ẋ(t)=∑i=1rhi(z(t))Aix(t)t≠τj,Δx=∑i=1rhi(z(t))Bi,jxt=τj,x(t0+)=x0.Remark 2.3.
It should be noted that (2.4) obviously is time-varying nonlinear impulsive control system because impulsive term is nonlinear and time variant. By (2.4), we see that our control idea of nonlinear systems is that nonlinear plant is first represented by T-S model, and impulse in T-S fuzzy framework is regarded as control input of local dynamical subsystems.Now, we will give several definitions to be used in the sequel.Definition 2.4.
LetV:R+×Rn→R+, then V is said to belong to class ν0 if(1)
V is continuous in (τj-1,τj]×Rn, and for each x∈Rn, j=1,2,…, lim(t,y)→(τj+,x)V(t,y)=V(τj+,x) exists;(2)
V is locally Lipschitzian in x.Definition 2.5.
For(t,x)∈(τj-1,τj]×Rn, one defines
(2.5)D+V(t,x)≡lim⁡h→0+sup⁡1h{V[t+h,x+hf(t,x)]-V(t,x)}.Definition 2.6.
Sρ={x∈Rn∣∥x∥<ρ}, where ∥·∥ denotes the Euclidean norm on Rn.Definition 2.7.
A functiona is said to belong to class κ if a∈[R+,R+], a(0)=0, and a(x) is strictly increasing in x.


## 3. Main Results

Now, we will study various stabilities of the impulsive fuzzy system (2.4). First, we will consider the general conditions for stabilities of (2.3) based on Lyapunov method. Let I(i,j,x)=∑i=1rhi(z(t))U(i,j,x), then we have the following theorem.Theorem 3.1.
Assume thatV∈v0, constants q,α,γ,c1,c2>0,    dj≥0,    j∈N, such that(i)
c1∥x∥q≤V(t,x)≤c2∥x∥q, t∈R+, x∈Rn,(ii)
for eachj∈N and x∈Rn,
(3.1)V(tj+,x+I(j,x))≤djV(tj,x),(iii)
for allt∈(τj-1,τj], j∈N,
(3.2)V̇(t,x)≤αV(t,x),then(a)
system (2.3) is stable if α(τj+1-τj)+ln(dj)≤0, 0<τj+1-τj≤m,(b)
system (2.3) is asymptotically stable if α(τj+1-τj)+ln(ηdj)≤0 for a η>1 and for any j∈N, 0<τj+1-τj≤m,(c)
system (2.3) is exponentially stable if ln(dj)<-(α+γ)m.Proof.
Letx(t)≜x(t,t0,x0) be any solution of (2.3) and satisfy initial value ∥x(t0)∥<δ. For any ε∈(0,1], choose δ=δ(ε)>0 such that c2δq<c1εqe-(α+c)m, that is,
(3.3)V(t0,x)≤c1εq.
For any t∈(t0,t1], by the condition (iii), we obtain
(3.4)V(t,x)≤V(t0,x)exp⁡(α(t-t0)),
then
(3.5)V(t1,x)≤V(t0,x)exp⁡(α(t1-t0)).
From the condition (ii), we have
(3.6)V(t1+,x+I(1,x))≤d1V(t1,x)≤d1V(t0,x)exp⁡(α(t1-t0)).
Similarly, for t∈(t1,t2], we have
(3.7)V(t,x)≤V(t1+,x)exp⁡(α(t-t1))≤d1V(t0,x)exp⁡(α(t-t0)),V(t2+,x+I(2,x))≤d2V(t2,x)≤d2V(t1+,x)exp⁡(α(t2-t1))≤d2d1V(t0,x)exp⁡(α(t1-t0))exp⁡(α(t2-t1))≤d1d2V(t0,x)exp⁡(α(t-t0)).
In general, using mathematical induction, for any j and t∈(tj,tj+1], we obtain
(3.8)V(t,x)≤d1d2⋯djV(t0,x)exp⁡(α(t-t0)).
By α(τj+1-τj)+ln(dj)≤0 and (3.8), we have
(3.9)V(t,x)≤d1d2⋯djV(t0,x)exp⁡(α(t-t0))≤V(t0,x)exp⁡(-α(t1-t0))exp⁡(-α(t2-t1))⋯exp⁡(-α(tj-tj-1))exp⁡(α(t-t0))≤V(t0,x)exp⁡(-α(tj-t0))exp⁡(α(t-t0))=V(t0,x)exp⁡(α(t-tj))≤V(t0,x)exp⁡(αm).
Using (3.3), the above inequality implies
(3.10)‖x(t)‖≤(1c1)1/q(V(t0,x))1/qexp⁡(αmq)≤εexp⁡(αmq).
Obviously, since ε,α,q, and m are constant scalars, (3.10) implies impulsive fuzzy system (2.4) is stable.
Similar to (3.10), when dj≤(1/η)exp(-α(τj+1-τj)), we get(3.11)V(t,x)≤d1d2⋯diV(t0,x)exp⁡(α(t-t0))≤(1η)iV(t0,x)exp⁡(αm),(3.12)‖x(t)‖≤(1c1)1/q(1η)i/q(V(t0,x))1/qexp⁡(αmq)≤ε(1η)i/qexp⁡(αmq).
Since η>1, (3.12) implies impulsive fuzzy system (2.4) is asymptotically stable when i→∞.
Similarly, whenln(dj)<-(α+γ)m, we have (3.13)V(t,x)≤d1d2⋯djV(t0,x)exp⁡(α(t-t0))≤exp⁡(-(α+γ)m⋯exp⁡(-(α+γ)m)︷jV(t0,x)exp⁡(α(t-t0))=exp⁡(-jγm)exp⁡(-iαm)V(t0,x)exp⁡(α(t-t0))≤exp⁡(-jrm)exp⁡(-α[(t1-t0)+(t2-t1)+⋯+(tj-tj-1)])V(t0,x)exp⁡(a(t-t0))≤V(t0,x)exp⁡(-jγm)exp⁡(-α(tj-t0))exp⁡(α(t-t0))=V(t0,x)exp⁡(-jγm)exp⁡(α(t-tj))≤V(t0,x)exp⁡(-jγm)exp⁡(αm),(3.14)‖x(t)‖≤(1c1)1/q(V(t0,x))1/qexp⁡(-jγmq)exp⁡(αmq)≤εexp⁡(-jγmq)exp⁡(αmq).
Obviously, from (3.10), (3.12), and (3.14), the conclusions follow.It should be noted that Theorem3.1 provides general results for any impulsive T-S fuzzy systems including time varying and time invariant. In the following, we will discuss various stabilities for (2.4) based on Theorem 3.2.Theorem 3.2.
Suppose ann×n matrix P is symmetric and positive definite, and λmax and λmin are, respectively, the largest and smallest eigenvalues of P. There exist the constant scalars α, dj>0, γ>0, and the matrix Bi,j, such that(i)
PAi+AiTP-αP≤0,(ii)
λmax(P)∑i=1r∥(I+Bi,j)∥≤djλmin(P), for all j,
then
(a)
system (2.4) is stable if α(τj+1-τj)+ln(dj)≤0, 0<τj+1-τj≤m,(b)
system (2.4) is asymptotically stable if α(τj+1-τj)+ln(ηdj)≤0 for some η>1 and for any j∈N, 0<τj+1-τj≤m,(c)
system (2.4) is exponentially stable if ln(dj)<-(α+γ)m.Proof.
To prove this theorem, we only need to check all the conditions of Theorem3.1. Let the candidate Lyapunov function be in the form of
(3.15)V(t,x)=12xTPx.
Clearly, V belongs to v0 and
(3.16)12λmin⁡(P)‖x‖2≤V(t,x)≤12λmax⁡(P)‖x‖2.
Define c1=(1/2)λmin(P), c2=(1/2)λmax(P), and obviously the condition (i) of Theorem 3.1 holds.
Fort≠τj, the derivative of V(t,x) along the solution of (2.4) is(3.17)D+V(t,x)=12∑i=1rhi(z(t))xT(AiTP+PAi)x.
Since ∑i=1rhi(z(t))=1 and 0<hi(z(t))<1, we have
(3.18)D+V(t,x)≤12αxTPx=αV(t,x).
For t=τj, we have
(3.19)V(τj+,x(τj)+∑i=1rhi(z(τj))Bi,jx(τj))=xT(τj)(I+∑i=1rhi(z(τj))Bi,j)TP(I+∑i=1rhi(z(τj))Bi,j)x(τj)≤12λmax⁡(P)xT(τj)(I+∑i=1rhi(z(τj))Bi,j)T(I+∑i=1rhi(z(τj))Bi,j)x(τj)≤12λmax⁡(P)‖x(τj)+∑i=1rhi(z(τj))Bi,jx(τj)‖2≤12λmax⁡(P)‖x(τj)‖2‖∑i=1rhi(z(τj))(I+Bi,j)‖2≤12λmax⁡(P)‖x(τj)‖2⋅∑i=1rhi(z(τj))‖(I+Bi,j)‖2≤12λmax⁡(P)‖x(τj)‖2∑i=1r‖(I+Bi,j)‖2≤12djλmin⁡(P)‖x(τj)‖2≤djV(τj,x).
By (3.16), (3.18), and (3.19), all the conditions of Theorem 3.1 are satisfied. Hence, this theorem is true.Remark 3.3.
(1) The condition (ii) of the theorem is very weak, because it is easy to chooseBi,j such that dj exists. For example, we may choose Bi,j as diagonal matrix whose all diagonal elements are negative; moreover, ∥(I+Bi,j)∥ is as small as possible. Moreover, the corresponding design procedure is very simple.
(2) Meanwhile, it is known that impulsive distance should be as large as possible, because by doing so implementation cost of impulsive control plants may be reduced. From this, it follows thatBi,j is of very important practical significance in (2.4).
(3) Compared with PDC control technique of T-S model, our proposed approach here has such merits as simple, and that system plant is easy to be implemented by digital devices.
It should be pointed out thatBi,j of (2.4) is a time-varying matrix. As a special case, when Bi,j is a time-invariant or constant matrix to be determined in advance, we will obtain the results expressed in form of linear matrix inequality (LMI). In this situation, for convenience, let Bi=Bi,j. And thus, the controller to be designed becomes impulsive distance.Theorem 3.4.
Suppose that ann×n matrix P is symmetric and positive definite. There exist constant scalars α, d>0 such that(i)
PAi+AiTP-αP≤0,(ii)
(I+Bi)TP(I+Bi)-dP≤0,then(a)
the origin of impulsive fuzzy systems (2.4) is stable if α(τj+1-τj)+ln(d)≤0,   0<τj+1-τj≤m,(b)
system (2.4) asymptotically stable if α(τj+1-τj)+ln(ηd)≤0 for some η>1 and for any j∈N, 0<τj+1-τj≤m,(c)
system (2.4) is exponentially stable if  ln(dj)<-(α+γ)m.Proof.
Similar to the proof of Theorem3.2, the Lyapunov functions as V(t,x)=(1/2)xTPx.
Fort≠τj, the derivative of V(t,x) along the solution of (2.4) is(3.20)D+V(t,x)=12∑i=1rhi(z(t))xT(AiTP+PAi)x≤12αxTPx=αV(t,x).
For t=τj, we have
(3.21)V(τj+,x(τj)+∑i=1rhi(z(τj))Bix(τj))=12xT(τj)(I+∑i=1rhi(z(τj))Bi)TP(I+∑i=1rhi(z(τj))Bi)x(τj)=12xT(τj)∑i=1rhi(z(τj))(I+Bi)TP∑i=1rhi(z(τj))(I+Bi)x(τj)=12xT(τj){∑i=1rhi2(z(τj))(I+Bi)TP(I+Bi)+∑1≤i<k≤rhi(z(τj))hk(z(τj))((I+Bi)TP(I+Bk)+(I+Bk)TP(I+Bi))}x(τj)≤12xT(τj){∑i=1rhi2(z(τj))(I+Bi)TP(I+Bi)+∑1≤i<k≤rhi(z(τj))hk(z(τj))((I+Bi)TP(I+Bi)+(I+Bk)TP(I+Bk))}x(τj)=12xT(τj)∑i=1rhi(z(τj))(I+Bi)TP(I+Bi)x(τj)≤dV(τj,x).
Then from (3.20), (3.21), and Theorem 3.1, it is easily shown that conclusions hold.According to Theorem3.4, we see that α and d are the design parameters to be determined. Moreover, we know that 0<d<1 and hope that α is as small as possible such that impulsive distance is larger. Based on this idea, we have the following design algorithm for calculating α and d.Notice the following algorithm, and letΔd and Δα be increments of d and α, respectively.Algorithm 3.5.
Step 1.
Set a thresholdT for α, and initialize α>0, d>0 and Bi. For example, α=5d=0.1.Step 2.
CalculateP by (i) and (ii) of the theorem.Step 3.
Stop ifP exists. Otherwise d=d+Δd.Step 4.
Repeat from Step2 if d<1. Otherwise, α=α+Δα and d is equal to initial value.Step 5.
Repeat from Step2 if α<T. Otherwise, it fails.Once algorithm succeeds, we may determine the bound of impulsive distance by(τk+1-τk)≤-ln(d)/α or (τk+1-τk)≤-ln(ηd)/α or m≤-ln(d)/(α+γ) by choosing appropriate η,γ, and m such that general stability, asymptotic stability, and exponential stability of system hold.


## 4. Numerical Simulation

In this section, we present a design example to show how to perform the impulsive fuzzy control on the predator-prey systems with functional response and impulsive effects. Especially, the biological systems are very much complex, nonlinear, and uncertain ones, which should be represented by fuzzy logical method with the linguistic description. So, the predator-prey systems with functional response and impulsive effects are investigated by the proposed impulsive T-S design model.Now, consider a predator-prey system with functional response and impulsive effects as follows:(4.1)ẋ1=x1g(x1)-x2ϕ(x1),ẋ2=x2(-d+eϕ(x1)),t≠tj,Δ[x1x2]=Bj[x1x2],t=tj,
in which x1 and x2 denote prey and predator densities, respectively, and all constants are assumed to be positive, system (4.1) incorporates density-dependent prey growth g(x) which satisfies g(0)>0, for all x>0, e>0 is the rate of conversion of consumed prey to predator; d>0 is the death rate of the predator in the absence of the prey, ϕ(x1) are functional responses of preys and predators, impulsive item Δ may denote biological control or chemical control for instantly changing the state of prey and predator in practice, and Bj(j=1,2,…) is impulsive control matrix. If PDC technique is directly used for the stability of T-S model, the traditional T-S model could not effectively or truly depict it. The major reason is that there are impulsive effects in (4.1).With little loss of generality, suppose that density-dependent prey growth and functional responses of preys both are nonlinear function, that is,g(x1)=a-bx1m(a>0, b>0, 0<m<1), ϕ(x1)=cx1θ(c>0, 0<θ<1). So, the system (4.1) is rewritten as(4.2)ẋ1=x1(a-bx1m)-x2(cx1θ),ẋ2=x2(-d+ex11/2),t≠tj,Δ[x1x2]=Bj[x1x2]t=tj.
Moreover, we choose m=θ=1/2, a=c=1 in this paper, and thus, (4.2) is rewritten as(4.3)ẋ1=x1(1-bx11/2)-x2(x11/2),ẋ2=x2(-d+ex11/2),t≠tj,Δ[x1x2]=Bj[x1x2]t=tj.
Perform the transformation such as x̅1=x11/2, x̅2=x2, and let a0=d, a1=e/d, then x̅̇1=(1/2)x1-1/2ẋ1, so (4.3) is represented as(4.4)x̅̇1=12(x̅1-bx̅12-x̅2),x̅̇2=a0x̅2(-1+a1x̅1),t≠tj,Δ[x̅1x̅2]=Bj[x1x2]t=tj.
Denote x̅1 and x̅2 by x1 and x2 all the same, respectively. Then, (4.4) is represented as(4.5)ẋ1=12(x1-bx12-x2),ẋ2=a0x2(-1+a1x1),t≠tj,Δ[x1x2]=Bj[x1x2]t=tj.
Obviously, (4.5) has three stable points (0, 0), (1/b,0), (1/a1, and (a1-b)/a12). Let(4.6)x1*=1a1,x2*=a1-ba12.
Furthermore, perform such a transformation as y1=x1-x1*, y2=x2-x2*, and carry out impulsive biological control for (4.4), then we have(4.7)ẋ1=(1-2bx1*)x1-bx12-x2,ẋ2=-a0a1x2*x1+a0a1x1x2,t≠tj,Δ[x1x2]=Bj[x1x2]t=tj,
where y1 and  y2 are displaced by x1 and x2, respectively, and Bj(j=1,2,…) are impulsive control gain matrixes.Hereafter, we can construct a fuzzy design model for representing (4.7) by impulsive T-S model as follows.Plant Rules III
R1: IF x1(t) is M1,(4.8)THEN{ẋ(t)=A1x(t)t≠tj,Δx=B1,jxt=tj.R2: IF x1(t) is M2,
(4.9)THEN{ẋ(t)=A2x(t)t≠tj,Δx=B2,jxt=tj,
where
(4.10)A1=[1-2bx1*-b1q-1-a0a1x2*a0a1q],A2=[1-2bx1*+b1q-1-a0a1x2*-a0a1q],Mi(i=1,2)
is the fuzzy set of ith fuzzy rule, and the corresponding membership function is as follows:
(4.11)M1(x1(t))=-x1(t)+q2q,M2(x1(t))=x1(t)+q2q.
Using defuzzification, product inference, and singleton fuzzifier, the global dynamics of the system (4.7) is obtained as(4.12)ẋ(t)=∑i=12hi(z(t))Aix(t)t≠tj,Δx=∑i=1rhi(z(t))Bi,jxt=tj,
where
(4.13)hi(z(t))=Mi(x1(t))∑i=12Mi(x1(t)).
Choose the parameters of system (4.1) or (4.12) as b=1/2, and a0=1, a1=1, and then we have (4.14)x1*=1,x2*=12,A1=[0.5000-1.0000-0.5000-1.0000],A2=[-0.5000-1.0000-0.50001.0000].
Let impulsive control gain matrix be the following forms:
(4.15)B1=[-0.7,0;0,-0.5],B2=[-0.6,0;0,-0.8],
Then, in view of Theorem 3.4 and Algorithm 3.5, let Δd=0.1, Δα=5, and we have
(4.16)P=[0.3069,-0.0925;-0.0925,0.2744],d=0.3,α=5,-ln⁡(d)α=0.2408.
From this, we easily choose η or m, γ such that theorem conditions are satisfied. For example, when we choose a constant impulsive distance τk+1-τk=0.1, as shown in Figure 1(a), the trivial solution of system (4.4) or (4.12) with initial value x1=0.1, x2=0.7 is stable under impulsive control. On the contrary, as shown in Figure 1(b), the predator-prey system (4.4) or (4.12) is unstable without impulsive control. It follows from the above results that the impulsive fuzzy control design is an effective modeling method for the complex and nonlinear systems with impulsive effects.State diagram of predator-prey system with parametersb=1/2, and a0=1, a1=1. (a) shows state diagram of predator-prey system under performing impulsive control; (b) shows state diagram of predator-prey system without impulsive control.
(a)(b)


## 5. Conclusion

The impulsive control technique was analyzed in the framework of the fuzzy systems based on T-S model, and the proposed design approach is suitable for very complex and nonlinear system with impulsive effects. First, we approximate a nonlinear plant with a Takagi-Sugeno fuzzy model, in which the local dynamics in different state space regions are represented by linear impulsive models. Then, the overall impulsive fuzzy system is obtained by blending each local linear impulsive system. The design procedure is conceptually simple and straightforward. Meanwhile, the various stability results of the impulsive fuzzy system are derived by Lyapunov method, and the stability design algorithm is given. Finally, numerical example for predator-prey systems with functional response and impulsive effects is given to illustrate application of impulsive fuzzy control scheme, and simulation results show the effectiveness of the proposed method.



---

*Source: 192546-2012-02-12.xml*