research
∙
07/28/2023
Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems
Cyber-Physical Systems (CPSs), comprising both software and physical com...
share
research
∙
09/06/2021
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification
Model-based approaches to the verification of non-terminating Cyber-Phys...
research
∙
08/15/2021
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries
Within electrical distribution networks, substation constraints manageme...
research
∙
06/20/2021