pith. sign in

arxiv: 2304.03057 · v4 · submitted 2023-04-06 · 💻 cs.RO

Distributed UAV Formation Control Robust to Relative Pose Measurement Noise

Pith reviewed 2026-05-24 09:35 UTC · model grok-4.3

classification 💻 cs.RO
keywords UAV formation controlrelative localization noiseFormation-Enforcing Controlgraph rigidityrobust gradient descentsensor noise handlingoscillation reduction
0
0 comments X

The pith

Decomposing gradient descent commands and modifying them for estimated noise distribution lets UAVs hold tight formations despite relative pose errors.

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

The paper introduces a method to adapt Formation-Enforcing Control derived from graph rigidity for use with noisy onboard relative localization on lightweight UAVs. It breaks the control command into interpretable parts and adjusts each part according to the measured noise distribution to reduce the chance of overshooting the target shape. This change targets the oscillations and drifts that appear when standard gradient-descent FEC meets real sensor noise. Real-flight tests show the adjusted commands produce measurably smaller oscillations and state deviations than the unmodified version.

Core claim

The proposed solution decomposes the gradient descent-based FEC command into interpretable elements and modifies these individually based on the estimated distribution of sensory noise, such that the resulting action limits the probability of overshooting the desired formation.

What carries the argument

Decomposition of the gradient descent-based FEC command into interpretable elements, each modified according to the estimated distribution of relative pose measurement noise.

If this is right

  • Oscillations and drifts in sensor-driven UAV formations are reduced when command elements are adjusted to noise statistics.
  • Tight formations become feasible with existing relative localization hardware that carries non-negligible measurement noise.
  • The approach maintains the convergence guarantees of the original graph-rigidity FEC while adding noise robustness.
  • Practical deployment no longer requires noise-free sensors or external positioning infrastructure.

Where Pith is reading between the lines

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

  • Similar decomposition-plus-modification steps could be applied to other gradient-based formation or consensus controllers that suffer from sensor noise.
  • Onboard real-time noise distribution estimation becomes a necessary supporting capability for any noise-robust formation system.
  • The method may generalize to ground robots or manipulators that rely on relative pose measurements for coordinated motion.

Load-bearing premise

The distribution of sensory noise can be estimated accurately enough onboard in real time, and the separate modifications preserve convergence and stability of the original formation control.

What would settle it

A set of real-world flight trials in which the modified controller produces equal or greater oscillations and position deviations than pure gradient-descent FEC would falsify the performance claim.

Figures

Figures reproduced from arXiv: 2304.03057 by Daniel Bonilla Licea, Martin Saska, Matej Hilmer, Matou\v{s} Vrba, Viktor Walter.

