Johanna Nellen: A CEGAR Approach for the Reachability Analysis of Sequential Function Charts We address the safety analysis of chemical plants controlled by programmable logic controllers (PLCs). We consider sequential function charts (SFCs) for the programming of the PLCs, extended … Continue reading →
Präsentation von Christian Meirich: Erhöhung der Leistungsfähigkeit durch eine optimale Ausnutzung von Kapazitäten des Eisenbahnnetzen Im Eisenbahnwesen beschreibt die Kapazität die zulässige Anzahl an Zugfahrten auf einem Infrastrukturbereich innerhalb eines Zeitfensters. Derzeit ist es nicht möglich die einzelnen Kapazitäten von … Continue reading →
Machine Learning meets Formal Verification Abstract: We will discuss novel applications of state-of-the-art Machine Learning statistical tools to deal with uncertainty in Continuous Time Markov Chains, combining them with classic tools from formal methods, mainly Model Checking. Uncertain CTMC are … Continue reading →
Optimization of Railway-networks The background of this talk is the motivation to optimize the capacitive load in the field of railway operation research. Especially there are approaches of the strategic network planning in the field of the (German) Federal Transport … Continue reading →