Pith. sign in

REVIEW 3 major objections 6 minor 13 references

Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations

T0 review · 3 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read A partition-then-stagger strategy makes the maximum revisit time of a patrol exactly the cycle period divided by the number of teams.

desk verdict A clean constructive strategy with a correct age bound under its assumptions, but the 'equivalence' to the general optimization problem is an overclaim that needs reframing. read the letter →

arxiv 1908.05727 v1 pith:VTAIU4G4 submitted 2019-08-15 eess.SY cs.ROcs.SY

classification eess.SYcs.ROcs.SY
keywords persistentsurveillanceUAV-UGVteamsmobilechargingstationsmaximumagepartitionplanningsupercycleenergyconstraintsHamiltoniancycle
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proposes a scalable way to run persistent surveillance with battery-limited drones paired with ground vehicles that act as mobile charging pads. The central claim is that if the environment is cut into identical rectangular partitions and identical teams of one ground vehicle and several drones follow the same cyclic patrol route staggered in time, then after one full cycle the longest gap between consecutive visits to any point is exactly the cycle period divided by the number of teams. That converts a hard mixed trajectory-and-charging optimization into a search over partition side lengths. If true, it gives a concrete rule for sizing and scheduling mixed aerial-ground patrols with a guaranteed maximum revisit time.

What carries the argument

The supercycle: a closed sequence of partition visits in which a team's UGV carries its drones between partition centers while recharging them, and the drones cover each rectangle during one fuel cycle. The period is $T_c = |P| \frac{\Delta_e}{\beta^-} + \sum_i \max\left(\frac{\|c_{i+1} - c_i\|}{u_G^{\max}}, \frac{\Delta_e}{\beta^+}\right)$, and the load-bearing interval between consecutive partitions is $\Delta t_i = \frac{\Delta_e}{\beta^-} + \max\left(\frac{\|c_{i+1} - c_i\|}{u_G^{\max}}, \frac{\Delta_e}{\beta^+}\right)$. The deployment protocol Algorithm 4 staggers identical teams by $T_c/m$, and the Dantzig-Fulkerson-Johnson algorithm supplies both the shortest Hamiltonian cycle through partition centers and the minimum-distance visiting route within each subpartition.

What would settle it

Simulate the proposed algorithm with two teams on a small grid where the optimal partition has a node that belongs to only one cell, and record arrival times at that node. If, after time $T_c$, the gaps between consecutive visits are not exactly $T_c/2$, or if any drone's energy reaches zero, the central claim is false. A second test: replace the unlimited simultaneous charging model with a single-drone charger and recompute (14); if the measured maximum age exceeds $T_c/m$, the assumption is load-bearing.

Watch

Extended reading notes

Core claim

Proposition 3.3 states that given a supercycle of period $T_c$ over a partition set, $m$ UAV-UGV teams released $T_c/m$ apart achieve a maximum age $ar{T}(t) = T_c/m$ for all $t \ge T_c$. The argument rests on Lemma 3.1, which ensures at least one node belongs to a single partition and is therefore visited only once per supercycle; each team visits that node once per cycle, so the staggered teams visit it every $T_c/m$. The paper also claims that minimizing $T_c$ over rectangle dimensions $(a_1, a_2)$ under the fuel constraint is equivalent to the original age-minimization problem (11), so the best rectangle size is found by enumerating partition dimensions and checking feasibility.

Load-bearing premise

The ground vehicles are assumed to have unlimited energy and to be able to charge any number of drones at once, even while driving; if charging is single-drone or the UGV itself runs out of fuel, the cycle timing and the $T_c/m$ age guarantee break.

Editorial extensions

