Finite-time stabilization of under-actuated ship with actuator failure and saturation | IEEE Conference Publication | IEEE Xplore