Fast Homotopy for Spacecraft Rendezvous Trajectory Optimization with Discrete Logic

This paper presents a computationally efficient optimization algorithm for solving nonconvex optimal control problems that involve discrete logic constraints. Traditional solution methods require binary variables and mixed-integer programming (MIP), which is prohibitively slow and computationally expensive. This paper proposes a faster and computationally cheaper algorithm that can produce locally optimal solutions in seconds. This is achieved by blending sequential convex programming and numerical continuation into a single iterative solution process. The algorithm approximates discrete logic constraints with smooth functions and uses a homotopy parameter to control the accuracy of this approximation. The homotopy parameter is updated such that, by the time the algorithm converges, the smooth approximations enforce the exact discrete logic. The effectiveness of this approach is numerically demonstrated for a realistic rendezvous scenario inspired by the Apollo Transposition and Docking maneuver. In less than 15 s of cumulative solver time, the algorithm finds a fuel-minimizing trajectory that obeys the following discrete logic constraints: thruster minimum impulse-bit, range-triggered approach cone, and range- triggered plume impingement. The optimized trajectory uses significantly less fuel than reported NASA design targets.