[ieee 2011 american control conference - san francisco, ca (2011.6.29-2011.7.1)] proceedings of the...

6
Event-Triggered Real-Time Scheduling For Stabilization Of Passive and Output Feedback Passive Systems Han Yu and Panos J. Antsaklis Abstract— Event-triggered control has been recently pro- posed as an alternative approach to the traditional periodic implementation of control tasks. The possibility of reduc- ing the number of executions while guaranteeing stability makes event-triggered control very appealing in the context of sensor/actuator networked control systems. In this paper, we revisit the event-triggered control from an input-to-output perspective and we propose a simple event-triggered control strategy for stabilization of passive and output feedback passive systems. The triggering condition is derived based on the output information of the control system and an estimate of the lower bound on inter-sampling time is also provided. I. I The majority of feedback control laws nowadays are implemented on digital platforms since microprocessors oer many advantages of running real-time operating systems. This creates the possibility of sharing the computational resources among control and other kinds of applications thus reducing the deployment costs of complex control systems [12]. Since we are dealing with resource-limited microprocessors, it becomes important to assess to what extent we can increase the functionality of these embedded devices through novel real-time scheduling algorithms. Traditionally, the control task is executed periodically, since this allows the closed-loop system to be analyzed and the controller to be designed using the well-developed theory on sampled-data systems, see [1]-[3]. However, the control strategy obtained based on this approach is conser- vative in the sense that resource usage(i.e., sampling rate, CPU time) is more frequent than necessary to assure a specified performance level, since stability is usually guar- anteed under suciently fast periodic execution of control action. To overcome the drawback of the periodic paradigm, several researchers suggested the idea of event-based con- trol. The terminology refers to the triggering mechanism as event-based-sampling[14], to event-driven sampling[15], Lebesgue sampling[7], deadband control[16], level-crossing sampling[17], state-triggered sampling[8] and self-triggered sampling[11] with slight dierent meaning. However in all cases control signals are kept constant until the violation of a condition on certain signals of the plant triggers the re- computation of the control actions. In event-triggered real- time scheduling algorithms, the control tasks are executed whenever a novelty error becomes large compared with the state of the plant[8] (so the triggering mechanism usually The authors are with the Department of Electrical Engineer- ing, University of Notre Dame, Notre Dame, IN, 46556, USA, [email protected], [email protected] needs full-state information of the plant). The possibility of reducing the number of re-computations, and thus of trans- missions, while guaranteeing desired levels of performance makes event-triggered control very appealing in networked control systems(NCSs). One should be aware that the event- triggered technique reduces resource usage while providing a high degree of robustness, since embedded hardware is used to monitor the state of the plant continuously. Most of the results on event-triggered control are obtained under the assumption that the feedback control law provides input-to-state stability(ISS) in the sense of [18] with respect to the measurement errors, see [8]-[12]. Note that some results on designing ISS stabilizing control laws can be found in [19]-[22]. The ISS framework provides insight into the triggering condition by exploring the relation between stabilization and the current full-state information. However, in many control applications the full state information is not available for measurement, so it is important to study stability and performance of event-triggered control systems with dynamic and static output feedback controllers. In this paper, a static output feedback based event- triggered control scheme is introduced for stabilization of passive and output feedback passive(OFP) NCSs. For passive system, the triggering condition is derived such that the size of the output novelty error should be less than or equal to the size of the current output, and any static positive definite output feedback gain could stabilize the system if the system is also detectable; for OFP system, the triggering condition and the stabilization output feedback gain are derived based on the output feedback passivity index of the system. Anal- yses on the inter-sampling time without and with network induced delays are both provided followed by discussions and examples. The rest of this paper is organized as follows: we introduce some background on passive and OFP systems in section II; the problem is formulated in section III; the main results are stated in section IV; concluding remarks are given in section V. II. B M We first introduce some basic concepts on passive and OFP systems. Consider the following control system, which could be linear or nonlinear: H : ˙ x = f ( x, u) y = h( x) (1) where x X R n , u U R m and y Y R m are the state, input and output variables, respectively, and X, U and 2011 American Control Conference on O'Farrell Street, San Francisco, CA, USA June 29 - July 01, 2011 978-1-4577-0081-1/11/$26.00 ©2011 AACC 1674

Upload: panos-j

Post on 10-Mar-2017

212 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: [IEEE 2011 American Control Conference - San Francisco, CA (2011.6.29-2011.7.1)] Proceedings of the 2011 American Control Conference - Event-triggered real-time scheduling for stabilization

Event-Triggered Real-Time Scheduling For Stabilization Of Passive and

Output Feedback Passive Systems

Han Yu and Panos J. Antsaklis

