Adaptive mass-spring dynamics modeling and verification of wall-reaction locomotion for robots in space station | Synapse