pith. sign in

arxiv: 2604.21329 · v2 · submitted 2026-04-23 · 🧮 math.OC

Generalized String-Stability Criteria for Consensus Protocols

Sridhar Babu Mudhangulla , Olugbenga Moses Anubi This is my paper

Pith reviewed 2026-05-09 21:51 UTC · model grok-4.3

classification 🧮 math.OC
keywords string stabilityconsensus protocolsmulti-agent systemsleader-follower topologycommunication richnessdisturbance propagationH-infinity norm
0
0 comments X

The pith

String stability in consensus protocols depends only on communication richness r and requires r at least 2.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper develops a unified framework for string stability in leader-follower multi-agent systems using first-, second-, and higher-order consensus protocols with an r-predecessor communication topology. It demonstrates that string stability is governed exclusively by the communication richness r for any protocol order m. The order m only impacts mid-frequency transients, while the low-frequency disturbance gain is always inversely proportional to r. This separation unifies previous results on platoons and shows that insufficient communication cannot be fixed by higher-order controllers.

Core claim

For all consensus orders, string stability is dictated solely by the communication richness r, while the protocol order m influences only the mid-frequency transient behavior. In particular, the low-frequency gain of the disturbance propagation coefficient is inversely proportional to r for every m, implying that higher-order consensus cannot overcome the structural limitation imposed by insufficient communication and that string stability is achievable if and only if r >= 2.

What carries the argument

The disturbance propagation coefficient under the r-predecessor topology, whose low-frequency gain depends only on r independent of the protocol order m.

If this is right

  • Higher-order protocols cannot achieve string stability when r is less than 2.
  • The low-frequency amplification factor is fixed at 1/r for any m.
  • Classical results for specific vehicle models are generalized to arbitrary consensus orders.
  • Controller design should focus on ensuring sufficient communication links rather than increasing system order.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This suggests that in practical systems with delays or heterogeneity, the r >= 2 threshold might need adjustment for robustness.
  • Similar separation principles could be explored for other performance metrics like string stability in frequency domains beyond H-infinity.
  • Extensions to time-varying topologies would test if the fixed-topology result holds dynamically.

Load-bearing premise

The agents are identical and the communication topology remains fixed throughout the analysis.

What would settle it

A calculation or simulation of the H-infinity norm of the disturbance-to-error transfer function for r=1 showing a value less than or equal to one across different m would contradict the necessity of r >= 2.

Figures

Figures reproduced from arXiv: 2604.21329 by Olugbenga Moses Anubi, Sridhar Babu Mudhangulla.

