Nonlinear Backstepping Controller for an Underactuated ASV With Model Parametric Uncertainty: Design and Experimental Validation | IEEE Journals & Magazine | IEEE Xplore