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.
Fränzle, Martin and Hahn, Ernst Moritz Hahn and Hermanns, Holgers and Wolovick, Nicolas and Zhang, Lijun; Hybrid Systems: Computation and Control, 13th International Conference, HSCC 2011, Chicago, USA, Proceedings; 001 / 2011
Teige, Tino and Fränzle, Martin; Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems; 001 / 2011
Müllner, Nils and Theel, Oliver and Fränzle, Martin; Advanced Information Networking and Applications, International Conference on; 003 / 2012
Fränzle, Martin and Gerwinn, Sebastian and Kröger, Paul and Abate, Alessandro and Katoen, Joost-Pieter; Formal Modeling and Analysis of Timed Systems; 2015
Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin; Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK; 009 / 2012
Ellen, Christian and Fränzle, Martin and Gerwinn, Sebastian and Müllner, Nils; 009 / 2012
Müllner, Nils and Theel, Oliver and Fränzle, Martin; Journal of Computer and System Sciences (JCSS); 001 / 2013
Kamgarpour, Maryam and Ellen, Christian and Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Mathieu, Johanna L. and Müllner, Nils and Abate, Alessandro and Callaway, Duncan S. and Fränzle, Martin and Lygeros, John; Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid (IREP), 2013 IREP Symposium; 08 / 2013
Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Ellen, Christian and Fränzle, Martin and Abate, Alessandro; Quantitative Evaluation of Systems; 2014
Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin; International Journal on Software Tools for Technology Transfer; 2014