Active sliding synthetic wheel biped : dynamics, control, and verification