RT Monograph SR 00 A1 Aubin, J.-P. A1 Frankowska, H. T1 The Viability Kernel Algorithm for Computing Value Functions of Infinite Horizon Optimal Control Problems YR 1995 FD 1995-09 SP 26 AB We characterize in this paper the epigraph of the value function of a discounted infinite horizon optimal control problem as the viability kernel of an auxiliary differential inclusion. Then the viability kernel algorithm applied to this problem provides the value function of the discretized optimal control problem as the supremum of a nondecreasing sequence of functions iteratively defined. We also use the fact that an upper Painleve-Kuratowski limit of closed viability domains is a viability domain to prove the convergence of the discrete value functions. PB WP-95-098 PP IIASA, Laxenburg, Austria AV Published LK https://pure.iiasa.ac.at/id/eprint/4498/