A class of methods for the numerical solution of optimal control problems is analyzed and applied to the optimization of finite-thrust spacecraft trajectories. These methods use discrete approximations to the state and ...