Abstract— Event-triggered control has been recently pro-posed as an alternative approach to the traditional periodicimplementation of control tasks. The possibility of reduc-ing the number of executions while guaranteeing stabilitymakes event-triggered control very appealing in the contextof sensor/actuator networked control systems. In this paper,we revisit the event-triggered control from an input-to-outputperspective and we propose a simple event-triggered controlstrategy for stabilization of passive and output feedback passivesystems. The triggering condition is derived based on the outputinformation of the control system and an estimate of the lowerbound on inter-sampling time is also provided.

I. I

The majority of feedback control laws nowadays areimplemented on digital platforms since microprocessors offermany advantages of running real-time operating systems.This creates the possibility of sharing the computationalresources among control and other kinds of applicationsthus reducing the deployment costs of complex controlsystems [12]. Since we are dealing with resource-limitedmicroprocessors, it becomes important to assess to whatextent we can increase the functionality of these embeddeddevices through novel real-time scheduling algorithms.

Traditionally, the control task is executed periodically,since this allows the closed-loop system to be analyzedand the controller to be designed using the well-developedtheory on sampled-data systems, see [1]-[3]. However, thecontrol strategy obtained based on this approach is conser-vative in the sense that resource usage(i.e., sampling rate,CPU time) is more frequent than necessary to assure aspecified performance level, since stability is usually guar-anteed under sufficiently fast periodic execution of controlaction. To overcome the drawback of the periodic paradigm,several researchers suggested the idea of event-based con-trol. The terminology refers to the triggering mechanismas event-based-sampling[14], to event-driven sampling[15],Lebesgue sampling[7], deadband control[16], level-crossingsampling[17], state-triggered sampling[8] and self-triggeredsampling[11] with slight different meaning. However in allcases control signals are kept constant until the violation ofa condition on certain signals of the plant triggers the re-computation of the control actions. In event-triggered real-time scheduling algorithms, the control tasks are executedwhenever a novelty error becomes large compared with thestate of the plant[8] (so the triggering mechanism usually

The authors are with the Department of Electrical Engineer-ing, University of Notre Dame, Notre Dame, IN, 46556, USA,[email protected], [email protected]

needs full-state information of the plant). The possibility ofreducing the number of re-computations, and thus of trans-missions, while guaranteeing desired levels of performancemakes event-triggered control very appealing in networkedcontrol systems(NCSs). One should be aware that the event-triggered technique reduces resource usage while providing ahigh degree of robustness, since embedded hardware is usedto monitor the state of the plant continuously.

Most of the results on event-triggered control are obtainedunder the assumption that the feedback control law providesinput-to-state stability(ISS) in the sense of [18] with respectto the measurement errors, see [8]-[12]. Note that someresults on designing ISS stabilizing control laws can befound in [19]-[22]. The ISS framework provides insight intothe triggering condition by exploring the relation betweenstabilization and the current full-state information. However,in many control applications the full state information isnot available for measurement, so it is important to studystability and performance of event-triggered control systemswith dynamic and static output feedback controllers.

In this paper, a static output feedback based event-triggered control scheme is introduced for stabilization ofpassive and output feedback passive(OFP) NCSs. For passivesystem, the triggering condition is derived such that the sizeof the output novelty error should be less than or equal tothe size of the current output, and any static positive definiteoutput feedback gain could stabilize the system if the systemis also detectable; for OFP system, the triggering conditionand the stabilization output feedback gain are derived basedon the output feedback passivity index of the system. Anal-yses on the inter-sampling time without and with networkinduced delays are both provided followed by discussionsand examples. The rest of this paper is organized as follows:we introduce some background on passive and OFP systemsin section II; the problem is formulated in section III; themain results are stated in section IV; concluding remarks aregiven in section V.

II. B M

We first introduce some basic concepts on passive andOFP systems.

Consider the following control system, which could belinear or nonlinear:

H :

x = f (x,u)

y = h(x)(1)

where x ∈ X ⊂ Rn, u ∈ U ⊂ Rm and y ∈ Y ⊂ Rm are thestate, input and output variables, respectively, and X, U and

2011 American Control Conferenceon O'Farrell Street, San Francisco, CA, USAJune 29 - July 01, 2011

978-1-4577-0081-1/11/$26.00 ©2011 AACC 1674

Page 2: [IEEE 2011 American Control Conference - San Francisco, CA (2011.6.29-2011.7.1)] Proceedings of the 2011 American Control Conference - Event-triggered real-time scheduling for stabilization

