A multi-objective optimization approach for the design of stand-alone electrification systems based on renewable energies