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

Abstract 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.

[1]  Igor Wojnicki,et al.  On Scalable, Event-Oriented Control for Lighting Systems , 2013, KES-AMSTA.

[2]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[3]  David E. Smith,et al.  Controlling Recursive Inference , 1986, Artif. Intell..

[4]  Xiaochun Qin,et al.  Design of Solar Optical Fiber Lighting System for Enhanced Lighting in Highway Tunnel Threshold Zone: A Case Study of Huashuyan Tunnel in China , 2015 .

[5]  Leila De Floriani,et al.  A hierarchical boundary model for solid object representation , 1988, TOGS.

[6]  Adam Sedziwy.  On Acceleration of Multi-Agent System Performance in Large Scale Photometric Computations , 2013, KES-AMSTA.

[7]  Barbara König,et al.  Construction of Pushout Complements in the Category of Hypergraphs , 2011 .

[8]  Frank van Harmelen,et al.  Applying rule-base anomalies to KADS inference structures , 1997, Decis. Support Syst..

[9]  A. Peña-García,et al.  Decrease of energy demands of lighting installations in road tunnels based in the forestation of portal surroundings with climbing plants , 2015 .

[10]  Adam Sędziwy,et al.  Representation of Objects in Agent-Based Lighting Design Problem , 2013 .

[11]  Igor Wojnicki,et al.  Economic Impact of Intelligent Dynamic Control in Urban Outdoor Lighting , 2016 .

[12]  Alie El-Din Mady,et al.  Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based Optimisation , 2010, SOCO.

[13]  Ardeshir Mahdavi.  Predictive simulation-based lighting and shading systems control in buildings , 2008 .

[14]  Barbara König.  Hypergraph Construction and Its Application to the Compositional Modelling of Concurrency (Extended version) , 2000 .

[15]  Adam Sȩdziwy.  Sustainable Street Lighting Design Supported by Hypergraph-Based Computational Model , 2015 .

[16]  Takeshi Nishida,et al.  Construction of Intelligent Lighting System Providing Desired Illuminance Distributions in Actual Office Environment , 2010, ICAISC.

[17]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .

[18]  Igor Wojnicki,et al.  Advanced street lighting control , 2014, Expert Syst. Appl..

[19]  Robert Milne,et al.  Gas-Turbine Condition Monitoring Using Qualitative Model-Based Diagnosis , 1997, IEEE Expert.

[20]  Leszek Kotulski,et al.  Multi-agent System Supporting Automated GIS-based Photometric Computations , 2016, ICCS.

[21]  Robert Moore,et al.  Process control with the G2 real-time expert system , 1988, IEA/AIE '88.

[22]  Tomoyuki Hiroyasu,et al.  Optimization of the Height of Height-Adjustable Luminaire for Intelligent Lighting System , 2010, ICAISC.

[23]  Igor Wojnicki,et al.  Two-level agent environment for intelligent lighting control , 2016 .

[24]  Leila De Floriani,et al.  Geometric modeling of solid objects by using a face adjacency graph representation , 1985, SIGGRAPH.

[25]  Chao Yang,et al.  Automatic Control System for Highway Tunnel Lighting , 2010, CCTA.

[26]  Ricardo Alberich,et al.  Single-pushout hypergraph rewriting through free completions , 1997 .

[27]  Thomas J. Laffey,et al.  Real-Time Knowledge-Based Systems , 1988, AI Mag..

[28]  Leszek Kotulski,et al.  Green AGH Campus , 2012, SMARTGREENS.