Y are the state, input and output spaces, respectively. Therepresentation φ(t, t0, x0,u) is used to denote the state at timet reached from the initial state x0 at t0.Definition 1(Supply Rate)[4]: The supply rate ω(t) =ω(u(t),y(t)) is a real valued function defined on U ×Y, suchthat for any u(t) ∈ U and x0 ∈ X and y(t) = h(φ(t, t0, x0,u)),ω(t) satisfies

∫ t1

t0

|ω(τ)|dτ <∞. (2)

Definition 2(Dissipative System)[4]: System H with supplyrate ω(t) is said to be dissipative if there exists a nonnegativereal function V(x) : X→R+, called the storage function, suchthat, for all t1 ≥ t0 ≥ 0, x0 ∈ X and u ∈ U,

V(x1)−V(x0) ≤∫ t1

t0

ω(τ)dτ, (3)

where x1 = φ(t1, t0, x0,u) and R+ is a set of nonnegative realnumbers.Definition 3(Passive System)[4]: System H is said to bepassive if there exists a storage function V(x) such that

V(x1)−V(x0) ≤∫ t1

t0

u(τ)T y(τ)dτ, (4)

if V(x) is C1, then we have

V(x) ≤ u(t)T y(t), ∀t ≥ 0. (5)

One can see that passive system is a special case of dissipa-tive system with supply rate ω(t) = u(t)T y(t).Definition 4(Output Feedback Passive System)[5]: SystemH is said to be Output Feedback Passive(OFP) if it isdissipative with respect to the supply rate

ω(u,y) = uT y−ρyT y, (6)

for some ρ ∈ R.Remark 1. Note that if ρ > 0, then H is strictly outputpassive, and H is said to have excessive output feedbackpassivity of ρ; if ρ < 0, H is said to lack output feedbackpassivity. We call ρ the output feedback passivity index ofthe system, and denote a dissipative system with supply rategiven in (6) by OFP(ρ). Also note that if a system is OFP(ρ),then it is also OFP(ρ− ε), ∀ε > 0.Definition 5[5]: Consider the system H with zero input,that is x = f (x,0), y = h(x,0), and let Z ⊂ Rn be its largestpositively invariant set contained in {x ∈ Rn |y = h(x,0) =0}. We say H is Zero-State Detectable(ZSD) if x = 0 isasymptotically stable conditionally to Z. If Z = {0}, we saythat H is Zero-State Observable (ZSO).

III. P S

We consider a control system as given in (1). We firstassume H is a passive system, and there exists a nonnegativestorage function V(x) such that (5) is satisfied. We know thatif H is ZSD, then under the feedback control law

u(t) = −Ky(t), (7)

where K could be any positive scalar or any m×m positivedefinite matrix, the origin of H is asymptotically stable. Forthe rest of this paper, we assume for simplicity that K > 0 isscalar.

In real time, the implementation of the feedback controllaw is typically done by sampling the output y(t) at timeinstants t0, t1, . . . , computing the control action and updatingthe input to the plant at time instants t0 +∆0, t1 +∆1, . . . ,

where ∆k ≥ 0, for k = 0,1,2, . . . represents the network in-duced delay from the sampler to the remote controller at eachsampling time(here, we assume the delay from the controllerto the actuator is negligible). In event-triggered NCSs, a newsampled output information is sent to the remote controlleronly when the size of the output novelty error e(t) = y(t)−y(tk) for t ∈ [tk, tk+1) at the event-detector (an embeddedhardware in the sampler) exceeds a certain threshold, wherey(tk) denotes the last sampled output information of the plant,see the event-triggered network control scheme as shown inFig. 1.

Fig. 1: Event-triggered control for NCSs (we assume that theactuator is collocated with the plant)

We summarize the problems we try to solve in this paperas follows: if we restrict the plant to be passive or OFP,when should a new sampled output information be sent tothe remote controller for stabilization? What is the triggeringcondition and what is the stabilization controller? How aboutthe inter-sampling time?

IV. M R

In this section, we first derive the triggering condition forstabilization of passive and OFP systems without consideringnetwork induced delay ∆k.Theorem 1. Consider the networked control system as shownin Fig.1, where the plant is passive and ZSD as given in (1).Assume that the network induced delay ∆k ≡ 0, ∀k. If thesampling time tk is determined by the following triggeringcondition

‖e(t)‖2 = δ‖y(t)‖2, ∀t ≥ 0, (8)

where δ ∈ (0,1], then with any K > 0 being the outputfeedback gain, the control system is asymptotically stable.Proof: Since the plant is passive, with u(t) = −Ky(tk) ande(t) = y(t)− y(tk) for t ∈ [tk, tk+1), we can obtain

V(x) ≤ uT y = −K(y− e)T y = −KyT y+KeT y

