related documents Nonlinear semi-analytic methods for spacecraft trajectory design, control, and navigation Conference Proceeding