Observability optimization for the nonholonomic integrator | Synapse