TY  - RPRT
TI  - Hardware-in-the-loop Testing of Signal Temporal Logic Frequency Control in a Microgrid
AU  - Ferrari Maglia, Max
AU  - Olama, Mohammed M.
AU  - Ollis, Ben
PY  - 2020
UR  - https://www.osti.gov/biblio/1632098
ID  - 1632098
ER  -