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.
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 work on Buildings-to-Grid integration as a method to unlock demand-side flexibility in the future power system has been published in Energies.
|Link||Journal and conference publications|
|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.|
|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.|
|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.