TY  - RPRT
TI  - Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications
AU  - Zhe Xu
AU  - Agung Julius
AU  - Ufuk Topcu
AU  - Joe H. Chow
PY  - 2019
UR  - https://arxiv.org/abs/1911.11347
ID  - 1911.11347
ER  -