Spacecraft control law design using Lyapunov-based adaptive controllers | IEEE Conference Publication | IEEE Xplore