Control and Supervisory Discrete Event Structures for Autonomous Vehicles in the Underwater Environment | IEEE Conference Publication | IEEE Xplore