About Me

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 the topics of Planning under uncertainty, Reinforcement learning for continuous-state systems, and Formal verification for power systems.

Download my (usually outdated) CV

Selected Items

Nov 2021 - Accepted paper at AAAI 2022

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!

Read article

Feb 2021 - Paper accepted at NFM 2021!

Our paper Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids was accepted at the Nasa Formal Methods Symposium of 2021!

Read article

Dec 2020 - Journal article in Energies

Our work on Buildings-to-Grid integration as a method to unlock demand-side flexibility in the future power system has been published in Energies.

Read article

Publications

Next to the publications listed below, see also my Google Scholar profile or my DBLP entry.

Link	Journal and conference publications
PDF	Thom Badings, Alessandro Abate, David Parker, Nils Jansen, Hasan Poonawala & Marielle Stoelinga (2021). Sampling-based Robust Control of Autonomous Systems with Non-Gaussian Noise. arXiv preprint arXiv:2110.12662v2.
PDF	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.
PDF	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.
PDF	Thom Badings (2019). Buildings-to-Grid Integration for Demand-Side Flexibility in Power Systems with Uncertain Generation. University of Groningen, MSc thesis.

Thom Badings.