Saturation Avoidance Control Law for Spacecraft Euipped with Redundant RWs | IEEE Conference Publication | IEEE Xplore