MoVeS Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances
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.
Wissenschaftliche Leitung
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
www.uni-oldenburg.de
www.ethz.ch
www.rwth-aachen.de/go/id/hi
www.elet.polimi.it/index.jsp
www.honeywell.com
Ihr Kontakt
Laufzeit
Ende: 30.09.2013
Website des Projekts
