arxiv: v2 [math.oc] 2 Mar 2015

Transcription

1 Disribued even-riggered communicaion for dynamic average consensus in neworked sysems Solmaz S. Kia a Jorge Corés b Sonia Marínez b a Deparmen of Mechanical and Aerospace Engineering, Universiy of California a Irvine, Irvine, CA 9697, USA arxiv:44.747v [mah.oc] Mar 5 b Deparmen of Mechanical and Aerospace Engineering, Universiy of California a San Diego, La Jolla, CA 993, USA Absrac This paper presens disribued algorihmic soluions ha employ opporunisic iner-agen communicaion o achieve dynamic average consensus. In our soluions each agen is endowed wih a local crierion ha enables i o deermine wheher o broadcas is sae o is neighbors. Our saring poin is a coninuous-ime disribued coordinaion sraegy ha, under coninuous-ime communicaion, achieves pracical asympoic racking of he dynamic average of he ime-varying agens reference inpus. Then, for his algorihm, depending on he direced or undireced naure of he ime-varying ineracions and under suiable conneciviy condiions, we propose wo differen disribued even-riggered communicaion laws ha prescribe agen communicaions a discree ime insans in an opporunisic fashion. In boh cases, we esablish posiive lower bounds on he iner-even imes of each agen and characerize heir dependence on he algorihm design parameers. This analysis allows us o rule ou he presence of Zeno behavior and characerize he asympoic correcness of he resuling implemenaions. Several simulaions illusrae he resuls. Key words: cooperaive conrol, dynamic average consensus, even-riggered communicaion, weigh-balanced direced graphs. Inroducion The dynamic average consensus problem consiss of designing a disribued algorihm ha allows a group of agens o rack he average of individual ime-varying reference inpus, one per agen. This problem has applicaions in numerous areas ha involve disribued sensing and filering, including disribued racking [Yang e al., 7], muli-robo coordinaion [Yang e al., 8], sensor fusion [Olfai-Saber, 7, Olfai-Saber and Shamma, 5], and disribued esimaion [Carron e al., 3]. Our goal here is o develop algorihmic soluions o he dynamic average consensus problem which rely on agens locally deciding when o share informaion wih heir neighbors in an opporunisic fashion for greaer efficiency and energy savings. By opporunisic, we mean ha he ransmission of informaion o he neighbors should happen a imes when i is needed o preserve he sabiliy and convergence of he coordinaion algorihm. A preliminary version appears a he IEEE Conference on Decision and Conrol as [Kia e al., 4a]. addresses: solmaz@uci.edu (Solmaz S. Kia), cores@ucsd.edu (Jorge Corés), soniamd@ucsd.edu (Sonia Marínez). Lieraure review: The lieraure of cooperaive conrol has proposed dynamic average consensus algorihms ha are execued eiher in coninuous-ime [Bai e al.,, Freeman e al., 6, Kia e al., 4b, Olfai- Saber and Shamma, 5, Spanos e al., 5] or in fixed sepsize discree-ime [Kia e al., 4b, Zhu and Marínez, ]. Coninuous-ime algorihms operae under he assumpion of coninuous agen-o-agen informaion sharing. Alhough discree-ime algorihms are more amenable o pracical implemenaion, use of a fixed communicaion sep-size, which should be designed o address also rarely occurring wors-case siuaions, can be a waseful use of he nework resources. In addiion, in hese discree-ime algorihms communicaion and compuaion sepsizes are ied ogeher, resuling in poenially a conservaive sepsize for communicaion imes. This can resul in cosly implemenaions, as performing communicaion usually requires more energy han compuaion. Moreover, he assumpion of periodic, synchronous communicaion is unrealisic in many scenarios involving cyber-physical sysems, as processors are subjec o naural delays and errors which may deviae hem from he perfec operaional condiions he sraegies are designed for. Even-riggered communicaion offers a way o address hese shorcomings by prescribing in an opporunisic Preprin submied o Auomaica 8 Ocober 8

