Transforming nonholonomic control systems into the canonical contact form | IEEE Conference Publication | IEEE Xplore