Coordinated Control of Wind Turbine Generator and Energy Storage System for Frequency Regulation under Temporal Logic Specifications | IEEE Conference Publication | IEEE Xplore