Seguir
Ben Wooding
Ben Wooding
EPSRC Doctoral Prize Fellow, Newcastle University
Dirección de correo verificada de newcastle.ac.uk - Página principal
Título
Citado por
Citado por
Año
Data-driven abstraction-based control synthesis
M Kazemi, R Majumdar, M Salamati, S Soudjani, B Wooding
Nonlinear Analysis: Hybrid Systems 52, 101467, 2024
322024
ARCH-COMP20 Category Report: Stochastic Models.
A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, ...
ARCH, 76-106, 2020
182020
Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles
B Wooding, V Vahidinasab, S Soudjani
2020 International Conference on Smart Energy Systems and Technologies (SEST …, 2020
102020
Tuning Robotti: the machine-assisted exploration of parameter spaces in multi-models of a cyber-physical system
S Bogomolov, J Fitzgerald, FF Foldager, C Gamble, PG Larsen, K Pierce, ...
Proceedings of the 18th International Overture Workshop, 50-64, 2021
62021
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
B Wooding, V Horbanov, A Lavaei
arXiv preprint arXiv:2404.14804, 2024
52024
Robust simulation functions with disturbance refinement
B Wooding, A Lavaei, V Vahidinasab, S Soudjani
2023 European Control Conference (ECC), 1-6, 2023
42023
Using formal methods and proof to verify a cando epilepsy medical device
B Wooding
Master’s thesis, School of Computing Science, Newcastle University UK, 2019
42019
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems
B Wooding, A Lavaei
International Conference on Quantitative Evaluation of Systems and Formal …, 2024
32024
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
B Wooding, A Lavaei, S Soudjani
arXiv preprint arXiv:2307.03467, 2023
32023
Operation and control of a population of active buildings at network level
B Wooding, V Vahidinasab, S Soudjani
Active Building Energy Systems: Operation and Control, 193-218, 2021
32021
Control and management of active buildings
B Wooding, V Vahidinasab, M Kazemi, S Soudjani
Active Building Energy Systems: Operation and Control, 161-192, 2021
22021
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees
B Wooding, A Lavaei
Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024
12024
A logic-based resilience metric for water resource recovery facilities
AS Laino, B Wooding, S Soudjani, RJ Davenport
Environmental Science: Water Research & Technology, 2024
2024
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
O Schön, S Naseer, B Wooding, S Soudjani
IFAC-PapersOnLine 58 (11), 115-122, 2024
2024
Model-Based and Data-Driven Formal Synthesis of Power Systems
B Wooding
Newcastle University, 2023
2023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15