≤ K‖e‖2‖y‖2 −K‖y‖22, t ∈ [tk, tk+1),(9)

1675

Page 3: [IEEE 2011 American Control Conference - San Francisco, CA (2011.6.29-2011.7.1)] Proceedings of the 2011 American Control Conference - Event-triggered real-time scheduling for stabilization

where V(x) is the storage function of the plant. So if a newsampled output information is sent to the remote controllerwhenever the triggering condition (8) is satisfied, then we canguarantee that ‖e‖2 ≤ ‖y‖2, thus V(x)≤ 0 for t ≥ 0 . Moreover,since the plant is ZSD, one can further conclude that thecontrol system is asymptotically stable.Remark 2. One can verify that the triggering condition (8)actually assures that the sampled output information y(tk)to have the same sign with the output y(t) at any samplinginstant tk (y(tk)T y(t) ≥ 0, ∀tk). Since

V(x) = −Ky(tk)T y, for t ∈ [tk, tk+1) ,

this further assures that V(x) ≤ 0, for t ≥ 0.Theorem 2. Consider the networked control system as shownin Fig.1, where the plant is OFP(ρ) with ρ < 0 and ZSD asgiven in (1). Assume that the network induced delay ∆k ≡ 0,∀k. If the sampling time tk is determined by the followingtriggering condition

‖e(t)‖2 = δσo‖y(t)‖2, ∀t ≥ 0, (10)

where δ ∈ (0,1], and σo =ρ+K

K, then with any K > −ρ being

the output feedback gain, the control system is asymptoti-cally stable.

The proof is similar to the proof shown in the Theorem1, thus it is omitted here.Remark 3. Intuitively, if the triggering threshold δσo has alarger value, then the triggering condition will be satisfiedless frequently. The value of σo depends on the ration of ρ

K,

so if K is larger, then we have a larger triggering threshold;if K≫−ρ, the δσo→ δ.

The triggering conditions (8) in Theorem 1 and (10)in Theorem 2 explicitly determine when a new sampledoutput information of the plant should be sent to the remotecontroller for control action update to assure stability of thesystem in the absence of network induced delay ∆k. Anotherproblem that needs to be addressed is how often should wesample the output of the plant? This problem is not easyin general, especially when the dynamics of the plant arehighly nonlinear and only output information can be usedto generate control action. The following proposition gives away to estimate the lower bound on the inter-sampling timewhen we restrict the output of the plant to be a memorylessfunction belonging to a bounded sector of the state.Proposition 1. Consider the networked control system shownin Fig.1, where the plant is passive with storage functionV(x). Assume that the network induced delay from thesampler to the controller ∆k ≡ 0, ∀k. Let the followingassumptions be satisfied:

1) f (x,u) : Rn ×Rn → Rn is locally Lipschitz continuousin x on a compact set S x ⊂ R

n with Lipschitz constantLx;

2) ‖ f (x,u)− f (x,0)‖2 ≤ Lu‖u‖2 for all x ∈ S x with somenonnegative constant Lu;

3) h(x) : Rn → Rn belongs to a sector (K1,K2), withK1xT x ≤ xT h(x) ≤ K2xT x, where K1 ∈ R, K2 ∈ R and0 < K1K2 <∞;

4)∥

∂h∂x

2 ≤ γ, where 0 < γ <∞;

then for any initial condition x(0) in a compact set S 0 ⊂ S x,with the control action given by u(t) = −Ky(tk),K > 0, theinter-sampling time {tk+1 − tk} implicitly determined by thetriggering condition (8) is lower bounded by

τ =1γζLx

ln(

1+Lxζδ

Lxζ + LuK + δLuK

)

(11)

where ζ =max{

1|K1 |, 1|K2 |

}

.

Proof: Since e(t) = y(t)− y(tk) for t ∈ [tk, tk+1), we canget for t ∈ [tk, tk+1)

d

dt

‖e‖2

‖y‖2=

d

dt

(eT e)12

(yT y)12

=(eT e)−

12 eT ˙e(yT y)

12 − (yT y)−

12 yT y(eT e)

12

yT y

=eT ˙e‖e‖2‖y‖2

−yT y

‖y‖2‖y‖2

‖e‖2

‖y‖2,

(12)since y(tk) is kept constant for t ∈ [tk, tk+1), ∀k, we have ˙e(t)=y(t), ∀t ≥ 0, and we can further get

d

dt

‖e‖2

‖y‖2≤‖e‖2‖y‖2

‖e‖2‖y‖2+‖y‖2‖y‖2‖e‖2

‖y‖2‖y‖2‖y‖2=

(

1+‖e‖2

‖y‖2

)‖y‖2

‖y‖2.

(13)Based on assumptions 1) and 2), we have

