Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance

• URL: http://arxiv.org/abs/2605.20138v1
• Date: Tue, 19 May 2026 17:22:16 GMT
• Title: Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance
• Abstract summary: This article presents a framework for a two-satellite collision avoidance problem operating in the same circular orbit.<n>We define the target state space as unsafe relative configurations in the orbit plane.<n>We compute backward reachable sets that characterize relative states from which collision cannot be avoided.
• Score: 1.7674345486888503
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This article presents a Hamilton--Jacobi (HJ) reachability framework for a two--satellite collision avoidance problem operating in the same circular orbit, where relative motion is modeled in the radial--tangential--normal (RTN) frame using planar Hill--Clohessy--Wiltshire (HCW) dynamics. We define the target state space as unsafe relative configurations in the orbit plane corresponding to minimum separation requirements consistent with Federal Communications Commission (FCC) orbital standards. The interaction between spacecraft is formulated as a zero--sum differential game, where Player 1 is the controlled satellite and Player 2 is modeled as a bounded adversarial disturbance with unknown intent. We present the HJ formulation and compute backward reachable sets that characterize relative states from which collision cannot be avoided under worst-case disturbances, while states outside this set admit provably collision-free trajectories. These reachable sets are integrated with supervisory hybrid control logic to determine when evasive maneuvers must be initiated, enabling mathematically grounded safety guarantees for scalability.

Related papers

• Neural operator learning for collision-aware trajectory planning of spacecraft swarms [6.404845149899844]
  We introduce a permutation-equivariant neural operator that maps spacecraft, targets and debris to collision-aware trajectories for an entire swarm in a single forward pass.<n>The operator is trained without optimal-trajectory labels, combining self-supervised physics objectives with adversarial threats generated against its own rollouts.<n>It generalizes zero-shot to swarms of 1,000 amid more than 11,000 catalogued objects, matching a per-agent optimal-control solver's accuracy, evading worst-case threats that a debris-blind baseline cannot, and reducing proximity within the swarm several-fold.
  arXiv  Detail & Related papers  (2026-07-31T22:10:47Z)
• End-to-end Conditional Diffusion for Realistic and Controllable Visual Traffic Scenario Generation [59.188006170485046]
  E2E-CDiff is an end-to-end conditional diffusion framework for controllable and realistic scenario generation.<n>Differentiable guidance regulates speed, enforces drivable-area compliance, and supports collision-avoidance or collision-seeking behaviors.<n>E2E-CDiff also performs competitively as a learning-based ego planner.
  arXiv  Detail & Related papers  (2026-07-21T02:13:25Z)
• PoseShield: Neural Collision Fields for Human Self-Collision Resolution [44.26354057690119]
  Self-collision remains a persistent challenge in SMPL-based human pose estimation and motion generation.<n>We propose PoseShield, a neural collision constraint defined directly in SMPL pose space.<n>Our method achieves a 95.8% success rate and outperforms state-of-the-art baselines.
  arXiv  Detail & Related papers  (2026-06-29T01:20:25Z)
• Learning Reactive Dexterous Grasping via Hierarchical Task-Space RL Planning and Joint-Space QP Control [50.28263951510334]
  We propose a hybrid hierarchical control framework for reactive dexterous grasping.<n>The proposed framework explicitly decouples high-level spatial intent from low-level joint execution.<n>We extensively validate the proposed framework through a rigorous simulation-to-reality pipeline.
  arXiv  Detail & Related papers  (2026-05-05T04:49:38Z)
• Hypergraph-State Collaborative Reasoning for Multi-Object Tracking [63.32950991964095]
  We propose a collaborative reasoning framework that enhances motion estimation through joint inference among multiple correlated objects.<n>By allowing objects with similar motion states to mutually constrain and refine each other, our framework stabilizes noisy trajectories and infers plausible motion continuity even when target is occluded.
  arXiv  Detail & Related papers  (2026-04-14T12:37:39Z)
• Boundary-to-Region Supervision for Offline Safe Reinforcement Learning [56.150983204962735]
  Boundary-to-Region (B2R) is a framework that enables asymmetric conditioning through cost signal realignment.<n>B2R redefines CTG as a boundary constraint under a fixed safety budget, unifying the cost distribution of all feasible trajectories.<n> Experimental results show that B2R satisfies safety constraints in 35 out of 38 safety-critical tasks.
  arXiv  Detail & Related papers  (2025-09-30T03:38:20Z)
• ASTREA: Introducing Agentic Intelligence for Orbital Thermal Autonomy [51.56484100374058]
  ASTREA is the first agentic system executed on flight-heritage hardware for autonomous spacecraft operations.<n>We integrate a resource-constrained Large Language Model (LLM) agent with a reinforcement learning controller in an asynchronous architecture tailored for space-qualified platforms.
  arXiv  Detail & Related papers  (2025-09-16T08:52:13Z)
• TLE-Based A2C Agent for Terrestrial Coverage Orbital Path Planning [0.0]
  The congestion of Low Earth Orbit (LEO) poses persistent challenges to the efficient deployment and safe operation of Earth observation satellites.<n>This work presents a reinforcement learning framework using the Advantage Actor-Critic (A2C) algorithm to optimize satellite orbital parameters for precise terrestrial coverage.
  arXiv  Detail & Related papers  (2025-08-14T17:44:51Z)
• OrbitZoo: Real Orbital Systems Challenges for Reinforcement Learning [40.29941617237491]
  OrbitZoo is a versatile multi-agent RL environment built on a high-fidelity industry standard library.<n>It supports scenarios like collision avoidance and cooperative maneuvers, and ensures robust and accurate orbital dynamics.<n>It is validated against a real satellite constellation, Starlink, achieving a Mean Absolute Percentage Error (MAPE) of 0.16% compared to real-world data.
  arXiv  Detail & Related papers  (2025-04-05T12:44:21Z)
• Entanglement Generation and Stabilization by Coherent Collisions [0.0]
  Repeated collisions by itinerant electrons can dissipatively drive two remote spin qubits into an entangled state.<n>A coherent spin exchange with either qubit facilitates entanglement generation.<n>Our model can be experimentally implemented using single-electron sources.
  arXiv  Detail & Related papers  (2024-07-22T20:12:28Z)
• Predicting the Probability of Collision of a Satellite with Space Debris: A Bayesian Machine Learning Approach [0.0]
  Space is becoming more crowded in Low Earth Orbit due to increased space activity. The need to consider collision avoidance as part of routine operations is evident to satellite operators. Current procedures rely on the analysis of multiple collision warnings by human analysts.
  arXiv  Detail & Related papers  (2023-11-17T16:41:35Z)
• Learned Risk Metric Maps for Kinodynamic Systems [54.49871675894546]
  We present Learned Risk Metric Maps for real-time estimation of coherent risk metrics of high dimensional dynamical systems. LRMM models are simple to design and train, requiring only procedural generation of obstacle sets, state and control sampling, and supervised training of a function approximator.
  arXiv  Detail & Related papers  (2023-02-28T17:51:43Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.