I am a PhD candidate with the Department of Software Science at the Radboud University in Nijmegen, the Netherlands, under supervision of Dr. Nils Jansen and Prof. dr. Marielle Stoelinga. As a researcher, I am part of PrimaVera, an academic consortium on the topic of predictive maintenance. Before starting my PhD in September 2020, I studied Industrial Engineering and Management at the University of Groningen, with a specialization in Smart Systems in Control and Automation.
My primary research interests are on the intersection between Engineering, Systems & Control, and Formal Verification. While physical systems in the world of engineering are continuous, most digital solutions are designed for discrete systems. Bridging the gap between these two domains is important to solve real-world problems with digital tools, and is a recurring topic in my research. Currently, I am working on sequential decision making under uncertainty with correctness guarantees, with applications to autonomous and robotics systems, predictive maintenance, and electrical power systems.
Our paper "Sampling-Based Verification of CTMCs with Uncertain Rates" has been accepted at CAV 2022! We contribute a method for statistically correct verification of continuous-time Markov chains with unknown transition rates.
Our paper at AAAI 2022 has been selected as one of the six distinguished papers! The conference received 9251 submissions, of which 1349 were accepted for publication. Our paper constitutes the first approach to provide hard safety guarantees on the behavior of autonomous systems in continuous-space environments under stochastic uncertainty stemming from unknown distributions.
I am thrilled to share that our paper "Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise" has been accepted for presentation at the prestigious AAAI conference in 2022!
Our paper Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids was accepted at the Nasa Formal Methods Symposium of 2021!
Next to the publications listed below, see also my Google Scholar profile or my DBLP entry.
Link | Journal and conference publications |
---|---|
Thom Badings, Nils Jansen, Sebastian Junges, Marielle Stoelinga & Matthias Volk (2022). Sampling-Based Verification of CTMCs with Uncertain Rates. CAV 2022. | |
Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen & Ufuk Topcu (2022). Scenario-Based Verification of Uncertain Parametric MDPs. To appear in STTT (Special Issue TACAS 2020). | |
Thom Badings, Alessandro Abate, David Parker, Nils Jansen, Hasan Poonawala & Marielle Stoelinga (2022). Sampling-based Robust Control of Autonomous Systems with Non-Gaussian Noise. AAAI 2022 (distinguished paper). | |
Thom Badings, Nils Jansen, Hasan Poonawala & Marielle Stoelinga (2021). Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty. arXiv preprint arXiv:2103.02398. | |
DOI | Thom Badings, Arnd Hartmanns, Nils Jansen & Marnix Suilen (2021). Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. NFM 2021. |
DOI | Thom Badings & Dennis van Putten (2020). Data validation and reconciliation for error correction and gross error detection in multiphase allocation systems. Journal of Petroleum Science and Engineering, 195. |
Vahab Rostampour, Thom Badings & Jacquelien Scherpen (2020). Demand Flexibility Management for Buildings-to-Grid Integration with Uncertain Generation. Energies, 13(24). | |
DOI | Vahab Rostampour, Thom Badings & Jacquelien Scherpen (2019). Buildings-to-Grid Integration with High Wind Power Penetration. Proceedings of the 2019 IEEE 58th Conference on Decision and Control (CDC). |
DOI | Thom Badings, Vahab Rostampour & Jacquelien Scherpen (2019). Distributed Building Energy Storage Units for Frequency Control Service in Power Systems. IFAC-PapersOnLine, 52(4), 228–233. |
Link | Theses |
---|---|
Thom Badings (2019). Data Validation and Reconciliation for the Assessment of Gas Transport Systems. University of Groningen, MSc design project. | |
Thom Badings (2019). Buildings-to-Grid Integration for Demand-Side Flexibility in Power Systems with Uncertain Generation. University of Groningen, MSc thesis. |
Please fill in the form below, and I will get back to you as soon as possible.