Text this: Infinite-horizon optimal control in the discrete-time framework /