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

11 Citations (Scopus)

Abstract

An energy management system of a microgrid (MG) has several basic objectives; e.g. to maximize the utilization of renewable energy resources (RES), to protect the internal components from overloading, and to ensure that the MG operates reliably under any operating conditions. Although many control techniques are available in the literature to monitor and control the energy flows among distributed RES in MGs, formal verification of those techniques was not proposed yet. The emphasis of this paper is to design and validate energy management system for a MG which consists of a solar photovoltaic (PV) array, a pair of battery energy storage systems (BESes), a diesel generator (DG) and a load (LD). The physics and dynamics of the MG are defined as energy flow invariants and the designed behaviours are abstracted, modelled and validated in this work. Therefore, we have considered an invariant based flow technique to manage the energy flow in an MG. The results are validated and verified with UPPAAL, a powerful industrial tool which is commonly used to verify the correctness of real-time systems like supervisory controllers, communication protocols and others.
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
Country/TerritoryChina
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