Input-output linearization design for dive-plane control of AUV | IEEE Conference Publication | IEEE Xplore