
The distributed optimal synchronization problem with linear quadratic cost is
solved in this paper for multiagent systems with an undirected communication
topology. For the first time, the optimal synchronization problem is formulated
as a distributed optimization problem with a linear quadratic cost functional
that integrates quadratic synchronization errors and quadratic input signals
subject to agent dynamics and synchronization constraints. By introducing
auxiliary synchronization state variables and combining the distributed
synchronization method with the alternating direction method of multiplier
(ADMM), a new distributed control protocol is designed for solving the
distributed optimization problem. With this construction, the optimal
synchronization control problem is separated into several independent
subproblems: a synchronization optimization, an input minimization and a dual
optimization. These subproblems are then solved by distributed numerical
algorithms based on the Lyapunov method and dynamic programming. Numerical
examples for both homogeneous and heterogeneous multiagent systems are given
to demonstrate the effectiveness of the proposed method.

This paper considers the optimizationbased traffic allocation problem among
multiple end points in connectionless networks. The network utility function is
modeled as a nonconcave function, since it is the best description of the
quality of service perceived by users with inelastic applications, such as
video and audio streaming. However, the resulting nonconvex optimization
problem, is challenging and requires new analysis and solution techniques. To
overcome these challenges, we first propose a hierarchy of problems whose
optimal value converges to the optimal value of the nonconvex optimization
problem as the number of moments tends to infinity. From this hierarchy of
problems, we obtain a convex relaxation of the original nonconvex optimization
problem by considering truncated moment sequences. For solving the convex
relaxation, we propose a fully distributed iterative algorithm, which enables
each node to adjust its date allocation/ rate adaption among any given set of
next hops solely based on information from the neighboring nodes. Moreover, the
proposed traffic allocation algorithm converges to the optimal value of the
convex relaxation at a $O(1/K)$ rate, where $K$ is the iteration counter, with
a bounded optimality. At the end of this paper, we perform numerical
simulations to demonstrate the soundness of the developed algorithm.

This paper studies the distributed average tracking problem for multiple
timevarying signals generated by linear dynamics, whose reference inputs are
nonzero and not available to any agent in the network. In the edgebased
framework, a pair of continuous algorithms with, respectively, static and
adaptive coupling strengths are designed. Based on the boundary layer concept,
the proposed continuous algorithm with static coupling strengths can
asymptotically track the average of multiple reference signals without the
chattering phenomenon. Furthermore, for the case of algorithms with adaptive
coupling strengths, average tracking errors are uniformly ultimately bounded
and exponentially converge to a small adjustable bounded set. Finally, a
simulation example is presented to show the validity of theoretical results.

This paper studies output feedback consensus protocol design problems for
linear multiagent systems with directed graphs. We consider both leaderless
and leaderfollower consensus with a leader whose control input is nonzero and
bounded. We propose a novel sequential observer design approach, which makes it
possible to design fully distributed adaptive output feedback protocols that
the existing methods fail to accomplish. With the sequential observer
architecture, we show that leaderless consensus can be achieved for any
strongly connected directed graph in a fully distributed manner, whenever the
agents are stabilizable and detectable. For the case with a leader of bounded
control input, we further present novel distributed adaptive output feedback
protocols, which include nonlinear functions to deal with the effect of the
leaders's nonzero control input and are able to achieve leaderfollower
consensus for any directed graph containing a directed spanning tree with the
leader as the root.

This paper addresses the distributed consensus protocol design problem for
linear multiagent systems with directed graphs and external unmatched
disturbances. A novel distributed adaptive consensus protocol is proposed to
achieve leaderfollower consensus for any directed graph containing a directed
spanning tree with the leader as the root node. It is noted that the adaptive
protocol might suffer from a problem of undesirable parameter drift phenomenon
when bounded external disturbances exist. To deal with this issue, a
distributed robust adaptive consensus protocol is designed to guarantee the
ultimate boundedness of both the consensus error and the adaptive coupling
weights in the presence of external disturbances. Both adaptive protocols are
fully distributed, relying on only the agent dynamics and the relative states
of neighboring agents.

This paper addresses the distributed consensus design problem for linear
multiagent systems with directed communication graphs and external
disturbances. Both the cases with strongly connected communication graphs and
leaderfollower graphs containing a directed spanning tree with the leader as
the root are discussed. Distributed adaptive consensus protocols based on the
relative states of neighboring agents are designed, which can ensure the
ultimate boundedness of the consensus error and adaptive gains in the presence
of external disturbances. The upper bounds of the consensus error are further
explicitly given. Compared to the existing consensus protocols, the merit of
the adaptive protocols proposed in this paper is that they can be computed and
implemented in a fully distributed fashion and meanwhile are robust with
respect to external disturbances.

