Dynamic programming equations for constrained stochastic control | IEEE Conference Publication | IEEE Xplore