A Cost-Energy Trade-Off Model in Smart Energy Grids

The growing application of ICT in the management of power generation and distribution plants is one of most sensitive case studies in the field of cyber-physical systems. At the date, several technologies and devices are present to improve the efficiency of these infrastructures giving to system engineers and practitioners a good set of mechanisms to optimise energy efficiency of the nodes. This paper defines a quantitative model that can be used to choose the smart-home logic able to maximise acquired/consumed energy and minimise costs. The model is based on the Fluid Stochastic Petri Net formalism and has been built according to compositional modelling approaches.