Global stabilization of an underactuated autonomous underwater vehicle via logic-based switching | IEEE Conference Publication | IEEE Xplore