‖ f (x,u)‖2 = ‖ f (x,0)+ f (x,u)− f (x,0)‖2≤ ‖ f (x,0)‖2 + ‖ f (x,u)− f (x,0)‖2≤ Lx‖x‖2 + Lu‖u‖2

≤ Lx‖x‖2 + LuK‖y‖2+ LuK‖e‖2,

(14)

thus∥

∥y∥

2 =∥

∂h(x)x

x∥

2 ≤∥

∂h(x)x

2‖x‖2

≤ γ(

Lx‖x‖2 + LuK‖y‖2+ LuK‖e‖2)

.

(15)

Moreover, since y = h(x) belongs to sector [K1,K2] suchthat K1xT x ≤ xT h(x) ≤ K2 xT x, where 0 < K1K2 <∞, one canverify that

‖x‖2 ≤max{ 1|K1|,

1|K2|

}

‖y‖2 = ζ‖y‖2, (16)

so we can obtaind

dt

‖e‖2

‖y‖2≤

(

1+‖e‖2

‖y‖2

)‖y‖2

‖y‖2

≤ γ(

1+‖e‖2

‖y‖2

)(

Lx

‖x‖2

‖y‖2+ LuK + LuK

‖e‖2

‖y‖2

)

≤ γ(

1+‖e‖2

‖y‖2

)(

Lxζ + LuK+ LuK‖e‖2

‖y‖2

)

.

(17)

So the evolution of ‖e‖2‖y‖2

during the time-interval [tk, tk+1) isupper bounded by the solution to

p = γ(1+ p)(Lxζ + LuK + LuK p), (18)

for t ∈ [tk, tk+1) with p(tk)= 0. Thus the time for ‖e‖2‖y‖2

to evolvefrom 0 to δ is lower bounded by the solution to p(tk+τ) = δ.One can verify that

τ =1γζLx

ln(

1+Lxζδ

Lxζ + LuK + δLuK

)

.

1676

Page 4: [IEEE 2011 American Control Conference - San Francisco, CA (2011.6.29-2011.7.1)] Proceedings of the 2011 American Control Conference - Event-triggered real-time scheduling for stabilization

The proof is completed.Remark 4. When y(t) = x(t), then we can directly measurethe state of the plant and apply state feedback control. Thiscorresponds to the case when ζ = 1.Remark 5. For OFP(ρ)(ρ < 0) system, the analysis is thesame, but the triggering condition is (10) and the outputfeedback gain should be chosen based on the index ρ ofthe plant. In this case, one can verify that

τ =1γζLx

ln(

1+Lxζδσo

Lxζ + LuK+ δσoLuK

)

,

with σo =ρ+K

Kand K > −ρ.

Remark 6. The analysis shown in Proposition 1 requiresthat the output of the plant belongs to a bounded sector ofthe state. This is actually a conservative condition and itrequires that the input and output have the same dimensionas the state. Note that in many control systems, we can onlyuse partial state information to generate the control action.In this case, if the plant is passive or OFP with respect tothose states which can be measured, then we can still use themethod in Proposition 1 to get an estimate of inter-samplingtime. This situation is illustrated by the following example.Example 1. Consider the output feedback passive systemgiven by

x1(t) = −3x31(t)+ x1(t)x2(t)

x2(t) = 3x2(t)+2u(t)

y(t) = x2(t),

(19)

we can see that the system is ZSD but unstable, and we canonly measure x2. If we choose the storage function V(x) =14 x2

2(t), we can get

V(x) = u(t)y(t)+1.5y2(t), (20)

and in this case ρ= −1.5, the plant is OFP(-1.5) with respectto x2. Moreover, we have

‖y‖2

‖y‖2=‖x2‖2

‖y‖2=‖3x2−2K(y− e)‖2

‖y‖2

≤ 3‖x2‖2

‖y‖2+2K+2K

‖e‖2

‖y‖2= 3+2K+2K

‖e‖2

‖y‖2,

(21)

we can further get

d

dt

‖e‖2

‖y‖2≤

(

1+‖e‖2

‖y‖2

) ‖y‖2

‖y‖2

≤(

1+‖e‖2

‖y‖2

)(

3+2K+2K‖e‖2

‖y‖2

)

.

(22)

So in this case, with no network induced delay, the evolutionof ‖e‖2‖y‖2

during each inter-sampling time is upper bounded bythe solution to

p =(

1+ p)(

3+2K+2K p)

with p(tk) = 0, and we can get an estimate on the lowerbound of the inter-sampling time τ based on the solution top(tk+τ) = δσo. According to Theorem 2, we need to chooseK > −ρ > 0 as the stabilization output feedback gain. If wechoose K = 3 and δ = 1, then the triggering condition inTheorem 2 becomes ‖e(t)‖2 =

