Imagine you and five friends are carrying a couch up a narrow staircase. Nobody is in charge. Each person can only push — not pull — and only within a narrow cone from where they're gripping. The couch needs to rotate around corners, and if anyone lets go, the others have to instantly compensate. The question isn't whether you can get the couch upstairs — it's whether you can coordinate without a foreman shouting directions, and without everyone stopping to re-plan every time someone shifts their grip. That's the core problem this paper solves, except the couch is a rigid payload in orbit and the friends are small spacecraft with cone-constrained thrusters. The committed claim: a fully decentralized bi-level optimization framework that yields fuel-efficient cooperative orbital transport trajectories with convergence guarantees, without requiring any centralized coordinator or full nonlinear-program (NLP) convergence. The authors split the problem into an outer layer that searches over payload torque trajectories and an inner convex problem that allocates thrust across agents. This decomposition is the key structural move — it turns a coupled non-convex problem into something each agent can solve locally using exact gradients, not approximate consensus or heuristic negotiation. The architectural family is bi-level optimization with convex relaxation at the inner level, sitting within the broader tradition of distributed model-predictive control for multi-agent systems. The method leans on the convexity of thrust allocation once the torque trajectory is fixed — that's the load-bearing mathematical property. Each agent solves its own inner problem given a shared outer variable (the torque trajectory), and the outer search coordinates implicitly through gradient information. This is not reinforcement learning, not learned coordination, and not a neural planner — it's structured optimization with provable properties. The paper positions itself against two existing approaches: decentralized control laws that guarantee asymptotic convergence but can't enforce hard constraints (like thrust cones and fuel limits), and centralized/partially centralized planners that can enforce constraints but reintroduce the single point of failure the swarm architecture was supposed to eliminate. The authors argue their method captures the best of both — constraint satisfaction with no central coordinator. They provide theoretical convergence guarantees, which puts them ahead of heuristic decentralized methods, though the comparison is more structural than numerical against specific named baselines. Validation comes through Monte Carlo simulation, including closed-loop recovery from in-flight faults — agents dropping out mid-mission. This is stronger than single-trajectory demos but weaker than hardware-in-the-loop or orbital testbed validation. The fault-recovery testing is the most convincing piece: it demonstrates the method's resilience property under the exact failure mode swarms are supposed to handle. The paper reports performance scaling with agent count at short timescales, which is the right metric for operational relevance. The gap between here and operational deployment is significant. The simulations assume rigid-body dynamics without flexible appendages, thermal disturbances, or communication latency — all of which dominate real orbital operations. The obvious next experiment is a hardware-in-the-loop test on a flat-floor testbed with actual thruster dynamics and communication delays. The authors almost certainly know this; the paper reads like the theoretical foundation for a hardware campaign that hasn't happened yet, likely because testbed access and thruster hardware are expensive and slow to procure. For the broader trajectory of on-orbit servicing and active debris removal, this is a meaningful algorithmic step. The space economy needs swarm-based manipulation for objects too large or uncooperative for a single servicer, and the decentralized property is not optional — you cannot have a central planner as a single point of failure in orbit. The next milestone is demonstrating this framework with communication constraints and realistic actuator models, which would bridge the gap between optimization theory and mission-ready software.