This paper addresses the distributed consensus protocol design problem for
multiagent systems with general linear dynamics and directed communication
graphs. Existing works usually design consensus protocols using the smallest
real part of the nonzero eigenvalues of the Laplacian matrix associated with
the communication graph, which however is global information. In this paper,
based on only the agent dynamics and the relative states of neighboring agents,
a distributed adaptive consensus protocol is designed to achieve
leaderfollower consensus for any communication graph containing a directed
spanning tree with the leader as the root node. The proposed adaptive protocol
is independent of any global information of the communication graph and thereby
is fully distributed. Extensions to the case with multiple leaders are further
studied.

This paper considers the distributed consensus problem of linear multiagent
systems subject to different matching uncertainties for both the cases without
and with a leader of bounded unknown control input. Due to the existence of
nonidentical uncertainties, the multiagent systems discussed in this paper are
essentially heterogeneous. For the case where the communication graph is
undirected and connected, a distributed continuous static consensus protocol
based on the relative state information is first designed, under which the
consensus error is uniformly ultimately bounded and exponentially converges to
a small adjustable residual set. A fully distributed adaptive consensus
protocol is then designed, which, contrary to the static protocol, relies on
neither the eigenvalues of the Laplacian matrix nor the upper bounds of the
uncertainties. For the case where there exists a leader whose control input is
unknown and bounded, distributed static and adaptive consensus protocols are
proposed to ensure the boundedness of the consensus error. It is also shown
that the proposed protocols can be redesigned so as to ensure the boundedness
of the consensus error in the presence of bounded external disturbances which
do not satisfy the matching condition. A sufficient condition for the existence
of the proposed protocols is that each agent is stabilizable.

This technical note studies the distributed average tracking problem for
multiple timevarying signals with general linear dynamics, whose reference
inputs are nonzero and not available to any agent in the network. In
distributed fashion, a pair of continuous algorithms with, respectively, static
and adaptive coupling strengths are designed. Based on the boundary layer
concept, the proposed continuous algorithm with static coupling strengths can
asymptotically track the average of the multiple reference signals without
chattering phenomenon. Furthermore, for the case of algorithms with adaptive
coupling strengths, the average tracking errors are uniformly ultimately
bounded and exponentially converge to a small adjustable bounded set. Finally,
a simulation example is presented to show the validity of the theoretical
results.

This paper considers the containment control problem for multiagent systems
with general linear dynamics and multiple leaders whose control inputs are
possibly nonzero and time varying. Based on the relative states of neighboring
agents, a distributed static continuous controller is designed, under which the
containment error is uniformly ultimately bounded and the upper bound of the
containment error can be made arbitrarily small, if the subgraph associated
with the followers is undirected and for each follower there exists at least
one leader that has a directed path to that follower. It is noted that the
design of the static controller requires the knowledge of the eigenvalues of
the Laplacian matrix and the upper bounds of the leaders' control inputs. In
order to remove these requirements, a distributed adaptive continuous
controller is further proposed, which can be designed and implemented by each
follower in a fully distributed fashion. Extensions to the case where only
local output information is available are discussed.

This paper considers the distributed robust control problems of uncertain
linear multiagent systems with undirected communication topologies. It is
assumed that the agents have identical nominal dynamics while subject to
different normbounded parameter uncertainties, leading to weakly heterogeneous
multiagent systems. Distributed controllers are designed for both continuous
and discretetime multiagent systems, based on the relative states of
neighboring agents and a subset of absolute states of the agents. It is shown
for both the continuous and discretetime cases that the distributed robust
control problems under such controllers in the sense of quadratic stability are
equivalent to the $H_\infty$ control problems of a set of decoupled linear
systems having the same dimensions as a single agent. A twostep algorithm is
presented to construct the distributed controller for the continuoustime case,
which does not involve any conservatism and meanwhile decouples the feedback
gain design from the communication topology. Furthermore, a sufficient
existence condition in terms of linear matrix inequalities is derived for the
distributed discretetime controller. Finally, the distributed robust
$H_\infty$ control problems of uncertain linear multiagent systems subject to
external disturbances are discussed.

