Global Path-Following for Marine Vessel with Control Lyapunov Function in Input Constraint