• ### Linear Quadratic Synchronization of Multi-Agent Systems: A Distributed Optimization Approach(1805.02331)

May 7, 2018 cs.SY
The distributed optimal synchronization problem with linear quadratic cost is solved in this paper for multi-agent 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 multi-agent systems are given to demonstrate the effectiveness of the proposed method.
• ### Non-Concave Network Utility Maximization in Connectionless Networks: A Fully Distributed Traffic Allocation Algorithm(1702.08539)

Feb. 27, 2017 math.OC
This paper considers the optimization-based traffic allocation problem among multiple end points in connectionless networks. The network utility function is modeled as a non-concave 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 non-convex 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 non-convex optimization problem as the number of moments tends to infinity. From this hierarchy of problems, we obtain a convex relaxation of the original non-convex 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.
• ### Distributed Average Tracking for Multiple Signals Generated by Linear Dynamical Systems: An Edge-based Framework(1606.09329)

June 30, 2016 cs.SY
This paper studies the distributed average tracking problem for multiple time-varying signals generated by linear dynamics, whose reference inputs are nonzero and not available to any agent in the network. In the edge-based 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.
• ### Fully Distributed Adaptive Output Feedback Protocols for Linear Multi-Agent Systems with Directed Graphs: A Sequential Observer Design Approach(1511.01297)

Nov. 4, 2015 cs.SY
This paper studies output feedback consensus protocol design problems for linear multi-agent systems with directed graphs. We consider both leaderless and leader-follower 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 leader-follower consensus for any directed graph containing a directed spanning tree with the leader as the root.
• ### Novel Distributed Robust Adaptive Consensus Protocols for Linear Multi-agent Systems with Directed Graphs and External Disturbances(1511.01331)

Nov. 4, 2015 cs.SY
This paper addresses the distributed consensus protocol design problem for linear multi-agent systems with directed graphs and external unmatched disturbances. A novel distributed adaptive consensus protocol is proposed to achieve leader-follower 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.
• ### Distributed Adaptive Consensus Protocols for Linear Multi-agent Systems with Directed Graphs and External Disturbances(1410.7496)

Feb. 2, 2015 cs.SY
This paper addresses the distributed consensus design problem for linear multi-agent systems with directed communication graphs and external disturbances. Both the cases with strongly connected communication graphs and leader-follower 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.
• ### Designing Fully Distributed Consensus Protocols for Linear Multi-agent Systems with Directed Graphs(1312.7377)

Aug. 20, 2014 math.OC, cs.SY
This paper addresses the distributed consensus protocol design problem for multi-agent 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 leader-follower 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.
• ### Distributed Robust Consensus Control of Multi-agent Systems with Heterogeneous Matching Uncertainties(1312.7379)

Dec. 28, 2013 math.OC
This paper considers the distributed consensus problem of linear multi-agent 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 multi-agent 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.
• ### Distributed average tracking for multiple reference signals with general linear dynamics(1312.7445)

Dec. 28, 2013 cs.SY
This technical note studies the distributed average tracking problem for multiple time-varying 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.
• ### Containment Control of Linear Multi-Agent Systems with Multiple Leaders of Bounded Inputs Using Distributed Continuous Controllers(1312.7447)

Dec. 28, 2013 math.OC, cs.SY
This paper considers the containment control problem for multi-agent 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.
• ### Distributed Robust Control of Linear Multi-Agent Systems with Parameter Uncertainties(1109.3781)

Sept. 17, 2011 math.OC, cs.SY
This paper considers the distributed robust control problems of uncertain linear multi-agent systems with undirected communication topologies. It is assumed that the agents have identical nominal dynamics while subject to different norm-bounded parameter uncertainties, leading to weakly heterogeneous multi-agent systems. Distributed controllers are designed for both continuous- and discrete-time multi-agent 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 discrete-time 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 two-step algorithm is presented to construct the distributed controller for the continuous-time 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 discrete-time controller. Finally, the distributed robust $H_\infty$ control problems of uncertain linear multi-agent systems subject to external disturbances are discussed.
• ### Distributed Adaptive Attitude Synchronization of Multiple Spacecraft(1102.5603)

June 10, 2011 math.OC, cs.SY
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 time-varying 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.
• ### Consensus of Discrete-Time Linear Multi-Agent Systems with Observer-Type Protocols(1102.5599)

March 6, 2011 math.OC, cs.SY
This paper concerns the consensus of discrete-time multi-agent systems with linear or linearized dynamics. An observer-type protocol based on the relative outputs of neighboring agents is proposed. The consensus of such a multi-agent 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 discrete-time consensus region is then introduced and analyzed. For neurally stable agents, it is shown that there exists an observer-type 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 origin-centered 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 multi-agent systems.
• ### Synchronization transitions on scale-free neuronal networks due to finite information transmission delays(0907.4961)

We investigate front propagation and synchronization transitions in dependence on the information transmission delay and coupling strength over scale-free 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 delay-induced synchronization transitions manifest as well-expressed 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 scale-free topology. We argue that fine-tuned 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.
• ### Delay-induced multiple stochastic resonances on scale-free neuronal networks(0906.1186)

We study the effects of periodic subthreshold pacemaker activity and time-delayed coupling on stochastic resonance over scale-free 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 scale-free 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 scale-free 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. Delay-induced multiple stochastic resonances manifest as well-expressed maxima of the correlation measure, appearing at every multiple of the pacemaker period. We argue that fine-tuned delays and locally active pacemakers are vital for assuring optimal conditions for stochastic resonance on complex neuronal networks.
• ### Are networks with more edges easier to synchronize?(0711.2442)

Nov. 15, 2007 cs.NI
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.
• ### Cost and Effects of Pinning Control for Network Synchronization(0710.2716)

Oct. 15, 2007 cs.NI
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 star-shaped networks. Numerical simulations on some non-regular complex networks generated by the Barabasi-Albert model and various star-shaped networks are shown for verification and illustration.
• ### L2 norm performance index of synchronization and optimal control synthesis of complex networks(0710.2736)

Oct. 15, 2007 cs.NI
In this paper, the synchronizability problem of dynamical networks is addressed, where better synchronizability means that the network synchronizes faster with lower-overshoot. 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 so-called 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.
• ### Network synchronizability analysis: the theory of subgraphs and complementary graphs(0708.0660)

Aug. 5, 2007 cs.NI, cs.GR
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.
• ### Disconnected synchronized regions of complex dynamical networks(0706.2899)

June 20, 2007 math.CO
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.
• ### Analysis and control of network synchronizability(0706.2901)

June 20, 2007 math.CO
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.
• ### Complexity in linearly coupled dynamical networks: Some unusual phenomena in energy accumulation(0706.2902)

June 20, 2007 math.DS, math.OC
This paper addresses the energy accumulation problem, in terms of the $H_2$ norm, of linearly coupled dynamical networks. An interesting outer-coupling relationship is constructed, under which the $H_2$ norm of the newly constructed network with column-input and row-output 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 block-diagonal-input and block-diagonal-output 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.