Cloud-Based Time-Varying Formation Predictive Control of Multi-Agent Systems With Random Communication Constraints and Quantized Signals | IEEE Journals & Magazine | IEEE Xplore