MoVeS proposes novel methods for modeling, analysis and control of complex, large scale systems. Fundamental research is motivated by applied problems in power networks.
The framework of stochastic hybrid systems (SHS) is adopted, which allows one to capture the interaction between continuous dynamics, discrete dynamics and probabilistic uncertainty.
Our multi-disciplinary team, which brings together experts on all the state of the art SHS methods, will establish links between model checking and theorem proving methods developed in computer science, and optimal control and randomized methods developed in control engineering, so as to exploit their synergies and develop combined strategies and tools to enable novel applications to complex, large scale systems.
Power networks case studies will provide a testing ground for the fundamental developments, motivate them, and keep them focused.