Distributed Prescribed-Time Attitude Coordination for Multiple Spacecraft With Actuator Saturation Under Directed Graph | IEEE Journals & Magazine | IEEE Xplore