2 way he imes for informaion sharing and allowing individual agens o deermine hese auonomously. In recen years, an increasing body of work ha seeks o rade compuaion and decision-making for less communicaion, sensing or acuaion effor while guaraneeing a desired level of performance has emerged, see e.g., [Heemels e al.,, Mazo and Tabuada,, Wang and Lemmon, ]. Closes o he problem considered here are he works ha sudy even-riggered communicaion laws for saic average consensus, see e.g., [Dimarogonas e al.,, Fan e al., 3, Garcia e al., 3, Nowzari and Corés, 4, Seyboh e al., 3] and references herein. Saemen of conribuions: We propose novel algorihmic soluions o he dynamic average consensus problem ha employ opporunisic sraegies o deermine he communicaion imes among neighboring agens. The basic idea is ha agens share heir informaion wih neighbors when he uncerainy in he oudaed informaion is such ha he monoonic convergen behavior of he overall nework can no longer be guaraneed. To realize his concep, depending on he conneciviy properies of he ineracion opology, we propose and characerize he asympoic correcness of wo differen disribued even-riggered communicaion laws. Our leas sringen conneciviy condiions are modeled by a ime-varying, weigh-balanced piecewise consan digraph which is joinly srongly conneced over an infinie sequence of coniguous and uniformly bounded ime inervals. In he second scenario, we consider ineracion opologies modeled by a ime-varying, piecewise coninuous undireced conneced graph, which allows us o furher refine our analyical guaranees. By esablishing posiive lower bounds on he iner-even imes of each agen for boh cases, we also show ha he proposed disribued even-riggered communicaion laws are free from Zeno behavior (he undesirable siuaion where an infinie number of communicaion rounds are riggered in a finie amoun of ime). Finally, we analyze he dependence of he iner-even imes on he algorihm design parameers. This characerizaion provides guidelines on he rade-offs beween he minimum iner-even imes for communicaion and he performance and energy efficiency of he proposed algorihms. We demonsrae hrough several comparaive simulaion sudies he advanages of our proposed even-riggered communicaion sraegies over schemes ha rely on coninuousime communicaion as well as discree-ime communicaion wih fixed sepsize. Noaion and erminology We le R, R, R >, and Z denoe he se of real, nonnegaive real, posiive real, and nonnegaive ineger, respecively. The ranspose of a marix A is A. We le n (resp. n ) denoe he vecor of n ones (resp. n zeros). We le Π n = I n n n n, where I n is he n n ideniy marix. When clear from he conex, we do no specify he marix dimensions. For u R d, u = u u is he sandard Euclidean norm. For u R, u is is absolue value. For a ime-varying measurable locally essenially bounded signal u : R R m, we denoe by u ess he essenial supremum norm. For a scalar signal u, we use u ess insead. For vecors u,..., u m, we le u = (u,..., u m ) represen he aggregaed vecor. In a neworked sysem, we disinguish he local variables a each agen by a superscrip, e.g., x i is he local sae of agen i. If p i R d is a variable of agen i, he aggregae of a nework wih N agens is p = (p,..., p N ) (R d ) N. Graph heory: Here, we briefly review some basic conceps from graph heory and linear algebra following [Bullo e al., 9]. A direced graph, or simply a digraph, is a pair G = (V, E), where V = {,..., N} is he node se and E V V is he edge se. For an edge (i, j) E, i is called an in-neighbor of j and j is called an ou-neighbor of i. We le N i denoe he se of ou-neighbors of i V. A graph is undireced if (i, j) E when (j, i) E. A direced pah is a sequence of nodes conneced by edges. A digraph is called srongly conneced if for every pair of verices here is a direced pah connecing hem. Given digraphs G i = (V, E i ), i {,..., m}, heir union is he graph n i= G i = (V, E E E m ). A weighed digraph is a riple (V, E, A), where G = (V, E) is a digraph and A R N N is a weighed adjacency marix wih he propery ha a ij > if (i, j) E and a ij =, oherwise. A weighed digraph is undireced if a ij = a ji for all i, j V. We refer o a srongly conneced and undireced graph as conneced. The weighed ou- and in-degrees of a node i are, respecively, d i ou = j= a ij and d i in = j= a ji. A digraph is weigh-balanced if a each node i V, he weighed ou- and in-degrees coincide (alhough hey migh be differen across differen nodes). The (ou-) Laplacian marix is L = D ou A, where D ou = Diag(d ou,, d N ou) R N N. Noe ha L N =. A digraph is weigh-balanced if and only if T NL = if and only if Sym(L) = (L LT ) is posiive semi-definie. Based on he srucure of L, a leas one of he eigenvalues of L, denoed by λ,..., λ N, is zero and he res of hem have nonnegaive real pars. We le λ = and R(λ i ) R(λ j ), for i < j, where R( ) denoes he real par of a complex number. We denoe he eigenvalues of Sym(L) by ˆλ,..., ˆλ N. For a srongly conneced and weigh-balanced digraph, zero is a simple eigenvalue of boh L and Sym(L). In his case, we order he eigenvalues of Sym(L) as = ˆλ < ˆλ ˆλ 3... ˆλ N. Throughou he paper, we deal wih ime-varying digraphs wih fixed verex se. A ime-varying digraph R G() = (V, E(), A()) is piecewise coninuous (respecively, piecewise consan) if he map A() is piecewise coninuous (respecively, piecewise consan) from he righ. In such case, we denoe by {s k } k Z