Figure 1
Figure 1. Figure 1: An example of our fully autonomous Unmanned Aerial Vehicles (UAVs) [ [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Measures involved in the construction of the formation for the presented case. [PITH_FULL_IMAGE:figures/full_fig_p002_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The velocity set with our proposed controller in 1D case. The region within [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 5
Figure 5. Figure 5: If the measured relative value of a target state is subject to observation noise, [PITH_FULL_IMAGE:figures/full_fig_p007_5.png] view at source ↗
Figure 7
Figure 7. Figure 7: On the left, we show the comparison of the trade-off between stable-state standard [PITH_FULL_IMAGE:figures/full_fig_p008_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Simple case of a 2D relative position measurement with Gaussian noise. [PITH_FULL_IMAGE:figures/full_fig_p009_8.png] view at source ↗
Figure 10
Figure 10. Figure 10: Special case of 2D relative pose measurement for the orientation command based [PITH_FULL_IMAGE:figures/full_fig_p010_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: Simulated formation flight of various configurations. [PITH_FULL_IMAGE:figures/full_fig_p011_11.png] view at source ↗
Figure 13
Figure 13. Figure 13: Three UAV platforms used in the real-world experiments. [PITH_FULL_IMAGE:figures/full_fig_p012_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: The desired formations used in our experimental verification. The red propellers denote the tail side of the UAVs. The larger formations Al and Cl contain mutual distances [PITH_FULL_IMAGE:figures/full_fig_p013_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: Flight with four desired formations. Photographs of the top and side view of the formation are from the time of the closest convergence of each case. The top line of [PITH_FULL_IMAGE:figures/full_fig_p013_15.png] view at source ↗
Figure 16
Figure 16. Figure 16: Plots of selected parameters measured during the flight of three UAVs where the desired formations were dynamically switched between formation A, formation B, and [PITH_FULL_IMAGE:figures/full_fig_p014_16.png] view at source ↗
Figure 17
Figure 17. Figure 17: Plots of selected parameters measured during the flight of three UAVs where the desired formations were switched dynamically between formation A and the larger formation [PITH_FULL_IMAGE:figures/full_fig_p014_17.png] view at source ↗
Figure 18
Figure 18. Figure 18: Plots of selected parameters measured during the flight of three UAVs where the desired formations were switched dynamically between formation A, formation B, formation [PITH_FULL_IMAGE:figures/full_fig_p014_18.png] view at source ↗
Figure 19
Figure 19. Figure 19: Conditional stopping probability conditioned on the offset [PITH_FULL_IMAGE:figures/full_fig_p020_19.png] view at source ↗
read the original abstract

A technique that allows a Formation-Enforcing Control (FEC) derived from graph rigidity theory to interface with a realistic relative localization system onboard lightweight Unmanned Aerial Vehicles (UAVs) is proposed in this paper. The proposed methodology enables reliable real-world deployment of UAVs in tight formations using relative localization systems burdened by non-negligible sensory noise. Such noise otherwise causes undesirable oscillations and drifts in sensor-based formations, and this effect is not sufficiently addressed in existing FEC algorithms. The proposed solution is based on decomposition of the gradient descent-based FEC command into interpretable elements, and then modifying these individually based on the estimated distribution of sensory noise, such that the resulting action limits the probability of overshooting the desired formation. The behavior of the system was analyzed and the practicality of the proposed solution was compared to pure gradient-descent in real-world experiments where it presented significantly better performance in terms of oscillations, deviation from the desired state

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 / 3 minor

Summary. The manuscript proposes a method to make graph-rigidity-derived Formation-Enforcing Control (FEC) robust to relative-pose measurement noise on UAVs. The gradient-descent command is decomposed into interpretable elements that are then individually scaled or clipped using an onboard estimate of the noise distribution, with the goal of limiting overshoot probability. The authors state that the modified system behavior was analyzed and report that real-world experiments show significantly reduced oscillations and deviation from the desired formation relative to unmodified gradient-descent FEC.

Significance. If the per-element modifications preserve convergence and stability of the original rigidity-based FEC, the work would address a practical barrier to tight sensor-based UAV formations. The real-world experiments constitute a concrete strength, supplying empirical evidence of improved behavior under realistic noise levels.

major comments (2)
  1. [§4] §4 (System Analysis): The claim that the modified commands still drive the system to the desired formation rests on an analysis whose details are not supplied; no Lyapunov function, invariance set, or contraction bound is given that accounts for the effect of noise-estimate error on the modified vector field.
  2. [§5] §5 (Experiments): The headline performance improvement is demonstrated only for the tested noise levels and formation graphs; the manuscript does not report how the onboard noise-distribution estimate is obtained in real time or provide a sensitivity analysis when that estimate deviates from ground truth, leaving the central robustness claim without a clear domain of validity.
minor comments (3)
  1. [§3] The decomposition of the FEC command into elements is described at a high level; explicit equations showing each element before and after the noise-based modification would improve reproducibility.
  2. Figure captions and axis labels in the experimental plots could more clearly indicate the noise levels and estimation method used in each trial.
  3. [§6] A short discussion of how the method scales with formation size or graph connectivity would help readers assess generality.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive comments. We address the two major points below and indicate the revisions that will be made.

read point-by-point responses
  1. Referee: [§4] §4 (System Analysis): The claim that the modified commands still drive the system to the desired formation rests on an analysis whose details are not supplied; no Lyapunov function, invariance set, or contraction bound is given that accounts for the effect of noise-estimate error on the modified vector field.

    Authors: We acknowledge that §4 provides only a qualitative description of how the decomposed and scaled commands affect the closed-loop vector field and does not contain a formal stability argument that incorporates errors in the onboard noise-distribution estimate. In the revised manuscript we will augment §4 with an explicit Lyapunov analysis that treats the estimation error as a bounded disturbance and shows convergence to a neighborhood of the desired formation whose size depends on the bound. revision: yes

  2. Referee: [§5] §5 (Experiments): The headline performance improvement is demonstrated only for the tested noise levels and formation graphs; the manuscript does not report how the onboard noise-distribution estimate is obtained in real time or provide a sensitivity analysis when that estimate deviates from ground truth, leaving the central robustness claim without a clear domain of validity.

    Authors: The current manuscript does not describe the real-time computation of the noise-distribution estimate nor does it include a sensitivity study. We will add both: a concise subsection explaining the onboard estimator and a set of additional simulation and flight results that quantify performance degradation as the estimate deviates from ground truth, thereby clarifying the operating domain of the robustness guarantee. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation is a direct constructive modification using external noise estimates

full rationale

The paper's core contribution decomposes a standard gradient-descent FEC command (from graph rigidity theory) into elements and scales them using an onboard estimate of relative-pose noise distribution. This is an explicit engineering construction, not a reduction of any claimed prediction or result to its own fitted inputs or self-citations. No self-definitional loops, fitted parameters renamed as predictions, load-bearing self-citations, uniqueness theorems imported from the authors, or smuggled ansatzes appear in the derivation chain. The method remains self-contained against external benchmarks (rigidity theory and real-time noise estimation) with independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract, no explicit free parameters, axioms, or invented entities are identifiable; the method implicitly relies on the ability to estimate noise distributions but does not detail any fitted values or new postulated entities.

pith-pipeline@v0.9.0 · 5702 in / 1181 out tokens · 25494 ms · 2026-05-24T09:35:49.390601+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    MRS Modular UA V Hardware Platforms for Supporting Research in Real-World Outdoor and Indoor Environments,

    D. Hert, T. Baca, P. Petracek, V . Kratky, V . Spurny, M. Petrlik, M. Vrba, D. Zaitlik, P. Stoudek, V . Walter, P. Stepan, J. Horyna, V . Pritzl, G. Silano, D. Bonilla Licea, P. Stibinger, R. Penicka, T. Nascimento, and M. Saska, “MRS Modular UA V Hardware Platforms for Supporting Research in Real-World Outdoor and Indoor Environments,” in ICUAS, 2022, pp...

  2. [2]

    A survey on swarming with micro air vehicles: Fundamental challenges and constraints,

    M. Coppola, K. N. McGuire, C. De Wagter, and G. C. H. E. de Croon, “A survey on swarming with micro air vehicles: Fundamental challenges and constraints,” Frontiers in Robotics and AI , vol. 7, 2020

  3. [3]

    Mutual localiza- tion using anonymous bearing measurements,

    P. Stegagno, M. Cognetti, A. Franchi, and G. Oriolo, “Mutual localiza- tion using anonymous bearing measurements,” in IROS, 2011

  4. [4]

    An improved multiple UA Vs cooperative flight algorithm based on leader follower strategy,

    T. Chen, Q. Gao, and M. Guo, “An improved multiple UA Vs cooperative flight algorithm based on leader follower strategy,” in CCDSC, 2018

  5. [5]

    On-board range-based relative localization for micro air vehicles in indoor leader–follower flight,

    S. van der Helm, M. Coppola, K. N. McGuire, and G. C. H. E. de Croon, “On-board range-based relative localization for micro air vehicles in indoor leader–follower flight,” AuRo, 2019

  6. [6]

    Onboard marker-less detection and localization of non-cooperating drones for their safe interception by an autonomous aerial system,

    M. Vrba, D. Hert, and M. Saska, “Onboard marker-less detection and localization of non-cooperating drones for their safe interception by an autonomous aerial system,” RA-L, vol. 4, no. 4, pp. 3402–3409, 2019

  7. [7]

    Marker-less micro aerial vehicle detection and localization using convolutional neural networks,

    M. Vrba and M. Saska, “Marker-less micro aerial vehicle detection and localization using convolutional neural networks,” RA-L, vol. 5, no. 2, pp. 2459–2466, 2020

  8. [8]

    Multi- target detection and tracking from a single camera in Unmanned Aerial Vehicles (UA Vs),

    J. Li, D. H. Ye, T. Chung, M. Kolsch, J. Wachs, and C. Bouman, “Multi- target detection and tracking from a single camera in Unmanned Aerial Vehicles (UA Vs),” inIROS, 2016

  9. [9]

    Flying objects detection from a single moving camera,

    A. Rozantsev, V . Lepetit, and P. Fua, “Flying objects detection from a single moving camera,” in CVPR, 2015

  10. [10]

    Vision-based Unmanned Aerial Vehicle detection and tracking for sense and avoid systems,

    K. R. Sapkota, S. Roelofsen, A. Rozantsev, V . Lepetit, D. Gillet, P. Fua, and A. Martinoli, “Vision-based Unmanned Aerial Vehicle detection and tracking for sense and avoid systems,” in IROS, 2016

  11. [11]

    A vision-based approach to UA V detection and tracking in cooperative applications,

    R. Opromolla, G. Fasano, and D. Accardo, “A vision-based approach to UA V detection and tracking in cooperative applications,” Sensors, vol. 18, no. 10, 2018

  12. [12]

    A study on detecting drones using deep convolutional neural networks,

    M. Saqib, S. D. Khan, N. Sharma, and M. Blumenstein, “A study on detecting drones using deep convolutional neural networks,” in A VSS, 2017

  13. [13]

    Deep cross-domain flying object classification for robust UA V detection,

    A. Schumann, L. Sommer, J. Klatte, T. Schuchert, and J. Beyerer, “Deep cross-domain flying object classification for robust UA V detection,” in A VSS, 2017

  14. [14]

    Mutual localization of UA Vs based on blinking ultraviolet markers and 3D time-position Hough transform,

    V . Walter, N.Staub, M. Saska, and A. Franchi, “Mutual localization of UA Vs based on blinking ultraviolet markers and 3D time-position Hough transform,” in CASE, 2018

  15. [15]

    Fast mutual relative localization of UA Vs using ultraviolet LED markers,

    V . Walter, M. Saska, and A. Franchi, “Fast mutual relative localization of UA Vs using ultraviolet LED markers,” in ICUAS, 2018

  16. [16]

    UVDAR system for vi- sual relative localization with application to leader–follower formations of multirotor UA Vs,

    V . Walter, N. Staub, A. Franchi, and M. Saska, “UVDAR system for vi- sual relative localization with application to leader–follower formations of multirotor UA Vs,”RA-L, vol. 4, no. 3, pp. 2637–2644, 2019

  17. [17]

    On training datasets for machine learning-based visual relative localization of micro-scale UA Vs,

    V . Walter, M. Vrba, and M. Saska, “On training datasets for machine learning-based visual relative localization of micro-scale UA Vs,” in ICRA, 2020, pp. 10 674–10 680

  18. [18]

    UVDAR-COM: UV-based relative localization of UA Vs with integrated optical communication,

    J. Horyna, V . Walter, and M. Saska, “UVDAR-COM: UV-based relative localization of UA Vs with integrated optical communication,” inICUAS, 2022

  19. [19]

    Optical communication-based identification for multi-UA V systems: Theory and practice,

    D. B. Licea, V . Walter, M. Ghogho, and M. Saska, “Optical communication-based identification for multi-UA V systems: Theory and practice,” arXiv preprint 2302.04770 , 2023

  20. [20]

    Coordinated control of multi-robot systems: A survey,

    J. Cort ´es and M. Egerstedt, “Coordinated control of multi-robot systems: A survey,” SICE JCMSI , vol. 10, no. 6, pp. 495–503, 2017

  21. [21]

    Modeling and control of UA V bearing formations with bilateral high-level steering,

    A. Franchi, C. Masone, V . Grabe, M. Ryll, H. H. B ¨ulthoff, and P. R. Giordano, “Modeling and control of UA V bearing formations with bilateral high-level steering,” IJRR, vol. 31, no. 12, 2012

  22. [22]

    A rigidity- based decentralized bearing formation controller for groups of quadrotor UA Vs,

    F. Schiano, A. Franchi, D. Zelazo, and P. R. Giordano, “A rigidity- based decentralized bearing formation controller for groups of quadrotor UA Vs,” inIROS, 2016, pp. 5099–5106

  23. [23]

    Rigidity theory in SE(2) for unscaled relative position estimation using only bearing measurements,

    D. Zelazo, A. Franchi, and P. R. Giordano, “Rigidity theory in SE(2) for unscaled relative position estimation using only bearing measurements,” in ECC, 2014, pp. 2703–2708

  24. [24]

    Fixed-time rigidity-based formation maneuvering for nonholonomic multirobot systems with prescribed performance,

    K. Lu, S.-L. Dai, and X. Jin, “Fixed-time rigidity-based formation maneuvering for nonholonomic multirobot systems with prescribed performance,” Transactions on Cybernetics , pp. 1–13, 2022

  25. [25]

    Coordinated patterns of unit speed particles on a closed curve,

    F. Zhang and N. E. Leonard, “Coordinated patterns of unit speed particles on a closed curve,” Systems & Control Letters , vol. 56, no. 6, pp. 397–407, 2007

  26. [26]

    A decentralized approach to for- mation maneuvers,

    J. Lawton, R. Beard, and B. Young, “A decentralized approach to for- mation maneuvers,” Transactions on Robotics and Automation , vol. 19, no. 6, pp. 933–941, 2003

  27. [27]

    Finite-time rigidity-based formation maneuvering of multiagent sys- tems using distributed finite-time velocity estimators,

    F. Mehdifar, F. Hashemzadeh, M. Baradarannia, and M. de Queiroz, “Finite-time rigidity-based formation maneuvering of multiagent sys- tems using distributed finite-time velocity estimators,” Transactions on Cybernetics, vol. 49, no. 12, pp. 4473–4484, 2019

  28. [28]

    Distributed rigidity recovery in distance-based formations using configuration lat- tice,

    A. M. Amani, G. Chen, M. Jalili, X. Yu, and L. Stone, “Distributed rigidity recovery in distance-based formations using configuration lat- tice,” Transactions on Control of Network Systems , vol. 7, no. 3, pp. 1547–1558, 2020

  29. [29]

    Bearing rigidity theory in SE(3),

    G. Michieletto, A. Cenedese, and A. Franchi, “Bearing rigidity theory in SE(3),” in Conf. on Decision and Control , 2016, pp. 5950–5955

  30. [30]

    Global and robust formation-shape stabilization of relative sensing networks,

    J. Cort ´es, “Global and robust formation-shape stabilization of relative sensing networks,” Automatica, vol. 45, no. 12, pp. 2754–2762, 2009

  31. [31]

    Disturbance atten- uation in distance-based formation control: A linear matrix inequality approach,

    Y .-B. Bae, Y .-H. Lim, S.-M. Kang, and H.-S. Ahn, “Disturbance atten- uation in distance-based formation control: A linear matrix inequality approach,” in CCTA, 2018, pp. 1609–1614

  32. [32]

    Distributed robust adaptive gradient controller in distance-based formation control with exogenous disturbance,

    Y .-B. Bae, Y .-H. Lim, and H.-S. Ahn, “Distributed robust adaptive gradient controller in distance-based formation control with exogenous disturbance,” Transactions on Automatic Control , vol. 66, no. 6, pp. 2868–2874, 2021

  33. [33]

    Leader-follower function for autonomous military convoys,

    L. Vasseur, O. Lecointe, J. Dento, N. Cherfaoui, V . Marion, and J. G. Morillon, “Leader-follower function for autonomous military convoys,” in Unmanned Ground V ehicle Technology , vol. 5422, 2004, pp. 326 – 337

  34. [34]

    Robust leader-follower formation control for human-robot scenarios,

    A. Gilbert, V . S. Chipade, and D. Panagou, “Robust leader-follower formation control for human-robot scenarios,” in ACC, 2022, pp. 641– 646

  35. [35]

    Distance-based formation control with bounded disturbances,

    D. Van Vu, M. H. Trinh, P. D. Nguyen, and H.-S. Ahn, “Distance-based formation control with bounded disturbances,” Control Systems Letters , vol. 5, no. 2, pp. 451–456, 2021

  36. [36]

    The MRS UA V system: Pushing the frontiers of reproducible research, real-world deployment, and education with autonomous un- manned aerial vehicles,

    T. Baca, M. Petrlik, M. Vrba, V . Spurny, R. Penicka, D. Hert, and M. Saska, “The MRS UA V system: Pushing the frontiers of reproducible research, real-world deployment, and education with autonomous un- manned aerial vehicles,” JIRS, vol. 102, no. 26, pp. 1–28, 2021