Optimal static propulsive force for obstacle-aided locomotion in snake robots | IEEE Conference Publication | IEEE Xplore