Output Average Consensus Over Heterogeneous Multi-Agent
Systems via Two-Level Approach
Yutao Tang

∗

Abstract: In this paper, a novel two-level framework was proposed and applied to solve the output
average consensus problem over heterogeneous multi-agent systems. This approach is mainly based on
the recent technique of system abstraction. For given multi-agent systems, we first constructed their

arXiv:1702.00528v1 [cs.SY] 2 Feb 2017

abstractions as the upper level and solved their average consensus problem by leveraging well-known
results for single integrators. Then the control protocols for physical agents in the lower level were
synthesized in a hierarchical way by embedding the designed law for abstractions into an interface between
two levels. In this way, the complexity coming from heterogeneous dynamics of agents is totally decoupled
from that of the coordination task and the communication topologies. An example was given to show its
effectiveness.
Keywords: average consensus, system abstraction, two-level control, heterogeneous multi-agent system

1

Introduction

As a fundamental problem of multi-agent systems, consensus has been widely investigated due to its
numerous applications such as cooperative control of unmanned aerial vehicles, communication among
sensor networks, and formation of mobile robots [12, 13, 16, 17, 24].
While consensus only requires the agreement on some common signal, average consensus (i.e., consensus
on the average of some individual signals) of multi-agent agents has been shown as an inevitable part
of the solution for more complex problems in several applications, including distributed filtering [2] and
multi-robot flocking [22]. Note that an extra condition has to be satisfied in average consensus, relating
the limiting behavior of the whole system to the initial states, this problem is certainly more challenging
especially when we expect average consensus of all outputs in a heterogeneous multi-agent network.
The main difficulty hurdling the output average consensus analysis over general multi-agent systems
lies in the complexities due to the couplings between high-order heterogeneous dynamic and average
task. In fact, existing results are relatively few, and most publications emphasize on only simple agents
(e.g. single or double integrators) under a fixed graph. For example, a local averaging protocol for single
integrators was employed in [12] from a control viewpoint to solve this problem under a strongly connected
and balanced topology. Fast linear iterations were also proposed in [25] to solve the distributed averaging
problem in a discrete-time version. A dynamic average consensus rule was proposed in [8] such that each
agent can track the average of their dynamic inputs with some steady-state error. A similar design was
also provided for integrator-type agents under general graphs in [1]. However, to our knowledge, there
is no general output average consensus conclusion over high-order multi-agent systems even under fixed
undirected graphs except [14]. The authors in [14] assumed that each agent shares its initial position and
∗ Yutao

Tang is with the School of Automation, Beijing University of Posts and Telecommunications, Beijing 100876.

P. R. China. Email: yttang@bupt.edu.cn

1

proposed an integral control rule to drive several identical high-order integrators to achieve an output
average consensus. Nevertheless, the solvability of output average consensus over general (heterogeneous)
linear multi-agent systems is still unclear.
Based on aforementioned observations, an intuitive idea to achieve average consensus over general
multi-agent systems is to decouple those complexities brought by high-order dynamics and the average
consensus task. If so, we can separately solve two simpler subproblems instead of the original difficult
one. The aim of this paper is to show that the abstraction technique is possibly the right tool to achieve
this goal.
Abstraction, frequently used in computer science [5] , has been shown as an effective approach to
reduce the dynamic complexities of control systems. The authors in [3] proved that a given linear system,
satisfying some linear matrix inequalities, can be abstracted into its Π-related system with a lower
dimension while keeping the difference between their output trajectories within a computable bound. A
hierarchical distributed control approach was later proposed for coordination of general linear multi-agent
systems in [20]. Based on a simpler abstraction and proper interfaces under system-inclusion assumptions,
the coordination protocol was synthesized by some embedding techniques according to difference tasks.
By formulating a two-level control framework via abstraction, we aim to solve the output average
consensus problem over general linear multi-agent systems. The contribution of the work is at least
twofold. Firstly, comparing with the output consensus or synchronization results in [10, 13, 15], we emphasized on the more challenging output average consensus problem. By this novel hierarchical control
approach, output average consensus was achieved for a group of general linear agents under mild connectivity conditions, while most existing average consensus analysis and designs were only for special types of
dynamics, e.g. single integrators [12]. Secondly, comparing with the abstraction and hierarchical design
for a single system in [3], we provided a more precise characterization for linear abstraction problem and
extended it to a distributed version for networked systems. Furthermore, those agents considered here
are heterogeneous, while only the homogeneous case was considered in [20].
The rest of this paper is organized as follows. Problem statement is presented in Section 2. After
introducing some basic results of system abstraction in Section 3, we provide a two-level control scheme
with main results in Section 4. Finally, simulation examples and concluding remarks are presented at the
end.
Notations: let Rn be the n-dimensional Euclidean space, Rn×m be the set of n × m real matrices.
diag{b1 , . . ., bn } denotes an n×n diagonal matrix with diagonal elements bi (i = 1, . . ., n); col(a1 , . . ., an ) =
n
T T
[aT
1 , . . ., an ] for any column vectors ai (i = 1, . . ., n). For any vector y ∈ R , Ave(y) ,

