Thom Badings
Cited by
Cited by
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
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
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
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
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
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
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
T Badings, L Romao, A Abate, D Parker, HA Poonawala, M Stoelinga, ...
Journal of Artificial Intelligence Research 76, 341-391, 2023
Demand flexibility management for buildings-to-grid integration with uncertain generation
V Rostampour, TS Badings, JMA Scherpen
Energies 13 (24), 6532, 2020
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
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
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
Decision-making under uncertainty: beyond probabilities
T Badings, TD Simão, M Suilen, N Jansen
arXiv preprint arXiv:2303.05848, 2023
Buildings-to-Grid Integration for Demand-Side Flexibility in Power Systems with Uncertain Generation
T Badings
Efficient Sensitivity Analysis for Parametric Robust Markov Chains
T Badings, S Junges, A Marandi, U Topcu, N Jansen
arXiv preprint arXiv:2305.01473, 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
Data Validation and Reconciliation for the Assessment of Gas Transport Systems
T Badings
Buildings-To-Grid Integration with High Wind Power Penetration
VR Samarin, T Badings, JMA Scherpen
58th Conference on Decision and Control (CDC2019), 2019
Design of the Cooling System of the PLATO Camera Test Facility
TS Badings
Faculty of Science and Engineering, 2017
Design of the Liquid Handling in a Continuous 96-Well Microbioreactor System
TS Badings
Faculty of Science and Engineering, 2016
The system can't perform the operation now. Try again later.
Articles 1–19