Global smooth time-varying exponential stabilization of nonholonomic chained form systems | IEEE Conference Publication | IEEE Xplore