Formal validation of supervisory energy management systems for microgrids

Gayathri Sugumar, R. Selvamuthukumaran, T. Dragicevic, U. Nyman, K. G. Larsen, F. Blaabjerg

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

8 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017
Number of pages6
PublisherIEEE Press
Publication dateOct 2017
Pages1154-1159
ISBN (Electronic)978-1-5386-1127-2
DOIs
Publication statusPublished - Oct 2017
Event43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017 - Beijing, China
Duration: 29 Oct 20171 Nov 2017

Conference

Conference43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017
CountryChina
CityBeijing
Period29/10/201701/11/2017
SponsorChinese Association of Automation (CAA), Chinese Power Supply Society, et al., IEEE Industrial Electronics Society (IES), Systems Engineering Society of China, The Institute of Electrical and Electronics Engineers (IEEE)

Keywords

  • Microgrid (MG)
  • Energy storage
  • Formal methods
  • Photovoltaic system
  • Verification

Fingerprint Dive into the research topics of 'Formal validation of supervisory energy management systems for microgrids'. Together they form a unique fingerprint.

Cite this