Conceptual

Certifiably Stable Learning-Based Optimal Guidance for Spacecraft Rendezvous via Control Lyapunov Functions

A guidance framework that couples a positive-definite neural control Lyapunov function with supervised learning on optimal state-control pairs, defining a thrust policy that minimizes the Lyapunov derivative to jointly certify stability and produce near-optimal, even bang-bang fuel-optimal, guidance for Clohessy-Wiltshire rendezvous dynamics and general control-affine systems.