Ben Wooding

According to our database, Ben Wooding authored at least 9 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification.

Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani

CoRR, 2024

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

Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei

CoRR, 2024

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems.

Ben Wooding, Abolfazl Lavaei

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees.

Ben Wooding, Abolfazl Lavaei

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach.

Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani

CoRR, 2023

Robust Simulation Functions with Disturbance Refinement.

Ben Wooding, Abolfazl Lavaei, Vahid Vahidinasab, Sadegh Soudjani

Proceedings of the European Control Conference, 2023

2022

Data-Driven Abstraction-Based Control Synthesis.

Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding

CoRR, 2022

2020

Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles.

Ben Wooding, Vahid Vahidinasab, Sadegh Soudjani

CoRR, 2020

ARCH-COMP20 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. 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

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020