stochastic_control: add the bellman equation a la Boyd