Formale Methoden und KI – Widerspruch oder Symbiose

Die intelligente Steuerung von kritischer Infrastruktur, wie zum Beispiel der Wasser- und Stromversorgung, ermöglicht es, verschiedene Zielsetzungen wie Nachhaltigkeit und Zuverlässigkeit ganzheitlich zu betrachten und mögliche Einsparpotenziale zu realisieren.

Viele Solaranlagen sind inzwischen schon mit einer Hausbatterie gekoppelt oder speisen überschüssige Energie in Elektroautos. Formale Modelle und Methoden können helfen, verschiedene Lade- und Entladestrategien gegeneinander abzuwägen und optimale Parametereinstellungen zu identifizieren.

Die größte Herausforderung bei der Modellierung von kritischen Infrastrukturen besteht in der Größe und der Komplexität der zu beschreibenden Systeme. Formale Methoden lassen sich allerdings in vielen Fällen nicht ohne weiteres auf Echtweltprobleme anwenden. Verfahren aus der modernen KI können hier mit sogenannten Blackbox-Modellen Abhilfe schaffen, allerdings sind die so erzielten Ergebnisse nicht direkt erklärbar.

Dieser Vortrag veranschaulicht anhand von verschiedenen Fallstudien aus dem Bereich der nachhaltigen Strom- und Wasserversorgung das Zusammenspiel von Formalen Methoden und KI mit dem Ziel der sicheren und nachhaltigen Strom- und Wasserversorgung.