Formal validation of supervisory energy management systems for microgrids

Gayathri Sugumar, Rajasekar Selvamuthukumaran, Tomislav Dragicevic, Ulrik Nyman, Kim G. Larsen, Frede Blaabjerg. Formal validation of supervisory energy management systems for microgrids. In IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017. pages 1154-1159, IEEE, 2017. [doi]

Authors

Gayathri Sugumar

This author has not been identified. Look up 'Gayathri Sugumar' in Google

Rajasekar Selvamuthukumaran

This author has not been identified. Look up 'Rajasekar Selvamuthukumaran' in Google

Tomislav Dragicevic

This author has not been identified. Look up 'Tomislav Dragicevic' in Google

Ulrik Nyman

This author has not been identified. Look up 'Ulrik Nyman' in Google

Kim G. Larsen

This author has not been identified. Look up 'Kim G. Larsen' in Google

Frede Blaabjerg

This author has not been identified. Look up 'Frede Blaabjerg' in Google