Event-Triggered Model Predictive Control of Spacecraft Formation | IEEE Journals & Magazine | IEEE Xplore