A Stochastic Dynamic Programming Model for Optimal Use of Local Energy Resources in a Market Environment | IEEE Conference Publication | IEEE Xplore