Follow
Thom Badings
Title
Cited by
Cited by
Year
Distributed building energy storage units for frequency control service in power systems
TS Badings, V Rostampour, JMA Scherpen
IFAC-PapersOnLine 52 (4), 228-233, 2019
82019
Data validation and reconciliation for error correction and gross error detection in multiphase allocation systems
TS Badings, DS van Putten
Journal of Petroleum Science and Engineering 195, 107567, 2020
52020
Demand flexibility management for buildings-to-grid integration with uncertain generation
V Rostampour, TS Badings, J Scherpen
Energies 13 (24), 6532, 2020
32020
Buildings-to-grid integration with high wind power penetration
V Rostampour, TS Badings, JMA Scherpen
2019 IEEE 58th Conference on Decision and Control (CDC), 2976-2981, 2019
32019
Scenario-Based Verification of Uncertain Parametric MDPs
TS Badings, M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu
arXiv preprint arXiv:2112.13020, 2021
12021
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
TS Badings, A Abate, N Jansen, D Parker, HA Poonawala, M Stoelinga
arXiv preprint arXiv:2110.12662, 2021
12021
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids
TS Badings, A Hartmanns, N Jansen, M Suilen
NASA Formal Methods Symposium, 1-18, 2021
12021
Buildings-to-Grid Integration for Demand-Side Flexibility in Power Systems with Uncertain Generation
T Badings
12019
Sampling-Based Verification of CTMCs with Uncertain Rates
TS Badings, N Jansen, S Junges, M Stoelinga, M Volk
arXiv preprint arXiv:2205.08300, 2022
2022
Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty
TS Badings, N Jansen, HA Poonawala, M Stoelinga
arXiv preprint arXiv:2103.02398, 2021
2021
Data Validation and Reconciliation for the Assessment of Gas Transport Systems
T Badings
2019
Buildings-To-Grid Integration with High Wind Power Penetration
VR Samarin, T Badings, JMA Scherpen
58th Conference on Decision and Control (CDC2019), 2019
2019
Design of the Cooling System of the PLATO Camera Test Facility
TS Badings
Faculty of Science and Engineering, 2017
2017
Design of the Liquid Handling in a Continuous 96-Well Microbioreactor System
TS Badings
Faculty of Science and Engineering, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–14