TY - RPRT TI - Synthesizing Distributed Energy Resources in Microgrids with Temporal Logic Specifications AU - Yichen Zhang AU - Mohammed Olama AU - Alexander Melin AU - Yaosuo Xue AU - Seddik Djouadi AU - Kevin Tomsovic PY - 2018 UR - https://arxiv.org/abs/1804.08209 ID - 1804.08209 ER -