Energy-saving buildings assessment through stochastic hybrid model-based evaluation

Optimizing the energy consumption of buildings is an increasingly important topic in ICT. Smart Buildings monitor and control their energy consumptions and safety-related aspect through networks of sensors and actuators connected to the Internet. Policies of energy consumption can be adopted to optimize the interactions among the involved nodes, while satisfying required safety and reliability levels. Stochastic hybrid formalisms have been proved a viable solution for evaluating the effectiveness of energy saving solutions for Smart Buildings, to support tuning of the most suitable one.