Nonlinear stiffness allows passive dynamic hopping for one-legged robots with an upright trunk | IEEE Conference Publication | IEEE Xplore