If this is right

  • Any rectangular convex environment can be patrolled indefinitely with a finite, computable maximum age, independent of environment size relative to drone range, as long as each partition rectangle fits within one fuel cycle.
  • Adding more teams (larger $m$) linearly reduces the guaranteed maximum age from $T_c$ to $T_c/m$, without changing the per-team partition size.
  • The planning problem reduces to enumerating rectangle dimensions $(a_1, a_2)$ and running a feasibility check, so the method scales to large grids in practice.
  • Identical teams are interchangeable: the same supercycle can be reused by any number of teams, with only the time offset changing.
  • The age guarantee holds exactly after one supercycle period $T_c$, providing a clear bound on the transient time before the steady-state maximum age is reached.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If UGV energy were finite or charging were limited to one drone at a time, the $T_c/m$ guarantee would degrade; a natural extension would modify the inter-partition interval to include a charging-queue term, leading to a larger effective $T_c$.
  • The rectangle-partition assumption could generalize to other convex cells; the same staggered-supercycle argument should transfer as long as each cell contains a node visited once per supercycle.
  • The claimed equivalence between minimizing $T_c$ and solving the original age-minimization problem holds only within the proposed strategy class; for non-rectangular partitions or heterogeneous teams, a different trajectory might yield a lower maximum age.
  • A direct empirical test is to run Algorithm 4 on a grid where charging time dominates travel time; the observed inter-visit gaps at the single-partition node should be exactly $T_c/m$ by construction, which would confirm the timing model.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. The paper addresses persistent surveillance of a rectangular grid by n energy-constrained UAVs whose energy is replenished by m UGVs acting as mobile charging stations. Age is defined as the time between consecutive visits to a node, and the objective in Problem 1 is to minimize the long-term maximum age over all vehicle trajectories and control inputs. The paper proposes a scalable strategy that partitions the grid into equal rectangles, forms m homogeneous teams (one UGV and n/m UAVs each), has each team follow a supercycle of partition visits defined by a Hamiltonian cycle on partition centers, and deploys the m teams with a uniform time shift of Tc/m. The main analytical results are Proposition 3.1 (single-team maximum age equals Tc), Proposition 3.2 (UAVs are energy-safe), and Proposition 3.3 (m-team maximum age equals Tc/m). The paper then optimizes the partition dimensions (a1,a2) by minimizing Tc subject to the energy constraint (18), claiming this optimization is equivalent to Problem 1. A numerical example with 3 UGVs and 15 UAVs yields (a1,a2)=(16,16), Tc=2306, and a reported minimum long-term maximum age of 768.6.

Significance. If the claims hold, the paper provides a constructive, scalable planning method for persistent surveillance with mobile charging stations, with explicit formulas for the supercycle period and the resulting age bound. The proof of the age bound for the constructed schedule is straightforward and correct under the stated assumptions, and the use of a Hamiltonian cycle over partitions plus time-shifted identical teams is a clean and implementable idea. The paper also makes a falsifiable prediction (maximum age equals Tc/m) and offers a finite-dimensional search over partition sizes. However, the claimed equivalence of the partition-size optimization to the general age-minimization problem (11) is not established; the strategy restricts to a narrow class of rectangular partitions and uniform teams, so the optimality claim is at best with respect to that class. With the equivalence claim corrected or proven, the paper would be a solid contribution to planning for energy-constrained persistent surveillance.

major comments (3)
  1. [Section 3, after Proposition 3.1] The assertion that minimizing Tc(a1,a2) subject to (18) is 'equivalent to (11)' is unsupported. Problem (11) optimizes over all initial positions pA(0), pG(0) and all control inputs uA, uG satisfying (1)-(8), whereas Algorithm 3 restricts to identical rectangular partitions, a single-team Hamiltonian supercycle, homogeneous teams, and uniformly time-shifted deployment of those teams. No argument shows that an optimal solution of (11) lies in this restricted class, and no lower bound is provided. Consequently, the 'minimum long-term maximum age' reported in Section 4 (Tc/m = 768.6) is only a minimum within the proposed strategy class. Please either prove the equivalence or a lower bound, or revise the claim to state that the optimization is over the class of strategies defined by Algorithms 1-4.
  2. [Section 2.2, Eq. (5)] Equation (5) imposes emergency landing by setting uA_i(t) = [0, 0, -uA_max] whenever zA_i(t) >= uA_max * e_i(t) / beta^-. This condition depends on altitude rather than on a critical energy threshold; as written, a UAV at low altitude with zero remaining energy does not satisfy the condition, so the constraint does not enforce emergency landing when energy is depleted. Please correct the inequality or state the intended critical-energy condition explicitly.
  3. [Section 2.2, before Eq. (8)] The assumptions that UGVs have unlimited energy and can simultaneously charge any number of UAVs while moving are load-bearing for the main results: the supercycle period Tc in Eq. (14) and hence the age bound Tc/m in Proposition 3.3 depend on the charging interval max(||c_{i+1}-c_i||/uG_max, Delta_e/beta^+) in Eq. (13). These assumptions are stated but not justified, and no relaxation is discussed. The paper should explicitly delineate the scope of the age guarantee and comment on how the results would change if charging were serial, if charging required the UGV to be stationary, or if UGV energy were finite.
