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
Sampling-based robust control of autonomous systems with non-Gaussian noise
TS Badings, A Abate, N Jansen, D Parker, HA Poonawala, M Stoelinga
Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9669-9678, 2022
72022
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
Scenario-based verification of uncertain parametric MDPs
T Badings, M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu
International Journal on Software Tools for Technology Transfer 24 (5), 803-819, 2022
32022
Sampling-based verification of CTMCs with uncertain rates
TS Badings, N Jansen, S Junges, M Stoelinga, M Volk
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa …, 2022
32022
Demand flexibility management for buildings-to-grid integration with uncertain generation
V Rostampour, TS Badings, JMA 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
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids
TS Badings, A Hartmanns, N Jansen, M Suilen
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event …, 2021
22021
Filter-Based Abstractions for Safe Planning of Partially Observable Dynamical Systems
TS Badings, N Jansen, HA Poonawala, M Stoelinga
arXiv preprint arXiv:2103.02398, 2021
2*2021
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
T Badings, L Romao, A Abate, N Jansen
arXiv preprint arXiv:2210.05989, 2022
12022
Buildings-to-Grid Integration for Demand-Side Flexibility in Power Systems with Uncertain Generation
T Badings
12019
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions
T Badings, L Romao, A Abate, D Parker, HA Poonawala, M Stoelinga, ...
arXiv preprint arXiv:2301.01526, 2023
2023
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
L Rickard, T Badings, L Romao, N Jansen, A Abate
arXiv preprint arXiv:2212.00679, 2022
2022
Experiments for'Sampling-Based Verification of CTMCs with Uncertain Rates'
TS Badings, JSL Junges, NH Jansen, MIA Stoelinga, M Volk
Zenodo, 2022
2022
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–18