Fault Detection for Autonomous Underwater Vehicles Based on Zonotopic Set-Membership Estimation | IEEE Journals & Magazine | IEEE Xplore