Experimental validation of model-based thruster fault detection for underwater vehicles | IEEE Conference Publication | IEEE Xplore