Design optimisation of smart poly-generation energy districts through a model based approach