Forschungsinteressen

  • Sicherheitsanalyse für kritische Infrastrukturen
  • Hybrid Petri nets (mit Zufallsvariablen) und ihre Erweiterungen
  • Zusammenhänge zwischen Hybrid Petri nets und Hybrid Automata
  • Entwicklung von Tools zur Analyse von Hybrid Petri nets

hpnmg (C++)

Lehre

Wintersemester 2019/20

Übung: Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108032]
(zusammen mit Prof. Dr. Anne Remke)
[10.10.2019 - 30.01.2020 | 12:00 - 14:00 | wöchentlich | Do. | M A 201 (SR 2) | Joanna Delicaris]

Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108030]
(zusammen mit Prof. Dr. Anne Remke)
[08.10.2019 - 21.01.2020 | 12:00 - 14:00 | wöchentlich | Di. | M B 6 (M 6)]
[11.10.2019 - 24.01.2020 | 12:00 - 14:00 | wöchentlich | Fr. | M B 6 (M 6)]