A high-speed locomotion mechanism using pneumatic hollow-shaft actuators for in-pipe robots | IEEE Conference Publication | IEEE Xplore