Finite-Time Formation Control of Under-Actuated Ships Using Nonlinear Sliding Mode Control | IEEE Journals & Magazine | IEEE Xplore