Nonlinear vectorial backstepping design for global exponential tracking of marine vessels in the presence of actuator dynamics | IEEE Conference Publication | IEEE Xplore