Differential equations constrained by algebraic equations and inequalities on the states occur naturally in the modeling of many engineering systems such as simulation and control of multibody dynamical systems and electrical ...