On mechanical control systems with nonholonomic constraints and symmetries | IEEE Conference Publication | IEEE Xplore