We derive a representation of the minimum cost of an optimal control problem in terms of the upper envelope of generalized semisolutions of the Hamilton--Jacobi equation.