Ben Wooding

Headshot-Wooding

I am an EPSRC Doctoral Prize Fellow in the School of Computing at Newcastle University. I am researching a project titled “Reliable AI-Enabled Design of Cyber-Physical Systems” working closely with Dr Abolfazl Lavaei.

My PhD thesis was “Model-Based and Data-Driven Formal Synthesis of Power Systems” supervised by Dr Sadegh Soudjani, funded by an EPSRC Studentship (EP/R51309X/1). My research focused on the intersection of formal methods in computer science and control theory, applied to power system primary frequency regulation.

In 2019, I completed an integrated Masters degree in Computer Science (Security and Resilience) with 1st Class Honours also at Newcastle University. For the project and dissertation, I received 92%.

I have contributed to the international academic community with published works, conference presentations, program committee memberships, and paper reviews. Published works of particular note are conference works at European Control Conference (ECC)Analysis and Design of Hybrid Systems (ADHS)Quantitative Evaluation of SysTems (QEST)Hybrid Systems: Computation and Control (HSCC), and a work in the Nonlinear Analysis: Hybrid Systems (NAHS) journal. I contributed two chapters to the book Active Building Energy Systems: Operation and Control.

At Newcastle University, I have been the chair of AMBER, given multiple internal research presentations, and assisted widely by teaching as a demonstrator and with marking. I have experience with supervising PhD, MSc and BSc student projects. Alongside these, I have previously led the team for research communication and dissemination for the HyCoDeV Lab.

Headshot-Wooding

I am an EPSRC Doctoral Prize Fellow in the School of Computing at Newcastle University. I am researching a project titled “Reliable AI-Enabled Design of Cyber-Physical Systems” working closely with Dr Abolfazl Lavaei.

My PhD thesis was “Model-Based and Data-Driven Formal Synthesis of Power Systems” supervised by Dr Sadegh Soudjani, funded by an EPSRC Studentship (EP/R51309X/1). My research focused on the intersection of formal methods in computer science and control theory, applied to power system primary frequency regulation.

In 2019, I completed an integrated Masters degree in Computer Science (Security and Resilience) with 1st Class Honours also at Newcastle University. For the project and dissertation, I received 92%.

I have contributed to the international academic community with published works, conference presentations, program committee memberships, and paper reviews. Published works of particular note are conference works at European Control Conference (ECC), Analysis and Design of Hybrid Systems (ADHS), Quantitative Evaluation of SysTems (QEST), Hybrid Systems: Computation and Control (HSCC), and a work in the Nonlinear Analysis: Hybrid Systems (NAHS) journal. I contributed two chapters to the book Active Building Energy Systems: Operation and Control.

At Newcastle University, I have been the chair of AMBER, given multiple internal research presentations, and assisted widely by teaching as a demonstrator and with marking. I have experience with supervising PhD, MSc and BSc student projects. Alongside these, I have previously led the team for research communication and dissemination for the HyCoDeV Lab.

Google Scholar API

Article Authors Year Citations
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence GuaranteesB Wooding, A Lavaei20241
Data-driven abstraction-based control synthesisM Kazemi, R Majumdar, M Salamati, S Soudjani, B Wooding202423
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial SystemsB Wooding, V Horbanov, A Lavaei2024
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic SystemsB Wooding, A Lavaei20241
Formal Control of New England 39-Bus Test System: An Assume-Guarantee ApproachB Wooding, A Lavaei, S Soudjani20233
Robust simulation functions with disturbance refinementB Wooding, A Lavaei, V Vahidinasab, S Soudjani20233
Model-Based and Data-Driven Formal Synthesis of Power SystemsB Wooding2023
Control and management of active buildingsB Wooding, V Vahidinasab, M Kazemi, S Soudjani20212
Operation and control of a population of active buildings at network levelB Wooding, V Vahidinasab, S Soudjani20213
Tuning Robotti: the machine-assisted exploration of parameter spaces in multi-models of a cyber-physical systemS Bogomolov, J Fitzgerald, FF Foldager, C Gamble, PG Larsen, K Pierce, …20215
ARCH-COMP20 Category Report: Stochastic Models.A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, …202015
Formal Controller Synthesis for Frequency Regulation Utilising Electric VehiclesB Wooding, V Vahidinasab, S Soudjani202010
Using formal methods and proof to verify a cando epilepsy medical deviceB Wooding20192
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal VerificationO Schön, S Naseer, B Wooding, S Soudjani