K+ρK‖y(t)‖2 = 0.5‖y(t)‖2. We add

external disturbance at the input to the plant which is anuniformly distributed random signal on the interval [0,0.5],the simulation result is shown in Fig.2, where σ(t) showsthe evolution of ‖e‖2

‖y‖2, {tk+1 − tk} shows the evolution of the

inter-sampling time, xp1 and xp2 show the evolution of thestate of the plant.

0 5 100

0.2

0.4

0.6

0.8

1

t(s)

tk+

1−

tk(s

)

0 5 100

0.1

0.2

0.3

0.4

0.5

t(s)

σ(t

)

0 5 10−5

−4

−3

−2

−1

0

t(s)

xp1

0 5 100

5

10

15

20

t(s)

xp2

Fig. 2: simulation result of example 1

When there is non-trivial network induced delay from thesampler to the controller (∆k , 0), we need to be carefulabout the triggering condition, and the admissible networkinduced delay is related to the triggering condition: usuallya larger triggering threshold implies a longer inter-samplingtime, thus more tolerance to the network induced delay.Since ‖e‖2 = ‖y− y(tk)‖2, we have ‖e‖2 ≥ ‖y(tk)‖2−‖y‖2, thus‖y‖2 ≥ ‖y(tk)‖2 − ‖e‖2, for t ∈ [tk, tk+1). One can verify thata sufficient condition for ‖e‖2 ≤ ‖y‖2 to be satisfied for allt ≥ 0 is given by ‖e‖2 ≤ 0.5‖y(tk)‖2, for t ∈ [tk, tk+1), ∀k. Soalternative triggering conditions to (8) and (10) are given by

‖e‖2 = 0.5δ‖y(tk)‖2, if the plant is passive (23)

‖e‖2 =δσo

1+σo

‖y(tk)‖2, if the plant is OFP(ρ), ρ < 0 (24)

with δ ∈ (0,1], and for t ∈ [tk, tk+1), ∀k. Note that they aretighter triggering conditions compared with (8) and (10). Weuse them for analysis on the upper bound of the admissiblenetwork induced delay as provided in the following propo-sition.

Proposition 2. Consider the networked control system shownin Fig.1, where the plant is passive with storage functionV(x). Let assumptions 1)-4) in Proposition 1 be satisfied.Then for any initial condition x(0) ∈ S 0 ⊂ S x, there existsηk > 0, such that for ∆k ∈ [0,ηk] and with control actionu(t) = −Ky(tk),K > 0, t ∈ [tk + ∆k, tk+1 + ∆k+1), the inter-sampling time {tk+1 − tk} implicitly determined by the trig-gering condition (23) is strictly positive.

Proof: Let e(t) denote the output novelty error at the

1677

Page 5: [IEEE 2011 American Control Conference - San Francisco, CA (2011.6.29-2011.7.1)] Proceedings of the 2011 American Control Conference - Event-triggered real-time scheduling for stabilization

controller, and we have

e(t) =

y(t)− y(tk−1), for t ∈ [tk, tk +∆k)

y(t)− y(tk), for t ∈ [tk +∆k, tk+1),(25)

whilee(t) = y(t)− y(tk), for t ∈ [tk, tk+1) . (26)

For t ∈ [tk, tk +∆k), we have

d

dt‖e‖2 ≤ ‖ ˙e‖2 = ‖y‖2 ≤ γ‖x‖2

≤ γ[

Lx‖x‖2 + LuK‖y(tk−1)‖2]

≤ γ[

Lxζ‖y‖2 + LuK‖y− e‖2]

≤ γ[(

Lxζ + LuK)

‖y‖2 + LuK‖e‖2]

= γ[(

Lxζ + LuK)

‖e+ y(tk)‖2+ LuK‖e+ y(tk)− y(tk−1)‖2]

≤ γ(

Lxζ +2LuK)

‖e‖2+γ(

Lxζ + LuK)

‖y(tk)‖2+γLuK‖y(tk)− y(tk−1)‖2,

(27)so the evolution of ‖e‖2 during [tk, tk+∆k) is bounded by thesolution to

p = γ(

Lxζ +2LuK)

p+γ(

Lxζ + LuK)

‖y(tk)‖2+γLuK‖y(tk)− y(tk−1)‖2

(28)

with p(tk)= 0. Assume ‖e(tk+∆k)‖2 = 0.5δ1‖y(tk)‖2, with δ1 ∈(0, δ), then ∆k is lower bounded by the solution to p(tk+ε−k )=0.5δ1‖y(tk)‖2, we can obtain

