Coupled Intervals in the Discrete Optimal Control