Micro-grid energy management: A computational approach based on simulation and approximate discrete abstraction.