Vitalsource Technologies, Inc. Infinite-Horizon Optimal Control in the Discrete-Time Framework