A class of event-triggered coordination algorithms for multi-agent systems on weight-balanced digraphs

Size: px
Start display at page:

Download "A class of event-triggered coordination algorithms for multi-agent systems on weight-balanced digraphs"

Transcription

1 2018 Annual Amercan Control Conference (ACC) June 27 29, Wsconsn Center, Mlwaukee, USA A class of event-trggered coordnaton algorthms for mult-agent systems on weght-balanced dgraphs Png Xu Cameron Nowzar Zh Tan Abstract Ths paper revsts the mult-agent average consensus problem on weght-balanced drected graphs. In order to reduce communcaton among the agents, many recent works have consdered event-trggered communcaton and control as a method to reduce communcaton whle stll ensurng that the entre network converges to the desred state. One common way to do ths s to desgn events such that a specfcally chosen Lyapunov functon s monotoncally decreasng; however, dependng on the chosen Lyapunov functon the transent behavors can be very dfferent. Consequently, we are nstead nterested n consderng a class of Lyapunov functons such that each Lyapunov functon produces a dfferent event-trggered coordnaton algorthm to solve the mult-agent average consensus problem. The proposed class of algorthms all guarantee exponental convergence of the resultng network and excluson of Zeno behavor. Ths allows us to easly consder the mplementaton of dfferent algorthms that all guarantee correctness to be able to meet varyng performance needs. Smulatons are provded to llustrate our fndngs. I. INTRODUCTION The dstrbuted coordnaton problem of dynamc multagent systems has been wdely studed due to ther broad applcatons n areas such as unmanned vehcles, moble robots, and wreless communcaton networks [1] [3]. In many of these applcatons, groups of agents are requred to agree upon certan quanttes of nterest, or n other words, to acheve a consensus state; typcal results can be found n [4] [9]. When consderng mplementaton of these deas, some of these algorthms requre agents to communcate and update control sgnals contnuously or wth a fxed samplng perod [4] [6], whch are neffcent and generally result n excessve consumpton of on-board energy resources. To reduce the amount of communcatons and controller updates whle mantanng the desred performance of the network, event-trggered algorthms have recently been ganng popularty [7] [9]. The man dea behnd event-trggered algorthms s to take actons only when necessary so that some desred property of the system can stll be mantaned effcently. There are many recent works on dstrbuted event-trggered control over mult-agent systems for both undrected and drected graphs [9] [20]. Among them, [9] proposes an algorthm usng a trggerng functon whose threshold s tme-dependent wth predefned constant parameters. In general, these tme-dependent thresholds are easy to desgn to guarantee deadlocks (or Zeno behavors, meanng an nfnte number of events trggered n a fnte number of tme perod) do not occur, but requre global nformaton to guarantee The authors are wth the Department of Electrcal and Computer Engneerng, George Mason Unversty, Farfax, VA 22030, USA, {pxu3@masonlve.gmu.edu} convergence to exactly a consensus state. Instead, some event-trggered algorthms use state-dependent thresholds to determne when actons should be taken [10], [11]; however, these trggers mght be rsky to mplement as Zeno behavors are harder to exclude. A combnaton of tme-dependent and state-dependent algorthms are gven n [12], [13], ether by ntroducng a tme-dependent nternal dynamc varable or a bounded convergent functon to the state-dependent threshold to rule out Zeno behavors. As Zeno behavors are mpossble n a gven physcal mplementaton, t s necessary and essental to exclude t n the event-trggered algorthm desgn to guarantee ts correctness. The event-trggered algorthms we propose n ths paper are state-dependent and Lyapunov functon-based. More specfcally, gven a Lyapunov functon for a certan system, an event-trggered controller can generally be developed to mantan stablty of the system whle reducng samplng or communcaton, usng the gven Lyapunov functon as a certfcate of correctness. In other words, all events are trggered based on how we want the gven Lyapunov functon to evolve n tme. However, t s known that a Lyapunov functon s not unque for a gven system, and each ndvdual functon may result n a totally dfferent, but equally vald/correct trggerng law. Consequently, there are many works that propose one such algorthm based on one functon that all have the same guarantee: asymptotc convergence to a consensus state. Smulatons then show that these deas are promsng when compared aganst perodc mplementatons n reducng communcaton whle mantanng stablty, but there are no formal guarantees on the ganed effcency. Moreover, ths means there s no establshed way to compare the performance of two dfferent event-trggered algorthms that solve the same problem. In partcular, gven two dfferent event-trggered algorthms that both guarantee convergence, ther trajectores and communcaton schedules may be wldly dfferent before ultmately convergng to the desred set of states. There are some new works that are addressng exactly ths topc [21] [23], whch set the bass for ths paper. More specfcally, once establshed methods of comparng the performance of event-trggered algorthms aganst one another are developed, currently avalable algorthms wll lkely be revsted to optmze dfferent types of performance metrcs. In partcular, we notce that dfferent algorthms are better than others n dfferent scenaros when consderng metrcs such as convergence speed or total energy consumpton. Therefore, nstead of tryng to desgn only one eventtrggered algorthm that smply guarantees convergence, we desgn an entre class of event-trggered algorthms that can be easly tuned to meet varyng performance needs /$ AACC 5988

2 Statement of contrbutons: The man contrbuton of ths paper s that we propose an entre class of event-trggered coordnaton algorthms that all guarantee exponental stablty whle excludng Zeno behavors. One such algorthm that solves the exact problem we consder here s gven n [11], whch s named as Algorthm 1 for smplcty. For our work, we frst desgn a dstrbuted event-trggered algorthm based on an alternatve Lyapunov functon and name t as Algorthm 2. Usng these two algorthms, we then parameterze an entre class of Lyapunov functons and show how each ndvdual functon can be used to develop a Combned Algorthm. More specfcally, choosng any parameter λ [0, 1] yelds an event-trggered algorthm that guarantees convergence whle usng a dfferent Lyapunov functon as a certfcate for correctness. Changng λ can then help acheve varyng performance goals whle always guaranteeng stablty. Wth the asymptotc convergence and excluson of Zeno behavor for both Algorthm 1 and Algorthm 2, we establsh that the Combned Algorthm also excludes Zeno behavor and guarantees convergence of the system. Varous smulatons llustrate the correctness and performance of dfferent algorthms we propose. Organzaton: The rest of the paper s organzed as follows. Secton II ntroduces the prelmnares and Secton III formulates the problem of nterest. Secton IV frst summarzes the related work n [11] and then proposes a novel strategy based on a new Lyapunov functon. The combned algorthm that based on the combned Lyapunov functon s proposed n Secton V. Secton VI presents the smulaton results, followed by the conclusons gven n Secton VII. Notatons: R denotes the set of real numbers. 1 N R N denotes the column vector wth each components beng one and dmenson N. denotes the Eucldean norm for vectors or nduced 2-norm for matrces. II. PRELIMINARIES Let G = {V, E, W} denote a weghted dgraph of N agents wth a vertces set V = {1,..., N}, drected edges E V V and a weghted adjacency matrx W R N N 0. Gven an edge (, j) E, we refer to j as an out-neghbor of and as an n-neghbor of j. The sets of out- and n-neghbors of a gven node are N out and N n, respectvely. The elements n W satsfes w j > 0 f (, j) E and w j = 0 otherwse. A path from vertex to j s an ordered sequence of vertces such that each ntermedate par of vertces s an edge. A dgraph G s strongly connected f there exsts a path from all V to all j V. The out- and n-degree matrces D out and D n are dagonal matrces where d out = w j, d n = w j, j N n respectvely. A dgraph s weght-balanced f D out = D n and the weghed Laplacan matrx s L = D out W. Young s nequalty [24] states that gven x, y R, for any ε R >0, xy x2 2ε + εy2 2, (1) whch shall be used n the theoretcal analyss of ths paper. For a strongly connected and weght-balanced dgraph, zero s a smple egenvalue of L, therefore, we order ts egenvalues as λ 1 = 0 < λ 2... λ N. The followng property wll also be used: λ 2 (L)x T L T x x T L T Lx λ N (L)x T L T x. (2) III. PROBLEM STATEMENT Consder the mult-agent average consensus problem for a network of N agents over a weght-balanced and strongly connected dgraph. Let G denote the communcaton topology of ths network. Wthout loss of generalty, we say that an agent s able to receve nformaton from neghbors n N out and send nformaton to neghbors n N n. Assume that all nter-agent communcatons are nstantaneous and of nfnte precson. Let x denote the state of agent {1, 2,..., N} and consder the sngle-ntegrator dynamcs ẋ (t) = u (t). (3) As s well known, the dstrbuted contnuous control law u (t) = w j (x (t) x j (t)) (4) drves the states of all agents n the system asymptotcally converge to the average of the ntal condtons [25]. However, mplementng ths protocol requres all agents to contnuously access ther neghbors state nformaton and keep updatng ther own control sgnals, whch s unrealstc n practce n terms of both communcaton and control. Therefore, here we consder the stuaton where neghbors of a gven agent receve nformaton from t only when ths agent decdes to broadcast, and wth the nformaton receved, neghbors can update ther states accordngly. Let ˆx (t) denote the last broadcast state of agent {1,..., N} at tme t R 0 and assume that all agents have contnuous access to ther own states, then the dstrbuted event-trggered control law (4) s modfed nto [7] u (t) = w j (ˆx (t) ˆx j (t)). (5) Wth the above controller (5), each agent s equpped wth a trggerng functon f ( ) that takes values n R and depends on local nformaton only,.e., on the true state x (t) and the broadcast state ˆx (t). An event for agent s trggered as soon as the trggerng condton f (t, x (t), ˆx (t)) > 0 (6) s fulflled. The trggered event drves agent to broadcast ts state so that the neghbors of agent can update ther states. Therefore our purpose of ths paper s to dentfy event-based trggers that work effcently under the Lyapunov functonbased trggerng law wth state-dependent thresholds. A. Related work IV. DISTRIBUTED TRIGGER DESIGN The dstrbuted event-trggered coordnaton problem for mult-agent systems over weght-balanced dgraphs has been studed n [11]. As we study the same problem and ther 5989

