Optimal Control Laws for Momentum-Wheel Desaturation Using Magnetorquers