Pn

i=1

n

yi

. A

continuous function α : [0, a) → [0, ∞) belongs to class K if it is strictly increasing and α(0) = 0; It
belongs to class K∞ if it belongs to class K with a = ∞ and lims→∞ α(s) → ∞.

2

Problem Statement

Consider a group of (non-identical) linear agents of the form

ẋi = Ai xi + bi ui
y = c x , i = 1, . . ., N
i

(1)

i i

where xi ∈ Rnxi , ui ∈ Rnio , yi ∈ Rnio are its state, input and output, respectively. Ai , bi , ci are matrices
with proper dimensions. We assume the pair (ci , Ai , bi ) is minimal and has no transmission zero at the
origin of complex plane. Apparently, it includes minimum-phase linear systems and of course high-order

2

integrators as its special cases. For simplicity, we take nio = 1. The following arguments can be extended
to multiple-input and multiple-output cases without difficulties.
Associated with these multi-agent systems, a digraph G = {V, E, A} is defined with node set N =
{1, ..., N } to describe the communication topology (see [11] for details). If agent i can get access to the
information of agent j, there exists a directed edge in G with weight aij . Define the neighbor set of agent
i as Ni0 = {j : (j, i) ∈ E} for i = 1, ..., N and Ni = Ni0 ∪ {i}. To achieve a coordination of those agents,
this graph should be connected to some degree. The following assumption has been widely in multi-agent
systems [12, 13].
Assumption 1 The graph G is undirected and connected.
Invoking the topology of these multi-agent systems, we consider distributed control laws of the following
form.
ui = φi (ξj , xj , j ∈ Ni )
ξ˙i = ψi (ξj , xj , j ∈ Ni )

(2)

where ξi ∈ Rnξi with a nonnegative integer nξi and smooth functions φi , ψi to be designed later. When
nξi = 0, the control law for agent i is a static one. It becomes an output feedback control when only yj
(not xj ) (j ∈ Ni ) is used.
Next, we formulate the output average consensus problem over these multi-agent systems as follows.
Given multi-agent systems composed of (1) and a communication graph G, find a distributed control law
ui of the form (16), such that
lim ei (t) = 0, i = 1, . . ., N,

t→∞

(3)

where ei , yi − Ave(y(0)).
Remark 2.1 Instead of merely reaching a consensus, an extra condition, yi (∞) = Ave(y(0)), has to be
satisfied which relates the limiting behavior of those multi-agent systems to their initial states. In contrast
to many publications on output consensus among several classes of multi-agent systems (e.g. [4, 10]),
few results are obtained on average consensus for agents. Moveover, existing average consensus results
are only derived for some special multi-agent systems, e.g. integrators [12], while heterogeneous multiagent systems with general linear dynamics are considered here, which makes this problem much more
challenging.
In the following sections, we first give a brief introduction to abstraction techniques, then present
a novel hierarchical control approach for our multi-agent system to solve its output average consensus
problem.

3

Abstraction and Simulation Function

In this section, preliminary knowledge on abstraction is given for the following analysis. For the sake of
consistency, we emphasize on single-input and single-output linear system as follows.

ẋ = Ax + bu
S:
y = cx

(4)

where x ∈ Rn , u ∈ R, y(t) ∈ R. Suppose (c, A, b) is minimal. In the following, we refer to (4) as the
concrete system to be controlled in practice.
3