minor comments (6)
  1. [Section 2.1] The sentence 'The vector of zeros with the is denoted by 0' is incomplete; it should state that the zero vector is denoted by 0.
  2. [Eq. (12)] The condition 't in union_i (t_out_{i,j}, t_in_{i+1,j})' uses the index j without quantifying it; please clarify the meaning, for example by writing the union over i for each fixed supercycle index j.
  3. [Algorithm 4] The input list of Algorithm 4 includes 'q(0)' while the rest of the algorithm and paper use pG(0); please make the notation consistent.
  4. [Section 4 and Algorithm 1] When a1 or a2 does not divide xbar or ybar, Algorithm 1 creates edge partitions with fewer than a1 x a2 cells; the paper should state explicitly whether Delta_e in (17) is computed for the full a1 x a2 partition as a conservative upper bound for all partitions.
  5. [Section 4] The simulation text calls (16,16) 'the optimal partition dimensions' and the corresponding age 'a minimum long-term maximum age' without qualification; as noted in Major Comment 1, these should be qualified as optimal within the proposed rectangular-partition strategy unless the equivalence to Problem 1 is proven.
  6. [Abstract] The phrase 'We show some results related to the safety and performance of the proposed strategy' is vague; please state the specific results, e.g., energy safety (Proposition 3.2) and the maximum-age bound Tc/m (Proposition 3.3).

Circularity Check

1 steps flagged · score 5.0 of 10

Restricted partition-size optimization is asserted to be 'equivalent to (11)' without proof, so the claimed global optimality is self-referential.

  1. other [Section 3, paragraph immediately after Proposition 3.1 (formulation of the reduced optimization problem)]
    "Considering that Tc will be equivalent to the maximum age in the limit t → ∞, we formulate an optimization problem that will be equivalent to (11). The choice of (a1,a 2) defines P, and therefore Tc. The goal is to minimize Tc over all pairs (a1,a 2) subject to the energy limitations of the UAVs, min a1,a2 Tc(a1,a 2), s.t. (18)."

    Problem 1, Eq. (11), optimizes limsup of the maximum age over all initial conditions and control inputs pA(0), pG(0), uA, uG subject to (1)–(8). The new problem restricts decisions to the grid dimensions (a1,a2) and then constructs trajectories by Algorithm 3. The only link between the two objectives is that, under the proposed strategy, Tc equals the maximum age (Prop. 3.1) and the maximum age is Tc/m (Prop. 3.3). Therefore minimizing Tc over (a1,a2) is exactly the internal performance optimization of this particular strategy. Calling this 'equivalent to (11)' asserts, without proof, that an optimal solution of (11) lies in the rectangular-partition/uniform-team supercycle class.

full rationale

