Towards Decision Support for Smart Energy Systems based on Spatio-temporal Models

This report presents our SmartSpace event handling framework for managing smart-grids and renewable energy installations. SmartSpace provides decision support for human stakeholders. Based on different datasources that feed into our framework, a variety of analysis and decision steps are supported. These decision steps are ultimately used to provide adequate information to human stakeholders. The paper discusses potential data sources for decisions around smart energy systems and introduces a spatio-temporal modeling technique for the involved data. Operations to reason about the formalized data are provided. Our spatio-temporal models help to provide a semantic context for the data. Customized rules allow the specification of conditions under which information is provided to stakeholders. We exemplify our ideas and present our demonstrators including visualization capabilities.

[1]  H. Farhangi,et al.  The path of the smart grid , 2010, IEEE Power and Energy Magazine.

[2]  Bernhard Schätz,et al.  Establishing a smart grid node architecture and demonstrator in an office environment using the SOA approach , 2012, 2012 First International Workshop on Software Engineering Challenges for the Smart Grid (SE-SmartGrids).

[3]  Srini Ramaswamy,et al.  Efficient incident handling in industrial automation through collaborative engineering , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

[4]  Davide Sangiorgi,et al.  Minimality Results for the Spatial Logics , 2003, FSTTCS.

[5]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[6]  Suraj S,et al.  Demand Side Management: Demand Response, Intelligent Energy Systems and Smart Loads , 2019, INTERNATIONAL JOURNAL OF ELECTRICAL ENGINEERING & TECHNOLOGY .

[7]  Jan Olaf Blech.  An Example for BeSpaceD and its Use for Decision Support in Industrial Automation , 2015, ArXiv.

[8]  Bruno Francois,et al.  Energy Management and Operational Planning of a Microgrid With a PV-Based Active Generator for Smart Grid Applications , 2011, IEEE Transactions on Industrial Electronics.

[9]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[10]  Silvano Dal-Zilio,et al.  A logic you can count on , 2004, POPL.

[11]  Alois Zoitl,et al.  Remote monitoring infrastructure for IEC 61499 based control software , 2016, 2016 8th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT).

[12]  Johannes Pfeffer,et al.  ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability , 2013, Future Internet Assembly.

[13]  Jan Olaf Blech,et al.  Spatio-temporal reasoning and decision support for smart energy systems , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[14]  Camilo Rueda,et al.  An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic , 2015, PPDP.

[15]  Luca Cardelli,et al.  A Spatial Logic for Concurrency (Part II) , 2002, CONCUR.

[16]  Krzysztof Iniewski,et al.  Smart Grid Infrastructure & Networking , 2012 .

[17]  Steffen Staab,et al.  OntoEdit: Collaborative Ontology Development for the Semantic Web , 2002, SEMWEB.

[18]  Jan Olaf Blech,et al.  Visualization facilities for distributed and remote industrial automation: VxLab , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

[19]  Srini Ramaswamy,et al.  C-FaRM: A collaborative and context aware framework for requirements management , 2011, 2011 4th International Workshop on Managing Requirements Knowledge.

[20]  James Harland,et al.  Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation , 2016, ENASE.

[21]  Anthony G. Cohn,et al.  Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning , 2002, Applied Intelligence.

[22]  Jan Olaf Blech,et al.  Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11 , 2015, 2015 IEEE 39th Annual Computer Software and Applications Conference.

[23]  Taskin Koçak,et al.  Smart Grid Technologies: Communication Technologies and Standards , 2011, IEEE Transactions on Industrial Informatics.

[24]  Jan Olaf Blech,et al.  Behavioral Types for Space-aware Systems , 2015, ACES-MB&WUCOR@MoDELS.

[25]  Simon Hordvik,et al.  A Methodology for Model-based Development and Safety Analysis of Transport Systems , 2016, ENASE.

[26]  Jan Olaf Blech,et al.  The Virtual Experiences Portals - A Reconfigurable Platform for Immersive Visualization , 2016, AVR.

[27]  Alois Zoitl,et al.  Cloud Based Monitoring of Timed Events for Industrial Automation , 2015, 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS).

[28]  Jan Olaf Blech,et al.  BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems , 2014, ArXiv.

[29]  Jan Olaf Blech,et al.  A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems , 2016, Int. J. Web Serv. Res..

[30]  Chih-Hong Cheng,et al.  Semantic degrees for Industrie 4.0 engineering: deciding on the degree of semantic formalization to select appropriate technologies , 2015, ESEC/SIGSOFT FSE.

[31]  Jan Olaf Blech,et al.  Operators for Space and Time in BeSpaceD , 2016, ArXiv.

[32]  B.F. Wollenberg,et al.  Toward a smart grid: power delivery for the 21st century , 2005, IEEE Power and Energy Magazine.

[33]  Jan Olaf Blech,et al.  Towards Modeling and Checking the Spatial and Interaction Behavior of Widely Distributed Systems , 2013 .

[34]  Luca Cardelli,et al.  A spatial logic for concurrency (part I) , 2003, Inf. Comput..

[35]  Jan Olaf Blech,et al.  Service Virtualization for Self-adaptation in Mobile Cyber-Physical Systems , 2016, ICSOC Workshops.

[36]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[37]  Juan Chen,et al.  A survey of qualitative spatial representations , 2013, Knowledge engineering review (Print).

[38]  Jan Olaf Blech,et al.  A software framework for augmented reality-based support of industrial operations , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[39]  Jan Olaf Blech,et al.  Towards Verifying Safety Properties of Real-Time Probabilistic Systems , 2014, FESCA.

[40]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.

[41]  Srini Ramaswamy,et al.  Collaborative engineering through integration of architectural, social and spatial models , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[42]  Peter Palensky,et al.  Demand Side Management: Demand Response, Intelligent Energy Systems, and Smart Loads , 2011, IEEE Transactions on Industrial Informatics.