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 language | English |
---|---|
Title of host publication | Proceedings of 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017 |
Number of pages | 6 |
Publisher | IEEE Press |
Publication date | Oct 2017 |
Pages | 1154-1159 |
ISBN (Electronic) | 978-1-5386-1127-2 |
DOIs | |
Publication status | Published - Oct 2017 |
Event | 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017 - Beijing, China Duration: 29 Oct 2017 → 1 Nov 2017 |
Conference
Conference | 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017 |
---|---|
Country/Territory | China |
City | Beijing |
Period | 29/10/2017 → 01/11/2017 |
Sponsor | Chinese 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