Ben 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”.

My PhD thesis was “Model-Based and Data-Driven Formal Synthesis of Power Systems” supervised by Dr Sadegh Soudjani, funded by an EPSRC Studentship. 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 and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS)Hybrid Systems: Computation and Control (HSCC), and recent journal works in Nonlinear Analysis: Hybrid Systems (NAHS) and Environmental Science: Water Research & Technology. I contributed two chapters to the book Active Building Energy Systems: Operation and Control.

At Newcastle University, I have been the chair of AMBER (involved coordinating regular seminars), 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.

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”.

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

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 and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS), Hybrid Systems: Computation and Control (HSCC), and recent journal works in Nonlinear Analysis: Hybrid Systems (NAHS) and Environmental Science: Water Research & Technology. I contributed two chapters to the book Active Building Energy Systems: Operation and Control.

At Newcastle University, I have been the chair of AMBER (involved coordinating regular seminars), 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 previously led the team for research communication and dissemination for the HyCoDeV Lab.

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%.

In-Person Invited Talks

  • TU Eindhoven – upcoming – Feb 2025
  • Lancaster University – upcoming – Dec 2024
  • Kings College London (KCL) – Software Systems Group (SSY) – Nov 2024
  • Edinburgh University – Institute of Perception, Action and Behaviour (IPAB)  – Nov 2024
  • Durham University – Scientific Computing Group (SciComp) – Nov 2024

Google Scholar API

A collection of my recent publications have been scraped from Google Scholar below:

Title Cited by Year
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

3 2024
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

1 2024
Data-driven abstraction-based control synthesis

M Kazemi, R Majumdar, M Salamati, S Soudjani, B Wooding

Nonlinear Analysis: Hybrid Systems 52, 101467, 2024

32 2024
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems

B Wooding, V Horbanov, A Lavaei

arXiv preprint arXiv:2404.14804, 2024

5 2024
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
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

3 2023
Robust simulation functions with disturbance refinement

B Wooding, A Lavaei, V Vahidinasab, S Soudjani

2023 European Control Conference (ECC), 1-6, 2023

4 2023
Model-Based and Data-Driven Formal Synthesis of Power Systems

B Wooding

Newcastle University, 2023

2023
Control and management of active buildings

B Wooding, V Vahidinasab, M Kazemi, S Soudjani

Active Building Energy Systems: Operation and Control, 161-192, 2021

2 2021
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

3 2021
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

6 2021
ARCH-COMP20 Category Report: Stochastic Models.

A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, …

ARCH, 76-106, 2020

18 2020
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

10 2020
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

4 2019