Mathematical Modeling of Robotic Locomotion Systems | Synapse