An accurate four-quadrant nonlinear dynamical model for marine thrusters: theory and experimental validation | IEEE Journals & Magazine | IEEE Xplore