Modeling of Nonholonomic Dynamic Systems With Applications | Synapse