The constructive core of the paper is not circular. Definition 3.1 and Eq. (14) define the supercycle period Tc; Lemma 3.1 establishes a node visited only once per supercycle; Propositions 3.1 and 3.3 compute the maximum age as Tc and then Tc/m under the time-shifted deployment protocol. These are direct consequences of the definitions and assumptions, not fitted predictions, and no self-citation is load-bearing in that derivation. The circularity is localized to the transition from Proposition 3.1 to the reduced optimization problem. The paper states that minimizing Tc over partition dimensions subject to (18) is 'equivalent to (11)', but Problem 1 optimizes over all trajectories and control inputs, while the reduced problem only chooses a1 and a2 and then fixes trajectories via Algorithms 2 and 3. No proof is given that the optimal solution of the general problem lies within this strategy class, so the 'equivalence' identifies the original age-minimization problem with the paper's own restricted problem. If the claim were weakened to 'optimal within the proposed strategy class', the circularity would disappear. Because the central theoretical age guarantee is honest, but the global optimality claim rests on an unproved self-referential equivalence, a moderate score is appropriate.

Assumptions & free parameters 1 free parameters · 5 assumptions · 0 invented entities

The strategy relies on strong modeling assumptions stated in Section 2.2. The main ones are unlimited UGV energy, simultaneous charging of any number of UAVs, single-integrator dynamics with constant charge/discharge rates, homogeneous vehicles, and exact TSP solving. The partition dimensions are decision variables optimized by enumeration rather than derived from first principles.

free parameters (1)
  • partition dimensions (a1, a2) = 16 x 16 in the simulation; searched over all a1 <= 48 and a2 <= 32 in Algorithm 3
    These are the design variables of the strategy. They are chosen by brute-force minimization of the supercycle period Tc rather than derived from first principles; the claimed equivalence to Problem 1 makes them load-bearing.
assumptions (5)
  • domain assumption Unlimited UGV energy and ability to charge any number of UAVs simultaneously, including while transporting them.
    Section 2.2 (before Eq. 8). The supercycle timing Eq. (13) and the age guarantee Prop. 3.3 fail if charging capacity is finite or if simultaneous transport charging is impossible.
  • domain assumption Single-integrator dynamics, constant discharge rate beta-, constant charge rate beta+, and identical homogeneous vehicles.
    Section 2.2, Eqs. (1)-(8). Real vehicle dynamics and nonlinear battery behavior are not modeled; the period formula depends on constant rates.
  • standard math DFJ algorithm returns exact optimal Hamiltonian tours for the partition centers and for each UAV's node set.
    Used in Algorithm 2 and Prop. 3.2. If a heuristic TSP solver is used, the energy feasibility check (18) may not certify safety.
  • domain assumption The environment is a convex obstacle-free rectangular box and the patrol area is a flat rectangle discretized into d-by-d cells.
    Section 2.2 and Algorithm 1. Obstacles, non-rectangular boundaries, or non-planar terrain break the partitioning and the unique-corner-node argument.
  • domain assumption The number of UAVs n is divisible by the number of UGVs m, so m identical teams of n/m UAVs can be formed.
    Section 3, 'For simplicity, we assume...'. Proposition 3.3 requires identical teams with equal temporal spacing.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations." pith.science (2026). https://pith.science/paper/VTAIU4G4

@misc{pith2026190805727,
  author       = {Pith},
  title        = {Pith review of: Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VTAIU4G4}},
  note         = {Machine review of arXiv:1908.05727}
}
read the original abstract

We address the problem of achieving persistent surveillance over an environment by using energy-constrained unmanned aerial vehicles (UAVs), which are supported by unmanned ground vehicles (UGVs) serving as mobile charging stations. Specifically, we plan the trajectories of all vehicles and the charging schedule of UAVs to minimize the long-term maximum age, where age is defined as the time between two consecutive visits to regions of interest in a partitioned environment. We introduce a scalable planning strategy based on 1) creating UAV- UGV teams, 2) decomposing the environment into optimal partitions that can be covered by any of the teams in a single fuel cycle, 3) uniformly distributing the teams over a cyclic path traversing those partitions, and 4) having the UAVs in each team cover their current partition and be transported to the next partition while being recharged by the UGV. We show some results related to the safety and performance of the proposed strategy.

Figures

Figures reproduced from arXiv: 1908.05727 by the authors.

