Stochastic control in continuous time. Dynamic programming and the Hamilton-Jacobi-Bellman equation. Example: gas storage. Computationally simple trees for diffusions.
Formulation of the problem with a motivating example. Heuristics for the value function and its link with a variational inequality. Verification theorem.