Neural Network-Based Distributed Attitude Coordination Control for Spacecraft Formation Flying With Input Saturation | IEEE Journals & Magazine | IEEE Xplore