Control of mechanical systems with symmetries and nonholonomic constraints | IEEE Conference Publication | IEEE Xplore