Procedure for obtaining finite-state approximations to uncountable-state dynamic programs when the state space need not be compact. Except in rare cases, it is necessary to discretize uncountable-state dynamic programs to obtain even an approximate s...