Attitude Synchronization of Multiple Spacecraft with Attitude Constraints | IEEE Conference Publication | IEEE Xplore