REVIEW 2 major objections 5 minor 1 cited by
pc-dbCBS: Kinodynamic Motion Planning of Physically-Coupled Robot Teams
T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read A new planner, pc-dbCBS, extends conflict-based search to physically-coupled robot teams and claims the same completeness and optimality guarantees as the uncoupled version.
desk verdict A genuinely new and well-tested algorithm for physically-coupled multi-robot planning, but the inherited completeness/optimality claim does not follow as written. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central mechanism is a tri-level conflict detection and resolution loop mounted on db-CBS: first robot-robot collisions, then physical coupling violations of the form |l_c - l| > δ, then collisions between coupling elements and the environment, each checked over the full horizon. Coupling conflicts are resolved by adding a single random single-robot constraint rather than branching over all robots. The other key idea is state-representation alternation: discrete search runs in the stacked state space using precomputed single-robot motion primitives, while trajectory optimization runs in a minimal representation obtained from a local mapping of the constraint set; optimized trajectories are converted back into primitives for the next iteration. This alternation is what lets the claim of inherited asymptotic optimality rest on the unmodified outer-loop structure of db-CBS.
What would settle it
A decisive test would be a small symmetric rigid-rod or cable-payload instance where at the only bottleneck exactly one robot can yield a feasible coupling, while the random constraint selection repeatedly constrains that robot; if the inner search then returns no solution for many outer-loop iterations even as δ shrinks and the library grows, the claim that no solution trajectory is pruned would be directly challenged. More sharply, track the discrete optimum c_n over iterations: for asymptotic optimality to hold, c_n must converge to c*; any instance where c_n stalls strictly above c* while the argument's premises hold would falsify the transfer of Theorem 1.
Extended reading notes
Core claim
pc-dbCBS claims to preserve the probabilistic completeness and asymptotic optimality of db-CBS when robots are rigidly coupled: because the outer anytime loop, which shrinks the discontinuity bound δ and grows the motion primitive library, is unchanged, the same proof as in [6, Theorem 1] is argued to transfer despite intentional violations of CBS assumptions inside the inner loop. The inner loop resolves three conflict types hierarchically, first robot-robot collisions, then physical coupling violations, then coupling-element-obstacle collisions, and for a coupling violation it adds only a single randomly chosen robot constraint to the open list rather than branching over all robots. The system maps the stacked discrete solution to a minimal-coordinate representation, refines it with trajectory optimization, then converts optimized trajectories back into single-robot primitives for the next iteration. The paper reports that on 25 simulated and six real-world problems, this yields higher success rates, 50-60% faster trajectories, and lower energy use than the state-of-the-art baseline.
Load-bearing premise
The load-bearing premise is that the modified inner loop, which checks conflict types over the whole horizon and adds only one random single-robot constraint per coupling violation, never permanently removes a trajectory that could lead to a solution, so the unmodified db-CBS optimality proof still applies.
Editorial extensions
If this is right
- Because the outer loop is the same as in db-CBS, the asymptotic-optimality argument transfers, so given enough iterations the plan cost converges to the optimal cost of the original problem.
- Only single-robot motion primitives are needed, so the planner avoids building a primitive library for the high-dimensional coupled system.
- The anytime structure returns a usable solution early and refines it as δ shrinks, which is what lets the planner report fast first solutions.
- Any rigidly coupled team whose constraint set admits a local minimal-coordinate map falls in scope, not just the two tested embodiments.
- Using the same trajectory optimization step as the baseline, the comparison shows pc-dbCBS trajectories are faster and use less energy, implying that the discrete-level coupling reasoning leads to more agile plans.
Reading between the lines
- Inference: the random single-robot constraint per coupling conflict turns the inner search into a randomized procedure; if a particular constraint choice prunes the only feasible branch, the outer loop's restarts should eventually recover, but convergence may be slow on asymmetric problems.
- Inference: the same conflict-style treatment of coupling suggests a direct extension to soft or elastic couplings, where the constraint is an inequality tolerance rather than a fixed length.
- Inference: one testable extension is to compare random constraint selection against selecting the robot with the largest coupling violation; the paper's theoretical argument does not predict which heuristic is better.
- Inference: because coupling-element collisions are only checked after coupling constraints are resolved and are not reciprocally considered as constraints on the payload estimate, instances with very tight cable-obstacle gaps may need the outer loop to compensate.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes pc-dbCBS, a kinodynamic motion planner for rigidly coupled multi-robot teams. It extends db-CBS with a tri-level conflict detection and resolution framework: inter-robot collisions, physical-coupling violations, and collisions of coupling elements with the environment. The algorithm alternates between a stacked state space for discrete search over single-robot motion primitives and a minimal representation for trajectory optimization. The paper claims probabilistic completeness, asymptotic optimality, and anytime operation, and validates the approach on two platforms (unicycles with rigid rods and multirotors with cable-suspended payloads) in simulation and real experiments, reporting higher success rates and lower trajectory cost and planning time than a baseline from the authors' prior work.
Significance. If the theoretical guarantees were substantiated, this would be a significant contribution: it would be the first kinodynamic planner for physically coupled robot teams to retain CBS-style completeness and asymptotic optimality while relying only on single-robot motion primitives. The empirical work is a genuine strength: 25 simulated instances with 10 trials each, six real-robot scenarios, and planned code release. However, the central theoretical claim is not established, and the paper's own admissions in Section IV-D undermine the guarantee transfer that the title and abstract emphasize. The practical planner may still be useful, but the formal contribution needs either a complete proof for the modified algorithm or a weakened statement.
major comments (2)
- [Section IV-D] The claim that pc-dbCBS 'inherits the probabilistic completeness and asymptotic optimality of db-CBS [6, Theorem 1]' is not supported. The proof of [6, Theorem 1] requires that, at each outer iteration, the discrete search returns the optimal δ-discrete solution if one exists, which in CBS requires expanding all disjunctive branches of a conflict and resolving conflicts in chronological order. The authors explicitly concede that their inner loop violates both assumptions: ResolvePhysicalConstraint adds only a randomly chosen single constraint, and the hierarchical checks in Lines 9-11 resolve conflicts by type over the whole horizon rather than by time. The statement in Section IV-D that 'the discrete search does not deterministically prune potential solution trajectories' is precisely the missing lemma; no proof or formal argument is given. Consequently, Eq. (26) does not follow from the cited theorem, and the paper's central theoretical claim remains unproven.
- [Algorithm 1, Lines 13-18 (ResolvePhysicalConstraint)] The single-random-constraint rule can prune the only feasible branch. If the random choice lands on a robot that cannot be part of any feasible resolution (e.g., in the unicycle-with-rods case, constraining a robot that is already at its actuation limit while the other robot must compensate), the inner search returns infeasible even though a feasible trajectory exists for the given δ. The paper acknowledges 'some theoretical drawbacks' (Section IV-A.2) but does not prove that repeated outer-loop randomizations recover the optimal solution with probability one at the required rate. This is not a cosmetic issue: the proof of asymptotic optimality relies on each inner iteration producing the optimal discrete solution, and a single random branch does not ensure that.
minor comments (5)
- [Section V-A.3] The use of 'anytime' is nonstandard: an anytime algorithm should be interruptible and return a valid solution at any point, but pc-dbCBS returns a solution only after a full outer-loop iteration. The paper acknowledges the exception but then claims the formal anytime properties are maintained; this should be clarified or the terminology changed.
- [Abstract, Section V-B, conclusion] The reported improvements are inconsistent: the abstract says '50-60% faster' trajectories and 'an order of magnitude' planning-time reduction; Section V-B says '60% lower cost' and '50% faster'; the conclusion says '50-60% lower cost' and 'energy consumption reduced to 10-40%'; physical experiments report '50% less energy'. These numbers should be reconciled and reported consistently.
- [Table I] The table formatting is garbled, with multiple numbers appearing in single cells (e.g., '350.7 0.1 5.2 1.4 364.8 2.6'). This makes the results difficult to read and should be reformatted into clearly separated subcolumns per environment and method.
- [Section IV-D] The sentence 'These changes might result producing near-optimal results' contains a grammatical error; it should be 'might result in'.
- [Section I, introduction] The claim 'this is the first work to offer this combination of simplicity, strong theoretical guarantees, and superior performance in the physically-coupled systems domain' is strong and not substantiated by the subsequent analysis; it should be softened or supported with a more comprehensive comparison.
Circularity Check
No circular reduction found: the claimed db-CBS guarantee inheritance is an unsupported proof transfer, not a circular derivation.
full rationale
The paper's central theoretical claim is stated in Section IV-D: "pc-dbCBS inherits the probabilistic completeness and asymptotic optimality of db-CBS [6, Theorem 1]" and "the same argument of the proof as in [6, Theorem 1] still holds with the highlighted changes in Algorithm 1, because the outer-loop (Lines 1 to 5) is unchanged." This is a self-citation that is load-bearing, but it is not circular: [6, Theorem 1] is a prior theorem about db-CBS, not about pc-dbCBS, and the paper does not define pc-dbCBS's guarantee to be the theorem's conclusion. The transfer is instead asserted rather than derived. The paper itself flags the gap: "the inner loop Lines 6 to 12 of our proposed algorithm violates some key assumptions of CBS: i) for completeness, all possible alternatives need to be considered in the open list (which we violate in ResolvePhysicalConstraints by only including a randomly-picked single new entry); and ii) for optimality, we need to resolve conflicts in the order of their occurrence in time (which we violate using our hierarchical approach)." The only bridge is the unproved assertion "the discrete search does not deterministically prune potential solution trajectories." To make Eq. (26) follow, one would need a new proof that every feasible discrete solution remains reachable despite the single-random-constraint rule; that is a soundness gap, not an equivalence-by-construction. No fitted parameter is renamed as a prediction, no ansatz is smuggled in via citation, and no known result is merely renamed: the projection onto minimal coordinates is inspired by an external reference [23], and the motion primitives are precomputed single-robot primitives. The empirical evaluation runs the planner against a baseline, so the performance claims do not reduce to the cited theorems. Overall, no circular step is exhibited; the score reflects the load-bearing self-citation and the missing proof, not circular reasoning.
Assumptions & free parameters
free parameters (4)
- delta tolerance (discontinuity bound)
- beta1 and beta2 cost weights
- mu and lambda estimation weights
- motion primitive growth and sampling rate
assumptions (6)
- domain assumption The coupling constraint set {x | g(x) = 0} admits a local mapping Phi: X_m -> X with minimal coordinates.
- domain assumption The Jacobian of f with respect to x and u is available.
- domain assumption Cables are modeled as rigid rods of fixed length.
- standard math The projection in Eq. (17) requires A to have full row rank and B to be invertible.
- ad hoc to paper db-CBS Theorem 1 remains valid for the modified algorithm despite admitted violations of CBS assumptions.
- ad hoc to paper Randomly picking one robot to constrain in ResolvePhysicalConstraint does not prune feasible trajectories.
Cite this review
Pith. "Pith review of pc-dbCBS: Kinodynamic Motion Planning of Physically-Coupled Robot Teams." pith.science (2026). https://pith.science/paper/3PCTV3E4
@misc{pith2026250510355,
author = {Pith},
title = {Pith review of: pc-dbCBS: Kinodynamic Motion Planning of Physically-Coupled Robot Teams},
year = {2026},
howpublished = {\url{https://pith.science/paper/3PCTV3E4}},
note = {Machine review of arXiv:2505.10355}
}
read the original abstract
Motion planning problems for physically-coupled multi-robot systems in cluttered environments are challenging due to their high dimensionality. Existing methods combining sampling-based planners with trajectory optimization produce suboptimal results and lack theoretical guarantees. We propose Physically-coupled discontinuity-bounded Conflict-Based Search (pc-dbCBS), an anytime kinodynamic motion planner, that extends discontinuity-bounded CBS to rigidly-coupled systems. Our approach proposes a tri-level conflict detection and resolution framework that includes the physical coupling between the robots. Moreover, pc-dbCBS alternates iteratively between state space representations, thereby preserving probabilistic completeness and asymptotic optimality while relying only on single-robot motion primitives. Across 25 simulated and six real-world problems involving multirotors carrying a cable-suspended payload and differential-drive robots linked by rigid rods, pc-dbCBS solves up to 92% more instances than a state-of-the-art baseline and plans trajectories that are 50-60% faster while reducing planning time by an order of magnitude.
Figures
Forward citations
Cited by 1 Pith paper
-
CrazyMARL: Decentralized Direct Motor Control Policies for Cooperative Aerial Transport of Cable-Suspended Payloads
A decentralized reinforcement learning controller with direct motor commands lets teams of drones carry cable-suspended payloads, recover from harsh disturbances, and transfer from simulation to real Crazyflie hardware.
Reference graph
Works this paper leans on
-
[1]
K. Sreenath and V . Kumar, “Dynamics, control and planning for cooperative manipulation of payloads suspended by cables from multiple quadrotor robots,” in Robotics: Science and Systems (RSS) , 2013
work page 2013
-
[2]
Motion planning for multi-mobile- manipulator payload transport systems,
R. Tallamraju, D. H. Salunkhe, S. Rajappa, A. Ahmad, K. Kar- lapalem, and S. V . Shah, “Motion planning for multi-mobile- manipulator payload transport systems,” in Int. Conf. on Aut. Sc. and Eng. (CASE) , 2019, pp. 1469–1474
work page 2019
-
[3]
Nonlinear MPC for full-pose manipulation of a cable-suspended load using multiple UA Vs,
S. Sun and A. Franchi, “Nonlinear MPC for full-pose manipulation of a cable-suspended load using multiple UA Vs,” in IEEE Int. Conf. on Unmanned Aircraft Systems , 2023, pp. 969–975
work page 2023
-
[4]
G. Li and G. Loianno, “Nonlinear model predictive control for cooperative transportation and manipulation of cable suspended payloads with multiple quadrotors,” in Proc. IEEE/RSJ Int. Conf. Intell. Robots Syst. , 2023, pp. 5034–5041
work page 2023
-
[5]
K. Wahba, J. Ortiz-Haro, M. Toussaint, and W. H ¨onig, “Kinodynamic motion planning for a team of multirotors transporting a cable- suspended payload in cluttered environments,” in Proc. IEEE/RSJ Int. Conf. Intell. Robots Syst. , 2024, pp. 12 750–12 757
work page 2024
-
[6]
db- CBS: Discontinuity-bounded conflict-based search for multi-robot kinodynamic motion planning,
A. Moldagalieva, J. Ortiz-Haro, M. Toussaint, and W. H ¨onig, “db- CBS: Discontinuity-bounded conflict-based search for multi-robot kinodynamic motion planning,” in Proc. IEEE Int. Conf. Robot. Autom., 2024, pp. 14 569–14 575
work page 2024
-
[7]
L. Rapetti, Y . Tirupachuri, A. Ranavolo, T. Kawakami, T. Yoshiike, and D. Pucci, “Shared control of robot-robot collaborative lifting with agent postural and force ergonomic optimization,” inProc. IEEE Int. Conf. Robot. Autom. , 2021, pp. 9840–9847
work page 2021
-
[8]
A. Afifi, M. van Holland, and A. Franchi, “Toward physical human- robot interaction control with aerial manipulators: Compliance, re- dundancy resolution, and input limits,” in Proc. IEEE Int. Conf. Robot. Autom., 2022, pp. 4855–4861
work page 2022
Show all 32 references
-
[9]
Geranos: A novel tilted-rotors aerial robot for the transportation of poles,
N. Gorlo, S. Bamert, R. Cathomen, G. K ¨appeli, M. S. M ¨uller, T. Reinhart, H. Stadler, H. Shen, E. Cuniato, M. Tognon, et al. , “Geranos: A novel tilted-rotors aerial robot for the transportation of poles,” IEEE Robot. & Autom. Mag. , 2024
2024
-
[10]
A truly- redundant aerial manipulator system with application to push-and- slide inspection in industrial plants,
M. Tognon, H. A. T. Ch ´avez, E. Gasparin, Q. Sabl ´e, D. Bicego, A. Mallet, M. Lany, G. Santi, B. Revaz, J. Cort ´es, et al., “A truly- redundant aerial manipulator system with application to push-and- slide inspection in industrial plants,” IEEE Trans. Robot. Autom. Lett., v...
2019
-
[11]
Efficient motion planning of highly articulated chains using physics-based sampling,
R. Gayle, S. Redon, A. Sud, M. C. Lin, and D. Manocha, “Efficient motion planning of highly articulated chains using physics-based sampling,” in Proc. IEEE Int. Conf. Robot. Autom. , 2007, pp. 3319– 3326
2007
-
[12]
The reconfigurable aerial robotic chain: Shape and motion planning,
M. Kulkarni, H. Nguyen, and K. Alexis, “The reconfigurable aerial robotic chain: Shape and motion planning,” IFAC-PapersOnLine, vol. 53, no. 2, pp. 9295–9302, 2020
2020
-
[13]
Search-based path planning for a high dimen- sional manipulator in cluttered environments using optimization- based primitives,
M. S. Saleem, R. Sood, S. Onodera, R. Arora, H. Kanazawa, and M. Likhachev, “Search-based path planning for a high dimen- sional manipulator in cluttered environments using optimization- based primitives,” in Proc. IEEE/RSJ Int. Conf. Intell. Robots Syst. , 2021, pp. 8301–8308
2021
-
[14]
Asymptotically optimal planning by feasible kinodynamic planning in a state-cost space,
K. Hauser and Y . Zhou, “Asymptotically optimal planning by feasible kinodynamic planning in a state-cost space,” IEEE Trans. Robot. , vol. 32, no. 6, pp. 1431–1443, 2016
2016
-
[15]
Convex optimization for trajectory gen- eration: A tutorial on generating dynamically feasible trajectories reliably and efficiently,
D. Malyuta, T. P. Reynolds, M. Szmuk, T. Lew, R. Bonalli, M. Pavone, and B. Ac ¸ıkmes ¸e, “Convex optimization for trajectory gen- eration: A tutorial on generating dynamically feasible trajectories reliably and efficiently,” IEEE Control Systems Magazine , vol. 42, no. 5, pp....
2022
-
[16]
ALTRO: A fast solver for constrained trajectory optimization,
T. A. Howell, B. E. Jackson, and Z. Manchester, “ALTRO: A fast solver for constrained trajectory optimization,” in Proc. IEEE/RSJ Int. Conf. Intell. Robots Syst. , 2019, pp. 7674–7679
2019
-
[17]
Conflict-based search for multi-robot motion planning with kinodynamic constraints,
J. Kottinger, S. Almagor, and M. Lahijanian, “Conflict-based search for multi-robot motion planning with kinodynamic constraints,” in Proc. IEEE/RSJ Int. Conf. Intell. Robots Syst. , 2022, pp. 13 494– 13 499
2022
-
[18]
Scalable and safe multi-agent motion planning with nonlinear dynamics and bounded disturbances,
J. Chen, J. Li, C. Fan, and B. C. Williams, “Scalable and safe multi-agent motion planning with nonlinear dynamics and bounded disturbances,” in AAAI Conf. on Artificial Intelligence, vol. 35, 2021, pp. 11 237–11 245
2021
-
[19]
Motion planning for 6-d manipulation with aerial towed-cable systems,
M. Manubens, D. Devaurs, L. Ros, and J. Cort ´es, “Motion planning for 6-d manipulation with aerial towed-cable systems,” in Robotics: Science and Systems (RSS) , 2013
2013
-
[20]
Flexible collaborative transportation by a team of rotorcraft,
H. G. De Marina and E. Smeur, “Flexible collaborative transportation by a team of rotorcraft,” in Proc. IEEE Int. Conf. Robot. Autom. , 2019, pp. 1074–1080
2019
-
[21]
Differential flatness and manipulation of elasto-flexible cables carried by aerial robots in a possibly viscous environment,
C. Gabellieri and A. Franchi, “Differential flatness and manipulation of elasto-flexible cables carried by aerial robots in a possibly viscous environment,” in IEEE Int. Conf. on Unmanned Aircraft Systems , 2023, pp. 963–968
2023
-
[22]
If-based trajectory planning and cooperative control for transportation system of cable suspended payload with multi UA Vs,
Y . Zhang, J. Xu, C. Zhao, and J. Dong, “If-based trajectory planning and cooperative control for transportation system of cable suspended payload with multi UA Vs,” in Proc. IEEE/RSJ Int. Conf. Intell. Robots Syst., 2023, pp. 635–642
2023
-
[23]
Feedback control of a nonholonomic car-like robot,
A. De Luca, G. Oriolo, and C. Samson, “Feedback control of a nonholonomic car-like robot,” in Robot Motion Planning and Control, J. .-. Laumond, Ed., Springer, 1998, pp. 171–253, ISBN : 978-3-540-40917-5
1998
-
[24]
idb-A*: Iterative search and optimization for optimal kinodynamic motion planning,
J. Ortiz-Haro, W. H ¨onig, V . N. Hartmann, and M. Toussaint, “idb-A*: Iterative search and optimization for optimal kinodynamic motion planning,” IEEE Trans. Robot. , 2024
2024
-
[25]
The open motion planning library,
I. A. S ¸ucan, M. Moll, and L. E. Kavraki, “The open motion planning library,” IEEE Robot. & Autom. Mag., vol. 19, no. 4, pp. 72–82, 2012
2012
-
[26]
Crocoddyl: An efficient and versatile framework for multi-contact optimal control,
C. Mastalli, R. Budhiraja, W. Merkt, G. Saurel, B. Hammoud, M. Naveau, J. Carpentier, L. Righetti, S. Vijayakumar, and N. Mansard, “Crocoddyl: An efficient and versatile framework for multi-contact optimal control,” in Proc. IEEE Int. Conf. Robot. Autom. , 2020, pp. 2536–2542
2020
-
[27]
FCL: A general purpose library for collision and proximity queries,
J. Pan, S. Chitta, and D. Manocha, “FCL: A general purpose library for collision and proximity queries,” in Proc. IEEE Int. Conf. Robot. Autom., 2012, pp. 3859–3866
2012
-
[28]
Efficient optimization-based cable force allocation for geometric control of a multirotor team transporting a payload,
K. Wahba and W. H ¨onig, “Efficient optimization-based cable force allocation for geometric control of a multirotor team transporting a payload,” IEEE Trans. Robot. Autom. Lett. , vol. 9, no. 4, pp. 3688– 3695, 2024
2024
-
[29]
A stable tracking control method for an autonomous mobile robot,
Y . Kanayama, Y . Kimura, F. Miyazaki, and T. Noguchi, “A stable tracking control method for an autonomous mobile robot,” in Proc. IEEE Int. Conf. Robot. Autom. , 1990, pp. 384–389
1990
-
[30]
Using anytime algorithms in intelligent systems,
S. Zilberstein, “Using anytime algorithms in intelligent systems,” AI magazine, vol. 17, no. 3, pp. 73–73, 1996
1996
-
[31]
Crazyswarm: A large nano-quadcopter swarm,
J. A. Preiss, W. H ¨onig, G. S. Sukhatme, and N. Ayanian, “Crazyswarm: A large nano-quadcopter swarm,” in Proc. IEEE Int. Conf. Robot. Autom. , 2017, pp. 3299–3304
2017
-
[32]
Robot operating system 2: Design, architecture, and uses in the wild,
S. Macenski, T. Foote, B. Gerkey, C. Lalancette, and W. Woodall, “Robot operating system 2: Design, architecture, and uses in the wild,” Science Robotics, vol. 7, no. 66, 2022
2022
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.