Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 250586, 9 pages http://dx.doi.org/10.1155/2013/250586 Research Article Second-Order Multiagent Systems with Event-Driven Consensus Control Jiangping Hu, Yulong Zhou, and Yunsong Lin School of Automation Engineering, University of Electronic Science and Technology of China, Chengdu 610054, China Correspondence should be addressed to Jiangping Hu; hjp lzu@163.com Received 27 November 2012; Accepted 3 April 2013 Academic Editor: Pedro M. Lima Copyright © 2013 Jiangping Hu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Event-driven control scheduling strategies for multiagent systems play a key role in future use of embedded microprocessors of limited resources that gather information and actuate the agent control updates. In this paper, a distributed event-driven consensus problem is considered for a multi-agent system with second-order dynamics. Firstly, two kinds of event-driven control laws are, respectively, designed for both leaderless and leader-follower systems. Then, the input-to-state stability of the closed-loop multiagent system with the proposed event-driven consensus control is analyzed and the bound of the inter-event times is ensured. Finally, some numerical examples are presented to validate the proposed event-driven consensus control. 1. Introduction Recently, synthesis and analysis of multi-agent systems have drawn great attention in many disciplines, such as mathematics, physics, computer science, systems biology, engineering, and social science. Roughly speaking, multi-agent systems are a class of networked dynamic systems consisting of a group of autonomous agents, which interact with each other locally and achieve an emergence behavior over a communication network. The controlled multi-agent systems have a broad range of applications including flocking and swarming in animal groups, vehicle formation, satellite reconfiguration, and unmanned aerial vehicles for rescue and surveillance. Consensus problems have a long history originated from management science and statistics in 1960s [1]. In the context of multi-agent systems, consensus generally means to reach an agreement regarding a certain quantity of interest that depends on the state of all agents [2]. In the literature of consensus control of multi-agent systems, many works have been focused on an important issue, that is, to investigate the coordination behavior of agents governed by different order dynamics. Especially, first-order multi-agent systems are extensively considered as a representative multi-agent consensus model in, for example, [3–8] and references therein. More recently, the consensus problems of multi-agent systems with second-order dynamics (e.g., [9–14]) and high order dynamics (e.g., [15–19]) have been paid much attention, which is mainly because in many real applications mass-point models are invalid for agents and more complex dynamics should be considered. Generally, the dynamics of a secondorder multi-agent system is described by a second-order differential equation or difference equation, which contains both the position and the velocity information. One potential application of multi-agent control is to equip each autonomous agent with a small embedded microprocessor to collect information from neighboring agents for actuating the controller updates. However, micro-processors are generally resource- and energy-limited [20], which requires a time- or an event-triggered scheduling strategy to update the control. A time-triggered update scheduling involves sampling at predefined time instances while an event-triggered one executes the control task whenever a certain error becomes large compared with the state norm. Time-triggered consensus problems were studied in [14, 21, 22] via data-sampled method. However, event-triggered strategies seem more favorable in applications. A distributed event-triggered control was considered for a first-order multi-agent system in [23–25]. Up to date, there are few contributions devoted to designing an event-triggered consensus control for multi-agent systems with second-order dynamics. In this paper, we consider an event-driven consensus problem of a second-order leaderless and leader-follower 2 Abstract and Applied Analysis multi-agent system with a fixed directed communication network. Firstly, the event-driven consensus problem is formulated. Secondly, an event-driven consensus control is designed for each agent to achieve consensus. Then the closed-loop multi-agent system is proven to be input-to-state stable with respect to the measurement error and, simultaneously, a positive lower bound is found for the event-time between two consecutive actuation updates. Throughout this paper, the following notations are used. πΌπ×π denotes an π × π identity matrix; 0π×π denotes an π × π zero matrix; col(⋅) denotes a column vector; 1π = col(1, . . . , 1) ∈ Rπ . The norm of a vector π₯ ∈ Rπ is defined as βπ₯β = √π₯π π₯. The spectral norm of matrix π΄ ∈ Rπ×π is defined as βπ΄β = max1≤π≤π √π π , where π π are eigenvalues of π΄π π΄. For a matrix π΄ ∈ Rπ×π , π min (π΄) and π max (π΄) denote, respectively, its minimal and maximal eigenvalues. 2. Preliminaries and Problem Formulation 2.1. Some Preliminaries. Let G = (V, E, π΄) be a weighted directed graph with a set of vertices V = {1, . . . , π}, a set of arcs E ⊆ V×V, and a weighted adjacency matrix π΄ = [πππ ] ∈ Rπ×π . In the mapping of graph G to the interconnection topology of a multi-agent system, vertex π ∈ V represents agent π, and arc (π, π), which starts from vertex π and ends on vertex π, is in E if and only if agent π can receive information from agent π. In this case, agent π is called a neighbor of agent π, and, accordingly, Nπ = {π|(π, π) ∈ E} denotes the neighboring set of agent π. The element πππ in the adjacency matrix π΄ is associated with the arc (π, π), that is, πππ > 0 if and only if (π, π) ∈ E. Moreover, we assume that πππ = 0 for all π ∈ V. When a single leader-agent is involved in the multi-agent systems, a vertex 0 is added to represent the leader-agent and β with the interconnection topology is denoted by Gβ = (V,β E) β Vβ = {0, 1, 2, . . . , π} and Eβ = {(π, π)|π, π ∈ V}. Definition 1 (see [26]). A path from vertex π to vertex π is a sequence of arcs (π0 , π1 ), (π1 , π2 ), . . . , (ππ−1 , ππ ) in the directed graph G with distinct vertexes ππ , π = 0, 1, . . . , π and π0 = π, ππ = π. A directed graph G is strongly connected if there exists a path from vertex π to vertex π, for every π, π ∈ V. Definition 2 (see [26]). Vertex π is said to be reachable from vertex π if there exists a path from vertex π to vertex π in the directed graph G. Vertex π is globally reachable if there exists a path from every other vertex to vertex π in G. According to Definitions 1 and 2, a directed graph G is strongly connected if and only if each vertex in G is globally reachable, which shows that the global reachability of a directed graph is much weaker than the strong connectedness. A diagonal matrix π· = diag(π1 , . . . , ππ ) ∈ Rπ×π is a degree matrix of G, whose diagonal elements ππ = ∑π∈Nπ πππ for π = 1, . . . , π. Then the Laplacian matrix of a weighted directed graph is defined as πΏ = π· − π΄. (1) The next lemma shows an important property of Laplacian matrix πΏ associated with directed graph G. Lemma 3 (see [4]). Laplacian matrix πΏ has least one zero eigenvalue with 1π as its eigenvector, and all the non-zero eigenvalues of πΏ have positive real parts. πΏ has a simple zero eigenvalue if and only if G has a globally reachable vertex. In the leader-follower consensus literature, it is always assumed that the leader-agent is self-active, that is, the leader does not need information feedback from other agents and thus, the adjacency coefficients π0π = 0 for every followeragent π = 1, . . . , π. For followers, we define a diagonal matrix π΅ = diag{π10 , . . . , ππ0 } to represent the leader-follower adjacency relationship. Let π» = πΏ + π΅. Lemma 4 (see [11]). If vertex 0 is globally reachable in G,β then all eigenvalues of π» have positive real-parts. A Schur-complement lemma will be used in the stability analysis of the close-loop multi-agent systems and is given to end this subsection. Lemma 5 (see [27]). Consider a symmetric matrix Δ=( Δ 11 Δ 12 Δπ12 Δ 22 ), (2) where Δ 11 and Δ 22 are square. Then Δ is positive definite if and π only if both Δ 11 − Δ 12 Δ−1 22 Δ 12 and Δ 22 are positive definite. 2.2. Problem Formulation. In a leaderless consensus problem, a group of π identical agents are moving with a continuoustime dynamics described by a second-order differential equation as follows: π₯πΜ (π‘) = Vπ (π‘) , VΜπ (π‘) = π’π (π‘) , π = 1, . . . , π, (3) where π₯π (π‘) ∈ Rπ , Vπ (π‘) ∈ Rπ , and π’π (π‘) ∈ Rπ are, respectively, the position, velocity, and control input of agent π. In a leader-follower consensus problem, the dynamics of follower-agents are given as (3) while the kinematics of the self-active leader is described by the following second-order differential equation: π₯0Μ (π‘) = V0 (π‘) , VΜ0 (π‘) = π0 (π‘) , (4) where π₯0 (π‘) ∈ Rπ , V0 (π‘) ∈ Rπ , and π0 (π‘) ∈ Rπ are, respectively, the position, velocity, and acceleration. Here for notation simplicity, let π = 1. When agents are equipped with resource-limited microprocessors, it is preferable to design an event-driven consensus controls for all agents such that the consensus controls need no update in continuous-time. For agent π ∈ V, we define a state measurement error ππ (π‘) and let π(π‘) = col(π1 (π‘), . . . , ππ (π‘)) ∈ Rπ . Then an event-trigger condition is Abstract and Applied Analysis 3 defined as π(π(π‘), π₯(π‘), V(π‘)) = 0, where π₯(π‘), V(π‘) ∈ Rπ are, respectively, the concatenation vector of the state variables in system (3). All agents update their consensus controls π’π (π‘) at a series of event-times π(π ) (π = 0, 1, . . .) which are implicitly defined by π(π(π(π )), π₯(π(π )), V(π(π ))) = 0. Between control updates at two consecutive event-times, the eventdriven consensus control is held constant until the next event is triggered, that is, π’π (π‘) = π’π (π (π )) , ∀π‘ ∈ [π (π ) , π (π + 1)) . (5) We say that the event-driven consensus problem of leaderless multi-agent system (3) is solved if an event-driven consensus control can be found to ensure that σ΅¨ σ΅¨ lim σ΅¨σ΅¨σ΅¨π₯ (π‘) − π₯π (π‘)σ΅¨σ΅¨σ΅¨σ΅¨ = 0, π‘→∞ σ΅¨ π (6) σ΅¨ σ΅¨ lim σ΅¨σ΅¨σ΅¨σ΅¨Vπ (π‘) − Vπ (π‘)σ΅¨σ΅¨σ΅¨σ΅¨ = 0, π‘→∞ for π, π ∈ V. Similarly, the event-driven consensus problem of leader-follower multi-agent system (3)-(4) is solved if σ΅¨ σ΅¨ lim σ΅¨σ΅¨π₯ (π‘) − π₯0 (π‘)σ΅¨σ΅¨σ΅¨ = 0, π‘→∞ σ΅¨ π (7) σ΅¨ σ΅¨ lim σ΅¨σ΅¨σ΅¨Vπ (π‘) − V0 (π‘)σ΅¨σ΅¨σ΅¨ = 0, π‘→∞ or π₯ (π‘) ππ₯ (π‘) π₯Μ (π‘) ) + π½1 ( ), ) = πΉ1 ( ( V (π‘) πV (π‘) VΜ (π‘) where πΉ1 = ( π’π (π‘) = π2 ∑ πππ [π₯π (π (π )) − π₯π (π (π ))] (8) π∈Nπ (12) 1 ∗ ⋅⋅⋅ ∗ 1 π = (. .. ∗ ⋅⋅⋅ ∗ π×π .. ) ∈ R . .. . (13) such that π−1 πΏπ = ( βπ 0 0π−1 π» ) = Λ ∈ Rπ×π , π₯Μ (π‘) = V (π‘) , (9) where π₯, V ∈ Rπ , πΏ is the Laplacian matrix. Denote ππ₯ (π‘) = col(π1,π₯ (π‘), . . . , ππ,π₯ (π‘)), πV (π‘) = col(π1,V (π‘), . . . , ππ,V (π‘)). One has π₯(π(π )) = ππ₯ (π‘) + π₯(π‘), V(π(π )) = πV (π‘) + V(π‘). Furthermore, system (9) can be rewritten as π₯Μ (π‘) = V (π‘) , (10) (14) where β ∈ Rπ−1 , π» ∈ R(π−1)×(π−1) . From Lemma 6, the submatrix π» of Λ is a full-rank matrix if and only if G has a global reachable vertex. Moreover, the eigenvalues of π» have positive real-parts, or equivalently, −π» is Hurwitz stable. Therefore, there exists a positive definite matrix π ∈ R(π−1)×(π−1) such that π for π‘ ∈ [π(π ), π(π + 1)). The control gain parameter π will be determined in sequel. Then a compact form of (3) using control (8) is given by VΜ (π‘) = −π2 πΏπ₯ (π‘) − π3 πΏV (π‘) − π2 πΏππ₯ (π‘) − π3 πΏπV (π‘) , ), −π2 πΏ −π3 πΏ 1 ∗ ⋅⋅⋅ ∗ 3.1. Leaderless Consensus Control. We assume that the consensus laws π’π (π‘) in system (3) are updated only at discrete event-times. Suppose that the event-times of all agents are modeled as a sequence π(π ) for π = 0, 1, . . .. For agent π with dynamics (3), define two measurement errors ππ,π₯ (π‘) = π₯π (π(π )) − π₯π (π‘), ππ,V (π‘) = Vπ (π(π )) − Vπ (π‘), π‘ ∈ [π(π ), π(π + 1)). The event-times π(π ) are defined by the function π(π(π(π )), π₯(π(π )), V(π(π ))) = 0, which will be determined in sequel. An event-driven consensus control of agent π is proposed as follows: VΜ (π‘) = −π2 πΏπ₯ (π (π )) − π3 πΏV (π (π )) , 0π×π 0π×π π½1 = ( ). −π2 πΏ −π3 πΏ πΌπ Lemma 6. For Laplacian matrix πΏ associated with the directed graph G, there exists a non-singular matrix 3. Control Design and Stability Analysis + π3 ∑ πππ [Vπ (π (π )) − Vπ (π (π ))] , 0π×π Now we will analyze the convergence of the closed-loop multi-agent system (11) under the event-driven consensus control (8). To facilitate the convergence analysis, we describe the following lemma. Its proof is quite obvious and omitted here. for π ∈ V. π∈Nπ (11) π π» + π» π = πΌπ−1 . (15) Take a coordinate transformation π₯ (π‘) = π−1 π₯ (π‘) , ππ₯ (π‘) = π−1 ππ₯ (π‘) , V (π‘) = π−1 V (π‘) , πV (π‘) = π−1 πV (π‘) , (16) and then system (10) becomes π₯Μ (π‘) = V (π‘) , VΜ (π‘) = −π2 Λπ₯ (π‘) − π3 ΛV (π‘) − π2 Λππ₯ (π‘) − π3 ΛπV (π‘) . (17) 4 Abstract and Applied Analysis Essentially, system (17) can be regarded as a series interconnection of two subsystems: Differentiating π(π) leads to πΜ (π) |(21) = ππ (πΉ2π π + ππΉ2 ) π + 2ππ ππ½2 e π₯Μ 1 (π‘) = V1 (π‘) , VΜ1 (π‘) = − π β π₯2 (π‘) − π β V2 (π‘) 2 π 3 π = −ππ ππ + 2ππ ππ½2 e, (18) where − π2 βπ π2π₯ (π‘) − π3 βπ π2V (π‘) , π = − (πΉ2π π + ππΉ2 ) π₯Μ 2 (π‘) = V2 (π‘) , VΜ2 (π‘) = − π2 π»π₯2 (π‘) − π3 π»V2 (π‘) where π₯1 , V1 , π1π₯ , π1V ∈ R and π₯2 , V2 , π2π₯ , π2V ∈ Rπ−1 , V1 V = ( ), V2 π1π₯ ππ₯ = ( ) , π2π₯ π1V πV = ( ) . π2V (20) Let π = col(π₯2 , V2 ), π = col(π2π₯ , π2V ), then subsystem (19) becomes π Μ = πΉ2 π + π½2 π, π2 πΌπ−1 π3 πΌπ−1 − ππ =( ). π3 πΌπ−1 − ππ π4 πΌπ−1 − 2π (19) − π2 π»π2π₯ (π‘) − π3 π»π2V (π‘) , π₯1 π₯ = ( ), π₯2 (21) π½2 = ( 0(π−1)×(π−1) 0(π−1)×(π−1) σ΅© σ΅© πΜ (π) |(21) ≤ −π min (π) βπβ2 + 2π max (π) σ΅©σ΅©σ΅©π½2 σ΅©σ΅©σ΅© βπβ βπβ σ΅© σ΅© = − βπβ [π min (π) βπβ − 2π max (π) σ΅©σ΅©σ΅©π½2 σ΅©σ΅©σ΅© βπβ] . 2 3 −π π» −π π» 2 2 +1 ≤− (23) with π given in (15), then the event-driven consensus problem of the leaderless multi-agent system (3) is solved with the control (8), that is, σ΅© σ΅© lim σ΅©σ΅©σ΅©π₯ (π‘) − π₯π (π‘)σ΅©σ΅©σ΅©σ΅© = 0, π‘→∞ σ΅© π (24) σ΅© σ΅© lim σ΅©σ΅©σ΅©σ΅©Vπ (π‘) − Vπ (π‘)σ΅©σ΅©σ΅©σ΅© = 0. π‘→∞ (1 − π) π min (π) π (π) . π max (π) (31) From (31), we conclude that limπ‘ → ∞ π(π‘) = 0, that is, as π‘ → ∞, π₯2 (π‘) → 0, V2 (π‘) → 0. On the other hand, for system (18), let π₯1 (0), V1 (0) be the initial values of π₯1 (π‘), V1 (π‘) and take a variable change π₯Μ1 (π‘) = π₯1 (π‘)−(V1 (0)π‘+π₯1 (0)), ΜV1 (π‘) = V1 (π‘)−V1 (0). Then the solution can be described by the following integral equation: π‘ π₯Μ 1 π‘−π ( 1) = ∫ ( ) ΜV1 1 0 0 ×( 0 ) ππ. −π2 βπ π₯2 (π) − π3 βπ V2 (π) − π2 βπ π2π₯ (π) − π3 βπ π2V (π) (32) (25) (26) π₯1 (π‘) V1 (0) π‘ + π₯1 (0) ) σ³¨→ 0π , )−( ( π₯2 (π‘) 0π−1 where π 1 π=( ) ⊗ π, 1 π (30) Since the system (19) is exponentially stable, based on the event-triggered condition (30), solution (32) has an exponential decay term with respect to time π‘. Consequently, the solution is convergent to 0 as π‘ → ∞, and thus, Proof. For system (19), or equivalently (21), take a Lyapunov function π (π) = ππ ππ, σ΅© σ΅© + 1π max (π) σ΅©σ΅©σ΅©σ΅©π»σ΅©σ΅©σ΅©σ΅© πΜ (π) ≤ − (1 − π) π min (π) βπβ2 ). Theorem 7. Assume that the interconnection topology G associated with multi-agent system (3) has a globally reachable vertex. If the control gain π satisfies π max (π) π min (π) βπβ 2π2 √π2 with π ∈ (0, 1), one has Now a main result is obtained for system (10). π>√ (29) Due to the fact that βπ½2 β2 = π4 (π2 + 1)βπ»β , enforcing the measurement error π to satisfy βπβ ≤ π (22) (28) According to Schur complement Lemma 5, π is positive definite with π given in (23). Therefore, where 0(π−1)×(π−1) πΌπ−1 πΉ2 = ( ), −π2 π» −π3 π» (27) where π satisfies (15). Thus, π is positive definite with π given in (23). V1 (π‘) V1 (0) ), ) σ³¨→ ( ( V2 (π‘) 0π−1 (33) Abstract and Applied Analysis 5 as π‘ → ∞. Furthermore, from the variable change (16), one has V (0) π‘ + π₯1 (0) ) π₯ − π( 1 0π−1 = π₯ − 1π ⊗ (V1 (0) π‘ + π₯1 (0)) σ³¨→ 0π , (34) V (0) V − π ( 1 ) = V − 1π ⊗ V1 (0) σ³¨→ 0π . 0π−1 Therefore, when the event-driven consensus control (8) is applied to each agent, one has π₯π (π‘) − π₯π (π‘) → 0, Vπ (π‘) − Vπ (π‘) → 0 as π‘ → ∞. The proof is complete. Remark 8. The gain π in (23) can be taken without exact knowledge of the interconnection topology associated with the multi-agent system in real application of the control (8). In fact, the spectral norm of π in (23) can be obtained by estimating the bound of the solution of Lyapunov equation (15) (see [28]), which is closely related with the Laplacian spectrum. Fortunately, there have been many results on the bounds of the eigenvalues of a Laplacian matrix [29]. Next, we show that the inter-event times π(s + 1) − π(π ) have a lower bound for π = 0, 1, . . .. It is noticed that, from (16), π₯ (π‘) π₯ (π‘) ), ) = (πΌ2 ⊗ π−1 ) ( ( V (π‘) V (π‘) ππ₯ (π‘) ππ₯ (π‘) ) = (πΌ2 ⊗ π−1 ) ( ). ( πV (π‘) πV (π‘) ππ₯ (π‘) π = (πΌ2 ⊗ ππ ) ( ). πV (π‘) 1 + π (ππ·, 0) 1 ππ· = σ΅©σ΅© σ΅©σ΅© σ΅©σ΅© σ΅©σ΅© ln ( ), σ΅©σ΅© σ΅©σ΅© σ΅©σ΅© σ΅©σ΅© 1 + σ΅©σ΅©π½1 σ΅©σ΅© / σ΅©σ΅©πΉ1 σ΅©σ΅© π (ππ·, 0) σ΅©σ΅©πΉ1 σ΅©σ΅© − σ΅©σ΅©π½1 σ΅©σ΅© (35) (40) which is a positive bound due to the fact that βπΉ1 β > βπ½1 β. Then a result is stated as follows. Theorem 9. When the event-driven consensus control (8) is applied to the multi-agent system (3), the inter-event times π(π + 1) − π(π ) for π = 0, 1, . . ., have a lower bound given by (40). 3.2. Leader-Follower Consensus Control. In the leaderfollowing problem, we assume that the state information, that is, π₯0 (π‘), V0 (π‘), and π0 (π‘) of the leader can be measured in continuous-time by the followers. Thus, we propose the following event-driven consensus control of the follower π: π’π (π‘) = π0 (π‘) + π2 ∑ πππ [π₯π (π (π )) − π₯π (π (π ))] π∈Nπ + π2 ππ0 [π₯0 (π‘) − π₯π (π‘)] + π3 ∑ πππ [Vπ (π (π )) − Vπ (π (π ))] (41) π∈Nπ + π3 ππ0 [V0 (π‘) − Vπ (π‘)] Define a matrix π = [0π−1 πΌπ−1 ] ∈ R(π−1)×π . Then, based on (35), one has π₯ (π‘) π₯ (π‘) ), ) = (πΌ2 ⊗ ππ−1 ) ( π = (πΌ2 ⊗ π) ( V (π‘) V (π‘) and the inter-event times are bounded by the time ππ· ∈ R+ it takes for π to evolve from 0 to π(ππ·, 0) = (ππ min (π)/ 2π2 √π2 + 1π max (π)βπ»β). Solving the differential equation (38) leads to (36) −1 For convenience of simplified calculation, let π(π‘) = col(π₯(π‘), V(π‘)), ππ (π‘) = col(ππ₯ (π‘), πV (π‘)) and π§(π‘) = βππ (π‘)β/βπ(π‘)β. Take the derivative of π§(π‘): 1/2 π σ΅©σ΅©σ΅©π σ΅©σ΅©σ΅© π Μ πππ πΜ σ΅©σ΅© π σ΅©σ΅© π π π (ππ ππ ) − = − π§Μ = σ΅©σ΅© σ΅©σ΅© σ΅©σ΅© σ΅©σ΅© σ΅©σ΅© σ΅©σ΅© σ΅©σ΅© σ΅©σ΅©2 ππ‘ (ππ π)1/2 σ΅©σ΅©ππ σ΅©σ΅© σ΅©σ΅©πσ΅©σ΅© σ΅©σ΅©πσ΅©σ΅© σ΅©σ΅©πσ΅©σ΅© σ΅© σ΅© (37) σ΅©σ΅©σ΅©π σ΅©σ΅©σ΅© σ΅©σ΅© Μσ΅©σ΅© σ΅© π σ΅© σ΅©π σ΅© σ΅© σ΅© σ΅© σ΅© ≤ [1 + σ΅©σ΅©σ΅© σ΅©σ΅©σ΅© ] σ΅©σ΅©σ΅© σ΅©σ΅©σ΅© = (1 + π§) (σ΅©σ΅©σ΅©πΉ1 σ΅©σ΅©σ΅© + σ΅©σ΅©σ΅©π½1 σ΅©σ΅©σ΅© π§) . σ΅©σ΅©πσ΅©σ΅© σ΅©σ΅©πσ΅©σ΅© Assume that π(π‘, π0 ) is the solution of σ΅© σ΅© σ΅© σ΅© (38) π Μ = (1 + π) (σ΅©σ΅©σ΅©πΉ1 σ΅©σ΅©σ΅© + σ΅©σ΅©σ΅©π½1 σ΅©σ΅©σ΅© π) , π (0, π0 ) = π0 . Then, one has π§(π‘) ≤ π(π‘, π0 ) for π‘ ≥ 0. From the variable change (36) and the event-driven condition (30), π§(π‘) satisfies σ΅© σ΅©σ΅© σ΅©σ΅©ππ (π‘)σ΅©σ΅©σ΅© βπ (π‘)β σ΅© σ΅© (39) , π§ (π‘) = σ΅©σ΅© σ΅© = βπ (π‘)β σ΅©σ΅©π (π‘)σ΅©σ΅©σ΅© for π‘ ∈ [π(π ), π(π + 1)). Remark 10. For the leader-following problem (3)-(4) under investigation, the leader is assumed to be self-active, which means that the leader is moving according to its own (predesigned) policy and needs no feedback information from any other agent. In some sense, the leader plays the role of an external commander of all the followers. Thus, no eventdriven strategy is applied to update the state of the leader. Though the followers are using the event-driven relative information from the neighboring followers, but they can obtain the real-time relative position and velocity measurements from the leader only if the followers are connected to the leader. Therefore, in the control (41), it would be preferable to assume that π₯0 (π‘) − π₯π (π‘) and V0 (π‘) − Vπ (π‘) are measured in continuous time. Still denote the measurement errors ππ,π₯ (π‘) = π₯π (π(π )) − π₯π (π‘), ππ,V (π‘) = Vπ (π(π ))−Vπ (π‘) for π = 1, . . . , π, π‘ ∈ [π(π ), π(π +1)). Applying control (41) to system (3) leads to π₯Μ (π‘) = V (π‘) , VΜ (π‘) = π0 (π‘) 1 − π2 π»π₯ (π‘) + π2 π΅1π₯0 (π‘) − π3 π»V (π‘) + π3 π΅1V0 (π‘) − π2 πΏππ₯ (π‘) − π3 πΏπV (π‘) , (42) 6 Abstract and Applied Analysis where π» = πΏ + π΅. Define π₯Μπ (π‘) = π₯π (π‘) − π₯0 (π‘), ΜVπ (π‘) = Μ = col(π₯Μ1 (π‘), . . . , π₯Μπ (t)), ΜV(π‘) = col(ΜV1 (π‘), Vπ (π‘) − V0 (π‘) and π₯(π‘) Μ = −π»π₯(π‘)+π΅1π₯0 (π‘), . . . , ΜVπ (π‘)). Based on the fact that −π»π₯(π‘) −π»ΜV(π‘) = −π»V(π‘) + π΅1V0 (π‘), one has ΜΜ (π‘) ππ₯ (π‘) π₯Μ (π‘) π₯ ) = πΉ3 ( ) + π½3 ( ( ), ΜΜV (π‘) ΜV (π‘) πV (π‘) 0π×π 0π×π ). −π2 πΏ −π3 πΏ Μ π max (π) 2 + 1, 10 (45) σ΅© σ΅© lim σ΅©σ΅©V (π‘) − V0 (π‘)σ΅©σ΅©σ΅© = 0. π‘→∞ σ΅© π (46) Proof. For system (43), take a Lyapunov function π (π) = ππ ππΏ π, 5 0 −5 −10 Μ + π»π πΜ = where πΜ is the solution of the Lyapunov equation ππ» πΌπ , then the event-driven consensus problem of the leaderfollower multi-agent system (3)-(4) is solved with the control (41), that is, σ΅© σ΅© lim σ΅©σ΅©π₯ (π‘) − π₯0 (π‘)σ΅©σ΅©σ΅© = 0, π‘→∞ σ΅© π 3 Figure 1: The interconnection topology G. Theorem 11. Assume that the vertex 0 is globally reachable in the leader-follower interconnection topology G.β If the control gain π satisfies π>√ 2 (44) Position π½3 = ( 4 (43) where 0π×π πΌπ ), πΉ3 = ( −π2 π» −π3 π» 1 (47) where −15 0 1 2 3 π 1 Μ ππΏ = ( ) ⊗ π. 1 π Agent 1 Agent 2 πΜ (π) |(43) = ππ (πΉ3π ππΏ + ππΏ πΉ3 ) π + 2ππ ππΏ π½3 π = −ππ ππΏ π + 2ππ ππΏ π½3 π, 8 9 10 Due to the fact that βπ½3 β2 = π4 (π2 + 1)βπ»β2 , enforcing the measurement error π(π‘) to satisfy π min (ππΏ ) βπβ 2π2 √π2 σ΅© σ΅© + 1π max (ππΏ ) σ΅©σ΅©σ΅©σ΅©π»σ΅©σ΅©σ΅©σ΅© (52) with π ∈ (0, 1), one has πΜ (π) ≤ − (1 − π) π mππ (ππΏ ) βπβ2 (49) (1 − π) π min (ππΏ ) π (π) . π max (ππΏ ) (53) From (53), we conclude that limπ‘ → ∞ π(π‘) = 0, that is, as π‘ → ∞, π₯Μ2 (π‘) → 0, ΜV2 (π‘) → 0. The proof is thus competed. (50) According to Schur complement Lemma 5, ππΏ is positive definite with π given in (45). Therefore, σ΅© σ΅© πΜ (π) |(43) ≤ −π min (ππΏ ) βπβ2 + 2π max (ππΏ ) σ΅©σ΅©σ΅©π½3 σ΅©σ΅©σ΅© βπβ βπβ 7 Figure 2: The evolution of position states π₯π (π‘) for π = 1, . . . , 4. ≤− where π2 πΌπ π3 πΌπ − ππΜ ππΏ = − (πΉ3π ππΏ + ππΏ πΉ3 ) = ( 3 ). π πΌπ − ππΜ π4 πΌπ − 2πΜ 6 Agent 3 Agent 4 (48) It is not difficult to show that ππΏ is positive definite with π given in (45). Differentiating π(π) leads to 5 Time (π‘) βπ (π‘)β ≤ π π₯Μ (π‘) π (π‘) = ( ), ΜV (π‘) 4 σ΅© σ΅© = − βπβ [π min (ππΏ ) βπβ − 2π max (ππΏ ) σ΅©σ΅©σ΅©π½3 σ΅©σ΅©σ΅© βπβ] . (51) Similar to Theorem 9, a conclusion about the lower bound of the event-times can also be found true, which is omitted here. 4. Simulations Example 12. Consider four agents whose dynamics is described by (3). The interconnection topology is shown in Figure 1. Obviously, G has a globally vertex 4; however, it is not strongly connected. Abstract and Applied Analysis 7 40 6 30 4 20 π’π (π‘) 50 8 Velocity 10 2 10 0 0 −2 −10 −4 0 1 2 3 4 Agent 1 Agent 2 5 6 Time (π‘) 7 8 9 10 βπ(π‘)β 0 1 2 3 4 5 6 7 8 9 10 Time (π‘) π’3 (π‘) π’4 (π‘) π’1 (π‘) π’2 (π‘) Agent 3 Agent 4 Figure 3: The evolution of velocity state Vπ (π‘) for π = 1, . . . , 4. 18 16 14 12 10 8 6 4 2 0 −20 Figure 5: Evolution of the consensus controllers π’π (π‘) for π = 1, . . . , 4. 1 4 0 0 1 2 3 4 5 6 Time (π‘) 7 8 9 10 βπ(π‘)β Bound Figure 4: Evolution of the measurement error norm βπ(π‘)β. Assume that the weighted adjacency matrix π΄ reduces to a 0 − 1 matrix. Then the Laplacian matrix πΏ of G is 1 −1 πΏ=( 0 0 0 1 −1 0 0 0 2 0 −1 0 ), −1 0 (54) which is an asymmetric matrix. A non-singular matrix π in Lemma 6 can be easily found as 1 1 π=( 1 1 0 1 0 0 0 0 1 0 0 0 ). 0 1 (55) 1 01 Then the submatrices π» = ( −1 2 0 ) and β = col(0, 0, −1). 0 01 The positive definite matrix satisfying (15) is given by 0.5833 0.0833 −0.3056 π = ( 0.0833 0.2500 −0.0278) , −0.3056 −0.0278 0.8056 (56) whose minimal and maximal eigenvalues are, respectively, π min (π) = 0.2248, π max (π) = 1.0260. According to (23), take the gain π = 1.5. 2 3 β G) β = {0, 1, 2, 3, 4} and V(G) = {1, 2, 3, 4}. Figure 6: V( The initial conditions of system (9) are π₯(0) = col(2, −4, −9, 9), V(0) = col(2, 6, 3, −2) and π(0) = 0. In the event triggered condition (30), we take π = 0.8. It can be seen that, from Figures 2 and 3, the four agents reach consensus on the position and velocity states with the proposed eventdriven consensus control (8). Additionally, since the vertex 4 has no link starting from it, the agent 4 is moved according to its own dynamics and the initial conditions, as shown in Figures 2, 3, and 5. The evolution of the measurement error vector π(π‘) is depicted in Figure 4, which shows that the error π(π‘) is bounded by the specified threshold (ππ min (π)βπβ/2π2 √π2 + 1π max (π)βπ»β). In Figure 5, the consensus controllers are illustrated for the four agents, whose event-driven update frequencies are decreasing as time evolves. Example 13. Consider four followers and one leader whose dynamics are, respectively, described by (3) and (4). The leader-follower interconnection topology Gβ is shown in Figure 6, which has a globally reachable vertex 0. It is not difficult to obtain the Laplacian matrix πΏ as 1 −1 πΏ=( 0 0 −1 1 0 0 0 0 1 −1 0 0 ), −1 1 (57) and the leader adjacency matrix π΅ = diag{1, 0, 0, 1}. Since −π» = −(πΏ + π΅) is a stable matrix, one solves the Lyapunov Abstract and Applied Analysis 15 12 10 10 5 8 βπ(π‘)β Position evolution 8 0 4 −5 −10 2 0 1 2 3 4 5 6 7 8 9 10 Time (π‘) Follower 3 Follower 4 Leader Follower 1 Follower 2 Velocity evolution 6 4 2 0 −2 −4 0 1 2 3 4 5 6 0 0 1 2 3 4 5 6 Time (π‘) 7 8 9 10 βπ(π‘)β Bound Figure 7: The evolution of position states π₯π (π‘) for π = 0, 1, . . . , 4. −6 6 7 8 9 10 Figure 9: Evolution of the measurement error norm βπ(π‘)β. of the closed-loop multi-agent system has been analyzed by employing an ISS Lyapunov function. Some numerical examples have been presented to validate the proposed eventdriven controls. However, it is noted that the event-driven condition depends on the states of the whole multi-agent group and all agents have identical event-times. The result is somewhat preliminary due to the centralized information gathering, so further work will be devoted to designing a decentralized event-driven consensus control for a secondorder multi-agent system in the future. Time (π‘) Leader Follower 1 Follower 2 Acknowledgments Follower 3 Follower 4 Figure 8: The evolution of velocity states Vπ (π‘) for π = 0, 1, . . . , 4. πΜ Μ π = πΌ4 and has the positive definite solution equation ππ»+π» as 0.75 0.25 0 0 0.25 0.50 0 0 Μ π=( ) 0 0 1.0 0.50 0 0 0.50 0.50 (58) whose maximal eigenvalue π max (π») = 1.309. From (45), still take π = 1.5. The acceleration of the active leader is assumed to be π0 (π‘) = π−π‘ sin(π‘). The initial values of system (3) is same as those in Example 12 and the initial values of the leader is given as π₯0 (0) = 0, V0 (0) = 1 and π0 (0) = 0. Figures 7 and 8 show that the followers and the self-active leader reach consensus on the position and velocity under the event-driven control (41). The evolution of βπ(π‘)β is also presented in Figure 9. 5. Conclusions An event-driven consensus problem of second-order multiagent systems with/without a self-active leader was considered in this paper. The consensus controllers have been proposed for all autonomous mobile agents based on an eventdriven control update strategy. The input-to-state stability This work is supported by the National Natural Science Foundation of China under Grant 61104104 and the Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry of China. References [1] M. H. DeGroot, “Reaching a consensus,” Journal of the American Statistical Association, vol. 69, no. 345, pp. 118–121, 1974. [2] R. Olfati-Saber, J. A. Fax, and R. M. Murray, “Consensus and cooperation in networked multi-agent systems,” Proceedings of the IEEE, vol. 95, no. 1, pp. 215–233, 2007. [3] A. Jadbabaie, J. Lin, and A. S. Morse, “Coordination of groups of mobile autonomous agents using nearest neighbor rules,” IEEE Transactions on Automatic Control, vol. 48, no. 6, pp. 988–1001, 2003. [4] R. Olfati-Saber and R. M. Murray, “Consensus problems in networks of agents with switching topology and time-delays,” IEEE Transactions on Automatic Control, vol. 49, no. 9, pp. 1520– 1533, 2004. [5] J. Hu and G. Feng, “Distributed tracking control of leaderfollower multi-agent systems under noisy measurement,” Automatica, vol. 46, no. 8, pp. 1382–1387, 2010. [6] L. Moreau, “Stability of multiagent systems with time-dependent communication links,” IEEE Transactions on Automatic Control, vol. 50, no. 2, pp. 169–182, 2005. [7] J. Lorenz and D. A. Lorenz, “On conditions for convergence to consensus,” IEEE Transactions on Automatic Control, vol. 55, no. 7, pp. 1651–1656, 2010. Abstract and Applied Analysis [8] Z.-J. Tang, T.-Z. Huang, and J.-L. Shao, “Containment control of multiagent systems with multiple leaders and noisy measurements,” Abstract and Applied Analysis, vol. 2012, Article ID 262153, 9 pages, 2012. [9] P. Lin, K. Qin, Z. Li, and W. Ren, “Collective rotating motions of second-order multi-agent systems in three-dimensional space,” Systems & Control Letters, vol. 60, no. 6, pp. 365–372, 2011. [10] K. D. Do, “Formation control of multiple elliptical agents with limited sensing ranges,” Automatica, vol. 48, no. 7, pp. 1330– 1338, 2012. [11] J. Hu and Y. Hong, “Leader-following coordination of multiagent systems with coupling time delays,” Physica A, vol. 374, no. 2, pp. 853–863, 2007. [12] Y. Cao, D. Stuart, W. Ren, and Z. Meng, “Distributed containment control for multiple autonomous vehicles with doubleintegrator dynamics: algorithms and experiments,” IEEE Transactions on Control Systems Technology, vol. 19, no. 4, pp. 929– 938, 2011. [13] Y. Hong, G. Chen, and L. Bushnell, “Distributed observers design for leader-following control of multi-agent networks,” Automatica, vol. 44, no. 3, pp. 846–850, 2008. [14] Z. Wu, L. Peng, L. Xie, and J. Wen, “Stochastic bounded consensus tracking of second-order multi-agent systems with measurement noises and sampled-data,” Journal of Intelligent & Robotic Systems, vol. 68, no. 3-4, pp. 261–273, 2012. [15] J. Wang, D. Cheng, and X. Hu, “Consensus of multi-agent linear dynamic systems,” Asian Journal of Control, vol. 10, no. 2, pp. 144–155, 2008. [16] Y. Tian, “High-order consensus of heterogeneous multi-agent systems,” in Proceedings of the 8th Asian Control Conference, pp. 341–346, Kaohsiung, Taiwan, 2011. [17] X. Wang, Y. Hong, J. Huang, and Z.-P. Jiang, “A distributed control approach to a robust output regulation problem for multiagent linear systems,” IEEE Transactions on Automatic Control, vol. 55, no. 12, pp. 2891–2895, 2010. [18] J. Hu and G. Feng, “Quantized tracking control for a multiagent system with high-order leader dynamics,” Asian Journal of Control, vol. 13, no. 6, pp. 988–997, 2011. [19] Z. Li, Z. Duan, and G. Chen, “Dynamic consensus of linear multi-agent systems,” IET Control Theory & Applications, vol. 5, no. 1, pp. 19–28, 2011. [20] P. Tabuada, “Event-triggered real-time scheduling of stabilizing control tasks,” IEEE Transactions on Automatic Control, vol. 52, no. 9, pp. 1680–1685, 2007. [21] Y. Gao and L. Wang, “Sampled-data based consensus of continuous-time multi-agent systems with time-varying topology,” IEEE Transactions on Automatic Control, vol. 56, no. 5, pp. 1226– 1231, 2011. [22] Z.-J. Tang, T.-Z. Huang, J.-L. Shao, and J.-P. Hu, “Leaderfollowing consensus for multi-agent systems via sampled-data control,” IET Control Theory & Applications, vol. 5, no. 14, pp. 1658–1665, 2011. [23] D. V. Dimarogonas, E. Frazzoli, and K. H. Johansson, “Distributed event-triggered control for multi-agent systems,” IEEE Transactions on Automatic Control, vol. 57, no. 5, pp. 1291–1297, 2012. [24] Z. Liu, Z. Chen, and Z. Yuan, “Event-triggered average-consensus of multi-agent systems with weighted and direct topology,” Journal of Systems Science & Complexity, vol. 25, no. 5, pp. 845–855, 2012. 9 [25] J. Hu, G. Chen, and H.-X. Li, “Distributed event-triggered tracking control of leader-follower multi-agent systems with communication delays,” Kybernetika, vol. 47, no. 4, pp. 630–643, 2011. [26] C. Godsil and G. Royle, Algebraic Graph Theory, vol. 207 of Graduate Texts in Mathematics, Springer, New York, NY, USA, 2001. [27] R. A. Horn and C. R. Johnson, Matrix Analysis, Cambridge University Press, Cambridge, UK, 1985. [28] T. Mori and I. A. Derese, “A brief summary of the bounds on the solution of the algebraic matrix equations in control theory,” International Journal of Control, vol. 39, no. 2, pp. 247–256, 1984. [29] R. Merris, “Laplacian matrices of graphs: a survey,” Linear Algebra and Its Applications, vol. 197-198, pp. 143–176, 1994. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014