Halo orbit mission correction maneuvers using optimal control. - Radu Serban; Wang Sang Koon; Martin W. Lo; Jerrold E. Marsden; Linda R. Petzold; Shane D. Ross; Roby S. Wilson (Autom., 2002)