Exponential stabilization of mobile robots with nonholonomic constraints | Synapse