Mission and motion control of AUV for terrain survey mission using discrete event system theory | IEEE Conference Publication | IEEE Xplore