Regulation of a nonholonomic autonomous underwater vehicle with parametric modeling uncertainty using Lyapunov functions | IEEE Conference Publication | IEEE Xplore