We adopt the simulation-based abstraction formulation [3] for our design and suppose the abstraction
of (4) is also linear of the form:

ż = F z + gv
S0 :
w = hz

(5)

where z ∈ Rm , v ∈ R, w ∈ R. Typically, the dimension of system (5) is much smaller than that of the
concrete system, i.e., m  n.
Throughout the paper S and S 0 are supposed to be forward complete, namely, for every initial condition
and every measurable locally essentially bounded input signal, the solution is defined for all t ≥ 0, i.e., the
maximal interval of existence is Tmax = +∞. Inspired by [3] and [20], we introduce simulation functions
as follows to quantify the approximation relationship between concrete system and its abstraction.
Definition 3.1 Let V : Rm × Rn → R+ be a smooth function with V (0, 0) = 0 and uv : R × Rm × Rn → R
be a continuous function. V is a simulation function of S 0 by S and uv is an associated interface if there
exist two class K functions γ and α such that, for all (z, x) ∈ Rm × Rn ,
V (z, x) ≥ (y − z)2

(6)

and for all v ∈ R satisfying γ(||v||) < V (z, x),
∂V
∂V
(F z + Gv) +
(Ax + buv ) < −α(V ).
∂z
∂x

(7)

In Inequality (7), we impose a strict decreasing rate than that in [3], which benefits us with more
precise characterization of the simulation relationship between those outputs of S 0 and S.
Lemma 3.2 Let V be a simulation function of S 0 by S with an associated interface uv , v(t) be an
admissible input of S 0 , x, z and w satisfying
ẋ = Ax + buv (z, x, v),
(8)

ż = F z + gv,
y = cx,

w = hz.

Then, there exists a class KL function β(·) holding for t ≥ 0
(y − w)2 ≤ β(V (x(0), z(0)), t) + γ(||v||∞ ).

(9)

Additionally, if v(t) vanishes when t goes to infinity, then,
|w(t) − y(t)| → 0

(t → +∞).

(10)

Proof. The proof will follow the traditional technique of comparison functions and is split into two steps.
Step 1 : Consider a set M , {(z, x) : V (z, x) ≤ c0 }, where c0 , γ(||v||∞ ). We claim that, if there exists a
t0 such that (z(t0 ), x(t0 )) ∈ M , then (z(t), x(t)) ∈ M for t > t0 . We prove it by seeking a contradiction.
Assume there exist some t > t0 ,  and V (z(t), x(t)) > c0 + . Let τ = inf(t > t0 : V (z(t), x(t)) > c0 + ),
then V (z(τ ), x(τ )) ≥ c0 + , which implies V (z(τ ), x(τ )) ≥ c. Combining with the definition of V , it gives
∂V
|t=τ < −α(V (z, x) |t=τ ) < 0
∂t

(11)

Thus, V (z(t), x(t)) > V (z(τ ), x(τ )) for some t during (t0 , τ ), which contradicts to the minimality of τ .
Hence the following argument holds as we claimed:
V (z(t), x(t)) < γ(||v||∞ ), for all t > t0 .
4

(12)

Step 2 : Let t1 = inf{t > 0 : (z(t), x(t)) ∈ M }. It follows from the above argument V (z(t), x(t)) ∈ M for
t > t1 , i.e., V (z(t), x(t)) ≤ γ(||v||). For any t < t1 , (z(t), x(t)) ∈
/ M , that is, V (z(t), x(t)) > c = γ(||v||∞ ).
By the definition of simulation function, we have, for 0 ≤ t < t1 ,
∂V
< −α(V (z(t), x(t))).
∂t
By a stand comparison principle [9], there exists some class KL function β such that
V (z(t), x(t)) < β(V (z(0), x(0)), t), for all t < t1 .
Combining these inequalities, one can safely conclude
(w(t) − y(t))2 < β(V (z(0), x(0)), t) + γ(||v||∞ )
which is exactly the inequality (9).
Suppose v(t) vanishes as t goes to infinity, then for any given  > 0, there exists a large enough T
satisfying |v(t)| ≤ γ −1 ( 2 ) for t > T . We can apply the previous arguments to the composite system from
a new initial time t0 = T , and thus obtain,
(w(t) − y(t))2 < β(V (z(T ), x(T )), t) +


2

