Formal simulation model to optimize building sustainability
Defining formally building life cycle. Automatic simulation of the formal model. Co-simulation techniques use to improve the energy calculus. Test of the model and methodology with a real case. Obtaining an optimal solution for the proposed case study.
simulation optimization sustainability nzeb sdl energy demand