Fault tolerant control allocation for a thruster-controlled floating platform using parametric programming | IEEE Conference Publication | IEEE Xplore