Note that the function β(·, ·) ∈ KL, there exists a T1 > 0 such that
β(V (z(T ), x(T )), t) <


,
2

∀t > T1

Taking T0 = max{T, T1 }, one can thus obtain that, for any t > T0 > 0,
(w(t) − y(t))2 < 
That is w(t) − y(t) → 0 as t → +∞. We thus complete the proof.
A similar estimation was established in [3]:
|y(t) − w(t)| ≤ max{V (x(0), z(0)), γ(||v||∞ )}
Under Definition 3.1, it allows the concrete system to asymptotically simulate its abstraction for some
special design of v, which is more proper for consensus coordination over complex multi-agent systems.

4

A Two-Level Design

In this section, we will provide a two-level framework to solve the output average consensus problem over
heterogeneous multi-agent systems. The hierarchical structure and information flow of our abstractionbased distributed control approach is depicted in Figure 1. Details will be specified in the following
subsections.

4.1

Abstraction Level: Protocol Design

First, a network of abstractions should be set up as the upper level according to given tasks. The following
lemma for linear systems plays a key role in our design.
Lemma 4.1 If the triple (c, A, b) is minimal with no zero at the origin, the system (4) takes an integrator
ż = v, w = z as its abstraction with an interface of the form u = k(x − Xz) + U z + Rv, where X, U
satisfy AX + bU = 0, cX = 1, k is a matrix such that A + bk is Hurwitz and R is freely selected.
5

Figure 1: Two-level structure of abstraction-based hierarchical control.
Proof. To prove this lemma, we only have to find a simulation function and its associated interface.
Since the plant has no zero at the origin, by the transmission zero condition in [7], there exists a pair
(X, U ) satisfying AX + bU = 0, cX = 1. Taking a matrix k such that A + bk is Hurwitz and letting
x̄ = x − Xz give
x̄˙ = Ax + bu − Xv,

y − w = cx̄

Next, we take a linear control law uv = kx + U z + Rv,
x̄˙ = (A + bk)x̄ + (bR − X)v.
One can easily verify the conditions in Definition 3.1.
In fact, since A+bk is Hurwitz, there exists a positive definite matrix P ∈ Rn×n such that (A+bk)T P +
P (A + bk) = −In . Take V = ĉx̄T P x̄, where ĉ ≥

||c||2
λmin (P ) .

Apparently, V ≥ ||c(x − Xz)||2 = (y − z)2 .

V̇ = 2ĉx̄T [(A + bk)x̄ + (bR − X)v]
≤ −ĉx̄T x̄ + 2ĉx̄T P (bR − X)v
≤−
Let α(s) =

1
2λmax (P ) s

V
2λmax (P )

−(

V
− 4c||P (bR − X)||2 v 2 )
4λmax

and
γ(s) = 16λmax (P )||P (bR − X)||2 s2 ,

the inequality (7) holds. Thus V and uv are indeed the simulation function and associated interface
between (c, A, b) and the integrator under Definition 3.1.
By Lemma 4.1, we select the abstraction of agent i to achieve average consensus in the upper level as
follows:
żi = vi ,

wi = zi

(13)

Then, proper protocols to complete the average consensus goal in the upper level for those abstractions
should be proposed, which has been well-studied in literature [12].
A neighbor-based protocol is used here for average consensus of abstractions:
vi =

N
X

aij (zj − zi ).

j=1

6

(14)

Remark 4.2 Although we only consider output average consensus
for agents of the form (1), it is reP
N
w y (0)
i=1
PN i i
i=1 wi

∗
markable that output weighted consensus problem on yw
,

with wi > 0 can also be solved
PN
when weighted consensus is achieved in the upper level. In fact, letting vi = w1i j=1 aij (zj − zi ) and

recalling Corollary 3 in [12], we can solve it easily by following the same procedure.

4.2

Agent Level: Interface Embedding

After designing controllers for the abstraction level, we synthesis the control protocol for (1) to solve our
original multi-agent systems.
Note that, the abstraction is locally set up as a virtual reference, it is reasonable to choose its initial
conditions and use its state and input in our control as well. Thus the distributed coordination is
transformed into N decentralized interface constructing and reference embedding problems.
Combined with Lemma 4.1, a state-feedback interface candidate would be ui = ki (xi − Xi zi ) + Ui zi +
Ri vi . by embedding (14) into this interface, a control candidate to achieve output average consensus of
our multi-agent systems is
ui = ki (xi − Xi zi ) + Ui zi + Ri

