Attitude synchronization for flexible spacecraft formation with actuator faults | IEEE Conference Publication | IEEE Xplore