Finite-Time Stabilization of Stochastic Nonlinear Systems and Its Applications in Ship Maneuvering Systems | IEEE Journals & Magazine | IEEE Xplore