N
X

aij (zj − zi ),

j=1

żi =

N
X

aij (zj − zi ),

(15)

zi (0) = yi (0).

j=1

When only output information yi is available, it is possible to provide a dynamic output-feedback
interface as follows
ui = ki (ξi − Xi zi ) + Ui zi + Ri

N
X

aij (zj − zi ),

j=1

ξ˙i = Ai ξi + bi ui − li (yi − ci ξi ),
żi =

N
X

aij (zj − zi ),

zi (0) = yi (0)

(16)

j=1

where li is a chosen matrix such that Ai + li ci Hurwitz.
It is interesting to remark that an initialization zi (0) = yi (0) is employed in our design, which can be
taken as an information-sharing mechanism to achieve a cooperative task. Similar ideas have been used
in many publications for integrators, e.g. [8] and [14].

4.3

Performance Evaluation and Convergence

In this subsection, we shall prove the solvability of output average consensus problem over these heterogeneous multi-agent systems under proposed controls (15) and (16).
It is time to give our first main theorem.
Theorem 4.3 Under Assumption 1, the output average consensus of multi-agent systems (1) can be
achieved by a state-feedback control law of the form (15).
Proof. To prove this theorem, we rewrite the composite system as follows.
ẋi = Ai xi + bi [ki (xi − Xi zi ) + Ui zi + Ri vi ]
żi =

N
X

aij (zj − zi ),

zi (0) = yi (0)

j=1

7

where vi =

PN

j=1

aij (zj − zi ). It is of the cascaded form while xi -subsystem is the driven one. Letting

z = col(z1 , · · · , zN ) gives
ż = −Lz,

z(0) = y(0)

By Theorem 5 in [12], it solves the average consensus of z, that is, lim zi (t) = Ave(z(0)) = Ave(y(0)).
t→∞

Apparently, it happens that lim vi = 0. By Lemma 4.1, we have
t→∞

|ei (t)| ≤ |yi (t) − wi (t)| + |zi (t) − Ave(y(0))| → 0
as t → +∞ and thus complete the proof.
This result can be extended to a class of digraphs as follows.
Corollary 4.4 For given multi-agent systems composed of (1) with a fixed digraph topology G. The
output average consensus problem is solvable if and only if G is strongly connected and balanced.
The proof is not hard, since the average consensus in the upper level under (14) is solved if and only if
G is strongly connected and balanced by Theorems 3 and 5 in [12]
There might be some cases when only yi is available through measurement. We then present the second
main theorem for these multi-agent systems under output feedback law (16).
Theorem 4.5 Under Assumption 1, the output average consensus of multi-agent systems composed of
(1) can be solved by a dynamic output-feedback control law of the form (16).
Proof. As that in Theorem 4.3, the composite system under (16) is as follows.
ẋi = Ai xi + bi [ki (xi − Xi zi ) + Ui zi + Ri vi ] + bi ki (ξi − xi )
ξ˙i = Ai ξi + bi ui − li (yi − ci ξi ),
żi =

N
X

aij (zj − zi ),

zi (0) = yi (0)

j=1

Letting z = col(z1 , · · · , zN ), ξ¯i = ξi − xi and x̄i = xi − Xi zi gives
x̄˙ i = (Ai + bi ki )x̄i + (bi Ri − Xi )vi + bi ki ξ¯i
ξ¯˙i = (Ai + li ci )ξ¯i ,
ż = −Lz,

z(0) = y(0).

Since Ai +bi ki and Ai +li ci are both Hurwitz by selections and lim vi = 0, we thus obtain |yi (t)−zi (t)| =
t→∞

|ci x̄i | → 0 as t goes to infinity by Theorem 9.1 in [9]. Recalling lim zi (t) = Ave(z(0)) = Ave(y(0)) in
t→∞

Theorem 4.3, we thus complete the proof.
For agents of special dynamics, static output feedback interfaces might be constructed, which brings
reduced-order output feedback controls to achieve output average consensus of those heterogeneous multiagent systems.
Theorem 4.6 Consider the multi-agent systems composed of (1) with a fixed topology satisfying Assumption 1. Suppose for any i, there exists a constant νi 6= 0 satisfying
bT
i Pi = νi ci

