  We briefly review the notion of second order constrained (continuous) system
(SOCS) and then propose a discrete time counterpart of it, which we naturally
call discrete second order constrained system (DSOCS). To illustrate and test
numerically our model, we construct certain integrators that simulate the
evolution of two mechanical systems: a particle moving in the plane with
prescribed signed curvature, and the inertia wheel pendulum with a Lyapunov
constraint. In addition, we prove a local existence and uniqueness result for
trajectories of DSOCSs. As a first comparison of the underlying geometric
structures, we study the symplectic behavior of both SOCSs and DSOCSs.