3 results are essental for us to develop our algorthms, we summarze ther results frst and name ther algorthm as Algorthm 1. The event-trggered law proposed n [11] s Lyapunov functon-based, wth canddate Lyapunov functon be V 1 (x(t)) = 1 2 (x(t) x)t (x(t) x), (7) where x(t) = (x 1 (t),..., x N (t)) T, x = 1 N (1T N x(0))1 N s the agreement at the average of the states of all agents. The dervatve of V 1 (x(t)) s upper bounded by V 1 (x(t)) 1 2 N =1 [ w j (1 a )(ˆx (t) ˆx j (t)) 2 e2 (t) ], a (8) where a are arbtrary postve constants and e (t) = ˆx (t) x (t) s the measurement error between agent s last broadcast state and ts current state at tme t. The condton to ensure that the canddate Lyapunov functon V 1 (x(t)) s monotoncally decreasng s to mantan [ w j (1 a )(ˆx (t) ˆx j (t)) 2 e2 (t) ] 0, a for all agents {1,..., N} at all tmes, whch can be accomplshed by ensurng e 2 (t) a (1 a ) d out w j (ˆx (t) ˆx j (t)) 2. (9) As the trgger desgn s optmal when a = 0.5 for all agents {1,..., N} [11], ther trggerng functon s defned as f (e (t)) = e 2 (t) w j (ˆx (t) ˆx j (t)) 2, (10) where (0, 1) s a desgn parameter that affects how flexble the trgger s. Accordng to the trggerng functon, the event s trggered when f (e (t)) > 0 or when f (e (t)) = 0 and φ = w j (ˆx (t) ˆx j (t)) 2 0. Bascally, the trgger above makes sure that V1 (x(t)) s always negatve as long as the system has not converged, therefore, Algorthm 1 guarantees all agents to converge to the average of the ntal states,.e. lm t x(t) = x = 1 N (1T N x(0))1 N, nterested readers can refer to [11, Theorem 5.3] for more detals. B. Proposed new algorthm As we know, the Lyapunov functon s not unque for the stablty studyng of the same system and each ndvdual functon may result a totally dfferent trggerng law. Therefore, we propose a novel trggerng strategy based on an alternatve Lyapunov functon V 2 (x(t)) = 1 2 x(t)t L T x(t), (11) and name our algorthm as Algorthm 2. Proposton 4.1: For {1,..., N}, let b, c, c j > 0 for all, j {1,..., N} and e (t) = ˆx (t) x (t), then the 5990 dervatve of V 2 (x(t)) s upper bounded by where V 2 (x(t)) N =1 ( ( d δ u 2 out (t) 2b δ 1 dout b 2 ) ) + dout e 2 (t), 2c (12) w j c j, (13) 2 and u (t) s what defned n (5). The proof to Proposton 4.1 s omtted due to space lmt. Note that the coeffcent of e 2 s always postve. To ensure the coeffcent of u 2 s also postve, we requre b, c j < 1. d out From Proposton 4.1, a suffcent condton to guarantee that the proposed canddate Lyapunov functon V 2 (x(t)) s monotoncally decreasng s to ensure that δ ( ) 2 ( d out w j (ˆx (t) ˆx j (t)) 2b ) + dout e 2 (t) 0 2c for all agents {1,..., N} at all tmes, meanng that e 2 2δ b c ( 2. (t) (b + c )d out w j (ˆx (t) ˆx j (t))) (14) The trggerng functon for Algorthm 2 s therefore defned as f (e (t)) = e 2 (t) 2 δ b c ( 2, (b + c )d out w j (ˆx (t) ˆx j (t))) (15) where as before s a desgn parameter that affects how flexble the trgger s and controls the trade-off between communcaton and performance. Settng close to 0 s generally greedy, meanng that the trgger s enabled more frequently and the network requres more communcatons, whch makes agent contrbute more to the decrease of the Lyapunov functon V 2 (x(t)) and therefore the network converges faster whle settng the value of close to 1 acheves the opposte results. Corollary 4.2: For each agent {1,..., N} wth the trggerng functon defned n (15), f each agent enforces the condton f (e ) 0 at all tmes, then V 2 (x(t)) N (1 )δ ( =1 w j (ˆx (t) ˆx j (t))) 2. Smlar as [11], to avod the possblty that agent may mss any trggers, we defne an event ether by f (e (t)) > 0 or (16) f (e (t)) = 0 and φ 0 (17) where φ = ( j N w out j (ˆx (t) ˆx j (t))) 2. We also prescrbe the followng addtonal trgger as n [11] to address the non-zeno behavor. Let t last be the last tme at whch agent broadcasts ts nformaton to ts neghbors. If at some tme t t last, agent receves nformaton from a neghbor j N out, then agent mmedately

4 Algorthm 1 f (e ) e 2 j N w out j (ˆx ˆx j ) 2, ε < f (e ) e 2 w max N out 2δbc (b +c )d out ε < 2δ b c (b +c )d out Algorthm 2 ( TABLE I ) 2 w j (ˆx ˆx j ) DIFFERENCE BETWEEN ALGORITHM 1 AND ALGORITHM 2 broadcasts ts state f where t (t last, t last + ε ), (18) 2 δ b c ε < (b + c )d out (19) s a desgn parameter selected to ensure the excluson of Zeno. The reasonng s smlar as that n [11]. We summarze the dfferences between Algorthm 1 proposed n [11] and Algorthm 2 proposed here n Table I. Once the trggerng functon and parameters ɛ are chosen for each agent, ether algorthm can be mplemented usng the coordnaton algorthm provded n Table II. At all tmes t agent {1,..., N} performs: 1: f f (e (t)) > 0 or (f (e (t)) = 0 and φ 0) then 2: broadcast state nformaton x (t) and update control sgnal u (t) 3: end f 4: f new nformaton x j (t) s receved from some neghbor(s) j N out then 5: f agent has broadcast ts state at any tme t [t ε, t) then 6: broadcast state nformaton x (t) 7: end f 8: update control sgnal u (t) 9: end f TABLE II EVENT-TRIGGERED COORDINATION ALGORITHM. For Algorthm 2, we have the followng proposton and theorem specfy ts non-zeno behavor and convergence. Proof s omtted due to space lmt. Proposton 4.3: (No Zeno Behavor) Consder the system (3) executng control law (5) wth the trggerng functon gven by (15). For the weght-balanced, strongly connected dgraph wth any ntal condtons, when executng Table II, the system wll not exhbt Zeno behavor. Theorem 4.4: (Asymptotc Convergence to Average Consensus). Gven the system (3) executng Table II over a weght-balanced, strongly connected dgraph, all agents asymptotcally converge to the average of the ntal states,.e. lm t x(t) = x, where x = 1 N (1T N x(0))1 N. V. A CLASS OF EVENT-TRIGGERED ALGORITHMS As stated n Secton I, gven a system and a Lyapunov functon, there are many works studyng event-trggered control to reach the goal of mantanng the stablty of the system whle ncreasng the effcency of the system. However, there s very lttle work currently avalable that mathematcally quantfes these benefts. Recently, some works began establshng results along ths lne [21] [23], however, ths area s stll n ts nfancy. In partcular, there are not yet establshed ways to compare the performance of an event-trggered algorthm wth another. Consequently, many dfferent algorthms can be proposed to ultmately solve the same problem, whle each algorthm s slghtly dfferent and can produce dfferent trajectores. Specfcally n our case, Algorthm 1 and Algorthm 2 solve the same problem, but what we can say about the two algorthms s only that they both exclude Zeno behavor and ensure asymptotcal convergence of the network. However, we have found that dependng on the ntal condton and network topology, each algorthm may out-perform the other n terms of dfferent evaluaton metrcs. In any case, once these performance metrcs become better researched, there wll lkely be more standard ways to mathematcally compare the two dfferent algorthms. Therefore, for now, nstead of desgnng only one event-trggered algorthm for the system that only works better n one stuaton, we am to desgn an entre class of algorthms that can easly be tuned to meet varyng performance needs. We do ths by parameterzng a set of Lyapunov functons rather than studyng only a specfc one. To the best of our knowledge, ths paper s then a frst study of how to desgn an entre class of algorthms that use dfferent Lyapunov functons to guarantee correctness, wth the ntenton of beng able to use the best one at all tmes. More specfcally, gven any λ [0, 1], we defne a combned canddate Lyapunov functon as V λ (x(t)) = λv 1 (x(t)) + (1 λ)v 2 (x(t)). (20) Accordngly, the dervatve of V λ (x(t)) takes the form V λ (x(t)) = λ V 1 (x(t)) + (1 λ) V 2 (x(t)). (21) Followng the steps of dervng the trggerng functons n Secton IV, the trggerng functon developed based on (20) s gven by f (e (t)) = e 2 (t) [ + (1 λ)2δ b c (b + c )d out λ ( ) 2 w j (ˆx (t) ˆx j (t) ) 2 ] w j (ˆx (t) ˆx j (t)) (22) We refer to ths as the Combned Algorthm that s parameterzed by λ [0, 1]. Smlarly, we set a parameter ε 5991

