An exact dynamic model for the Thomas-K biped robot: New simulator design | IEEE Conference Publication | IEEE Xplore