Resilient Formation Tracking of Spacecraft Swarm Against Actuation Attacks: A Distributed Lyapunov-Based Model Predictive Approach | IEEE Journals & Magazine | IEEE Xplore