Mathis Niehage
Researcher (PhD Student)
mathis.niehage@wwu.de
Consultation hours: by Arrangement.
Researcher (PhD Student)
Room 201
T: +49 251 83-32702mathis.niehage@wwu.de
Consultation hours: by Arrangement.
Research interests
- Analysis and simulation of hybrid systems
- Development of tools for the simulation of Hybrid Petri nets with random variables (HPnGs)
HYPEG (Java library)
- Extensions of Hybrid Petri nets with general transitions
- Reinforcement Learning in stochastic hybrid systems
- Nondeterminism and its resolution with optimizing schedulers
Publications
- . . ‘Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty.’ In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, edited by , 299–319. Rhodes, Greece: Springer. doi: 10.1007/978-3-031-19849-6_18.
- . . ‘Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty.’ In Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings, edited by , 298–306. Warsaw, Poland: Springer. doi: 10.1007/978-3-031-15839-1_17.
- . . ‘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. München: 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.
- . . ‘Learning optimal decisions for stochastic hybrid systems.’ In MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021, edited by , 44–55. Virtual Event, China: Association for Computing Machinery. doi: 10.1145/3487212.3487339.
- . . ‘Simulating Hybrid Petri nets with general transitions and non-linear differential equations.’ Contributed to the 13thth EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2020, Tsukuba, Japan, May 18-20, 2020, Tsukuba, Japan. doi: 10.1145/3388831.3388842.
- . . ‘HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems.’ Contributed to the 26th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2018, Milwaukee, WI, USA, September 25-28, 2018, Milwaukee. doi: 10.1109/MASCOTS.2018.00024.
Teaching
- Projektseminar: Capstone Project: Malware, Botnets and Co. [104768]
(in cooperation with Dr. Dietmar Lammers)
[ - | | Blockveranstaltung (Mo-Fr) | Mathis Niehage]
- Oberseminar: Advanced Seminar "Parallel and Distributed Systems" [102061]
(in cooperation with Joanna Delicaris, Prof. Dr. Anne Remke, Jonas Stübbe, Pauline Blohm)
[ - | | wöchentlich | Do. | SRZ 202 | Mathis Niehage] - Vorlesung: Selected topics of safety critical systems [102062]
(in cooperation with Prof. Dr. Anne Remke)
[ - | | wöchentlich | Di. | SRZ 205 | Mathis Niehage]
[ - | | wöchentlich | Do. | SRZ 205 | Mathis Niehage]
- V/Ü: Lambda Calculus and Functional Programming Languages [100121]
(in cooperation with Dr. Dietmar Lammers) - V/Ü: Quantitative Model Checking [100092]
(in cooperation with Prof. Dr. Anne Remke, Pauline Blohm)
- V/Ü: Methods and Applications for Randomised Systems [108089]
(in cooperation with Joanna Delicaris, Prof. Dr. Anne Remke)
- Übung: Tutorial "Modeling and analysis of dynamic systems" [106034]
(in cooperation with Joanna Delicaris, Prof. Dr. Anne Remke) - Vorlesung: Modeling and analysis of dynamical systems [106033]
(in cooperation with Joanna Delicaris, Prof. Dr. Anne Remke)
- Übung: Tutorial Discrete Structures [104034]
(in cooperation with Joanna Delicaris, Prof. Dr. Anne Remke) - V/Ü: Compiler Construction [104118]
(in cooperation with Dr. Dietmar Lammers)
- V/Ü: Lambda Calculus and Functional Programming Languages [102117]
(in cooperation with Dr. Dietmar Lammers)
- Seminar: Variants of Hybrid Automata [100041]
(in cooperation with Joanna Delicaris, Prof. Dr. Anne Remke, Dr. Carina da Silva) - V/Ü: Compiler Construction [100116]
(in cooperation with Dr. Dietmar Lammers)
- V/Ü: Lambda Calculus and Functional Programming Languages [108125]
(in cooperation with Dr. Dietmar Lammers)
- Projektseminar: Capstone Project: Malware, Botnets and Co. [104768]