Discrete-input receding horizon control applied to pneumatic hopping robot energy regulation | IEEE Conference Publication | IEEE Xplore