Modeling and simulation of a jumping frog robot | IEEE Conference Publication | IEEE Xplore