Modelling and control of obstacle-aided snake robot locomotion based on jam resolution | IEEE Conference Publication | IEEE Xplore