High-performance jumping movements by pendulum-type jumping machines | IEEE Conference Publication | IEEE Xplore