MoVeS

Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances

Bild

Ziele

Viele Phänomene im Bereich von Energienetzen (kontinuierliche Dynamik bei der Entwicklung von Spannung und Frequenz, diskrete Änderungen in der Netzwerktopologie, Unsicherheiten in der Frage vom Leistungsanforderungen und -verbrauch) erfordern Methoden für die Bewertung von stochastisch hybriden Systemen. Keine der derzeitigen Methoden ist aber in der Lage alle obigen Aspekte für Systeme realistischer Größenordungen zu adressieren, da die Methoden - von unterschiedlichen Interessen getrieben - weitestgehend unabhängig voneinander entwickelt wurden.

Im MoVeS Projekt sollen daher die Synergien systematisch herausgearbeitet werden. Insbesondere sollen hierzu die Notwendigen Verbindungen zwischen den relevanten Methoden (Model Checking, Theorem Beweiser, Optimale Kontrolle und Randomisierte Methoden) etabliert werden.