Application of distributed graph transformations to automated generation of control patterns for intelligent lighting systems

Designing a large infrastructure, such as a street lighting system, is a complex task itself especially in the context of Smart City and Smart Grid approaches. The problem is made even harder if it needs to be designed with control in mind. To facilitate a complex design process without losing fidelity, a graph-based formalism, namely General Environment Model (GEM), is proposed to be applied to model such an environment. Moreover, another graph-based model, namely Control Availability Graph or shortly CAG, is proposed to enable definition of routines for dynamic control of large-scale systems. Both of these models have been verified in practice, but the transition from GEM to CAG had been performed manually. In this paper, we propose a coherent, formal method of generating a control system from the graph-based environment description while taking into account the designer's decisions. An application of the generated CAG as a control system yields up to 34% of energy consumption reduction in a pilot deployment of over 3500 light points for the city of Krakow, Poland.