# Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles

> Research article (2020 International Conference on Smart Energy Systems and Technologies (SEST), 2020) · cited 10× · AI/ML

**Wikidata**: [openalex:W3021850350](https://www.wikidata.org/wiki/openalex:W3021850350)  
**Source**: https://4ort.xyz/entity/formal-controller-synthesis-for-frequency-regulation-utilising-electric-vehicles