Research interests
My research is focused on the reachability analysis and the computation of optimal reachability probabilities in stochastic hybrid automata, esp. with continuous nondeterminism, e.g. rectangular automata with random clocks. Additionally I am interested in hybrid Petri nets (with general transitions) and their extensions, as well as the cohesion of hybrid Petri nets and hybrid automata, esp. with regards to the interplay of stochastic and nondeterministic behavior.
Currently, we are developing the tool RealySt, which focuses on computing reachability probabilities in stochastic hybrid automata with continuous nondeterminism.
Publications
- . . ‘RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.’ In Performance Evaluation Methodologies and Tools, edited by , 170–182. Heidelberg: Springer. doi: 10.1007/978-3-031-48885-6_11.
- . . ‘Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.’ In Theoretical Aspects of Software Engineering, edited by , 164–182. Heidelberg: Springer. doi: 10.1007/978-3-031-35257-7_10.
- . . ‘ARCH-COMP22 Category Report: Stochastic Models.’ In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), edited by , 113–141. Bramhall: EasyChair. doi: 10.29007/lsvc.
- . . ‘ARCH-COMP21 Category Report: Stochastic Models.’ In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 55–89. doi: 10.29007/dprv.
- . . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ ACM Transactions on Modeling and Computer Simulation 31, № 3: 1–37. doi: 10.1145/3449353.
- . . ‘ARCH-COMP20 Category Report: Stochastic Models.’ In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), edited by , 76–106. Bramhall: EasyChair. doi: 10.29007/mqzc.
- . . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ In Quantitative Evaluation of Systems, edited by , 182–199. Heidelberg: Springer. doi: 10.1007/978-3-030-30281-8_11.
Teaching
- Vorlesung: Modeling and analysis of dynamical systems [108086]
(in cooperation with Prof. Dr. Anne Remke, Jonas Stübbe, Pauline Blohm)
[ - | | wöchentlich | Fr. | M B 5 (M 5) | Joanna Delicaris]
[ - | | wöchentlich | Di | M B 5 (M 5) | Joanna Delicaris] - Tutorial "Modeling and analysis of dynamic systems" [108087]
(in cooperation with Prof. Dr. Anne Remke, Jonas Stübbe, Pauline Blohm)
[ - | | wöchentlich | Do | SRZ 202 | Joanna Delicaris]
[ | wöchentlich | Do | M A 503 (SR 5) | Joanna Delicaris] - Oberseminar: Advanced Seminar "Parallel and Distributed Systems" [102061]
(in cooperation with Mathis Niehage, Prof. Dr. Anne Remke, Jonas Stübbe, Pauline Blohm) - Vorlesung: Discrete Structures [108087]
(in cooperation with Prof. Dr. Anne Remke) - Tutorial Discrete Structures [108088]
(in cooperation with Prof. Dr. Anne Remke, Phil Steinhorst) - Methods and Applications for Randomised Systems [108089]
(in cooperation with Mathis Niehage, Prof. Dr. Anne Remke) - Vorlesung: Modeling and analysis of dynamical systems [106033]
(in cooperation with Mathis Niehage, Prof. Dr. Anne Remke) - Tutorial "Modeling and analysis of dynamic systems" [106034]
(in cooperation with Mathis Niehage, Prof. Dr. Anne Remke) - Vorlesung: Discrete Structures [104033]
(in cooperation with Dr. Carina da Silva, Prof. Dr. Anne Remke) - Tutorial Discrete Structures [104034]
(in cooperation with Mathis Niehage, Prof. Dr. Anne Remke) - Projektseminar: Efficient model checking of hybrid systems in multiple dimensions [102032]
(in cooperation with Dr. Stefan Alexander Schupp, Prof. Dr. Anne Remke) - Computer Networks and their Performance [102033]
(in cooperation with Prof. Dr. Anne Remke) - Vorlesung: Discrete Structures [100031]
(in cooperation with Dr. Carina da Silva, Prof. Dr. Anne Remke) - Seminar: Variants of Hybrid Automata [100041]
(in cooperation with Mathis Niehage, Dr. Carina da Silva, Prof. Dr. Anne Remke) - Tutorial Discrete Structures [100032]
(in cooperation with Dr. Carina da Silva, Prof. Dr. Anne Remke)
- Vorlesung: Modeling and analysis of dynamical systems [108086]