Formal validation of supervisory energy management systems for microgrids

  title={Formal validation of supervisory energy management systems for microgrids},
  author={Gayathri Sugumar and Rajasekar Selvamuthukumaran and Tomislav Dragicevic and Ulrik Nyman and Kim G. Larsen and Frede Blaabjerg},
  journal={IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society},
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… CONTINUE READING
0 Citations
22 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 22 references

Similar Papers

Loading similar papers…