Fault-accommodating thruster force allocation of an AUV considering thruster redundancy and saturation | IEEE Journals & Magazine | IEEE Xplore