Joint scheduling of frequency control reserves and energy dispatch for islanded power systems | IEEE Conference Publication | IEEE Xplore