• Forschungsinteressen

    Meine Forschung befasst sich mit der formalen Analyse von Simulink-Modellen unter Unsicherheiten. Simulink ist eine in der Industrie weit verbreitete Modellierungssprache. Im Mittelpunkt steht die Entwicklung einer modularen Transformation stochastischer Simulink-Modelle in stochastische hybride Automaten. Der resultierende Automat kann anschließend mit Werkzeugen wie RealySt oder mit Tools für Statistical Model Checking wie modes analysiert werden, um Erreichbarkeitswahrscheinlichkeiten zu bestimmen. Derzeit arbeiten wir daran, diesen quantitativen Ansatz mit einer qualitativen Analyse zu kombinieren.