Seguir
Thom Badings
Título
Citado por
Citado por
Ano
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
222023
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
212022
Probabilities are not enough: Formal controller synthesis for stochastic dynamical models with epistemic uncertainty
T Badings, L Romao, A Abate, N Jansen
Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 14701 …, 2023
142023
Sampling-based verification of ctmcs with uncertain rates
TS Badings, N Jansen, S Junges, M Stoelinga, M Volk
International Conference on Computer Aided Verification, 26-47, 2022
142022
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
112022
Decision-making under uncertainty: beyond probabilities: Challenges and perspectives
T Badings, TD Simão, M Suilen, N Jansen
International Journal on Software Tools for Technology Transfer 25 (3), 375-391, 2023
102023
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
92020
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
Demand flexibility management for buildings-to-grid integration with uncertain generation
V Rostampour, TS Badings, JMA Scherpen
Energies 13 (24), 6532, 2020
62020
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
52019
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
3*2021
Filter-Based Abstractions for Safe Planning of Partially Observable Dynamical Systems
TS Badings, N Jansen, HA Poonawala, M Stoelinga
arXiv e-prints, arXiv: 2103.02398, 2021
3*2021
Formal controller synthesis for markov jump linear systems with uncertain dynamics
L Rickard, T Badings, L Romao, A Abate
International Conference on Quantitative Evaluation of Systems, 10-29, 2023
22023
Buildings-to-Grid Integration for Demand-Side Flexibility in Power Systems with Uncertain Generation
T Badings
12019
CTMCs with imprecisely timed observations
T Badings, M Volk, S Junges, M Stoelinga, N Jansen
International Conference on Tools and Algorithms for the Construction and …, 2024
2024
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
T Badings, L Romao, A Abate, N Jansen
arXiv preprint arXiv:2404.01726, 2024
2024
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions
T Badings, N Jansen, L Romao, A Abate
arXiv preprint arXiv:2311.09786, 2023
2023
Efficient Sensitivity Analysis for Parametric Robust Markov Chains
T Badings, S Junges, A Marandi, U Topcu, N Jansen
International Conference on Computer Aided Verification, 62-85, 2023
2023
Robust Abstraction-Based Planning in Stochastic Dynamical Models with Epistemic Uncertainty
TS Badings, L Romao, A Abate, N Jansen
Delft: TU Delft OPEN Publishing, 2023
2023
Correct-by-construction reach-avoid control of partially observable linear stochastic systems
T Badings, HA Poonawala, M Stoelinga, N Jansen
arXiv preprint arXiv:2103.02398, 2021
2021
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20