Control Synthesis for Hopping Robots