Vitalsource Technologies, Inc. Control Allocation For Spacecraft Under Actuator Faults