![[Translate to english:]](/fileadmin/_processed_/2/7/csm__c__AdobeStock_ipopba_323829966_f7d2cf7d7d.jpeg)
Transparency und acceptance of self-x-systems The acceptance of autonomous, digitalised systems also depends on their ability to explain decisions in a transparent and comprehensible way. Furthermore, they should only use the necessary data and information for decisions and protect the privacy of the users. Proof of desirable system properties is also an important building block for building trust in self-x systems.
In self-x systems, intelligent agents make autonomous decisions that not only change the state of the cyber-physical system but can also have an impact on the human users. In our work on digitalised energy systems, a single agent usually monitors and controls an individual decentralised energy system - such as a battery storage unit, a heat pump or the flexible loads of a household - or a single controllable element of the energy system - such as a controllable local network station or a circuit breaker in the distribution network. Higher-level goals, such as the maximum use of local feed-in from renewable energy plants or compliance with specified voltage limits in the power grid, are pursued by the agents in a cooperative manner as a self-organising swarm. In doing so, the agents in the swarm negotiate independently among themselves what concrete contribution they can and want to make to the higher-level goal, considering their local goals and user preferences.
For the social acceptance of highly autonomous systems, it is essential, especially in the field of energy supply, that users can trust the system. Trust in technical systems has a multitude of complex, socio-technical facets. In our work, we focus on the aspects of explicability of decisions, data sparseness in swarm-based optimisation and the verifiability of desirable system properties in order to meet the requirements and needs of human users in a trustworthy manner. We are working intensively with the Energy Informatics group and the Digitalised Energy Systems group at the Carl von Ossietzky University in Oldenburg.
Explainable and self-explaining systems
A power grid agent decides in a critical situation to disconnect a certain section of the grid from the grid, cutting off power to hundreds of households. A battery storage swarm decides at an inopportune moment to fully load the storages, causing short-term economic disadvantages for the storage owners. In both cases, the question arises whether the decisions and the resulting actions of the agents were justified (e.g., to avoid major damage to the power grid), or whether it was an erroneous decision - or even malfunction - of the system. Especially in self-x systems, which do without a higher-level, central control instance, answering this question is not easy.
The highly topical research branch of Explainable Artificial Intelligence (XAI) is intensively concerned with being able to explain the decisions of individual agents based on the use of neural networks. Building on this work, to which the Power Systems Intelligence group of the Energy Division at OFFIS is also dedicated, we are investigating the possibility of explaining collective swarm behaviour. Hundreds of individual decisions may interact in an emergent way: The globally perceivable decision and the globally observable behaviour of a self-x system are composed of the local decisions and the local behaviour of the individual agents and their interaction. In this context, we are still at the very beginning of answering the question of how the behaviour of a self-x system can be explained. Initial conceptual approaches are based on the use of an external observer in the sense of the observer concept from organic computing; in the long term, however, the self-x system is to be put in the position of being able to independently generate transparent and comprehensible explanations for its behaviour and decisions in the sense of self-organisation.
Data-saving and privacy-preserving optimisation
Distributed algorithms and coordination procedures in agent systems are often based on consensus building. In order to reach an agreement on joint actions, the agents send each other messages with different options for action. For example, in a smart city district that is connected in terms of energy or in a virtual power plant with various individually operated systems, information about different electricity generation or consumption profiles is exchanged. Often, data on prices or costs are also required. Such information can be aggregated and further processed with suitable artificial intelligence methods to derive at least approximate data about internal structures and (business) processes.
We have already been able to demonstrate this data protection problem for operating and working hours by evaluating heating profiles, machine utilisation and individually negotiated, time-variable tariffs with the suppliers. In a similar way, it is also possible to determine the attendance times in private homes. Distributed agent systems will only gain acceptance in the long run if private data - especially sensitive business data - either do not have to be used for the fulfilment of the coordination task or at least do not have to be disclosed. To this end, we are developing approaches to encrypted optimisation that preserve privacy: Either only data that cannot be decrypted by other agents is revealed and computations are performed directly on the encrypted data, or the methods work according to the secret-sharing principle, where no agent alone possesses complete information and computations can only be performed in a jointly distributed manner. For this, the agent protocols used must be suitably adapted. The greatest challenge here is to maintain sufficient performance in the solution of the coordination task.
Verification of self-x-systems
The verification of properties of a self-x system is desirable and particularly necessary for use in critical infrastructure. A distinction can be made here between functional and formal verification. Functional verification attempts to prove that a system meets a certain specification. This proof can be provided by various means, e.g., tests, simulation, or formal verification. Formal verification is the proof of the correctness of the system by mathematical methods.
Self-X systems often have properties that pose great challenges for the usual techniques of formal verification. These include a high degree of decentralisation, asynchronous interactions, dynamic adaptations of the system structure at runtime, the interconnection of diverse systems, and usually the use of heuristic optimisation methods. The core problem is usually that the state space to be investigated quickly becomes too large to calculate results (a so-called "state space explosion").
To deal with one or more of these properties, various methods have been developed in recent years that, for example, map the allowed state space via a function or formally aggregate the agents of a swarm system into an overall system. We are working on developing similar methods for the constraints necessary in energy systems, making them effectively usable and thus creating trust in a future decentralised energy supply.
Contact
Persons 
F
G
Dr. rer. nat. Benjamin Giesers
E-Mail: benjamin.giesers(at)offis.de, Phone: +49 441 9722-747, Room: Flx-E
H
Dr. rer. nat. Stefanie Holly
E-Mail: stefanie.holly(at)offis.de, Phone: +49 441 9722-732, Room: Flx-E
O
R
S
T
Dr. rer. nat. Martin Tröschel
E-Mail: martin.troeschel(at)offis.de, Phone: +49 441 9722-150, Room: Flx-E
Projects
D
DEER
Dezentraler Redispatch (DEER): Schnittstellen für die Flexibilitätsbereitstellung
Duration: 2022 - 2025N
NFDI4Energy
National Research Data Infrastructure for the Interdisciplinary Energy System Research
Duration: 2023 - 2028R
REMARK
Resilienz im digitalisierten Stromsystem: Toolbox zur Bewertung von Systemdienstleistungsmärkten
Duration: 2022 - 2024W
WWNW
WärmewendeNordwest – Digitalisierung zur Umsetzung von Wärmewende- und Mehrwertanwendungen für Gebäude, Campus, Quartiere und Kommunen im Nordwesten
Duration: 2021 - 2025 Publications
2024
A Digital Infrastructure for Integrating Decentralized Assets Into Redispatch : Decentralized Redispatch (DEER): Interfaces for providing flexibility
Körner, Marc-Fabian and Nolting, Lars and Heeß, Paula and Schick, Leo and Lautenschlager, Jonathan and Zwede, Till and Ehaus, Marvin and Wiedemann, Stefanie and Babel, Matthias and Radtke, Malin; 2024
cosima-mango: Investigating Multi-Agent System robustness through integrated communication simulation
Emilie Frost and Malin Radtke and Marvin Nebel-Wenner and Frauke Oest and Sanja Stark; SoftwareX; 2024
Enabling Moral Agency in Distributed Energy Management An Ethics Score for Negotiations in Multi-Agent Systems
Malte Stomberg; Martin Tröschel; ACM SIGENERGY Energy Informatics Review; October / 2024
Enhancing Cyber-Physical Energy Systems Simulations Through Communication Behavior Classification
Radtke, Malin and Lehnhoff, Sebastian; European Simulation and Modelling Multiconference (ESM '24); Oktober / 2024
Mango.jl: A Julia-Based Multi-Agent Simulation Framework
Sager, Jens and Schrage, Rico; Journal of Open Source Software; October / 2024
mango: A modular python-based agent simulation framework
Rico Schrage and Jens Sager and Jan Philipp Hörding and Stefanie Holly; SoftwareX; 2024
Poster Abstract: Towards Online Meta-Modeling of Communication Networks in Energy Systems
Malin Radtke; ACM SIGEnergy Energy Informatics Review; Oktober / 2024
2023
A Multi-Criteria Metaheuristic Algorithm for Distributed Optimization of Electric Energy Storage
Schrage, Rico and Tiemann, Paul Hendrik and Niesse, Astrid; SIGENERGY Energy Inform. Rev.; feb / 2023
Applied Digital Twin Concepts Contributing to Heat Transition in Building, Campus, Neighborhood, and Urban Scale
Lesnyak, Ekaterina and Belkot, Tabea and Hurka, Johannes and Hörding, Jan Philipp and Kuhlmann, Lea and Paulau, Pavel and Schnabel, Marvin and Schönfeldt, Patrik and Middelberg, Jan; Big Data and Cognitive Computing; 2023
Coupling OMNeT++ and mosaik for integrated Co-Simulation of ICT-reliant Smart Grids
Frauke Oest, Emilie Frost, Malin Radtke, Sebastian Lehnhoff; ACM SIGENERGY Energy Informatics Review; 03 / 2023
