# Formal validation of supervisory energy management systems for microgrids

> Research article (IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, 2017) · cited 13× · AI/ML

**Wikidata**: [openalex:W2774758972](https://www.wikidata.org/wiki/openalex:W2774758972)  
**Source**: https://4ort.xyz/entity/formal-validation-of-supervisory-energy-management-systems-for-microgrids