Control of Mechanical Systems With Rolling Constraints | Synapse