Biped gait generation and control based on a unified property of passive dynamic walking | IEEE Journals & Magazine | IEEE Xplore