Distributed Model Predictive Control Method for Spacecraft Formation Flying in a Leader–Follower Formation | IEEE Journals & Magazine | IEEE Xplore