Nonholonomic mechanics and locomotion: the snakeboard example | IEEE Conference Publication | IEEE Xplore