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.

Selected Items

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!

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.

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, 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.

Get In Touch.

Please fill in the form below, and I will get back to you as soon as possible.

Error boy
Your message was sent, thank you!