Circular orbit spacecraft control at the L4 point using Lyapunov functions. - Rachana Agrawal; Ravi N. Banavar (ECC, 2016)