Variational discretization for optimal control problems of nonholonomic mechanical systems | IEEE Conference Publication | IEEE Xplore