×

Consensus reaching in multi-agent packet-switched networks with nonlinear coupling. (English) Zbl 1165.93025

Summary: An important task for Multi-Agent Systems (MAS) is to reach a consensus, e.g., to align their velocity vectors. Recent results propose appropriate consensus protocols to achieve such tasks, but most of them do not consider the effect of communication constraints such as the presence of time-delays in the exchange of information between the agents. In this article, we provide conditions for a non-linear, locally passive MAS of arbitrary size to reach a consensus, when the agents communicate over a packet-switched network that is characterised by a given topology. Both the cases of constant and switching topologies are considered. The nature of the communication channel imposes constraints that are modelled using stochastic delays of arbitrary distribution. We first embed this model in another, distributed but deterministic delay model and provide conditions for the error introduced by this simplification. In our main result, we provide conditions for the locally passive MAS with distributed delays to reach a consensus. In the case of a fixed topology, the underlying directed graph has to contain a spanning tree. In the case of a switching topology, only the union graph of all graphs that persist over time is required to contain a spanning tree. These conditions are independent of the distribution and the size of the packet delays. To show attractivity of the consensus set, we use an invariance principle for systems described by functional differential equations based on an appropriate Lyapunov-Razumikhin function. This methodological approach is the main contribution of this work and can also be applied to other consensus problems with delays. We illustrate our results by numerical simulations showing synchronisation of non-linear Kuramoto oscillators over a digital network.

MSC:

93C23 Control/observation systems governed by functional-differential equations
93A14 Decentralized systems
93C10 Nonlinear systems in control theory
90B18 Communication networks in operations research
94A40 Channel models (including quantum) in information and communication theory

Software:

