RAISE Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems
Toni Mancini, Igor Melatti, Enrico Tronci. IEEE Transactions on Software Engineering, 49(9), pages 4443-4455, 2023.
Tag: melatti
Page 1 of 1
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification
Toni Mancini, Igor Melatti, Enrico Tronci. IEEE Transactions on Software Engineering, 48(10), pages 4002-4013, 2022.
Categories
PublicationsA Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries
Igor Melatti, Federico Mari, Toni Mancini, Milan Prodanovic, Enrico Tronci. IEEE Transactions on Industrial Electronics, 69(8), pages 8566-8578, 2022.
Categories
PublicationsParallel Statistical Model Checking for Safety Verification in Smart Grids
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, J.K. Gruber, B. Hayes, M. Prodanovic, L. Elmegaard. In proceedings of the 2018 IEEE International Conference on Smart Grid Communications (SmartGridComm 2018). Aalborg, Denmark. IEEE, 2018.
Categories
PublicationsResidential Demand Management using Individualised Demand Aware Price Policies
Barry Hayes, Igor Melatti, Toni Mancini, Milan Prodanovic, Enrico Tronci. IEEE Transactions on Smart Grid, 8(3), pages 1284-1294, 2017.