ε−k =1

γ(Lxζ +2LuK)ln

(

1+0.5δ1(Lxζ +2LuK)

Lxζ + (1+0.5δ1)LuK

)

. (29)

Assume ∆k ≤ ε−k

, then for t ∈ [tk + ε−k , tk+1), we have

d

dt‖e‖2 ≤ γ

(

Lx‖x‖2 + LuK‖y(tk)‖2)

≤ γ(

Lxζ‖y‖2 + LuK‖y(tk)‖2)

≤ γLxζ‖e‖2+γ(Lxζ + LuK)‖y(tk)‖2,

(30)

so the evolution of ‖e‖2 during [tk + ε−k , tk+1) is bounded bythe solution to

p = γLxζp+γ(Lxζ + LuK)‖y(tk)‖2, (31)

with p(tk + ε−k ) = 0.5δ1‖y(tk)‖2. Assume ‖e(tk+1)‖2 =0.5δ2‖y(tk)‖2, where δ2 ∈ (δ1,1), then [tk+1−(tk+ε−k )] is lowerbounded by the solution to p(tk + ε−k + εk) = 0.5δ2‖y(tk)‖2,we can obtain

εk =1γLxζ

ln(

LuK+ (1+0.5δ2)Lxζ

LuK+ (1+0.5δ1)Lxζ

)

. (32)

Note that for t ∈ [tk+ε−k , tk+1), e = e, and at t = tk+1, e is resetto zero while ‖e‖2 is continuing growing due to the delayfrom the sampler to the controller. To assure stability, weneed ‖e‖2 ≤ 0.5‖y(tk)‖2 for t ∈ [tk+1, tk+1+∆k+1). The evolutionof ‖e‖2 during [tk+1, tk+1 +∆k+1) is bounded by

d

dt‖e‖2 ≤ ‖e‖2 ≤ γ

(

Lx‖x‖2 + LuK‖y(tk)‖2)

≤ γ(

Lxζ‖y‖2 + LuK‖y(tk)‖2)

≤ γLxζ‖e‖2+γ(Lxζ + LuK)‖y(tk)‖2.

(33)

Assume ‖e(tk+1+∆k+1)‖2 = 0.5δ‖y(tk)‖2, where δ ∈ (δ2,1), onecan verify that ∆k+1 is lower bounded by

ε+k =1γLxζ

ln(

LuK+ (1+0.5δ)Lxζ

LuK + (1+0.5δ2)Lxζ

)

. (34)

Let ηk = min{

ε−k, ε+

k

}

, then one can verify that for any ∆k ∈

[0,ηk], the inter-sampling time implicitly determined by thetriggering condition (23) is lower bounded by

tk+1 − tk ≥ τk = ∆k + εk > 0 ,

and the proof is completed.Remark 7. For OFP(ρ) system with ρ < 0, the analysis onthe admissible network induced delay should be the samewith the analysis shown in Proposition 2. One can verifythat in this case

ε−k =1

γ(Lxζ +2LuK)ln

(

1+δ1σo

σo+1 (Lxζ +2LuK)

Lxζ + (1+ δ1σo

σo+1 )LuK

)

, (35)

ε+k =1γLxζ

ln(

LuK+ (1+ δσo

σo+1 )Lxζ

LuK+ (1+ δ2σo

σo+1 )Lxζ

)

, (36)

εk =1γLxζ

ln(

LuK + (1+ δ2σo

σo+1 )Lxζ

LuK + (1+ δ1σo

σo+1 )Lxζ

)

. (37)

Example 2. Consider again the OFP system studied inExample 1. We can get Lx = 3, Lu = 2, ζ = 1, γ = 1. ChooseK = 3, δ1 = 0.2, δ2 = 0.8 and δ = 1, one can verify thatε−

k= ε+

k= 0.0067s in this case. We add randomly generated

network induced delay from the sampler to the controllerinto the system studied in Example 1, and impose ∆k tobe uniformly distributed on the interval [0,0.0067s], thesimulation result is shown in Fig.3.

0 2 4 60

0.2

0.4

0.6

0.8

1

t(s)

tk+

1−

tk(s

)

0 2 4 60

0.1

0.2

0.3

0.4

t(s)

σ(t

)

0 2 4 6−5

−4

−3

−2

−1

0

t(s)

xp1

0 2 4 60

5

10

15

t(s)

xp2

Fig. 3: simulation result of example 2

V. C

In this paper, we propose an output feedback based event-triggered control strategy for stabilization of passive and

1678

Page 6: [IEEE 2011 American Control Conference - San Francisco, CA (2011.6.29-2011.7.1)] Proceedings of the 2011 American Control Conference - Event-triggered real-time scheduling for stabilization

