A necessary condition for passive dynamic walking | IEEE Conference Publication | IEEE Xplore