Non-linear protocols for optimal distributed consensus in networks of dynamic agents

We consider stationary consensus protocols for networks of dynamic agents with fixed topologies. At each time instant, each agent knows only its and its neighbors’ state, but must reach consensus on a group decision value that is function of all the agents’ initial state. We show that the agents can reach consensus if the value of such a function is time-invariant when computed over the agents’ state trajectories. We use this basic result to introduce a non-linear protocol design rule allowing consensus on a quite general set of values. Such a set includes, e.g., any generalized mean of order p of the agents’ initial states. As a second contribution we show that our protocol design is the solution of individual optimizations performed by the agents. This notion suggests a game theoretic interpretation of consensus problems as mechanism design problems. Under this perspective a supervisor entails the agents to reach a consensus by imposing individual objectives. We prove that such objectives can be chosen so that rational agents have a unique optimal protocol, and asymptotically reach consensus on a desired group decision value. We use a Lyapunov approach to prove that the asymptotical consensus can be reached when the communication links between nearby agents define a time-invariant undirected network. Finally we perform a simulation study concerning the vertical alignment maneuver of a team of unmanned air vehicles.

[1]  Jie Lin,et al.  Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2003, IEEE Trans. Autom. Control..

[2]  T. Parisini,et al.  Cooperative Control of Distributed Agents with Nonlinear Dynamics and Delayed Information Exchange: a Stabilizing Receding-Horizon Approach , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[3]  Richard M. Murray,et al.  Consensus Protocols for Undirected Networks of Dynamic Agents with Communication Time-Delays , 2003 .

[4]  R. Pesenti,et al.  Mechanism Design for Optimal Consensus Problems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[5]  R. Pesenti,et al.  Neuro-dynamic programming for cooperative inventory control , 2004, Proceedings of the 2004 American Control Conference.

[6]  Randal W. Beard,et al.  Consensus seeking in multiagent systems under dynamically changing interaction topologies , 2005, IEEE Transactions on Automatic Control.

[7]  R. Pesenti,et al.  Attitude alignment of a team of UAVs under decentralized information structure , 2003, Proceedings of 2003 IEEE Conference on Control Applications, 2003. CCA 2003..

[8]  K.M. Passino,et al.  Stability analysis of social foraging swarms , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[9]  Mario Innocenti,et al.  Autonomous formation flight , 2000 .

[10]  Fernando Paganini,et al.  Internet congestion control , 2002 .

[11]  William B. Dunbar,et al.  Distributed Receding Horizon Control With Application to Multi-Vehicle Formation Stabilization , 2004 .

[12]  Dimitri P. Bertsekas,et al.  Dynamic Programming and Optimal Control, Two Volume Set , 1995 .

[13]  Timothy W. McLain,et al.  Cooperative path planning for timing-critical missions , 2003, Proceedings of the 2003 American Control Conference, 2003..

[14]  E.M. Atkins,et al.  A survey of consensus problems in multi-agent coordination , 2005, Proceedings of the 2005, American Control Conference, 2005..

[15]  Martin W. P. Savelsbergh,et al.  The Stochastic Inventory Routing Problem with Direct Deliveries , 2002, Transp. Sci..

[16]  George J. Pappas,et al.  Stable flocking of mobile agents part I: dynamic topology , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[17]  Luc Moreau,et al.  Leaderless coordination via bidirectional and unidirectional time-dependent communication , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[18]  Timothy W. McLain,et al.  Coordinated target assignment and intercept for unmanned air vehicles , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[19]  Randal W. Beard,et al.  Coordination Variables, Coordination Functions, and Cooperative-Timing Missions , 2005 .

[20]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[21]  Timothy W. McLain,et al.  Coordination Variables and Consensus Building in Multiple Vehicle Systems , 2004 .

[22]  Stephen P. Boyd,et al.  Fast linear iterations for distributed averaging , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[23]  R. Beard,et al.  Consensus of information under dynamically changing interaction topologies , 2004, Proceedings of the 2004 American Control Conference.

[24]  Christos G. Cassandras,et al.  A Cooperative receding horizon controller for multivehicle uncertain environments , 2006, IEEE Transactions on Automatic Control.

[25]  T. Başar,et al.  Dynamic Noncooperative Game Theory , 1982 .

[26]  Kevin M. Passino,et al.  Stable social foraging swarms in a noisy environment , 2004, IEEE Transactions on Automatic Control.

[27]  George J. Pappas,et al.  Stable flocking of mobile agents, part I: fixed topology , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[28]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[29]  Richard M. Murray,et al.  INFORMATION FLOW AND COOPERATIVE CONTROL OF VEHICLE FORMATIONS , 2002 .

[30]  Pierre Cardaliaguet,et al.  Invariant Solutions of Differential Games and Hamilton--Jacobi--Isaacs Equations for Time-Measurable Hamiltonians , 2000, SIAM J. Control. Optim..

[31]  R. Pesenti,et al.  Distributed consensus protocols for coordinating buyers , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[32]  R.M. Murray,et al.  Receding horizon control of multi-vehicle formations: a distributed implementation , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[33]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.