5 such that ε < λ w max N out + 2(1 λ) δ b c (b + c )d out. Then, wth ths trggerng functon (22) and ε, the Combned Algorthm can also be mplemented usng Table I. Note that λ = 0 n the Combned Algorthm recovers Algorthm 2 and λ = 1 recovers Algorthm 1. Corollary 5.1: Algorthm 1 and Algorthm 2 both ensure all agents to asymptotcally converge to the average of ther ntal states through provng that ther Lyapunov functons converge asymptotcally. Therefore, as a lnear combnaton of V 1 (x(t)) and V 2 (x(t)), V λ (x(t)) also converges exponentally, whch means that a network executng the Combned Algorthm shall converge asymptotcally to the average of ts ntal state. VI. SIMULATIONS We demonstrates the performance of the proposed algorthms through several smulatons. In partcular, we show how ether Algorthm 1 or Algorthm 2 could be argued to be better gven dfferent ntal condtons and network topologes, whch has set the bass for our ntroducton of the Combned Algorthm to easly go between the two. In all smulatons we consder a system of N = 5 agents wth dynamcs (3) and control law (5). The trggerng functons for Algorthm 1, Algorthm 2 and Combned Algorthm are defned n (10), (15) and (22), respectvely. Throughout the smulatons, we set b = c = 0.5 for all agents {1,..., N}. We mplement the λ = 0.5 verson of the Combned Algorthm. We adopt two dfferent networks wth dfferent ntal condtons for comparson. The ntal state of Network 1 s x 1 (0) = [1, 1, 0, 2, 0] T and ts weghted adjacency matrx s 1/4 1/4 0 1/3 1/ /2 1/6 1/3 W 1 = 1/2 1/3 1/ /4 1/6 0 1/3 1/4. 0 1/4 1/3 1/6 1/4 The ntal state of Network 2 s x 2 (0) = [0, 1, 1, 1, 1] T, wth an weghted adjacency matrx W 2 whose dagonal elements are 0 and the rest of the entres are 1/4. Fgure 1 shows the evolutons of the three Lyapunov functons for the two networks wth = 0.9 for all agents, whch corroborates our analyss that the proposed Algorthm 2 and Combned Algorthm ensure convergence for the resultng systems. In addton, Fgure 1(a) shows that Network 1 converges fastest when executng Algorthm 2 whle Fgure 1(b) shows that Network 2 converges fastest when executng Algorthm 1. A more drect comparson s gven n Fgure 2, on whch we have T con denote the tme needed for the two networks to reach a 99% convergence of the Lyapunov functon when executng all algorthms wth respect to varyng. It s clear that for Algorthm 1 and Algorthm 2, there exst stuatons when one outperforms the other n terms of convergence tme. In addton to convergence tme, other mportant metrcs may nclude power consumpton and total energy expendture. To compare these we use a smulaton step sze of h = second and we adopt the followng power calculaton model n unts of dbmw [26] : N P = 10 log 10, =1 j {1,...,N},j β10 0.1P j+α x xj where α > 0 and β > 0 depend on the characterstcs of the wreless medum and P j s the power of the sgnal transmtted from agent to agent j n unts of dbmw. Smlar as [27], we set α, β and P j to be 1. The total energy needed can be calculated by multplyng the power n unts of mllwatt (mw) wth the number of steps for convergence, whch s T con /h, whch n decbels (db) s E = P + 10 log 10 T cov h. Fgures 3(a) and 3(b) compare the average power consumpton for each algorthm and Fgures 4(a) and 4(b) show the total communcaton energy requred to reach a 99% consensus state. These fgures show that n Network 1, Algorthm 2 can always reach consensus usng less total communcaton energy for varyng. On the other hand, n Network 2, Algorthm 1 can complete the same task usng less total communcaton energy. Therefore, dependng on dfferent network topologes and ntal condtons and dependng on what performance metrcs are most mportant for the applcaton at hand, t may be desrable to mplement dfferent types of event-trggered algorthms. Note that the Combned Algorthm can easly be tuned to approach ether Algorthm 1 or Algorthm 2 or anythng n between to meet varyng system needs by settng values for λ. Ths also motvates our future work of adaptng λ onlne to further mprove performance. 1 V 0.5 Algorthm1 (IV.A) Algorthm2 (IV.B) Combned Algorthm (V) t Fg V Algorthm1 (IV.A) Algorthm2 (IV.B) Combned Algorthm (V) t The evoluton of the Lyapunov functons. VII. CONCLUSION Ths paper frst proposes a novel dstrbuted eventtrggered communcaton and control law based on a new Lyapunov functon that acheves consensus and excludes the possblty of Zeno behavor for mult-agent systems on weght-balanced dgraphs. We then show how the algorthm desgn can easly be extended by consderng a class of Lyapunov functons parameterzed by λ [0, 1] such that each λ defnes a new Lyapunov functon coupled wth a new eventtrggered coordnaton algorthm whch uses that partcular 5992