SimEvents
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] DOI: 10.1016/j.automatica.2007.12.010 · Zbl 1283.93013 · doi:10.1016/j.automatica.2007.12.010
[2] Blondel, VD, Hendrickx, JM, Olshevsky, A and Tsitsiklis, JN. 2005. Convergence in Multi-agent Coordination, Consensus, and Flocking. Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference. 2005, Seville, Spain. pp.2996–3000.
[3] Boyd S, Linear Matrix Inequalities in System and Control Theory (1994)
[4] DOI: 10.1016/j.automatica.2007.07.022 · Zbl 1283.93016 · doi:10.1016/j.automatica.2007.07.022
[5] DOI: 10.1109/TAC.2006.878713 · Zbl 1366.93400 · doi:10.1109/TAC.2006.878713
[6] DOI: 10.1038/nature03236 · doi:10.1038/nature03236
[7] DOI: 10.1016/j.automatica.2005.09.019 · Zbl 1099.93029 · doi:10.1016/j.automatica.2005.09.019
[8] DOI: 10.1103/PhysRevE.67.036204 · doi:10.1103/PhysRevE.67.036204
[9] Fang, L and Antsaklis, PJ. 2005. Information Consensus of Asynchronous Discrete-time Multi-agent Systems. Proceedings of the American Control Conference. 2005, Portland, USA. pp.1883–1888.
[10] DOI: 10.1109/TAC.2004.834433 · Zbl 1365.90056 · doi:10.1109/TAC.2004.834433
[11] DOI: 10.1109/TAC.2006.876805 · Zbl 1366.93273 · doi:10.1109/TAC.2006.876805
[12] DOI: 10.1109/TCST.2006.876902 · doi:10.1109/TCST.2006.876902
[13] Ghabcheloo, R, Aguiar, AP, Pascoal, A and Silvestre, C. 2007. Synchronization in Multi-agent Systems with Switching Topologies and Non-homogeneous Communication Delays. Proceedings of the 46th IEEE Conference on Decision and Control. 2007, New Orleans, USA. pp.2327–2332.
[14] Godsil C, Algebraic Graph Theory (2000)
[15] DOI: 10.1016/0022-0396(83)90061-X · Zbl 0531.34058 · doi:10.1016/0022-0396(83)90061-X
[16] Hale J, Introduction to Functional Differential Equations (1993)
[17] DOI: 10.1109/TAC.2005.858670 · Zbl 1365.94482 · doi:10.1109/TAC.2005.858670
[18] DOI: 10.1109/TAC.2004.841937 · Zbl 1365.93349 · doi:10.1109/TAC.2004.841937
[19] DOI: 10.1109/TAC.2003.812781 · Zbl 1364.93514 · doi:10.1109/TAC.2003.812781
[20] Jadbabaie, A, Motee, N and Barahona, M. 2004. On the Stability of the Kuramoto Model of Coupled Nonlinear Oscillators. Proceedings of the American Control Conference. 2004, Boston, USA. pp.4296–4301.
[21] Kashyap, A, Başar, T and Srikant, R. 2006a. Consensus with Quantized Information Updates. Proceedings of the 45th IEEE Conference on Decision and Control. 2006a, San Diego, USA. pp.2728–2733.
[22] Kashyap, A, Başar, T and Srikant, R. 2006b. Quantized Consensus. Proceedings of the IEEE International Symposium on Information Theory. 2006b, Seattle, USA. pp.635–639.
[23] Khalil HK, Nonlinear Systems, 3. ed. (2002)
[24] Kuramoto Y, Chemical Oscillations Waves, and Turbulence (1984)
[25] Lee, D and Spong, MW. 2006. Agreement with Non-uniform Information Delays. Proceedings of the American Control Conference. 2006, Minneapolis, USA. pp.756–761.
[26] DOI: 10.1109/TAC.2004.841121 · Zbl 1365.93324 · doi:10.1109/TAC.2004.841121
[27] DOI: 10.1137/050626405 · Zbl 1141.93032 · doi:10.1137/050626405
[28] DOI: 10.1109/TAC.2006.884948 · Zbl 1366.93034 · doi:10.1109/TAC.2006.884948
[29] Lopez, I, Piovesan, JL, Abdallah, CT, Lee, D, Martinez, O, Spong, MW and Sandoval, R. 2006. Practical Issues in Networked Control Systems. Proceedings of the American Control Conference. 2006, Minneapolis, USA. pp.4201–4206.
[30] DOI: 10.1109/TAC.2004.837589 · Zbl 1366.91027 · doi:10.1109/TAC.2004.837589
[31] DOI: 10.1109/TAC.2007.908301 · Zbl 1366.93388 · doi:10.1109/TAC.2007.908301
[32] DOI: 10.1109/TAC.2007.908304 · Zbl 1366.93389 · doi:10.1109/TAC.2007.908304
[33] MathWorks T, SimEvents 1.2 Toolbox (2006)
[34] Michiels, W, Morărescu, IC and Niculescu, SI. 2007. Consensus Problems for Car Following Systems with Distributed Delays. Proceedings of the 9th European Control Conference. 2007, Kos, Greece. pp.2158–2165.
[35] DOI: 10.1109/TAC.2005.844723 · Zbl 1365.93411 · doi:10.1109/TAC.2005.844723
[36] DOI: 10.1137/060670766 · Zbl 1210.34104 · doi:10.1137/060670766
[37] DOI: 10.1109/TAC.2004.841888 · Zbl 1365.93268 · doi:10.1109/TAC.2004.841888
[38] Münz, U, Papachristodoulou, A and Allgöwer, F. 2007. Multi-agent System Consensus in Packet-switched Networks. Proceedings of the 9th European Control Conference. 2007, Kos, Greece. pp.4598–4603.
[39] Münz, U, Papachristodoulou, A and Allgöwer, F. Nonlinear Multi-agent System Consensus with Time-varying Delays. Proceedings of the 17th IFAC World Congress. Seoul, South Korea. pp.1522–1527. · Zbl 1368.93010
[40] DOI: 10.1109/TAC.2005.864190 · Zbl 1366.93391 · doi:10.1109/TAC.2005.864190
[41] DOI: 10.1109/JPROC.2006.887293 · Zbl 1376.68138 · doi:10.1109/JPROC.2006.887293
[42] DOI: 10.1109/TAC.2004.834113 · Zbl 1365.93301 · doi:10.1109/TAC.2004.834113
[43] Papachristodoulou, A and Jadbabaie, A. 2005. Synchronization in Oscillator Networks: Switching Topologies and Non-homogeneous Delays. Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference. 2005, Seville, Spain. pp.5692–5697.
[44] Papachristodoulou, A and Jadbabaie, A. 2006. Synchonization of Oscillator Networks with Heterogeneous Delays, Switching Topologies and Nonlinear Dynamics. Proceedings of the 45th IEEE Conference on Decision and Control. 2006, San Diego, USA. pp.4307–4312.
[45] Papoulis A, Probability, Random Variables, and Stochastic Processes, 4. ed. (2002)
[46] Qu, Z, Chunyu, J and Wang, J. 2007. Nonlinear Cooperative Control for Consensus of Nonlinear and Heterogeneous Systems. Proceedings of the 46th IEEE Conference on Decision and Control. 2007, New Orleans, USA. pp.2301–2308.
[47] Ren, W. 2006. Consensus Based Formation Control Strategies for Multi-vehicle Systems. Proceedings of the American Control Conference. 2006, Minneapolis, USA. pp.4237–4242.
[48] DOI: 10.1109/TAC.2005.846556 · Zbl 1365.93302 · doi:10.1109/TAC.2005.846556
[49] DOI: 10.1109/MCS.2007.338264 · doi:10.1109/MCS.2007.338264
[50] DOI: 10.1016/S0005-1098(03)00167-5 · Zbl 1145.93302 · doi:10.1016/S0005-1098(03)00167-5
[51] Roesch, O, Roth, H and Niculescu, SI. 2005. Remote Control of Mechatronic Systems Over Communication Networks. Proceedings of the International Conference on Mechatronics and Automation. 2005, Niagara Falls, Canada. pp.1648–1653.
[52] DOI: 10.1002/rnc.1141 · Zbl 1266.93012 · doi:10.1002/rnc.1141
[53] Salza, S, Draoli, M, Gaibisso, C, Palma, AL and Puccinelli, R. 2000. Methods and Tools for the Objective Evaluation of Voice-over-IP Communications. Proceedings of the 10th Annual Internet Society Conference. 2000, Yokohama, Japan. Available fromhttp://www.isoc.org/inet2000/cdproceedings/1i/1i_2.htm
[54] DOI: 10.1137/060673813 · Zbl 1146.34058 · doi:10.1137/060673813
[55] DOI: 10.1016/S0167-2789(00)00094-4 · doi:10.1016/S0167-2789(00)00094-4
[56] Strogatz SH, SYNC: The Emerging Science of Spontaneous Order (2003)
[57] DOI: 10.1109/MCS.2006.1636310 · doi:10.1109/MCS.2006.1636310
[58] Tanenbaum AS, Computer Networks (2002)
[59] Tanner, HG and Christodoulakis, DK. 2005. State Synchronization in Local-interaction Networks is Robust with Restpect to Time Delays. Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference. 2005, Seville, Spain. pp.4945–4950.
[60] DOI: 10.1109/TAC.2007.895948 · Zbl 1366.93414 · doi:10.1109/TAC.2007.895948
[61] DOI: 10.1038/35078161 · doi:10.1038/35078161
[62] DOI: 10.1103/PhysRevLett.75.1226 · doi:10.1103/PhysRevLett.75.1226
[63] DOI: 10.1109/TAC.2006.872761 · Zbl 1366.90064 · doi:10.1109/TAC.2006.872761
[64] Wieland, P and Allgöwer, F. 2007. Constructive Safety using Control Barrier Functions. Proceedings of the 7th IFAC Symposium on Nonlinear Control System. 2007, Pretoria, South Africa. pp.473–478.
[65] Wieland, P, Ebenbauer, C and Allgöwer, F. 2007. Ensuring Safety for Multi-agent Systems by Feedback. Proceedings of the American Control Conference. 2007, New York, USA. pp.3880–3885.
[66] Wieland, P, Kim, JS, Scheu, H and Allgöwer, F. On Consensus in Multi-Agent Systems with Linear High Order Agents. Proceedings of the 17th IFAC World Congress. Seoul, South Korea. pp.1541–1546.
[67] DOI: 10.1109/TAC.2006.878783 · Zbl 1366.93537 · doi:10.1109/TAC.2006.878783
[68] DOI: 10.1080/00207170600825097 · Zbl 1330.94022 · doi:10.1080/00207170600825097
[69] Xiao L, Journal of Parallel and Distributed Computing 67 pp 22– (2007)
[70] DOI: 10.1080/00207170410001719765 · Zbl 1069.93515 · doi:10.1080/00207170410001719765
[71] DOI: 10.1103/PhysRevLett.82.648 · doi:10.1103/PhysRevLett.82.648
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.