This paper addresses the distributed attitude synchronization problem of
multiple spacecraft with unknown inertia matrices. Two distributed adaptive
controllers are proposed for the cases with and without a virtual leader to
which a timevarying reference attitude is assigned. The first controller
achieves attitude synchronization for a group of spacecraft with a leaderless
communication topology having a directed spanning tree. The second controller
guarantees that all spacecraft track the reference attitude if the virtual
leader has a directed path to all other spacecraft. Simulation examples are
presented to illustrate the effectiveness of the results.

This paper concerns the consensus of discretetime multiagent systems with
linear or linearized dynamics. An observertype protocol based on the relative
outputs of neighboring agents is proposed. The consensus of such a multiagent
system with a directed communication topology can be cast into the stability of
a set of matrices with the same low dimension as that of a single agent. The
notion of discretetime consensus region is then introduced and analyzed. For
neurally stable agents, it is shown that there exists an observertype protocol
having a bounded consensus region in the form of an open unit disk, provided
that each agent is stabilizable and detectable. An algorithm is further
presented to construct a protocol to achieve consensus with respect to all the
communication topologies containing a spanning tree. Moreover, for the case
where the agents have no poles outside the unit circle,an algorithm is proposed
to construct a protocol having an origincentered disk of radius $\delta$
($0<\delta<1$) as its consensus region, where $\delta$ has to further satisfy a
constraint related to the unstable eigenvalues of a single agent for the case
where each agent has a least one eigenvalue outside the unit circle. Finally,
the consensus algorithms are applied to solve formation control problems of
multiagent systems.

We investigate front propagation and synchronization transitions in
dependence on the information transmission delay and coupling strength over
scalefree neuronal networks with different average degrees and scaling
exponents. As the underlying model of neuronal dynamics, we use the efficient
Rulkov map with additive noise. We show that increasing the coupling strength
enhances synchronization monotonously, whereas delay plays a more subtle role.
In particular, we found that depending on the inherent oscillation frequency of
individual neurons, regions of irregular and regular propagating excitatory
fronts appear intermittently as the delay increases. These delayinduced
synchronization transitions manifest as wellexpressed minima in the measure
for spatial synchrony, appearing at every multiple of the oscillation
frequency. Larger coupling strengths or average degrees can broaden the region
of regular propagating fronts by a given information transmission delay and
further improve synchronization. These results are robust against variations in
system size, intensity of additive noise and the scaling exponent of the
underlying scalefree topology. We argue that finetuned information
transmission delays are vital for assuring optimally synchronized excitatory
fronts on complex neuronal networks, and indeed, they should be seen as
important as the coupling strength or the overall density of interneuronal
connections. We finally discuss some biological implications of the presented
results.

We study the effects of periodic subthreshold pacemaker activity and
timedelayed coupling on stochastic resonance over scalefree neuronal
networks. As the two extreme options, we introduce the pacemaker respectively
to the neuron with the highest degree and to one of the neurons with the lowest
degree within the network, but we also consider the case when all neurons are
exposed to the periodic forcing. In the absence of delay, we show that an
intermediate intensity of noise is able to optimally assist the pacemaker in
imposing its rhythm on the whole ensemble, irrespective to its placing, thus
providing evidences for stochastic resonance on the scalefree neuronal
networks. Interestingly thereby, if the forcing in form of a periodic pulse
train is introduced to all neurons forming the network, the stochastic
resonance decreases as compared to the case when only a single neuron is paced.
Moreover, we show that finite delays in coupling can significantly affect the
stochastic resonance on scalefree neuronal networks. In particular,
appropriately tuned delays can induce multiple stochastic resonances
independently of the placing of the pacemaker, but they can also altogether
destroy stochastic resonance. Delayinduced multiple stochastic resonances
manifest as wellexpressed maxima of the correlation measure, appearing at
every multiple of the pacemaker period. We argue that finetuned delays and
locally active pacemakers are vital for assuring optimal conditions for
stochastic resonance on complex neuronal networks.

