R Bellman 1957 dynamic-programming; modern Hamilton-Jacobi-Bellman PDE + viscosity-solutions Crandall-Lions 1983.