Title: Discrete time constrained optimal control