3 he ime insans a which his map is disconinuous and refer o hem as swiching imes. By convenion, s =. A ime-varying digraph R G() has uniformly bounded weighs if, for all R, < a a ij () [a, ā], wih < a ā, if (j, i) E(), and a ij = oherwise. A ime-varying digraph R G() is srongly conneced if each G() is srongly conneced, and is joinly srongly conneced over [, ) if [, )G() is srongly conneced. A piecewise consan ime-varying digraph R G() is recurrenly joinly srongly conneced if he sequence of inerswiching imes {s k s k } k Z is uniformly lower bounded and here exiss an infinie sequence of coniguous uniformly bounded inervals {[s kj, s kj )} j Z, wih s k = s, such ha G() is joinly srongly conneced over [s kj, s kj ), for all j Z. Finally, a imevarying digraph R G() is weigh-balanced if each G() is weigh-balanced. For a piecewise consan recurrenly joinly srongly conneced and weighbalanced digraph wih uniformly bounded weighs, we le {s i k } k Z {s k } k Z be he imes when an agen i V acquires a new in-neighbor and we define L =sup{ L R }, ˆλ =inf{ˆλ (L ) R }, d i ou =sup{d i ou() R }, i V, where L is he Laplacian of G(). Noe ha if G has uniformly bounded weighs and is weigh-balanced and srongly conneced, hen ˆλ >. If G is a ime-varying conneced graph, we use he noaion λ insead of ˆλ. The following resul, aken from [Kia e al., 4b, Lemma 4.5], is useful when dealing wih recurrenly joinly srongly conneced digraphs. When such digraphs are weigh-balanced wih uniformly bounded weighs, here exis ˆλ σ > and ρ > such ha e βr L R( ) ρ e βˆλ σ( ),, () for any β >. If he digraph is addiionally srongly conneced, hen () is saisfied wih ρ = and ˆλ σ = ˆλ. 3 Nework model and problem saemen Consider a nework of N agens wih single-inegraor dynamics, ẋ i = g i, i V, where x i R is he agreemen sae and g i R is he driving command of agen i. Our consideraion of simple dynamics is moivaed by he fac ha he sae of he agens does no necessarily correspond o some physical quaniy, bu insead o some logical variable on which agens perform compuaion and processing. Each agen i V has access o a imevarying reference signal r i : R R. Agens ransmi informaion o oher agens hrough wireless communicaion and heir ineracion opology is modeled by a ime-varying weighed digraph G. An edge (i, j) from i o j a ime means ha agen j can send informaion o agen i a. For convenience, we le ˆx i denoe he las sampled sae of agen i V. We le { i k} k Z = { i k} k Z {s i k} k Z R denoe he sequence of updae imes of agen i V. Here, { i k } k Z is he se of imes a which he sae of he agen is sampled, ha is ˆx i () = x i ( i k ) for [ i k, i k ), while {si k } k Z is he se of swiching imes of he underlying communicaion digraph a which he agen acquires an in-neighbor. According o his model, agen i broadcass ˆx i o is in-neighbors a each ime i k if di in (i k ) > and also a he imes si k. The variable x i () = ˆx i () x i () denoes he mismach beween he las sampled sae and he sae of agen i a ime. When he graph is no fixed, he model above assumes ha individual agens are made aware of he ideniy of newly acquired in-neighbors (so ha hey can communicae o hem heir las ransmied sae) and depared ou-neighbors (so ha hey can remove heir sae from heir compuaions). Under he nework model described above, our goal is o design a disribued algorihm ha allows each agen o asympoically rack he average of he reference inpus N j= rj () across he group. The algorihm design amouns o specifying, for each agen i V, a suiable disribued driving command g i : R N i R ogeher wih a mechanism for riggering communicaion wih is in-neighbors in an opporunisic fashion. By disribued, we mean ha each agen only needs o receive informaion from is ou-neighbors o evaluae g i and he communicaion riggering law. A key requiremen on he communicaion riggering mechanism is ha he resuling nework evoluion is free from Zeno behavior, i.e., does no exhibi an infinie amoun of communicaion rounds in any finie amoun of ime. 4 Coninuous-ime compuaion wih disribued even-riggered communicaion Here, we presen our soluion o he problem saed in Secion 3. Our saring poin is he coninuous-ime algorihm for dynamic average consensus proposed in our previous work [Kia e al., 4b], v i = αβ j= a ij(x i x j ), (a) ẋ i =ṙ i α(x i r i ) β a ij(x i x j ) v i, (b) j= for each i V. In (), α, β R > are design parameers. Noe ha he execuion of his algorihm requires coninuous agen-o-agen sharing of he variable x. Remark 4. (Knowledge of derivaive of reference signals): Ineresingly, () can be execued wihou knowledge of he ime derivaives of he reference signals. In fac, wih he change of variables x = x r, () reads v i = αβ j= a ij( x i r i x j r j ), x i = α x i β a ij( x i r i x j r j ) v i, j= x i = x i r i, i V. 3