6 T con Algorthm1 (IV.A) Algorthm2 (IV.B) Combned Algorthm (V) T con 0.7 Algorthm1 (IV.A) Algorthm2 (IV.B) Combned Algorthm (V) 0.6 E Algorthm1 (IV.A) Algorthm2 (IV.B) Combned Algorthm (V) E Algorthm1 (IV.A) Algorthm2 (IV.B) Combned Algorthm (V) Fg. 2. Tme needed to reach 99% convergence. Fg. 4. Total energy expendture P Algorthm1 (IV.A) Algorthm2 (IV.B) Combned Algorthm (V) 59.5 Fg P Algorthm1 (IV.A) Algorthm2 (IV.B) Combned Algorthm (V) 56.8 Average communcaton power consumpton. functon to guarantee correctness. Although any λ [0, 1] produces an algorthm that guarantees Zeno-free asymptotc convergence to the desred state, the trajectores (or performance) can be very dfferent. Consequently, ths gves us an easy way to consder many event-trggered algorthms that all have the mnmum requrement of guaranteed asymptotc stablty. Future work wll be devoted to studyng how to adapt λ onlne to take full advantage of ths class of algorthms to meet varyng performance needs. REFERENCES [1] J. N. Callen, Dstrbuted control for unmanned vehcles, IEEE Concurrency, vol. 6, no. 2, pp , [2] R. Vdal, O. Shakerna, and S. Sastry, Formaton control of nonholonomc moble robots wth omndrectonal vsual servong and moton segmentaton, n Robotcs and Automaton, 2003, vol. 1. IEEE, 2003, pp [3] J. Lang, Z. Wang, B. Shen, and X. Lu, Dstrbuted state estmaton n sensor networks wth randomly occurrng nonlneartes subject to tme delays, ACM Transactons on Sensor Networks (TOSN), vol. 9, no. 1, p. 4, [4] B. Lu, W. Lu, and T. Chen, Consensus n networks of multagents wth swtchng topologes modeled as adapted stochastc processes, SIAM Journal on Control and Optmzaton, vol. 49, no. 1, pp , [5] F. Xao and L. Wang, Asynchronous consensus n contnuous-tme mult-agent systems wth swtchng topology and tme-varyng delays, IEEE Transactons on Automatc Control, vol. 53, no. 8, pp , [6] K. You and L. Xe, Network topology and communcaton data rate for consensusablty of dscrete-tme mult-agent systems, IEEE Transactons on Automatc Control, vol. 56, no. 10, pp , [7] D. V. Dmarogonas, E. Frazzol, and K. H. Johansson, Dstrbuted event-trggered control for mult-agent systems, IEEE Transactons on Automatc Control, vol. 57, no. 5, pp , [8] E. Garca, Y. Cao, H. Yu, P. Antsakls, and D. Casbeer, Decentralsed event-trggered cooperatve control wth lmted communcaton, Internatonal Journal of Control, vol. 86, no. 9, pp , [9] G. S. Seyboth, D. V. Dmarogonas, and K. H. Johansson, Event-based broadcastng for mult-agent average consensus, Automatca, vol. 49, no. 1, pp , [10] C. Nowzar and J. Cortés, Zeno-free, dstrbuted event-trggered communcaton and control for mult-agent average consensus, n Amercan Control Conference (ACC), IEEE, 2014, pp [11], Dstrbuted event-trggered coordnaton for average consensus on weght-balanced dgraphs, Automatca, vol. 68, pp , [12] A. Grard, Dynamc trggerng mechansms for event-trggered control, IEEE Transactons on Automatc Control, vol. 60, no. 7, pp , [13] Z. Sun, N. Huang, B. D. Anderson, and Z. Duan, A new dstrbuted zeno-free event-trggered algorthm for mult-agent consensus, n Decson and Control (CDC), 2016 IEEE 55th Conference on. IEEE, 2016, pp [14] X. Y, K. Lu, D. V. Dmarogonas, and K. H. Johansson, Dstrbuted dynamc event-trggered control for mult-agent systems, [Onlne]. Avalable: arxv: [15] V. Dolk and W. Heemels, Dynamc event-trggered control under packet losses: The case wth acknowledgements, n Event-based Control, Communcaton, and Sgnal Processng (EBCCSP), 2015 Internatonal Conference on. IEEE, 2015, pp [16] X. Meng, L. Xe, Y. C. Soh, C. Nowzar, and G. J. Pappas, Perodc event-trggered average consensus over drected graphs, n Decson and Control (CDC), 2015 IEEE 54th Annual Conference on. IEEE, 2015, pp [17] X. Y, W. Lu, and T. Chen, Dstrbuted event-trggered consensus for mult-agent systems wth drected topologes, n Control and Decson Conference (CCDC), 2016 Chnese. IEEE, 2016, pp [18] W. Hu, L. Lu, and G. Feng, Output consensus of heterogeneous lnear mult-agent systems by dstrbuted event-trggered/self-trggered strategy, IEEE transactons on cybernetcs, [19] D. Luzza, D. V. Dmarogonas, M. d Bernardo, and K. H. Johansson, Dstrbuted model based event-trggered control for synchronzaton of mult-agent systems, Automatca, vol. 73, pp. 1 7, [20] X.-M. Zhang, Q.-L. Han, and B.-L. Zhang, An overvew and deep nvestgaton on sampled-data-based event-trggered control and flterng for networked systems, IEEE Transactons on Industral Informatcs, vol. 13, no. 1, pp. 4 16, [21] D. Antunes and W. Heemels, Rollout event-trggered control: Beyond perodc control performance, IEEE Transactons on Automatc Control, vol. 59, no. 12, pp , [22] C. Ramesh, H. Sandberg, and K. H. Johansson, Performance analyss of a network of event-based systems, IEEE Transactons on Automatc Control, vol. 61, no. 11, pp , [23] B. A. Khashooe, D. Antunes, and W. Heemels, Output-based eventtrggered control wth performance guarantees, IEEE Transactons on Automatc Control, [24] G. H. Hardy, J. E. Lttlewood, and G. Pólya, Inequaltes. Cambrdge unversty press, [25] R. Olfat-Saber and R. M. Murray, Consensus problems n networks of agents wth swtchng topology and tme-delays, IEEE Transactons on automatc control, vol. 49, no. 9, pp , [26] N. C. Martns et al., Jontly optmal placement and power allocaton of wreless networks, Ph.D. dssertaton, [27] C. Nowzar and J. Cortés, Self-trggered coordnaton of robotc networks for optmal deployment, Automatca, vol. 48, no. 6, pp ,

Asynchronous Periodic Event-Triggered Coordination of Multi-Agent Systems

Asynchronous Periodic Event-Triggered Coordination of Multi-Agent Systems 017 IEEE 56th Annual Conference on Decson and Control (CDC) December 1-15, 017, Melbourne, Australa Asynchronous Perodc Event-Trggered Coordnaton of Mult-Agent Systems Yaohua Lu Cameron Nowzar Zh Tan Qng

More information

Distributed event-triggered coordination for average consensus on weight-balanced digraphs

Distributed event-triggered coordination for average consensus on weight-balanced digraphs Dstrbuted event-trggered coordnaton for average consensus on weght-balanced dgraphs Cameron Nowzar a Jorge Cortés b a Department of Electrcal and Systems Engneerng, Unversty of Pennsylvana, Phladelpha,

More information

C. Nowzari, J. Cortés, and G. J. Pappas: Event-triggered communication and control for multi-agent average consensus Chap /1/23 11:26 page 1

C. Nowzari, J. Cortés, and G. J. Pappas: Event-triggered communication and control for multi-agent average consensus Chap /1/23 11:26 page 1 consensus Chap. 0 2017/1/23 11:26 page 1 1 0.1 Introducton In ths chapter we look at one of the canoncal drvng examples for mult-agent systems: average consensus. In ths scenaro, a group of agents seek

More information

Changing Topology and Communication Delays

Changing Topology and Communication Delays Prepared by F.L. Lews Updated: Saturday, February 3, 00 Changng Topology and Communcaton Delays Changng Topology The graph connectvty or topology may change over tme. Let G { G, G,, G M } wth M fnte be

More information

Periodic Event-Triggered Average Consensus over Directed Graphs

Periodic Event-Triggered Average Consensus over Directed Graphs 05 IEEE 54th Annual Conference on Decson and Control CDC) December 5-8, 05 Osaka, Japan Perodc Event-Trggered Average Consensus over Drected Graphs Xangyu Meng, Lhua Xe, Yeng Cha Soh, Cameron Nowzar, and

More information

Distributed Exponential Formation Control of Multiple Wheeled Mobile Robots

Distributed Exponential Formation Control of Multiple Wheeled Mobile Robots Proceedngs of the Internatonal Conference of Control, Dynamc Systems, and Robotcs Ottawa, Ontaro, Canada, May 15-16 214 Paper No. 46 Dstrbuted Exponental Formaton Control of Multple Wheeled Moble Robots

More information

DO NOT DO HOMEWORK UNTIL IT IS ASSIGNED. THE ASSIGNMENTS MAY CHANGE UNTIL ANNOUNCED.

DO NOT DO HOMEWORK UNTIL IT IS ASSIGNED. THE ASSIGNMENTS MAY CHANGE UNTIL ANNOUNCED. EE 539 Homeworks Sprng 08 Updated: Tuesday, Aprl 7, 08 DO NOT DO HOMEWORK UNTIL IT IS ASSIGNED. THE ASSIGNMENTS MAY CHANGE UNTIL ANNOUNCED. For full credt, show all work. Some problems requre hand calculatons.

More information

Lecture Notes on Linear Regression

Lecture Notes on Linear Regression Lecture Notes on Lnear Regresson Feng L fl@sdueducn Shandong Unversty, Chna Lnear Regresson Problem In regresson problem, we am at predct a contnuous target value gven an nput feature vector We assume

More information

Outline. Communication. Bellman Ford Algorithm. Bellman Ford Example. Bellman Ford Shortest Path [1]

