Discrete hierarchical supervisory control for autonomous underwater vehicle | IEEE Conference Publication | IEEE Xplore