Discrete Decentralized Supervisory Control for Underwater Glider | IEEE Conference Publication | IEEE Xplore