Event-Triggered Model Predictive Control of Spacecraft Formation | Synapse