4 Agens operae on heir corresponding componens of v and x, and inerchange wih heir neighbors he corresponding componens of x. We only use he represenaion () for convenience in our echnical analysis laer. The following resul summarizes, for reference, he asympoic correcness guaranees of (). Theorem 4. (Convergence of () over weigh-balanced and recurrenly joinly srongly conneced digraphs [Kia e al., 4b]): Assume he agen inpus saisfy Π N ṙ ess = γ <. Le he communicaion opology be a weigh-balanced and recurrenly joinly srongly conneced ime-varying digraph G wih uniformly bounded weighs. Then, for any α, β R >, he evoluion of he algorihm () over G iniialized a z i (), v i () R wih i= vi () = is bounded and saisfies, for i V, lim sup x i () N j= rj () ρ γ, (3) βˆλ σ wih ˆλ σ and ρ saisfying (). Given he nework model of Secion 3, where he ransmission of informaion is limied o discree insans of ime, we propose here he following implemenaion of () wih discree-ime communicaion, v i = αβ j= a ij(ˆx i ˆx j ), (4a) ẋ i = ṙ i α(x i r i ) β a ij(ˆx i ˆx j ) v i, (4b) j= for each i V. Our ask is o provide individual agens wih riggers ha allow hem o deermine in an opporunisic fashion when o ransmi informaion o heir in-neighbors. The design of such riggers is challenging because riggers need o be disribued, so ha agens can check hem wih he informaion available o hem from heir ou-neighbors, hey mus guaranee he absence of Zeno behavior, and hey have o ensure he nework achieves dynamic average consensus even hough agens operae wih oudaed informaion while inpus are changing wih ime. 4. Compac-form algorihm represenaions Here, we presen wo equivalen compac-form represenaions of he algorihm (4) for analysis purposes. Firs, consider he change of variable w =v απ N r, y =x r, r = N j= rj N. (5a) which ransforms he algorihm () ino (compac form) ẇ = αβl y αβl x απ N ṙ, ẏ = αy βl y βl x Π N ṙ w, (6a) (6b) Noe ha y is he aggregaed racking error vecor. Here, we have used L ˆx = L (x x) = L yl x wih x = ˆx x. We use he orhonormal ransfer marix T R N N T=[r R], r = N N, r R=, R R = I N. (7) o obain our second represenaion below ha separaes ou he consan dynamics of he algorihm, q = r w, q :N = αr y R w, z = T y. (8) We pariion he new variable z as (z, z :N ), where z R. Then, if he nework ineracion opology is weighbalanced, he algorihm (6) can be wrien as, q =, (9a) q :N = αq :N, (9b) ż = αz q, (9c) ż :N = βr L Rz :N βr L xr ṙ q :N. (9d) We close his secion by describing he relaionship beween he iniial condiions of he variables for each represenaion. We invoke hese relaions in our analysis below. Noe ha q :N = R (αyw) = R (α(x r)v). Then, given x(), v() R N wih i= vi () =, and using r Π N = and RR = Π N = Π N, q () = r w() = r v() =, q :N () = απ N (x() r()) v(), z () = r y() = r (x() r()), z :N () = Π N (x() r()). (a) (b) (c) (d) 4. Communicaion riggering law for weigh-balanced and recurrenly joinly srongly conneced digraphs In his secion, for neworks wih ime-varying digraph ineracions, we inroduce a disribued even-riggered mechanism ha agens can employ o deermine heir sequence of communicaion imes. For each agen, he execuion of his mechanism relies on is local variables. This naurally resuls in asynchronous schedules of communicaion, which poses addiional analysis challenges. Neverheless, we are able o overcome hem in he following resul which saes ha he closed-loop nework execuion is free from Zeno behavior and guaraneed o achieve pracical dynamic average consensus. Theorem 4.3 (Convergence of (4) over recurrenly joinly srongly conneced and weigh-balanced digraph wih asynchronous disribued even-riggered communicaion): Assume ha he inpu of each agen i V saisfies ṙ i ess = κ i <, while Π N ṙ ess = γ <. Le he communicaion opology be a weigh-balanced and recurrenly joinly srongly conneced ime-varying digraph {G} {sk } wih uniformly bounded weighs. For ɛ R N >, consider an implemenaion of he algorihm (4) over {G} {sk }, where agens communicae according o he model described in Secion 3 wih he sampling imes { i k } k Z of agen i V, saring a i =, deermined by i k =argmax{ [ i k, ) x i ( i k) x i () ɛ i }. () Then, for any α, β >, he evoluion saring from x i () R and v i () R wih i= vi ()= saisfies lim sup x i () N j= rj () γβ L ɛ βˆλ σ ρ, () 4

