The pontryagin maximum principle applied to nonholonomic mechanics | IEEE Conference Publication | IEEE Xplore