(17)

where Pi is positive definite and satisfies the following linear matrix inequality
T
AT
i Pi + Pi Ai < 2Pi bi bi Pi .

8

(18)

Then, a reduced-order output feedback of the form
ui = ki (yi − zi ) + Ui zi + Ri

N
X

aij (zj − zi ),

j=1

żi =

N
X

aij (zj − zi ),

(19)

zi (0) = yi (0)

j=1

can be employed to solve the average consensus problem for these multi-agent systems.
Proof. Following the procedure of our hierarchical control approach, we have yi − zi = ci (xi − Xi zi ).
The composite system is then as follows.
ẋi = Ai xi + bi [ki ci (xi − Xi zi ) + Ui zi + Ri vi ]
żi =

N
X

aij (zj − zi ),

zi (0) = yi (0).

j=1

Again, letting z = col(z1 , · · · , zN ) and x̄i = xi − Xi zi gives
x̄˙ i = (Ai + bi ki ci )x̄i + (bi Ri − Xi )vi
ż = −Lz,

z(0) = y(0).

We claim that there exists a matrix ki such that Ai + bi ki ci is Hurwitz. If so, the proof can be completed
without difficulties by following the procedure in Theorem 4.3.
In fact, from (17), we have bT
i Pi = νi ci . Letting ki = −λ̂i νi gives
Mi , (Ai + bi ki ci )T Pi + Pi (Ai + bi ki ci )
T
T
= (Ai − λ̂i bi bT
i Pi ) Pi + Pi (Ai − λ̂i bi bi Pi )
T
= AT
i Pi + Pi Ai − 2λ̂i Pi bi bi Pi .

Recalling (20) and letting λ̂i > 1 gives
Mi , (Ai + bi ki ci )T Pi + Pi (Ai + bi ki ci ) < 0
Since Pi is positive definite, Ai + bi ki ci is Hurwitz by Theorem 4.6 in [9]. The proof is complete.
This result can be extended to multiple input and multiple-output systems by assuming
!
ci
Rank(ci ) = Rank T
.
b i Pi

(20)

Remark 4.7 Although we only consider multi-agent systems under a fixed topology, these conclusions still
hold when the communication topology varies and switches among a finite number of strongly connected
and balanced graphs by employing common Lyapunov techniques as that in [12].
Remark 4.8 In contrast to many existing average consensus results on single integrators [1, 12, 13], this
abstraction-based framework can handle heterogeneous general multi-agent systems with possible general
graphs by a two-level design. In fact, through such an abstraction process, the heterogeneous linear multiagent agents are homogenized and further converted to well-studied integrator-type systems. That is,
the complexity from dynamics is decoupled from that of the average consensus goal and communication
topology. In this sense, this two-level approach might provide a promising framework to handle multi-agent
systems with both complex dynamics and sophisticated tasks.
9

1

2

3

4

1

(a) The graph G1

2

3

4

(b) The graph G2

Figure 2: The communication graphs.

(a)

(b)

Figure 3: Profiles of all outputs under the controllers (15) and (16).

5

Simulations

For illustrations, we present an example and consider four agents with following system matrices
A1 = 1, b1 = 1, c1 = 1,
"
A2 =


0

#
1

−1

0


0

0 1
 , b3 = col(0, 1, 1), c3 = [0, 1, 0].
0 1

0

1


A3 = 
−1
2
"
A4 =

, b2 = col(0, 1), c2 = [1, 0],

0

#
1

0

0

, b4 = col(0, 1), c4 = [1, 0].

We assume the topology is switching between two strongly connected and balanced graphs Gi (i = 1, 2)
described by Figure 2 with unity weights. The switchings are periodically carried out in the following
order {G1 , G2 , G1 , G2 , · · · } with a period T = 5.
It can be verified the systems are minimal with no transmission zero at the origin. By Remark 4.7
and some further manipulations, the output average consensus problem of them can be solved by the
controllers (15) and (16). The effectiveness is also verified by the simulation results with selected gain
matrices depicted in Figure 3.

6

Conclusions

