Optimization-Based Flocking Control and MPC-Based Gait Synchronization Control for Multiple Quadruped Robots | IEEE Journals & Magazine | IEEE Xplore