Data-driven abstraction-based control synthesis M Kazemi, R Majumdar, M Salamati, S Soudjani, B Wooding Nonlinear Analysis: Hybrid Systems 52, 101467, 2024 | 20 | 2024 |
ARCH-COMP20 Category Report: Stochastic Models. A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, ... ARCH, 76-106, 2020 | 13 | 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 | 9 | 2020 |
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 | 5 | 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 |
Robust Simulation Functions with Disturbance Refinement B Wooding, A Lavaei, V Vahidinasab, S Soudjani 2023 European Control Conference (ECC), 1-6, 2023 | 2 | 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 |
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems B Wooding, A Lavaei arXiv preprint arXiv:2401.03555, 2024 | 1 | 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 | 1 | 2023 |
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 | 1 | 2019 |
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 | | 2024 |
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems B Wooding, V Horbanov, A Lavaei arXiv preprint arXiv:2404.14804, 2024 | | 2024 |
Model-Based and Data-Driven Formal Synthesis of Power Systems B Wooding Newcastle University, 2023 | | 2023 |