Lyapunov design for global tracking of underactuated ships | IEEE Conference Publication | IEEE Xplore