Explicit Spacecraft Thruster Control Allocation With Minimum Impulse Bit. - Afonso Botelho; Paulo Andre Nobre Rosa; João Miranda Lemos (IEEE Trans. Control. Syst. Technol., 2025)