Stochastic unit commitment and reserve scheduling: A tractable formulation with probabilistic certificates | IEEE Conference Publication | IEEE Xplore