5 for i V wih an exponenial rae of convergence of min{α, βˆλ σ }. Here, ˆλ σ and ρ saisfy (). Furhermore, he iner-execuion imes of () for each agen i V are lower bounded by τ i = ( α ln αɛ ) i c i, (3) where c i = κ i (α β d i ou) η r (x() r()) and Π N (α(x() r()) v()) αη, (4) η = ρ (γβ L ɛ ) Π βˆλ N (x() r()) ρ q σ :N () (( βˆλ σ α βˆλ σ α ) β ˆλσ α β ˆλσ ( βˆλ σ α ) α α β ˆλσ ), if βˆλ σ α,, if βˆλ βˆλ σ = α. σe Hence, { k } k Z = N i= k Z i k has no accumulaion poin and he execuion of (4) over {G} {sk } is Zeno-free. PROOF. Given an iniial condiion, le [, T ) be he maximal inerval on which here is no accumulaion poin in he se of updae imes { k } k Z. Noe ha T >, since he number of agens is finie and, for each i V, ɛ i > and x i () = ˆx i () x i () =. The dynamics (4), under he even-riggered communicaion scheme (), has a unique soluion in he ime inerval [, T ). Our firs sep is o show ha he rajecory says bounded in [, T ). Consider he compac-form represenaion (9) of he algorihm. Given i= vi () = and (), for R, q ()=, q :N ()=q :N ()e αț z ()=z ()e α. (5) Hence hese variables are bounded. To bound z :N (), we look ino he soluion of (9d) by subsiuing q :N () = q :N ()e α and considering ( x, Rṙ) as exogenous inpus. In he ime inerval [, T ) ha his soluion exiss, one has z :N () = Φ(, )z :N () Φ(, τ) e ατ q :N ()dτ Φ(, τ)(βr L τ x(τ) R ṙ(τ))dτ where Φ(, τ) = e βr L R( τ). Given he evenriggered communicaion law (), we have x ɛ. Then, for [, T ) we have z :N () ρe βˆλ σ z :N () (6) γ β L ɛ ρ ( e βˆλσ ) ρ q :N () βˆλ { σ (e βˆλ σ e α ), if βˆλ α βˆλ σ α, σ e βˆλ σ, if βˆλ σ = α. Here, we also used R ṙ = Πṙ γ and (). Taking he maximum of each erm in he righhand side of (6) and using (), we have z :N () η, [, T ), (7) were he consan η is given in he saemen. Given ha he number of he agens is finie, { k } k Z is free of Zeno if boh {s k } k Z and { i k } k Z, i {,..., n}, are uniformly lower bounded. Since he former fac holds by assumpion, we nex esablish he laer. Tha is, for each agen, we esablish a lower bound on he iner-execuion imes of () by deermining a lower bound on he amoun of ime i akes for agen i V o have ˆx i x i evolve from o ɛ i. Noe ha y() = z() η r (x() r()), (8) for all [, T ), where we have used (), (5) and (7). On he oher hand, since r w() = for all R by (5), we have Π N w() = w(). Muliplying he second equaion in (8) by R and using RR = Π N, we obain w() = Rq :N () αrz :N (). Using now R R = I N, we deduce w() q :N () α z :N () απ N (x() r()) v() αη, for all [, T ), where we have again used (), (5) and (7). Nex noice ha, for each i V, using (4) and (5), we have d d ˆxi x i = (ˆxi x i ) ẋ i ˆx i x i ẋ i = ṙ i α(x i r i ) β a ij(ˆx i ˆx j ) v i j= = ṙ i α(x i N j= rj ) β a ij(ŷ i ŷ j ) w i j= κ i α ˆx i x i α ŷ i β a ij( ŷ i ŷ j ) w i. j= Then, by noing ha y i y and w i w, and using he bounds esablished above on y and w, we obain d d ˆxi x i α ˆx i x i c i, (9) where c i is given in (4). Nex, using he Comparison Lemma, cf. Khalil [], and ˆx i = x i ( i k ), we deduce ˆx i x i () ci i α (eα( k ) ), i k. () Therefore, he ime i akes ˆx i x i o reach ɛ i is lower bounded by τ i > as given in (3). This fac also implies ha T =. To see his, we reason by conradicion, i.e., suppose T <. Then, he sequence of imes { k } k Z has an accumulaion poin a T. Because here is a finie number of agens, his implies ha here is an agen i V for which { i k } k Z has an accumulaion poin a T. This implies ha i ransmis infiniely ofen in he ime inerval [T, T ) for any (, T ]. Given ha he swiching imes of he digraph are uniformly lower bounded, his conradics he fac ha he iner-even 5

6 imes of () are lower bounded by τ i > on [, T ). Finally, noe ha x i N j= rj x r = y = z, () for i V, so he bound (8) holds for all R. From (5), lim z () = wih an exponenial convergence rae α. From (6), lim sup z :N () (γ β L ɛ )/(βˆλ ) wih an exponenial rae of convergence min{α, βˆλ }. Combining hese facs wih () yields (), and his concludes he proof. No surprisingly, he ulimae convergence error bound () is worse han he bound (3) obained when agens communicae coninuously. The rigger () does no use he full agen sae and hence can be seen as an oupu feedback even-riggered conroller, see e.g., [Donkers and Heemels, ], for which guaraneeing he exisence of lower-bounded iner-execuion imes is in general difficul. Remark 4.4 (Iner-even imes as a funcion of he design parameers): The lower bound τ i in (3) along wih knowledge of he lower bound on he swiching imes of he opology allows o compue bounds on he maximum number of communicaion rounds (and associaed energy spen) by each agen i V (and hence he nework) during a given ime inerval. This lower bound depends on he various ingrediens as follows: τ i is an increasing funcion of ɛ i and a decreasing funcion of α and c i. Through he laer variable, he bound also depends on he graph opology and he design parameer β. Given he definiion of c i, one can deduce ha he faser an inpu of an agen is changing (larger κ i ) or he farher he agen iniially sars from he average of he inpus, he more ofen ha agen would need o rigger communicaion. The connecion beween nework performance and communicaion overhead can also be noed here. Increasing β or decreasing ɛ i o improve he bound () resuls in smaller iner-even imes. Given ha he convergence rae of (4) under () is min{α, βˆλ σ }, decreasing α o increase he iner-even imes slows down convergence. 4.3 Communicaion riggering law for ime-varying conneced undireced graphs Here, we design a disribued even-riggered communicaion law for (4) over neworks wih ime-varying conneced undireced graph ineracion opologies. While he resuls of he previous secion are valid for hese opologies, here we show ha he srucural properies of he Laplacian marix in he undireced case allows he alernaive even-riggered law o have longer inereven imes wih similar racking performance. Proposiion 4.5 (Convergence of (4) over ime-varying conneced undireced graphs wih asynchronous disribued even-riggered communicaion): Assume ha he inpu of each agen i V saisfies ṙ i ess = κ i <, while Π N ṙ ess = γ <. Le he communicaion opology be a conneced, piecewise coninuous ime-varying undireced graph {G} sk wih uniformly bounded weighs. For ɛ R N >, consider an implemenaion of he algorihm (4) over {G} {sk }, where agens communicae according o he model described in Secion 3 wih he sampling imes { i k } k Z of agen i V, saring a i =, deermined by i k = argmax{ [ i k, ) ˆx i () x i () () 4d i ou() j= a ij() ˆx i () ˆx j () ɛ i 4d i ou() }. Then, for any α, β R >, he evoluion saring from x i () R and v i () R wih i= vi () = saisfies lim sup x i () N j= rj () γ (3) ( γ ) ɛ, λ for i V. Furhermore, he iner-execuion imes of agen i V are lower bounded by τ i = ( α ln αɛ ) i, (4) c i di ou where c i is given in (4), wih η subsiued by { ζ = max Π N (x() r()), α Π N (x() r())v() γ ( απ N (x() r())v() γ ) ɛ λ }. Hence, { k } k Z = N i= k Z i k has no accumulaion poin and he execuion of (4) over {G} {sk } is Zeno-free. PROOF. Given an iniial condiion, le [, T ) be he maximal inerval on which here is no accumulaion poin in he se of even imes { k } k Z = N i= k Z i k. The expressions in (5) are equally valid in his case. To bound z :N (), consider V (z :N ) = z :N z :N. The derivaive of V (z :N ) along he rajecories of (9d) can be upper bounded, for [, T ), as V z :N q :N () e α z :Nz :N β(z :NR L Rz :N z :N R L x) γ z :N. For convenience, le s= z :N R L Rz :N z :N R L x. Using RR = Π N, L Π N = Π N L = L, and (8), we obain s = x L x x L x. Given ha he communicaion graph is conneced for all, we can show (see Kia e al. [4b] for deails) s (4d i ou() ˆx i x i a ij() ˆx i ˆx j ), i= j= 6

7 which, ogeher wih () implies ha s ɛ for [, T ) under he even-riggered communicaion law (). Therefore, for θ (, ), we have V ( θ) z :Nz :N θz :Nz :N λ ɛ γ z :N ( z :N q :N () e α ) ( θ)z :Nz :N r, (5) where r = z :N q :N () θz :N z :N λ ɛ γ z :N. Noice ha r < for z :N q :N() γ θ θ ( q:n () θ γ θ ) ɛ λ θ = ˆζ. Hence, for [, T ), as long as z :N () ˆζ, one has V ( θ)z :N z :N. Combining his inequaliy wih he definiion of V, and considering he limiing case θ, we deduce ha, for any z :N () R N and [, T ), z :N () max{ z :N (), ˆζ} = ζ. (6) Nex, following he same argumens as in he proof of Theorem 4.3, one can esablish a lower bound on he iner-execuion imes of any agen i V. To do his, we deermine a lower bound on he ime i akes i o have ˆx i x i evolve from o ɛ i /( di ou ) (noe he conservaiveness in his sep as we disregard he firs erm on he righhand side of ()). The resul of his analysis yields (), bu wih he value of c i given in he saemen (i.e., he expression in (4) wih η subsiued by ζ as defined in (6)). Therefore, he ime i akes ˆx i x i o reach ɛ i /( di ou ) is lower bounded by τ i > as given in (4). This fac also implies T =. Finally, () ogeher wih (5) and (6), imply ha for i V, x i () N j= rj () ζ r (x() r()), for R. Moreover, since T =, from (5), we have V ( θ)z :Nz :N r(), for R, where r() = z :N q :N () e α θz :N z :N λ ɛ γ z :N. Noe ha r() < for z :N q :N() e α γ θ θ ( q:n () e α θ γ θ ) ɛ λ θ = ζ(). Therefore, for R, as long as z :N () ζ(), V ( θ)z :N z :N. x i N j= uj Agens Fig.. Execuions of (4) wih he even-riggered communicaion law described in Secion 3 whose sampling rule is () and of () wih coninuous-ime communicaion. The nework is a weigh-balanced ime-varying digraph of 5 agens wih uni weighs, where for [, 5) i is a fixed ring digraph, for [5, 5) every seconds i is a single conneced pair of nodes and hen for [5, ) i is a ring digraph again. The inpus are u () =.5 sin(.8), u () =.5 sin(.7).5 cos(.6), u 3 () = sin(.), u 4 ()=aan(.5), u 5 ()=. cos(). The op plo shows he racking error and he boom one shows he communicaion imes of each agen. Black dashed (resp. gray solid) lines correspond o he even-riggered sraegy wih he sampling law () wih ɛ i =. (resp. coninuous-ime communicaion ()). In boh cases, α = and β = 4. For each agen, indicaes a sampling (and broadcas) ime and indicaes a ime when he agen acquires a new in-neighbor. As a resul, lim sup z :N () γ ( γ ) ɛ. λ Here, we used θ. On he oher hand, lim z () =. Combining hese facs wih () yields (3), concluding he proof. We should poin ou ha, he guaraneed lower bound (4) on he iner-even-imes is more conservaive han sricly necessary. This is because in our developmen, in order o decouple he analysis of he lower bound on he iner-even imes of each agen from is ou-neighbors, we have negleced he effec of he erm 4d i ou () j= a ij() ˆx i () ˆx j () in (). The simulaions of Secion 5 show he implemenaion of () resuling in iner-even imes longer han he ones of he even-riggered law (). 7

8 5 Simulaions In his secion, we illusrae he performance of he coordinaion algorihm (4) under he even-riggered communicaion laws () and () over a recurrenly joinly srongly conneced digraph (cf. Fig. ), a ring graph (cf. Fig. ) and a ime-varying conneced graph (cf. Fig. 3). Figure shows a small degradaion beween he racking performance of he algorihm (4) wih he even-riggered communicaion law () and he algorihm () wih coninuous-ime communicaion. In he even-riggered implemenaion, he number of imes ha agens {,, 3, 4, 5} communicae in he ime inerval [, ] is (4, 49, 44, 3, 4), respecively. The large error observed in he ime inerval [5, 5) is expeced as in his ime period every wo seconds only wo agens are communicaing wih each oher. Naurally, hese wo agens end o converge o he average of heir inpus and he res of he agens, being oblivious o he inpus of he oher agens, follow heir own inpu. Figure compares he algorihm (4) wih evenriggered communicaion () and he Euler discreizaions of he algorihm () and he proporional-inegral (PI) dynamic average consensus algorihm proposed in [Freeman e al., 6]. We se he parameers of he PI algorihm so ha is ulimae racking error is similar o ha of (). For he discreizaions, we use he larges possible fixed sepsize δ =.39 for he PI algorihm (beyond his value he algorihm diverges) and we use he sepsize δ =. for he algorihm () (from [Kia e al., 4b], convergence is guaraneed if δ (, min{α, β (d ou max) }), which for his example resuls in δ (,.5)). The number of imes ha agens {,, 3, 4, 5} communicae in he ime inerval [, ] is (39, 4, 4, 4, 39), respecively, when implemening even-riggered communicaion (). This is significanly less han he communicaion used by each agen in he Euler discreizaions of () (/. 66 rounds) and he PI algorihm (/.39 5 rounds). Figure 3 shows he execuion of (4) wih he evenriggered communicaion laws () and () over a ime-varying conneced graph. For each agen i {,, 3, 4, 5}, we choose ɛ i for each law so ha he summand in he righ-hand side of he rigger (ɛ i for (), ɛ i /( di ou ) for ()) amouns o he same quaniy. The plos show similar racking performance for boh algorihms, wih he law () inducing less han half communicaion han (). In fac, he number of imes ha agens {,, 3, 4, 5} communicae in he ime inerval [, ] is (43, 56, 7, 57, 55) under () and (, 3, 33, 6, 3) under (). 6 Conclusions We have sudied he muli-agen dynamic average consensus problem over neworks where iner-agen communicaion akes place a discree ime insans in an oppor- x i N j= uj x i N j= uj Agens Fig.. Comparison beween he algorihm (4) employing he even-riggered communicaion law described in Secion 3 wih sampling rule () and he Euler discreizaions of he algorihm () and he proporional-inegral (PI) dynamic average consensus algorihm proposed in [Freeman e al., 6]. For he firs wo, we se α = and β = 4. For he laer, we se γ = 5, L P = L and L I = 4L. The nework is a conneced ring graph of 5 agens wih uni weighs and he inpus are he same of Figure. In he op plo, black (resp. gray) lines correspond o he even-riggered law () wih ɛ i/( d i ou) =. (resp. he Euler discreizaion of he algorihm () wih fixed sepsize δ =.). The middle plo shows he response of he Euler discreizaion of he PI algorihm wih fixed sepsize δ =.39. The horizonal lines in boh he op and middle plos show he ±.5 error bound for reference. The boom plo shows he communicaion imes of each agen using he even-riggered sraegy. unisic fashion. Our saring poin has been our previously developed coninuous-ime dynamic average consensus algorihm which is known o converge exponenially o a small neighborhood of he nework s inpus average. We have proposed wo differen disribued evenriggered laws ha agens can employ o rigger communicaion wih neighbors, depending on wheher he ineracion opology is described by a weigh-balanced and recurrenly joinly srongly conneced digraph or a ime-varying conneced undireced graph. In boh cases, we have esablished he correcness of he algorihm and showed ha a posiive lower bound on he iner-even imes of each agen exiss, ruling ou he presence of Zeno behavior. Fuure work will be devoed o furher relaxing he conneciviy requiremens on he ineracion opol- 8

9 x i N j= uj Agens Fig. 3. Execuions of (4) wih he sampling rule () and () wih he even-riggered communicaion law described in Secion 3. The nework is a ime-varying graph of 5 agens corresponding o a conneced ring graph wih uni weighs where one edge breaks every 3 seconds. The inpus are u () =.5 sin() /( ), u () =.5 sin() /( ) 4, u 3 ()=.5 sin() /( ) 3 5, u 4 ()=.5 sin() e 4, u 5 () =.5 sin() aan().5. The op plo shows he racking error wih he gray solid (resp. black dashed) lines correspond o he law () wih ɛ i =. (resp. () wih ɛ i/( d i ou) =.). In boh cases, α = β =. The boom plo shows he communicaion imes of each agen wih o (resp. ) markers corresponding o he law () (resp. ()). For boh cases, shows he broadcass associaed o he acquisiion of new in-neighbors. ogy (ying hem in o he evoluion of he dynamic inpus available o he agens), he improvemen of he pracical convergence guaranees using ime-varying hresholds in he rigger design, he use of agen absracions in he developmen of self-riggered communicaion laws, and he synhesis of oher disribued riggers ha individual agens can evaluae auonomously and lead o a more efficien use of he limied nework resources. References H. Bai, R. A. Freeman, and K. M. Lynch. Robus dynamic average consensus of ime-varying inpus. In IEEE In. Conf. on Decision and Conrol, pages 34 39, Alana, GA, USA, December. F. Bullo, J. Corés, and S. Marínez. Disribued Conrol of Roboic Neworks. Applied Mahemaics Series. Princeon Universiy Press, 9. ISBN Available a hp:// A. Carron, M. Todescao, R. Carli, and L. Schenao. Adapive consensus-based algorihms for fas esimaion from relaive measuremens. In IFAC Workshop on Disribued Esimaion and Conrol in Neworked Sysems, Koblenz, Germany, March 3. D. V. Dimarogonas, E. Frazzoli, and K. H. Johansson. Disribued even-riggered conrol for muli-agen sysems. IEEE Transacions on Auomaic Conrol, 57(5):9 97,. M. C. F. Donkers and W. P. M. H. Heemels. Oupu-based even-riggered conrol wih guaraneed L -gain and improved and decenralized even-riggering. IEEE Transacions on Auomaic Conrol, 57(6):36 376,. Y. Fan, G. Feng, Y Wang, and C. Song. Disribued evenriggered conrol of muli-agen sysems wih combinaional measuremens. Auomaica, 49():67 675, 3. R. A. Freeman, P. Yang, and K. M. Lynch. Sabiliy and convergence properies of dynamic average consensus esimaors. In IEEE In. Conf. on Decision and Conrol, pages , 6. E. Garcia, Y. Cao, H. Yuc, P. Ansaklis, and D. Casbeer. Decenralised even-riggered cooperaive conrol wih limied communicaion. Inernaional Journal of Conrol, 86 (9): , 3. W. P. M. H. Heemels, K.H Johansson, and P. Tabuada. An inroducion o even-riggered and self-riggered conrol. In IEEE In. Conf. on Decision and Conrol, pages , Maui, HI,. H. Khalil. Nonlinear Sysems. Prenice Hall,. S. S. Kia, J. Corés, and S. Marínez. Dynamic average consensus wih disribued even-riggered communicaion. In IEEE In. Conf. on Decision and Conrol, Los Angeles, CA, 4a. Submied. S. S. Kia, J. Corés, and S. Marínez. Dynamic average consensus under limied conrol auhoriy and privacy requiremens. Inernaional Journal on Robus and Nonlinear Conrol, 4b. To appear. M. Mazo and P. Tabuada. Decenralized even-riggered conrol over wireless sensor/acuaor neworks. IEEE Transacions on Auomaic Conrol, 56():456 46,. C. Nowzari and J. Corés. Zeno-free, disribued evenriggered communicaion and conrol for muli-agen average consensus. In American Conrol Conference, Porland, OR, 4. To appear. R. Olfai-Saber. Disribued Kalman filering for sensor neworks. In IEEE In. Conf. on Decision and Conrol, pages , New Orleans, LA, December 7. R. Olfai-Saber and J. S. Shamma. Consensus filers for sensor neworks and disribued sensor fusion. In IEEE In. Conf. on Decision and Conrol and European Conrol Conference, pages , Seville, Spain, December 5. G. S. Seyboh, D. V. Dimarogonas, and K. H. Johansson. Even-based broadcasing for muli-agen average consensus. Auomaica, 49():45 5, 3. D. P. Spanos, R. Olfai-Saber, and R. M. Murray. Dynamic consensus on mobile neworks. In IFAC World Congress, Prague, Czech Republic, July 5. X. Wang and M. D. Lemmon. Even-riggering in disribued neworked conrol sysems. IEEE Transacions on Auomaic Conrol, 56(3):586 6,. P. Yang, R. A. Freeman, and K. M. Lynch. Disribued cooperaive acive sensing using consensus filers. In IEEE In. Conf. on Roboics and Auomaion, pages 45 4, Roma, Ialy, April 7. P. Yang, R. A. Freeman, and K. M. Lynch. Muli-agen coordinaion by decenralized esimaion and conrol. IEEE Transacions on Auomaic Conrol, 53():48? 496, 8. M. Zhu and S. Marínez. Discree-ime dynamic average consensus. Auomaica, 46():3 39,. 9