Nonholonomic systems with inequality constraints

In this paper we derive the equations of motion for nonholonomic systems subject to inequality constraints, both, in continuous-time and discrete-time. The last is done by discretizing the continuous time-variational principle which defined the equations of motion for a nonholonomic system subject to inequality constraints. An example is show to illustrate the theoretical results.