Performance-guaranteed control of an autonomous underwater vehicle subject to time-varying disturbances | IEEE Conference Publication | IEEE Xplore