Derivation of the constraint equations in the kinematic modeling of legged robots with rigid semi-spherical feet | IEEE Conference Publication | IEEE Xplore