# Ben Wooding

> Portfolio


## Posts

- [Scraping Google Scholar](https://woodingben.com/scraping-google-scholar/): In this post I demo how to scrape information from Google Scholar.

## Pages

- [TRUST Software Tool](https://woodingben.com/software-tools/trust-software-tool/): TRUST Software Tool TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory TRUST is an open-source software tool developed for data-driven controller synthesis. It considers dynamical systems with unknown mathematical models, ensuring either stability or safety properties. First, TRUST is given a single input-state trajectory from the unknown system. The trajectory is checked it satisfies a rank condition that ensures the system is persistently excited according to the Willems et al.’s fundamental lemma. Then, TRUST aims to design either control Lyapunov functions (CLF) or control barrier certificates (CBC), along with their corresponding stability or safety controllers. […]
- [Software Tools](https://woodingben.com/software-tools/): Software Tools Presented below is a collection of the software tools I have created as part of my research. Do check them out! IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems IMPaCT is an open-source software tool for the parallelised verification and controller synthesis of large-scale stochastic systems using interval Markov chains (IMCs) and interval Markov decision processes (IMDPs), respectively. The tool serves to (i) construct IMCs/IMDPs as finite abstractions of underlying original systems, and (ii) leverage interval iteration algorithms for formal verification and controller synthesis over infinite-horizon properties, including safety, reachability, and reach-while-avoid, while offering convergence guarantees. PRoTECT: Parallelized Construction of Safety Barrier Certificates for […]
- [PRoTECT Software Tool](https://woodingben.com/software-tools/protect-software-tool/): PRoTECT Software Tool PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems PRoTECT is an open-source software tool for the parallelized construction of safety barrier certificates (BCs) for nonlinear polynomial systems. This tool employs sum-of-squares (SOS) optimization programs to systematically search for polynomial-type BCs. It can verify safety properties over four classes of dynamical systems: (i) discrete-time stochastic systems, (ii) discrete-time deterministic systems, (iii) continuous-time stochastic systems, and (iv) continuous-time deterministic systems. PRoTECT is implemented in Python as an application programming interface (API). It includes a user-friendly graphic user interface (GUI) or interaction via function calls from other Python programs. PRoTECT leverages parallelism […]
- [Posts](https://woodingben.com/posts/): Posts Explore Recent Projects Here you can find a collection of content written by me, I hope you find it interesting!
- [IMPaCT Software Tool](https://woodingben.com/software-tools/impact-software-tool/): IMPaCT Software Tool IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems IMPaCT is an open-source software tool for the parallelised verification and controller synthesis of large-scale stochastic systems using interval Markov chains (IMCs) and interval Markov decision processes (IMDPs), respectively. The tool serves to (i) construct IMCs/IMDPs as finite abstractions of underlying original systems, and (ii) leverage interval iteration algorithms for formal verification and controller synthesis over infinite-horizon properties, including safety, reachability, and reach-while-avoid, while offering convergence guarantees. IMPaCT is developed in C++ and designed using AdaptiveCpp, an independent open-source implementation of SYCL, for adaptive parallelism over CPUs and GPUs of all hardware vendors, including Intel and NVIDIA. IMPaCT stands […]
- [Portfolio](https://woodingben.com/): Ben Wooding I am currently a Postdoctoral Scholar (Research) at Vanderbilt University at the Institute for Software Integrated Systems working in the group of Taylor T. Johnson. I am investigating safe artificial intelligence (AI), verifiable machine learning (ML), and applications to cyber-physical systems. I was an EPSRC Doctoral Prize Fellow (2023-2025) in the School of Computing at Newcastle University. I researched a project titled “Reliable AI-Enabled Design of Cyber-Physical Systems”. My PhD thesis (2023) was “Model-Based and Data-Driven Formal Synthesis of Power Systems” supervised by 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 […]


[comment]: # (Generated by Hostinger Tools Plugin)