Ben Wooding

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Controller Synthesis

Stochastic Model

Top Venues

Publications

Ben Wooding, Abolfazl Lavaei
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees. HSCC (2024)
Ben Wooding, Abolfazl Lavaei
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. CoRR (2024)
Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification. CoRR (2024)
Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems. CoRR (2024)
Ben Wooding, Abolfazl Lavaei, Vahid Vahidinasab, Sadegh Soudjani
Robust Simulation Functions with Disturbance Refinement. ECC (2023)
Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach. CoRR (2023)
Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
Data-Driven Abstraction-Based Control Synthesis. CoRR (2022)
Ben Wooding, Vahid Vahidinasab, Sadegh Soudjani
Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles. CoRR (2020)
Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani
ARCH-COMP20 Category Report: Stochastic Models. ARCH (2020)