Figure 1
Figure 1. , where [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Example of a supercycle for a square partition of size 3 × 3 for an evironment of size 12X9. For a given supercycle, the UGV follows a Hamiltonian cycle that passes through the centers of each partition once. The UGV trajectories that define the supercycle are [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. Subpartitioning scheme for a rectangular partition. Using the centroid of the partition as the release point, each node is assigned a quadrant angle using the release point and a reference axis as shown. through all nodes in the subpartition Vi,k is determined via the DFJ algorithm. The DFJ algorithm returns a sequence {νi,k,j}j=1:|Vi,k| of nodes in Vi,k sorted according to the minimum-distance trajectory. Let τj,k … view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Trajectories for three homogeneous teams over a single fuel cycle. The UAV-UGV teams are positioned across a super￾cycle with equal temporal spacing. Based on Alg. 3, the optimal partition dimensions are (a1, a2) = (16, 16), implying that |P|= 6.The correspond￾ing valu…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

  1. [1]

    Aksaray, D., Vasile, C., and Belta, C. (2016). Dynamic routing of energy-aware vehicles with temporal logic constraints. In IEEE Int. Conference on Robotics and Automation (ICRA), 3141–3146

  2. [2]

    Aksaray, D., Leahy, K., and Belta, C. (2015). Distributed multi-agent persistent surveillance under temporal logic constraints. IFAC-PapersOnLine, 48(22), 174–179. Cort´ es, J., Mart´ ınez, S., Karatas, T., and Bullo, F. (2004). Coverage control for mobile sensing networks. IEEE Trans. on Robotics and Automation , 20(2), 243–255

  3. [3]

    Dantzig, G., Fulkerson, R., and Johnson, S. (1954). Solu- tion of a large-scale traveling-salesman problem. J. of operations research society of America, 2(4), 393–410

  4. [4]

    Derenick, J., Michael, N., and Kumar, V. (2011). Energy- aware coverage control with docking for robot teams. In IEEE Int. Conf. on Intelligent Robots and Systems (IROS), 3667–3672

  5. [5]

    Elmaliach, Y., Agmon, N., and Kaminka, G.A. (2009). Multi-robot area patrol under frequency constraints. Annals of Mathematics and Artificial Intelligence , 57(3- 4), 293–320

  6. [6]

    Laporte, G. (1992). The traveling salesman problem: An overview of exact and approximate algorithms. Euro- pean Journal of Operational Research, 59(2), 231–247

  7. [7]

    Litus, Y., Zebrowski, P., and Vaughan, R.T. (2009). A distributed heuristic for energy-efficient multirobot mul- tiplace rendezvous. IEEE Trans. on Robotics , 25(1), 130–135

  8. [8]

    Mathew, N., Smith, S.L., and Waslander, S.L. (2015). Mul- tirobot rendezvous planning for recharging in persistent tasks. IEEE Trans. on Robotics, 31(1), 128–142

Show all 13 references
  1. [9]

    and Kroo, I

    Nigam, N. and Kroo, I. (2008). Persistent surveillance us- ing multiple unmanned air vehicles. In IEEE Aerospace Conf., 1–14

  2. [10]

    Pasqualetti, F., Franchi, A., and Bullo, F. (2010). On optimal cooperative patrolling. In IEEE Conf. on Decision and Control (CDC) , 7153–7158

  3. [11]

    Pimenta, L., Kumar, V., Mesquita, R.C., and Pereira, G. (2008). Sensing and coverage for a network of heterogeneous robots. In IEEE Conf. on Decision and Control, 3947–3952

  4. [12]

    and Rinner, B

    Scherer, J. and Rinner, B. (2016). Persistent multi- uav surveillance with energy and communication con- straints. In IEEE Int. Conference on Automation Sci- ence and Engineering (CASE) , 1225–1230. Yazıcıo˘ glu, A.Y., Egerstedt, M., and Shamma, J.S. (2017). Communication-free...

  5. [13]

    Yu, K., Budhiraja, A.K., and Tokekar, P. (2018). Al- gorithms for routing of unmanned aerial vehicles with mobile recharging stations and for package delivery. In IEEE Int. Conf. on Robotics and Automation (ICRA) , 1–5

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.