Modeling for a metamorphic quadruped robot with a twisting trunk: Kinematic and workspace | IEEE Conference Publication | IEEE Xplore