Outline. Communication. Bellman Ford Algorithm. Bellman Ford Example. Bellman Ford Shortest Path [1] DYNAMIC SHORTEST PATH SEARCH AND SYNCHRONIZED TASK SWITCHING Jay Wagenpfel, Adran Trachte 2 Outlne Shortest Communcaton Path Searchng Bellmann Ford algorthm Algorthm for dynamc case Modfcatons to our algorthm

More information

Decentralized Event-Triggered Cooperative Control with Limited Communication

Decentralized Event-Triggered Cooperative Control with Limited Communication Decentralzed Event-Trggered Cooperatve Control wth Lmted Communcaton Abstract Ths note studes event-trggered control of Mult-Agent Systems (MAS) wth frst order ntegrator dynamcs. It extends prevous work

More information

ECE559VV Project Report

ECE559VV Project Report ECE559VV Project Report (Supplementary Notes Loc Xuan Bu I. MAX SUM-RATE SCHEDULING: THE UPLINK CASE We have seen (n the presentaton that, for downlnk (broadcast channels, the strategy maxmzng the sum-rate

More information

Dynamic Systems on Graphs

Dynamic Systems on Graphs Prepared by F.L. Lews Updated: Saturday, February 06, 200 Dynamc Systems on Graphs Control Graphs and Consensus A network s a set of nodes that collaborates to acheve what each cannot acheve alone. A network,

More information

Random Walks on Digraphs

Random Walks on Digraphs Random Walks on Dgraphs J. J. P. Veerman October 23, 27 Introducton Let V = {, n} be a vertex set and S a non-negatve row-stochastc matrx (.e. rows sum to ). V and S defne a dgraph G = G(V, S) and a drected

More information

Adaptive Consensus Control of Multi-Agent Systems with Large Uncertainty and Time Delays *

Adaptive Consensus Control of Multi-Agent Systems with Large Uncertainty and Time Delays * Journal of Robotcs, etworkng and Artfcal Lfe, Vol., o. (September 04), 5-9 Adaptve Consensus Control of Mult-Agent Systems wth Large Uncertanty and me Delays * L Lu School of Mechancal Engneerng Unversty

More information

3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X

3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number

More information

Lecture 12: Discrete Laplacian

Lecture 12: Discrete Laplacian Lecture 12: Dscrete Laplacan Scrbe: Tanye Lu Our goal s to come up wth a dscrete verson of Laplacan operator for trangulated surfaces, so that we can use t n practce to solve related problems We are mostly

More information

A Robust Method for Calculating the Correlation Coefficient

A Robust Method for Calculating the Correlation Coefficient A Robust Method for Calculatng the Correlaton Coeffcent E.B. Nven and C. V. Deutsch Relatonshps between prmary and secondary data are frequently quantfed usng the correlaton coeffcent; however, the tradtonal

More information

U.C. Berkeley CS294: Spectral Methods and Expanders Handout 8 Luca Trevisan February 17, 2016

U.C. Berkeley CS294: Spectral Methods and Expanders Handout 8 Luca Trevisan February 17, 2016 U.C. Berkeley CS94: Spectral Methods and Expanders Handout 8 Luca Trevsan February 7, 06 Lecture 8: Spectral Algorthms Wrap-up In whch we talk about even more generalzatons of Cheeger s nequaltes, and

More information

Stanford University CS359G: Graph Partitioning and Expanders Handout 4 Luca Trevisan January 13, 2011

Stanford University CS359G: Graph Partitioning and Expanders Handout 4 Luca Trevisan January 13, 2011 Stanford Unversty CS359G: Graph Parttonng and Expanders Handout 4 Luca Trevsan January 3, 0 Lecture 4 In whch we prove the dffcult drecton of Cheeger s nequalty. As n the past lectures, consder an undrected

More information

Problem Set 9 Solutions

Problem Set 9 Solutions Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem

More information

On Event-Triggered Adaptive Architectures for Decentralized and Distributed Control of Large- Scale Modular Systems

On Event-Triggered Adaptive Architectures for Decentralized and Distributed Control of Large- Scale Modular Systems Unversty of South Florda Scholar Commons Mechancal Engneerng Faculty Publcatons Mechancal Engneerng 26 On Event-Trggered Adaptve Archtectures for Decentralzed and Dstrbuted Control of Large- Scale Modular

More information

Resource Allocation with a Budget Constraint for Computing Independent Tasks in the Cloud

Resource Allocation with a Budget Constraint for Computing Independent Tasks in the Cloud Resource Allocaton wth a Budget Constrant for Computng Independent Tasks n the Cloud Wemng Sh and Bo Hong School of Electrcal and Computer Engneerng Georga Insttute of Technology, USA 2nd IEEE Internatonal

More information

Consensus of Multi-Agent Systems by Distributed Event-Triggered Control

Consensus of Multi-Agent Systems by Distributed Event-Triggered Control Preprnts of the 19th World Congress The Internatonal Federaton of Automatc Control Consensus of Mult-Agent Systems by Dstrbuted Event-Trggered Control Wenfeng Hu, Lu Lu, Gang Feng Department of Mechancal

More information

Chapter 5. Solution of System of Linear Equations. Module No. 6. Solution of Inconsistent and Ill Conditioned Systems

Chapter 5. Solution of System of Linear Equations. Module No. 6. Solution of Inconsistent and Ill Conditioned Systems Numercal Analyss by Dr. Anta Pal Assstant Professor Department of Mathematcs Natonal Insttute of Technology Durgapur Durgapur-713209 emal: anta.bue@gmal.com 1 . Chapter 5 Soluton of System of Lnear Equatons

More information

Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays

Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays Event-Trggerng n Dstrbuted Networked Systems wth Data Dropouts and Delays Xaofeng Wang and Mchael D. Lemmon Unversty of Notre Dame, Department of Electrcal Engneerng, Notre Dame, IN, 46556, USA, xwang13,lemmon@nd.edu

More information

Cooperative Output Regulation of Linear Multi-agent Systems with Communication Constraints

Cooperative Output Regulation of Linear Multi-agent Systems with Communication Constraints 2016 IEEE 55th Conference on Decson and Control (CDC) ARIA Resort & Casno December 12-14, 2016, Las Vegas, USA Cooperatve Output Regulaton of Lnear Mult-agent Systems wth Communcaton Constrants Abdelkader

More information

Simulated Power of the Discrete Cramér-von Mises Goodness-of-Fit Tests

Simulated Power of the Discrete Cramér-von Mises Goodness-of-Fit Tests Smulated of the Cramér-von Mses Goodness-of-Ft Tests Steele, M., Chaselng, J. and 3 Hurst, C. School of Mathematcal and Physcal Scences, James Cook Unversty, Australan School of Envronmental Studes, Grffth

More information

Event-triggered Control for Multi-Agent Systems

Event-triggered Control for Multi-Agent Systems Jont 48th IEEE Conference on Decson and Control and 28th Chnese Control Conference Shangha, P.R. Chna, December 6-8, 29 FrAIn3.2 Event-trggered Control for Mult-Agent Systems Dmos V. Dmarogonas and Karl

More information

The equation of motion of a dynamical system is given by a set of differential equations. That is (1)

The equation of motion of a dynamical system is given by a set of differential equations. That is (1) Dynamcal Systems Many engneerng and natural systems are dynamcal systems. For example a pendulum s a dynamcal system. State l The state of the dynamcal system specfes t condtons. For a pendulum n the absence

More information

Module 3 LOSSY IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur

Module 3 LOSSY IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur Module 3 LOSSY IMAGE COMPRESSION SYSTEMS Verson ECE IIT, Kharagpur Lesson 6 Theory of Quantzaton Verson ECE IIT, Kharagpur Instructonal Objectves At the end of ths lesson, the students should be able to:

More information

Structure and Drive Paul A. Jensen Copyright July 20, 2003

Structure and Drive Paul A. Jensen Copyright July 20, 2003 Structure and Drve Paul A. Jensen Copyrght July 20, 2003 A system s made up of several operatons wth flow passng between them. The structure of the system descrbes the flow paths from nputs to outputs.

More information

Assortment Optimization under MNL

Assortment Optimization under MNL Assortment Optmzaton under MNL Haotan Song Aprl 30, 2017 1 Introducton The assortment optmzaton problem ams to fnd the revenue-maxmzng assortment of products to offer when the prces of products are fxed.

More information

Distributed Self-triggered Control for Multi-agent Systems

Distributed Self-triggered Control for Multi-agent Systems 49th IEEE Conference on Decson and Control December 15-17, 21 Hlton Atlanta Hotel, Atlanta, GA, USA Dstrbuted Self-trggered Control for Mult-agent Systems Dmos V. Dmarogonas, Emlo Frazzol and Karl H. Johansson

More information

Communication-efficient Distributed Solutions to a System of Linear Equations with Laplacian Sparse Structure

Communication-efficient Distributed Solutions to a System of Linear Equations with Laplacian Sparse Structure Communcaton-effcent Dstrbuted Solutons to a System of Lnear Equatons wth Laplacan Sparse Structure Peng Wang, Yuanq Gao, Nanpeng Yu, We Ren, Janmng Lan, and D Wu Abstract Two communcaton-effcent dstrbuted

More information

Note 10. Modeling and Simulation of Dynamic Systems

Note 10. Modeling and Simulation of Dynamic Systems Lecture Notes of ME 475: Introducton to Mechatroncs Note 0 Modelng and Smulaton of Dynamc Systems Department of Mechancal Engneerng, Unversty Of Saskatchewan, 57 Campus Drve, Saskatoon, SK S7N 5A9, Canada

More information

Linear Approximation with Regularization and Moving Least Squares

Linear Approximation with Regularization and Moving Least Squares Lnear Approxmaton wth Regularzaton and Movng Least Squares Igor Grešovn May 007 Revson 4.6 (Revson : March 004). 5 4 3 0.5 3 3.5 4 Contents: Lnear Fttng...4. Weghted Least Squares n Functon Approxmaton...

More information

CHAPTER 5 NUMERICAL EVALUATION OF DYNAMIC RESPONSE

CHAPTER 5 NUMERICAL EVALUATION OF DYNAMIC RESPONSE CHAPTER 5 NUMERICAL EVALUATION OF DYNAMIC RESPONSE Analytcal soluton s usually not possble when exctaton vares arbtrarly wth tme or f the system s nonlnear. Such problems can be solved by numercal tmesteppng

More information

COMPARISON OF SOME RELIABILITY CHARACTERISTICS BETWEEN REDUNDANT SYSTEMS REQUIRING SUPPORTING UNITS FOR THEIR OPERATIONS

COMPARISON OF SOME RELIABILITY CHARACTERISTICS BETWEEN REDUNDANT SYSTEMS REQUIRING SUPPORTING UNITS FOR THEIR OPERATIONS Avalable onlne at http://sck.org J. Math. Comput. Sc. 3 (3), No., 6-3 ISSN: 97-537 COMPARISON OF SOME RELIABILITY CHARACTERISTICS BETWEEN REDUNDANT SYSTEMS REQUIRING SUPPORTING UNITS FOR THEIR OPERATIONS

More information

Complete subgraphs in multipartite graphs

Complete subgraphs in multipartite graphs Complete subgraphs n multpartte graphs FLORIAN PFENDER Unverstät Rostock, Insttut für Mathematk D-18057 Rostock, Germany Floran.Pfender@un-rostock.de Abstract Turán s Theorem states that every graph G

More information

MMA and GCMMA two methods for nonlinear optimization

MMA and GCMMA two methods for nonlinear optimization MMA and GCMMA two methods for nonlnear optmzaton Krster Svanberg Optmzaton and Systems Theory, KTH, Stockholm, Sweden. krlle@math.kth.se Ths note descrbes the algorthms used n the author s 2007 mplementatons

More information

Experience with Automatic Generation Control (AGC) Dynamic Simulation in PSS E

Experience with Automatic Generation Control (AGC) Dynamic Simulation in PSS E Semens Industry, Inc. Power Technology Issue 113 Experence wth Automatc Generaton Control (AGC) Dynamc Smulaton n PSS E Lu Wang, Ph.D. Staff Software Engneer lu_wang@semens.com Dngguo Chen, Ph.D. Staff

More information

How to Stop Consensus Algorithms, locally?

How to Stop Consensus Algorithms, locally? 1 How to Stop Consensus Algorthms, locally? Pe Xe, Keyou You and Cheng Wu arxv:1703.05106v1 [cs.dc] 15 Mar 2017 Abstract Ths paper studes problems on locally stoppng dstrbuted consensus algorthms over

More information

High resolution entropy stable scheme for shallow water equations

High resolution entropy stable scheme for shallow water equations Internatonal Symposum on Computers & Informatcs (ISCI 05) Hgh resoluton entropy stable scheme for shallow water equatons Xaohan Cheng,a, Yufeng Ne,b, Department of Appled Mathematcs, Northwestern Polytechncal

More information

Econ107 Applied Econometrics Topic 3: Classical Model (Studenmund, Chapter 4)

Econ107 Applied Econometrics Topic 3: Classical Model (Studenmund, Chapter 4) I. Classcal Assumptons Econ7 Appled Econometrcs Topc 3: Classcal Model (Studenmund, Chapter 4) We have defned OLS and studed some algebrac propertes of OLS. In ths topc we wll study statstcal propertes

More information

LINEAR REGRESSION ANALYSIS. MODULE IX Lecture Multicollinearity

LINEAR REGRESSION ANALYSIS. MODULE IX Lecture Multicollinearity LINEAR REGRESSION ANALYSIS MODULE IX Lecture - 30 Multcollnearty Dr. Shalabh Department of Mathematcs and Statstcs Indan Insttute of Technology Kanpur 2 Remedes for multcollnearty Varous technques have

More information

Additional Codes using Finite Difference Method. 1 HJB Equation for Consumption-Saving Problem Without Uncertainty

Additional Codes using Finite Difference Method. 1 HJB Equation for Consumption-Saving Problem Without Uncertainty Addtonal Codes usng Fnte Dfference Method Benamn Moll 1 HJB Equaton for Consumpton-Savng Problem Wthout Uncertanty Before consderng the case wth stochastc ncome n http://www.prnceton.edu/~moll/ HACTproect/HACT_Numercal_Appendx.pdf,

More information

Numerical Heat and Mass Transfer

Numerical Heat and Mass Transfer Master degree n Mechancal Engneerng Numercal Heat and Mass Transfer 06-Fnte-Dfference Method (One-dmensonal, steady state heat conducton) Fausto Arpno f.arpno@uncas.t Introducton Why we use models and

More information

U.C. Berkeley CS294: Beyond Worst-Case Analysis Luca Trevisan September 5, 2017

U.C. Berkeley CS294: Beyond Worst-Case Analysis Luca Trevisan September 5, 2017 U.C. Berkeley CS94: Beyond Worst-Case Analyss Handout 4s Luca Trevsan September 5, 07 Summary of Lecture 4 In whch we ntroduce semdefnte programmng and apply t to Max Cut. Semdefnte Programmng Recall that

More information

NP-Completeness : Proofs

NP-Completeness : Proofs NP-Completeness : Proofs Proof Methods A method to show a decson problem Π NP-complete s as follows. (1) Show Π NP. (2) Choose an NP-complete problem Π. (3) Show Π Π. A method to show an optmzaton problem

More information

More metrics on cartesian products

More metrics on cartesian products More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of

More information

The Order Relation and Trace Inequalities for. Hermitian Operators

The Order Relation and Trace Inequalities for. Hermitian Operators Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence

More information

Time-Varying Systems and Computations Lecture 6

Time-Varying Systems and Computations Lecture 6 Tme-Varyng Systems and Computatons Lecture 6 Klaus Depold 14. Januar 2014 The Kalman Flter The Kalman estmaton flter attempts to estmate the actual state of an unknown dscrete dynamcal system, gven nosy

More information

Global Sensitivity. Tuesday 20 th February, 2018

Global Sensitivity. Tuesday 20 th February, 2018 Global Senstvty Tuesday 2 th February, 28 ) Local Senstvty Most senstvty analyses [] are based on local estmates of senstvty, typcally by expandng the response n a Taylor seres about some specfc values

More information

The Feynman path integral

The Feynman path integral The Feynman path ntegral Aprl 3, 205 Hesenberg and Schrödnger pctures The Schrödnger wave functon places the tme dependence of a physcal system n the state, ψ, t, where the state s a vector n Hlbert space

More information

NUMERICAL DIFFERENTIATION

NUMERICAL DIFFERENTIATION NUMERICAL DIFFERENTIATION 1 Introducton Dfferentaton s a method to compute the rate at whch a dependent output y changes wth respect to the change n the ndependent nput x. Ths rate of change s called the

More information

A PROBABILITY-DRIVEN SEARCH ALGORITHM FOR SOLVING MULTI-OBJECTIVE OPTIMIZATION PROBLEMS

A PROBABILITY-DRIVEN SEARCH ALGORITHM FOR SOLVING MULTI-OBJECTIVE OPTIMIZATION PROBLEMS HCMC Unversty of Pedagogy Thong Nguyen Huu et al. A PROBABILITY-DRIVEN SEARCH ALGORITHM FOR SOLVING MULTI-OBJECTIVE OPTIMIZATION PROBLEMS Thong Nguyen Huu and Hao Tran Van Department of mathematcs-nformaton,

More information

Economics 101. Lecture 4 - Equilibrium and Efficiency

Economics 101. Lecture 4 - Equilibrium and Efficiency Economcs 0 Lecture 4 - Equlbrum and Effcency Intro As dscussed n the prevous lecture, we wll now move from an envronment where we looed at consumers mang decsons n solaton to analyzng economes full of

More information

Introduction. - The Second Lyapunov Method. - The First Lyapunov Method

Introduction. - The Second Lyapunov Method. - The First Lyapunov Method Stablty Analyss A. Khak Sedgh Control Systems Group Faculty of Electrcal and Computer Engneerng K. N. Toos Unversty of Technology February 2009 1 Introducton Stablty s the most promnent characterstc of

More information

Chapter 13: Multiple Regression

Chapter 13: Multiple Regression Chapter 13: Multple Regresson 13.1 Developng the multple-regresson Model The general model can be descrbed as: It smplfes for two ndependent varables: The sample ft parameter b 0, b 1, and b are used to

More information

A new construction of 3-separable matrices via an improved decoding of Macula s construction

A new construction of 3-separable matrices via an improved decoding of Macula s construction Dscrete Optmzaton 5 008 700 704 Contents lsts avalable at ScenceDrect Dscrete Optmzaton journal homepage: wwwelsevercom/locate/dsopt A new constructon of 3-separable matrces va an mproved decodng of Macula

More information

Tokyo Institute of Technology Periodic Sequencing Control over Multi Communication Channels with Packet Losses

Tokyo Institute of Technology Periodic Sequencing Control over Multi Communication Channels with Packet Losses oyo Insttute of echnology Fujta Laboratory oyo Insttute of echnology erodc Sequencng Control over Mult Communcaton Channels wth acet Losses FL6-7- /8/6 zwrman Gusrald oyo Insttute of echnology Fujta Laboratory

More information

Winter 2008 CS567 Stochastic Linear/Integer Programming Guest Lecturer: Xu, Huan

Winter 2008 CS567 Stochastic Linear/Integer Programming Guest Lecturer: Xu, Huan Wnter 2008 CS567 Stochastc Lnear/Integer Programmng Guest Lecturer: Xu, Huan Class 2: More Modelng Examples 1 Capacty Expanson Capacty expanson models optmal choces of the tmng and levels of nvestments

More information

PARTICIPATION FACTOR IN MODAL ANALYSIS OF POWER SYSTEMS STABILITY

PARTICIPATION FACTOR IN MODAL ANALYSIS OF POWER SYSTEMS STABILITY POZNAN UNIVE RSITY OF TE CHNOLOGY ACADE MIC JOURNALS No 86 Electrcal Engneerng 6 Volodymyr KONOVAL* Roman PRYTULA** PARTICIPATION FACTOR IN MODAL ANALYSIS OF POWER SYSTEMS STABILITY Ths paper provdes a

More information

DUE: WEDS FEB 21ST 2018

DUE: WEDS FEB 21ST 2018 HOMEWORK # 1: FINITE DIFFERENCES IN ONE DIMENSION DUE: WEDS FEB 21ST 2018 1. Theory Beam bendng s a classcal engneerng analyss. The tradtonal soluton technque makes smplfyng assumptons such as a constant

More information

Psychology 282 Lecture #24 Outline Regression Diagnostics: Outliers

Psychology 282 Lecture #24 Outline Regression Diagnostics: Outliers Psychology 282 Lecture #24 Outlne Regresson Dagnostcs: Outlers In an earler lecture we studed the statstcal assumptons underlyng the regresson model, ncludng the followng ponts: Formal statement of assumptons.

More information

Design and Optimization of Fuzzy Controller for Inverse Pendulum System Using Genetic Algorithm

Design and Optimization of Fuzzy Controller for Inverse Pendulum System Using Genetic Algorithm Desgn and Optmzaton of Fuzzy Controller for Inverse Pendulum System Usng Genetc Algorthm H. Mehraban A. Ashoor Unversty of Tehran Unversty of Tehran h.mehraban@ece.ut.ac.r a.ashoor@ece.ut.ac.r Abstract:

More information

Clock-Gating and Its Application to Low Power Design of Sequential Circuits

Clock-Gating and Its Application to Low Power Design of Sequential Circuits Clock-Gatng and Its Applcaton to Low Power Desgn of Sequental Crcuts ng WU Department of Electrcal Engneerng-Systems, Unversty of Southern Calforna Los Angeles, CA 989, USA, Phone: (23)74-448 Massoud PEDRAM

More information

Introduction to Information Theory, Data Compression,

Introduction to Information Theory, Data Compression, Introducton to Informaton Theory, Data Compresson, Codng Mehd Ibm Brahm, Laura Mnkova Aprl 5, 208 Ths s the augmented transcrpt of a lecture gven by Luc Devroye on the 3th of March 208 for a Data Structures

More information

CSci 6974 and ECSE 6966 Math. Tech. for Vision, Graphics and Robotics Lecture 21, April 17, 2006 Estimating A Plane Homography

CSci 6974 and ECSE 6966 Math. Tech. for Vision, Graphics and Robotics Lecture 21, April 17, 2006 Estimating A Plane Homography CSc 6974 and ECSE 6966 Math. Tech. for Vson, Graphcs and Robotcs Lecture 21, Aprl 17, 2006 Estmatng A Plane Homography Overvew We contnue wth a dscusson of the major ssues, usng estmaton of plane projectve

More information

Uncertainty and auto-correlation in. Measurement

Uncertainty and auto-correlation in. Measurement Uncertanty and auto-correlaton n arxv:1707.03276v2 [physcs.data-an] 30 Dec 2017 Measurement Markus Schebl Federal Offce of Metrology and Surveyng (BEV), 1160 Venna, Austra E-mal: markus.schebl@bev.gv.at

More information

Suppose that there s a measured wndow of data fff k () ; :::; ff k g of a sze w, measured dscretely wth varable dscretzaton step. It s convenent to pl

Suppose that there s a measured wndow of data fff k () ; :::; ff k g of a sze w, measured dscretely wth varable dscretzaton step. It s convenent to pl RECURSIVE SPLINE INTERPOLATION METHOD FOR REAL TIME ENGINE CONTROL APPLICATIONS A. Stotsky Volvo Car Corporaton Engne Desgn and Development Dept. 97542, HA1N, SE- 405 31 Gothenburg Sweden. Emal: astotsky@volvocars.com

More information

Kernel Methods and SVMs Extension

Kernel Methods and SVMs Extension Kernel Methods and SVMs Extenson The purpose of ths document s to revew materal covered n Machne Learnng 1 Supervsed Learnng regardng support vector machnes (SVMs). Ths document also provdes a general

More information

Analysis of Queuing Delay in Multimedia Gateway Call Routing

Analysis of Queuing Delay in Multimedia Gateway Call Routing Analyss of Queung Delay n Multmeda ateway Call Routng Qwe Huang UTtarcom Inc, 33 Wood Ave. outh Iseln, NJ 08830, U..A Errol Lloyd Computer Informaton cences Department, Unv. of Delaware, Newark, DE 976,

More information

The Study of Teaching-learning-based Optimization Algorithm

The Study of Teaching-learning-based Optimization Algorithm Advanced Scence and Technology Letters Vol. (AST 06), pp.05- http://dx.do.org/0.57/astl.06. The Study of Teachng-learnng-based Optmzaton Algorthm u Sun, Yan fu, Lele Kong, Haolang Q,, Helongang Insttute

More information

Games of Threats. Elon Kohlberg Abraham Neyman. Working Paper

Games of Threats. Elon Kohlberg Abraham Neyman. Working Paper Games of Threats Elon Kohlberg Abraham Neyman Workng Paper 18-023 Games of Threats Elon Kohlberg Harvard Busness School Abraham Neyman The Hebrew Unversty of Jerusalem Workng Paper 18-023 Copyrght 2017

More information

Lectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix

Lectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could

More information

Speeding up Computation of Scalar Multiplication in Elliptic Curve Cryptosystem

Speeding up Computation of Scalar Multiplication in Elliptic Curve Cryptosystem H.K. Pathak et. al. / (IJCSE) Internatonal Journal on Computer Scence and Engneerng Speedng up Computaton of Scalar Multplcaton n Ellptc Curve Cryptosystem H. K. Pathak Manju Sangh S.o.S n Computer scence

More information

COS 521: Advanced Algorithms Game Theory and Linear Programming

COS 521: Advanced Algorithms Game Theory and Linear Programming COS 521: Advanced Algorthms Game Theory and Lnear Programmng Moses Charkar February 27, 2013 In these notes, we ntroduce some basc concepts n game theory and lnear programmng (LP). We show a connecton

More information

Annexes. EC.1. Cycle-base move illustration. EC.2. Problem Instances

Annexes. EC.1. Cycle-base move illustration. EC.2. Problem Instances ec Annexes Ths Annex frst llustrates a cycle-based move n the dynamc-block generaton tabu search. It then dsplays the characterstcs of the nstance sets, followed by detaled results of the parametercalbraton

More information

Lecture 4. Instructor: Haipeng Luo

Lecture 4. Instructor: Haipeng Luo Lecture 4 Instructor: Hapeng Luo In the followng lectures, we focus on the expert problem and study more adaptve algorthms. Although Hedge s proven to be worst-case optmal, one may wonder how well t would

More information

Power Allocation/Beamforming for DF MIMO Two-Way Relaying: Relay and Network Optimization

Power Allocation/Beamforming for DF MIMO Two-Way Relaying: Relay and Network Optimization Power Allocaton/Beamformng for DF MIMO Two-Way Relayng: Relay and Network Optmzaton Je Gao, Janshu Zhang, Sergy A. Vorobyov, Ha Jang, and Martn Haardt Dept. of Electrcal & Computer Engneerng, Unversty

More information

Supplementary Notes for Chapter 9 Mixture Thermodynamics

Supplementary Notes for Chapter 9 Mixture Thermodynamics Supplementary Notes for Chapter 9 Mxture Thermodynamcs Key ponts Nne major topcs of Chapter 9 are revewed below: 1. Notaton and operatonal equatons for mxtures 2. PVTN EOSs for mxtures 3. General effects

More information

Singular Value Decomposition: Theory and Applications

Singular Value Decomposition: Theory and Applications Sngular Value Decomposton: Theory and Applcatons Danel Khashab Sprng 2015 Last Update: March 2, 2015 1 Introducton A = UDV where columns of U and V are orthonormal and matrx D s dagonal wth postve real

More information

Asymptotic Stability in Distributed Event-Triggered Networked Control Systems with Delays

Asymptotic Stability in Distributed Event-Triggered Networked Control Systems with Delays Asymptotc Stablty n Dstrbuted Event-Trggered Networked Control Systems wth Delays Xaofeng Wang and Mchael D. emmon Abstract Ths paper examnes event-trggered broadcastng of state nformaton n dstrbuted networked

More information

Markov Chain Monte Carlo Lecture 6

Markov Chain Monte Carlo Lecture 6 where (x 1,..., x N ) X N, N s called the populaton sze, f(x) f (x) for at least one {1, 2,..., N}, and those dfferent from f(x) are called the tral dstrbutons n terms of mportance samplng. Dfferent ways

More information

a b a In case b 0, a being divisible by b is the same as to say that

a b a In case b 0, a being divisible by b is the same as to say that Secton 6.2 Dvsblty among the ntegers An nteger a ε s dvsble by b ε f there s an nteger c ε such that a = bc. Note that s dvsble by any nteger b, snce = b. On the other hand, a s dvsble by only f a = :

More information

Difference Equations

Difference Equations Dfference Equatons c Jan Vrbk 1 Bascs Suppose a sequence of numbers, say a 0,a 1,a,a 3,... s defned by a certan general relatonshp between, say, three consecutve values of the sequence, e.g. a + +3a +1

More information

Lecture 12: Classification

Lecture 12: Classification Lecture : Classfcaton g Dscrmnant functons g The optmal Bayes classfer g Quadratc classfers g Eucldean and Mahalanobs metrcs g K Nearest Neghbor Classfers Intellgent Sensor Systems Rcardo Guterrez-Osuna

More information

A Framework for Aperiodic Model Predictive Control

A Framework for Aperiodic Model Predictive Control A Framewor for Aperodc Model Predctve Control Alna Eqtam 1, Dmos V. Dmarogonas 2 and Kostas J. Kyraopoulos 1 1 Control Systems Lab, NaBonal Tech. Unv. of Athens (NTUA) 2 School of El. Eng., Royal InsBtute

More information

Controller Design of High Order Nonholonomic System with Nonlinear Drifts

Controller Design of High Order Nonholonomic System with Nonlinear Drifts Internatonal Journal of Automaton and Computng 6(3, August 9, 4-44 DOI:.7/s633-9-4- Controller Desgn of Hgh Order Nonholonomc System wth Nonlnear Drfts Xu-Yun Zheng Yu-Qang Wu Research Insttute of Automaton,

More information

THE GUARANTEED COST CONTROL FOR UNCERTAIN LARGE SCALE INTERCONNECTED SYSTEMS

THE GUARANTEED COST CONTROL FOR UNCERTAIN LARGE SCALE INTERCONNECTED SYSTEMS Copyrght 22 IFAC 5th rennal World Congress, Barcelona, Span HE GUARANEED COS CONROL FOR UNCERAIN LARGE SCALE INERCONNECED SYSEMS Hroak Mukadan Yasuyuk akato Yoshyuk anaka Koch Mzukam Faculty of Informaton

More information

Control of Uncertain Bilinear Systems using Linear Controllers: Stability Region Estimation and Controller Design

Control of Uncertain Bilinear Systems using Linear Controllers: Stability Region Estimation and Controller Design Control of Uncertan Blnear Systems usng Lnear Controllers: Stablty Regon Estmaton Controller Desgn Shoudong Huang Department of Engneerng Australan Natonal Unversty Canberra, ACT 2, Australa shoudong.huang@anu.edu.au

More information

Real-Time Systems. Multiprocessor scheduling. Multiprocessor scheduling. Multiprocessor scheduling

Real-Time Systems. Multiprocessor scheduling. Multiprocessor scheduling. Multiprocessor scheduling Real-Tme Systems Multprocessor schedulng Specfcaton Implementaton Verfcaton Multprocessor schedulng -- -- Global schedulng How are tasks assgned to processors? Statc assgnment The processor(s) used for

More information

1 Convex Optimization

1 Convex Optimization Convex Optmzaton We wll consder convex optmzaton problems. Namely, mnmzaton problems where the objectve s convex (we assume no constrants for now). Such problems often arse n machne learnng. For example,

More information

Week 5: Neural Networks

Week 5: Neural Networks Week 5: Neural Networks Instructor: Sergey Levne Neural Networks Summary In the prevous lecture, we saw how we can construct neural networks by extendng logstc regresson. Neural networks consst of multple

More information

Lecture 3. Ax x i a i. i i

Lecture 3. Ax x i a i. i i 18.409 The Behavor of Algorthms n Practce 2/14/2 Lecturer: Dan Spelman Lecture 3 Scrbe: Arvnd Sankar 1 Largest sngular value In order to bound the condton number, we need an upper bound on the largest

More information

ANSWERS. Problem 1. and the moment generating function (mgf) by. defined for any real t. Use this to show that E( U) var( U)

ANSWERS. Problem 1. and the moment generating function (mgf) by. defined for any real t. Use this to show that E( U) var( U) Econ 413 Exam 13 H ANSWERS Settet er nndelt 9 deloppgaver, A,B,C, som alle anbefales å telle lkt for å gøre det ltt lettere å stå. Svar er gtt . Unfortunately, there s a prntng error n the hnt of

More information

Portfolios with Trading Constraints and Payout Restrictions

Portfolios with Trading Constraints and Payout Restrictions Portfolos wth Tradng Constrants and Payout Restrctons John R. Brge Northwestern Unversty (ont wor wth Chrs Donohue Xaodong Xu and Gongyun Zhao) 1 General Problem (Very) long-term nvestor (eample: unversty

More information

STAT 309: MATHEMATICAL COMPUTATIONS I FALL 2018 LECTURE 16

STAT 309: MATHEMATICAL COMPUTATIONS I FALL 2018 LECTURE 16 STAT 39: MATHEMATICAL COMPUTATIONS I FALL 218 LECTURE 16 1 why teratve methods f we have a lnear system Ax = b where A s very, very large but s ether sparse or structured (eg, banded, Toepltz, banded plus

More information

Lecture 10: May 6, 2013

Lecture 10: May 6, 2013 TTIC/CMSC 31150 Mathematcal Toolkt Sprng 013 Madhur Tulsan Lecture 10: May 6, 013 Scrbe: Wenje Luo In today s lecture, we manly talked about random walk on graphs and ntroduce the concept of graph expander,

More information