OFP NCSs. The triggering condition and the stabilizationoutput feedback controller are obtained based on the outputfeedback passivity index of the plant. Analyses on the inter-sampling and the admissible network induced delay from thesampler to the controller are derived by restricting the outputto belong to a bounded sector of the state.

VI. A

The support of the National Science Foundation underGrant No. CCF-0819865 is gratefully acknowledged.

R

[1] E. I. Jury, Sample-Data Control Systems, Wiley, New York, 1958.[2] J. R. Ragazzini and G. F. Franklin, Sampled-Data Control Systems,

McGraw-Hill, New York, 1958.[3] K. J. Astrom and B. Wittenmark,Computer Controlled Systems: theory

and design, Prentice-Hall, Englewood Cliffs, NJ, 1990.[4] J. C. Willems, “Dissipative dynamical systems part I: General theory”,

Archive for Rational Mechanics and Analysis, Springer Berlin, Vol.45,No.5, pp.321-351, January, 1972.

[5] R. Sepulchre, M. Jankovic and P. Kokotovic, Constructive Nonlinear

Control, Springer-Verlag, 1997.[6] K. E. Årzen, “A simple event based PID controller”, Proceedings of

14th IFAC World Congress, pp.423-428, vol.18, 1999.[7] K. J. Astrom and B. M. Bernhardsson, “Comparison of Riemann and

Lebesgue sampling for first order stochastic systems (I)”, Proceedings

of the 41st IEEE Conference on Decision and Control, Vol.2, pp.2011-2016, 2002.

[8] P. Tabuada, “Event-triggered real-time scheduling of stabilizing con-trol tasks”, IEEE Transaction on Automatic Control, Vol.52, No.9,pp.1680-1685, September 2007.

[9] M. Mazo and P. Tabuada, “On event-triggered and self-triggeredcontrol over sensor/actuator networks” , in Proceedings of the 47thConference on Decision and Control, 2008.

[10] X. Wang and M. Lemmon, “Event-triggering in distributed networkedsystems with data dropouts and delays” , in Hybrid Systems: Compu-tation and Control, 2009.

[11] X. Wang and M. D. Lemmon, “Self-triggered feedback control sys-tems with finite-gain L2 stability”, IEEE Transactions on AutomaticControl, Vol.54, No.3, pp.452-467, March 2009.

[12] A. Anta and P. Tabuada, “To sample or not to sample: Self-triggeredcontrol for nonlinear systems”, Vol.55, No.9, pp.2030-2042, Sept.2010.

[13] J. P. LaSalle, “Some extensions of Liapunovs second method”, IRE

Transactions on Circuit Theory, CT-7, pp.520-527, 1960.[14] K. J. Astrom, “Event Based Control”, Analysis and Design of Nonlin-

ear Control Systems, Part 3, pp.127-147, 2008.[15] W. P. M. H. Heemelsa, J. H. Sandeeb, P. P. J. Van Den Boscha,

“Analysis of event-driven controllers for linear systems”, InternationalJournal of Control, Vol. 81, No. 4, pp.571-590, April 2008.

[16] P. G. Otanez, J. R. Moyne, D. M. Tilbury, “Using deadbands to reducecommunication in networked control systems”, in Proceedings of theAmerican Control Conference, pp.3015-3020, 2002.

[17] E. Kofman, J. H. Braslavsky, “Level Crossing Sampling in FeedbackStabilization under Data-Rate Constraints”, in Proceedings of the IEEEConference on Decision and Control, pp.4423-4428, 2006.

[18] E. D. Sontag, “Smooth stabilization implies coprime factoriza-tion,”IEEE Transactions on Automatic Control, Vol.34, No.4, pp.435-443, Apr. 1989.

[19] N. C. S. Fah, “Input-to-state stability with respect to measurementdisturbances for one-dimensional systems”, ESAIM J. Control, Optim.Calculus Variations, Vol.4, pp.99-122, 1999.

[20] R. A. Freeman, “Global internal stabilizability does not imply globalexternal stabilizability for small sensor disturbances,”IEEE Transac-tions on Automatic Control, Vol.40, No.12, pp.2119-2122, Dec. 1995.

[21] R. A. Freeman, P. V. Kokotovic “Robust Nonlinear Control Design:State-Space and Lyapunov Techniques”, Boston, MA: Birkhauser,1996.

[22] Z. P. Jiang, I. M. Y. Mareels, and D. Hill, “Robust control of uncertainnonlinear systems via measurement feedback,”IEEE Transactions onAutomatic Control, Vol.44, No.4, pp.807-812, Apr. 1999.

1679