MoVeS

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

Image

Goal

Several phenomena in the context of power systems, like continuous dynamics, evolution of voltages, frequencies, discrete dynamics changes in network topology, and the uncertainty about power demand and supply require models and analyses of stochastic hybrid systems. None of the methods currently available are powerful enough to deal with real life large scale applications. A key reason for this is that the methods have been developed by different communities in relative isolation, motivated by different applications.

In the MoVeS project synergies between the methods are systematically explored, in particular by establishing links between model checking, theorem proving, optimal control and randomized methods.