A two-level approach was proposed to solve the output average consensus problem over heterogeneous
multi-agent systems. In conjunction with abstraction techniques, two different protocols were derived for
10

those agents. Future work includes extensions to more general graphs and nonlinear cases.

References
[1] K. Cai and H. Ishii: Average consensus on general strongly connected digraphs. Automatica 48
(2012), 2750–2761.
[2] R. Carli, A. Chiuso, L. Schenato, and S. Zampieri: Distributed Kalman filtering based on consensus
strategies. IEEE J. Sel. Areas Commun. 26 (2008), 622–633.
[3] A. Girard and G. Pappas: Hierarchical control system design using approximate simulation. Automatica 45 (2009), 566–571.
[4] Y. Hong, J. Hu, and L. Gao: Tracking control for multi-agent consensus with an active leader and
variable topology. Automatica 42 (2006), 1177–1182.
[5] D. Hristu-Varsakelis and W. S. Levine: Handbook of Networked and Embedded Control Systems.
Birkhäuser, Boston 2005.
[6] J. Hu and G. Feng: Distributed tracking control of leader-follower multi-agent systems under noisy
measurement. Automatica 46 (2010), 1382–1387.
[7] J. Huang: Nonlinear Output Regulation: Theory and Applications. SIAM, Philadelphia 2004.
[8] S. S. Kia, J. Cortés, and S. Martinez: Dynamic average consensus under limited control authority
and privacy requirements. Internat. J. Robust Nonlinear Control 25 (2015), 1941–1966.
[9] H. K. Khalil: Nonlinear Systems. Third Edition. Prentice Hall, New Jersey 2002.
[10] C. Ma and J. Zhang: Necessary and sufficient conditions for consensusability of linear multi-agent
systems. IEEE Trans. Automat. Control 55 (2010), 1263–1268.
[11] M. Mesbahi and M. Egerstedt:

Graph Theoretic Methods in Multiagent Networks. Princeton

University Press, New Jersey 2010.
[12] R. Olfati-Saber and R. Murray: Consensus problems in networks of agents with switching topology
and time-delays IEEE Trans. Automat. Control 49 (2004), 1520-1533.
[13] W. Ren and R. W. Beard: Distributed Consensus in Multi-Vehicle Cooperative Control: Theory
and Applications. Springer-Verlag, London 2008.
[14] H. Rezaee and F. Abdollahi: Average consensus over high-order multiagent systems. IEEE Trans.
Automat. Control 60 (2015), 3047–3052.
[15] L. Scardovi and R. Sepulchre: Synchronization in networks of identical linear systems. Automatica
45 (2013), 2557–2562.
[16] G. Shi, K. H. Johansson: Robust consensus for continuous-time multiagent dynamics. SIAM J.
Control Optim. 51 (2013), 3673–3691.
[17] Y. Tang: Output consensus of nonlinear multi-agent systems with unknown control directions.
Kybernetika 51 (2015), 335-346

11

[18] Y. Tang: Coordination of multi-agent systems under switching topologies via disturbance observerbased approach. Internat. J. Systems Sci. 47 (2016), 3900–3907.
[19] Y. Tang: Leader-following coordination problem with an uncertain leader in a multi-agent system.
IET Control Theory Appl. 8 (2014), 773–781.
[20] Y. Tang and Y. Hong: Hierarchical distributed control design for multi-agent systems using approximate simulation. Acta Automatica Sinica 39 (2013), 868–874.
[21] Y. Tang, Y. Hong, and X. Wang: Distributed output regulation for a class of nonlinear multi-agent
systems with unknown-input leaders. Automatica, 62(2015), 154–160.
[22] H. G. Tanner, A. Jadbabaie, and G. J. Pappas: Flocking in fixed and switching networks. IEEE
Trans. Automat. Control, 52 (2007), 863–868.
[23] X. Wang and F. Han: Robust coordination control of switching multi-agent systems via output
regulation approach. Kybernetika 47 (2011), 755–772.
[24] X. Wang, D. Xu, and Y. Hong: Consensus control of nonlinear leader-follower multi-agent systems
with actuating disturbances. Systems Control Lett. 73 (2014), 58–66.
[25] L. Xiao and S. Boyd:

Fast linear iterations for distributed averaging. Systems Control Lett.

53(2004), 65–78.

12

