Login / Signup
Formal validation of supervisory energy management systems for microgrids.
Gayathri Sugumar
Rajasekar Selvamuthukumaran
Tomislav Dragicevic
Ulrik Nyman
Kim G. Larsen
Frede Blaabjerg
Published in:
IECON (2017)
Keyphrases
</>
management system
energy consumption
control system
process control
database management systems
energy efficiency
multiresolution
formal model
data sets
minimum energy
formal methods
formal specification
energy minimization
database
energy saving
multi agent systems
information retrieval
energy distribution