Actuator Fault Detection for Autonomous Underwater Vehicle Using Interval Observer | IEEE Conference Publication | IEEE Xplore