Stable dynamic walking of a quadruped robot "Kotetsu" using phase modulations based on leg loading/unloading