The nonholonomic nature of human locomotion: a modeling study | IEEE Conference Publication | IEEE Xplore