Set-Valued Approach to Hamilton-Jacobi-Bellman Equations