Solvability in infinite horizon optimization

We give necessary and sufficient conditions for finite detection of an optimal initial decision for infinite horizon optimization under a broad set of assumptions and provide an algorithm that is guaranteed to solve every solvable problem under these assumptions. We illustrate the theory and algorithms developed with applications in production planning.