Model Predictive Attitude Control of a Jumping-and-Flying Quadruped for Planetary Exploration | Synapse