TY  - RPRT
TI  - Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles
AU  - Ben Wooding
AU  - Vahid Vahidinasab
AU  - Sadegh Soudjani
PY  - 2020
DO  - 10.1109/sest48500.2020.9203234
UR  - https://arxiv.org/abs/2005.04053
ID  - 2005.04053
ER  -