Linear actuator robots: Differential kinematics, controllability, and algorithms for locomotion and shape morphing | IEEE Conference Publication | IEEE Xplore