Validation of a passive dynamic walker model for human gait analysis | IEEE Conference Publication | IEEE Xplore