Ben Wooding

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

Collaborative distances:

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

2024

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

Ben Wooding, Abolfazl Lavaei

CoRR, 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