Hamilton-Jacobi characterization of the state constrained value

A proximal Hamilton-Jacobi characterization of the value function of a state constrained optimal control problem is obtained by exploiting trajectory tracking properties relative to inner approximations of the constraint set. The result is shown to be easily rephrasable in terms of Soner's constrained viscosity solution concept.