Dynamics simulation for a biped robot: modeling and experimental verification | IEEE Conference Publication | IEEE Xplore