In this paper, the relationship between the network synchronizability and the
edge distribution of its associated graph is investigated. First, it is shown
that adding one edge to a cycle definitely decreases the network
sychronizability. Then, since sometimes the synchronizability can be enhanced
by changing the network structure, the question of whether the networks with
more edges are easier to synchronize is addressed. It is shown by examples that
the answer is negative. This reveals that generally there are redundant edges
in a network, which not only make no contributions to synchronization but
actually may reduce the synchronizability. Moreover, an example shows that the
node betweenness centrality is not always a good indicator for the network
synchronizability. Finally, some more examples are presented to illustrate how
the network synchronizability varies following the addition of edges, where all
the examples show that the network synchronizability globally increases but
locally fluctuates as the number of added edges increases.

In this paper, the problem of pinning control for synchronization of complex
dynamical networks is discussed. A cost function of the controlled network is
defined by the feedback gain and the coupling strength of the network. An
interesting result is that lower cost is achieved by the control scheme of
pinning nodes with smaller degrees. Some rigorous mathematical analysis is
presented for achieving lower cost in the synchronization of different
starshaped networks. Numerical simulations on some nonregular complex
networks generated by the BarabasiAlbert model and various starshaped
networks are shown for verification and illustration.

In this paper, the synchronizability problem of dynamical networks is
addressed, where better synchronizability means that the network synchronizes
faster with lowerovershoot. The L2 norm of the error vector e is taken as a
performance index to measure this kind of synchronizability. For the
equilibrium synchronization case, it is shown that there is a close
relationship between the L2 norm of the error vector e and the H2 norm of the
transfer function G of the linearized network about the equilibrium point.
Consequently, the effect of the network coupling topology on the H2 norm of the
transfer function G is analyzed. Finally, an optimal controller is designed,
according to the socalled LQR problem in modern control theory, which can
drive the whole network to its equilibrium point and meanwhile minimize the L2
norm of the output of the linearized network.

In this paper, subgraphs and complementary graphs are used to analyze the
network synchronizability. Some sharp and attainable bounds are provided for
the eigenratio of the network structural matrix, which characterizes the
network synchronizability, especially when the network's corresponding graph
has cycles, chains, bipartite graphs or product graphs as its subgraphs.

This paper addresses the synchronized region problem, which is reduced to a
matrix stability problem, for complex dynamical networks. For any natural
number $n$, the existence of a network which has $n$ disconnected synchronized
regions is theoretically demonstrated. This shows the complexity in network
synchronization. Convexity characteristic of stability for matrix pencils is
further discussed. Smooth and generalized smooth Chua's circuit networks are
finally discussed as examples for illustration.

In this paper, the investigation is first motivated by showing two examples
of simple regular symmetrical graphs, which have the same structural
parameters, such as average distance, degree distribution and node betweenness
centrality, but have very different synchronizabilities. This demonstrates the
complexity of the network synchronizability problem. For a given network with
identical node dynamics, it is further shown that two key factors influencing
the network synchronizability are the network inner linking matrix and the
eigenvalues of the network topological matrix. Several examples are then
provided to show that adding new edges to a network can either increase or
decrease the network synchronizability. In searching for conditions under which
the network synchronizability may be increased by adding edges, it is found
that for networks with disconnected complementary graphs, adding edges never
decreases their synchronizability. This implies that better understanding and
careful manipulation of the complementary graphs are important and useful for
enhancing the network synchronizability. Moreover, it is found that an
unbounded synchronized region is always easier to analyze than a bounded
synchronized region. Therefore, to effectively enhance the network
synchronizability, a design method is finally presented for the inner linking
matrix of rank 1 such that the resultant network has an unbounded synchronized
region, for the case where the synchronous state is an equilibrium point of the
network.

This paper addresses the energy accumulation problem, in terms of the $H_2$
norm, of linearly coupled dynamical networks. An interesting outercoupling
relationship is constructed, under which the $H_2$ norm of the newly
constructed network with columninput and rowoutput shaped matrices increases
exponentially fast with the node number $N$: it increases generally much faster
than $2^N$ when $N$ is large while the $H_2$ norm of each node is 1. However,
the $H_2$ norm of the network with a diffusive coupling is equal to $\gamma_2
N$, i.e., increasing linearly, when the network is stable, where $\gamma_2$ is
the $H_2$ norm of a single node. And the $H_2$ norm of the network with
antisymmetrical coupling also increases, but rather slowly, with the node
number $N$. Other networks with blockdiagonalinput and blockdiagonaloutput
matrices behave similarly. It demonstrates that the changes of $H_2$ norms in
different networks are very complicated, despite the fact that the networks are
linear. Finally, the influence of the $H_2$ norm of the locally linearized
network on the output of a network with Lur'e nodes is discussed.