Figure 1
Figure 1. Figure 1: Directed communication topology of a platoon. The leader (orange) injects the disturbance, followers (blue) [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Magnitude of disturbance-propagation coefficient [PITH_FULL_IMAGE:figures/full_fig_p010_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Spacing error trajectories for first-order consensus ( [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Spacing error trajectories for second-order consensus ( [PITH_FULL_IMAGE:figures/full_fig_p011_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Spacing error trajectories for third-order consensus ( [PITH_FULL_IMAGE:figures/full_fig_p012_5.png] view at source ↗
read the original abstract

This paper presents a unified string-stability framework for leader-follower multi-agent systems governed by first-, second-, and m-th order consensus protocols operating under an r-predecessor directed communication topology. While string stability has been extensively studied for specific vehicle models and individual consensus protocols, existing results remain fragmented across protocol orders and do not identify the fundamental factors governing disturbance amplification or attenuation. This work shows that, for all consensus orders, string stability is dictated solely by the communication richness r, while the protocol order m influences only the mid-frequency transient behavior. In particular, the low-frequency gain of the disturbance propagation coefficient is inversely proportional to r for every m, implying that higher-order consensus cannot overcome the structural limitation imposed by insufficient communication and that, under the adopted H-infinity-based string-stability definition and the present framework, string stability is achievable if and only if r >= 2. This establishes a structural-dynamic separation principle that unifies and generalizes classical platoon results, providing new insight into the interplay between topology and controller design in cooperative driving and multi-agent coordination. The framework is developed under idealized identical-agent and fixed-topology assumptions, providing a baseline for future robust extensions. Numerical simulations corroborate the analysis and illustrate how m and r jointly shape disturbance propagation along the formation.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper develops a unified H-infinity-based string-stability framework for leader-follower multi-agent systems employing first-, second-, and general m-th order consensus protocols under an r-predecessor directed communication topology. It claims that string stability (disturbance propagation coefficient with H-infinity norm strictly less than 1) is dictated solely by the communication richness r, while protocol order m affects only mid-frequency transient behavior. The low-frequency gain of the propagation coefficient is shown to be inversely proportional to r for every m, implying string stability is achievable if and only if r >= 2. This establishes a structural-dynamic separation principle under idealized identical-agent and fixed-topology assumptions, supported by frequency-domain analysis and numerical simulations.

Significance. If the central claims hold, the work offers a valuable unification of fragmented string-stability results across protocol orders, generalizing classical platoon control findings by isolating communication topology as the decisive factor independent of dynamics order. The separation principle provides clear design insight for cooperative driving and multi-agent coordination, and the idealized baseline for future robust extensions is a constructive contribution. The H-infinity analysis and simulation corroboration add technical value, though the overall significance hinges on confirming that the H-infinity norm is governed exclusively by the DC gain 1/r without m-dependent exceedances.

major comments (2)
  1. [Abstract and main H-infinity analysis] Abstract and frequency-domain derivation of the disturbance propagation coefficient: the claim that string stability holds for all m precisely when r >= 2 requires that the H-infinity norm equals the DC gain 1/r and is never exceeded by mid-frequency resonances. The analysis emphasizes the low-frequency gain being 1/r but does not explicitly demonstrate that the supremum over all frequencies remains <=1 for r=2 as m grows (e.g., via closed-form magnitude expression or pole-residue analysis showing no m-induced peaks >1). If the numerator/denominator structure for large m produces |G(jω)| >1 at intermediate ω even for r=2, the separation principle would not hold.
  2. [Numerical simulations] Numerical simulations section: the corroborating simulations should include explicit checks for large m (e.g., m=5 or m=10) with r=2 across a dense frequency grid to verify that the H-infinity norm remains <1 and is not set by transient peaks. Without such verification, the claim that m influences only mid-frequency behavior (without affecting the stability threshold) rests on incomplete evidence.
minor comments (2)
  1. [Abstract] The abstract refers to 'the adopted H-infinity-based string-stability definition'; a short explicit statement of the precise norm condition (e.g., sup_ω |T(jω)| <1) and how it reduces to the classical platoon case would improve clarity.
  2. [Main analysis] Notation for the propagation coefficient and transfer functions should be introduced with a dedicated equation number early in the analysis to facilitate cross-referencing.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive and detailed comments. We address each major comment below and indicate the planned revisions to strengthen the presentation of the separation principle.

read point-by-point responses

  1. Referee: [Abstract and main H-infinity analysis] Abstract and frequency-domain derivation of the disturbance propagation coefficient: the claim that string stability holds for all m precisely when r >= 2 requires that the H-infinity norm equals the DC gain 1/r and is never exceeded by mid-frequency resonances. The analysis emphasizes the low-frequency gain being 1/r but does not explicitly demonstrate that the supremum over all frequencies remains <=1 for r=2 as m grows (e.g., via closed-form magnitude expression or pole-residue analysis showing no m-induced peaks >1). If the numerator/denominator structure for large m produces |G(jω)| >1 at intermediate ω even for r=2, the separation principle would not hold.

    Authors: We agree that an explicit demonstration that the H-infinity norm equals the DC gain (and is not exceeded at intermediate frequencies) is necessary to fully support the claim for arbitrary m. The manuscript derives the propagation coefficient G(s) and shows that its DC gain is exactly 1/r independently of m, together with the high-frequency roll-off to zero. However, the current text does not include a dedicated bound or pole-residue argument ruling out m-dependent peaks. In the revised manuscript we will add a proposition that establishes ||G||_∞ = 1/r for r ≥ 2 by analyzing the magnitude function |G(jω)| (via its derivative or an appropriate frequency-domain inequality) and confirming that the supremum occurs at ω = 0. This addition will make the structural-dynamic separation explicit and address the referee's concern directly. revision: yes

  2. Referee: [Numerical simulations] Numerical simulations section: the corroborating simulations should include explicit checks for large m (e.g., m=5 or m=10) with r=2 across a dense frequency grid to verify that the H-infinity norm remains <1 and is not set by transient peaks. Without such verification, the claim that m influences only mid-frequency behavior (without affecting the stability threshold) rests on incomplete evidence.

    Authors: We concur that the existing simulations would benefit from explicit verification at larger m to rule out possible transient peaks. In the revised manuscript we will augment the numerical section with new results for m = 5 and m = 10 under r = 2. These will comprise magnitude plots of the propagation coefficient over a dense, logarithmically spaced frequency grid (approximately 1000 points from 10^{-3} to 10^3 rad/s) together with direct numerical computation of the H-infinity norm, confirming that it equals 1/r and is not exceeded by any mid-frequency resonance. This will provide the additional corroboration requested. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained under stated assumptions

full rationale

The paper derives the disturbance propagation transfer function from the closed-loop consensus dynamics under the r-predecessor topology for arbitrary protocol order m. The low-frequency gain of 1/r follows directly from the steady-state analysis of the error equations, and the H-infinity string-stability criterion is then applied to this explicit frequency-domain expression. No step reduces the central claim (string stability iff r >= 2 independent of m) to a fitted parameter, a self-referential definition, or a load-bearing self-citation whose content is merely renamed. The separation principle is obtained by inspecting the structure of the derived transfer function rather than by construction or tautology. The analysis remains within the idealized identical-agent, fixed-topology setting announced in the abstract.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Framework rests on H-infinity string-stability definition and idealized identical-agent fixed-topology assumptions stated as baseline.

axioms (2)
  • domain assumption Identical-agent and fixed-topology assumptions
    Explicitly stated in abstract as providing a baseline for future robust extensions.
  • domain assumption H-infinity based string-stability definition
    Adopted definition under which the iff r >= 2 result holds.

pith-pipeline@v0.9.0 · 5524 in / 1185 out tokens · 25723 ms · 2026-05-09T21:51:19.301159+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages

  1. [1]

    Consensus problems in networks of agents with switching topology and time-delays.IEEE Transactions on automatic control, 49(9):1520–1533, 2004

    Reza Olfati-Saber and Richard M Murray. Consensus problems in networks of agents with switching topology and time-delays.IEEE Transactions on automatic control, 49(9):1520–1533, 2004

    work page 2004

  2. [2]

    Information consensus in multivehicle cooperative control.IEEE Control systems magazine, 27(2):71–82, 2007

    Wei Ren, Randal W Beard, and Ella M Atkins. Information consensus in multivehicle cooperative control.IEEE Control systems magazine, 27(2):71–82, 2007

    work page 2007

  3. [3]

    String stability of interconnected systems.IEEE transactions on automatic control, 41(3):349–357, 2002

    Darbha Swaroop and J Karl Hedrick. String stability of interconnected systems.IEEE transactions on automatic control, 41(3):349–357, 2002

    work page 2002

  4. [4]

    Error amplification and disturbance propagation in vehicle strings with decentralized linear control

    Prabir Barooah and Joao P Hespanha. Error amplification and disturbance propagation in vehicle strings with decentralized linear control. InProceedings of the 44th IEEE conference on Decision and Control, pages 4964–4969. IEEE, 2005

    work page 2005

  5. [5]

    Lp string stability of cascaded systems: Application to vehicle platooning.IEEE Transactions on Control Systems Technology, 22(2):786–793, 2013

    Jeroen Ploeg, Nathan Van De Wouw, and Henk Nijmeijer. Lp string stability of cascaded systems: Application to vehicle platooning.IEEE Transactions on Control Systems Technology, 22(2):786–793, 2013

    work page 2013

  6. [6]

    Seron, and Richard H

    Sonja Stüdli, Maria M. Seron, and Richard H. Middleton. Vehicular platoons in cyclic interconnections with constant inter-vehicle spacing.IFAC-PapersOnLine, 2017. doi:10.1016/j.ifacol.2017.08.449. 12

    work page doi:10.1016/j.ifacol.2017.08.449 2017

  7. [7]

    Performance bounds for multi-vehicle networks with local integrators.IEEE Control Systems Letters, 2024

    Jonas Hansson and Emma Tegling. Performance bounds for multi-vehicle networks with local integrators.IEEE Control Systems Letters, 2024. doi:10.1109/lcsys.2024.3518397

    work page doi:10.1109/lcsys.2024.3518397 2024

  8. [8]

    An overview of automated vehicle longitudinal platoon formation strategies.ACM Journal on Autonomous Transportation Systems, 2025

    M Sabbir Salek, Mugdha Basu Thakur, Pardha Sai Krishna, Mashrur Chowdhury, Matthias Schmid, Pamela Murray-Tuite, Sakib Mahmud Khan, and Venkat Krovi. An overview of automated vehicle longitudinal platoon formation strategies.ACM Journal on Autonomous Transportation Systems, 2025. doi:10.1145/3736642

    work page doi:10.1145/3736642 2025

  9. [9]

    Consensus algorithms for double-integrator dynamics.Distributed Consensus in Multi-vehicle Cooperative Control: Theory and Applications, pages 77–104, 2008

    Wei Ren and Randal W Beard. Consensus algorithms for double-integrator dynamics.Distributed Consensus in Multi-vehicle Cooperative Control: Theory and Applications, pages 77–104, 2008

    work page 2008

  10. [10]

    On consensus in multi-agent systems with linear high-order agents.IFAC Proceedings Volumes, 41(2):1541–1546, 2008

    Peter Wieland, Jung-Su Kim, Holger Scheu, and Frank Allgöwer. On consensus in multi-agent systems with linear high-order agents.IFAC Proceedings Volumes, 41(2):1541–1546, 2008

    work page 2008

  11. [11]

    Knorn, Zhiyong Chen, and R

    S. Knorn, Zhiyong Chen, and R. Middleton. Overview: Collective control of multiagent systems.IEEE Transactions on Control of Network Systems, 2016. doi:10.1109/tcns.2015.2468991

    work page doi:10.1109/tcns.2015.2468991 2016

  12. [12]

    Constrained consensus in continuous-time multi-agent systems

    Zheqing Zhou. Constrained consensus in continuous-time multi-agent systems. 2019

    work page 2019

  13. [13]

    Majid Mazouchi, Farzaneh Tatari, Bahare Kiumarsi-Khomartash, and H. Modares. Fully heterogeneous con- tainment control of a network of leader–follower systems.IEEE Transactions on Automatic Control, 2021. doi:10.1109/tac.2021.3130878

    work page doi:10.1109/tac.2021.3130878 2021

  14. [14]

    Output consensus of heterogeneous switched nonlinear multi-agent systems with sampled-data communication.Robotic Intelligence and Automation, 2025

    Jingyi Zhu and Wencheng Zou. Output consensus of heterogeneous switched nonlinear multi-agent systems with sampled-data communication.Robotic Intelligence and Automation, 2025. doi:10.1108/ria-01-2025-0009

    work page doi:10.1108/ria-01-2025-0009 2025

  15. [15]

    String stability and a delay-based spacing policy for vehicle platoons subject to disturbances.IEEE Transactions on Automatic Control, 62(9):4376–4391, 2017

    Bart Besselink and Karl H Johansson. String stability and a delay-based spacing policy for vehicle platoons subject to disturbances.IEEE Transactions on Automatic Control, 62(9):4376–4391, 2017

    work page 2017

  16. [16]

    Networked model for cooperative adaptive cruise control.IFAC-PapersOnLine, 52(20):151–156, 2019

    Philip E Paré, Ehsan Hashemi, Raphael Stern, Henrik Sandberg, and Karl Henrik Johansson. Networked model for cooperative adaptive cruise control.IFAC-PapersOnLine, 52(20):151–156, 2019

    work page 2019

  17. [17]

    Seiler, A

    P. Seiler, A. Pant, and J. Hedrick. Disturbance propagation in vehicle strings.IEEE Transactions on Automatic Control, 2004. doi:10.1109/tac.2004.835586

    work page doi:10.1109/tac.2004.835586 2004

  18. [18]

    Distributed output feedback consensus control of networked homogeneous systems with large unknown actuator and sensor delays.at - Automatisierungstechnik, 2020

    Ran Huang, Zhengtao Ding, and Zhengcai Cao. Distributed output feedback consensus control of networked homogeneous systems with large unknown actuator and sensor delays.at - Automatisierungstechnik, 2020. doi:10.1016/j.automatica.2020.109249

    work page doi:10.1016/j.automatica.2020.109249 2020

  19. [19]

    Multi-agent consensus with heterogeneous time-varying input and communication delays in digraphs.at - Automatisierungstechnik, 2022

    Wei Jiang, Kun Liu, and Themistoklis Charalambous. Multi-agent consensus with heterogeneous time-varying input and communication delays in digraphs.at - Automatisierungstechnik, 2022. doi:10.1016/j.automatica.2021.109950

    work page doi:10.1016/j.automatica.2021.109950 2022

  20. [20]

    Prentice hall Upper Saddle River, NJ, 1998

    Kemin Zhou and John Comstock Doyle.Essentials of robust control, volume 104. Prentice hall Upper Saddle River, NJ, 1998

    work page 1998

  21. [21]

    Consensus- based bi-directional cacc for vehicular platooning

    Jeroen C Zegers, Elham Semsar-Kazerooni, Jeroen Ploeg, Nathan van de Wouw, and Henk Nijmeijer. Consensus- based bi-directional cacc for vehicular platooning. In2016 American Control Conference (ACC), pages 2578–2584. IEEE, 2016

    work page 2016

  22. [22]

    Springer Science & Business Media, 2013

    Chris Godsil and Gordon F Royle.Algebraic graph theory, volume 207. Springer Science & Business Media, 2013

    work page 2013

  23. [23]

    String stability for vehicular platoon control: Definitions and analysis methods.Annual Reviews in Control, 47:81–97, 2019

    Shuo Feng, Yi Zhang, Shengbo Eben Li, Zhong Cao, Henry X Liu, and Li Li. String stability for vehicular platoon control: Definitions and analysis methods.Annual Reviews in Control, 47:81–97, 2019

    work page 2019

  24. [24]

    String- stable cacc design and experimental validation: A frequency-domain approach.IEEE Transactions on vehicular technology, 59(9):4268–4279, 2010

    Gerrit JL Naus, Rene PA Vugts, Jeroen Ploeg, Marinus JG van De Molengraft, and Maarten Steinbuch. String- stable cacc design and experimental validation: A frequency-domain approach.IEEE Transactions on vehicular technology, 59(9):4268–4279, 2010

    work page 2010

  25. [25]

    High-order consensus algorithms in cooperative vehicle systems

    Wei Ren, Kevin Moore, and YangQuan Chen. High-order consensus algorithms in cooperative vehicle systems. In 2006 IEEE International Conference on Networking, Sensing and Control, pages 457–462. IEEE, 2006

    work page 2006

  26. [26]

    Reducing time headway for platooning of connected vehicles via v2v communication.Transportation Research Part C: Emerging Technologies, 102:87–105, 2019

    Yougang Bian, Yang Zheng, Wei Ren, Shengbo Eben Li, Jianqiang Wang, and Keqiang Li. Reducing time headway for platooning of connected vehicles via v2v communication.Transportation Research Part C: Emerging Technologies, 102:87–105, 2019

    work page 2019

  27. [27]

    Passive stability and adaptive control of teleoperated system using wave variables and predictor techniques

    Naveen Kumar Rajarajan, Sridhar Babu Mudhangulla, and Olugbenga Moses Anubi. Passive stability and adaptive control of teleoperated system using wave variables and predictor techniques. In2024 American Control Conference (ACC), pages 4365–4371, 2024

    work page 2024

  28. [28]

    Moving-horizon false data injection attack design against cyber–physical systems.Control Engineering Practice, 136:105552, 2023

    Yu Zheng, Sridhar Babu Mudhangulla, and Olugbenga Moses Anubi. Moving-horizon false data injection attack design against cyber–physical systems.Control Engineering Practice, 136:105552, 2023. 13

    work page 2023