Discretization schemes for constraint stabilization in nonlinear differential-algebraic systems | IEEE Conference Publication | IEEE Xplore