Parallel Statistical Model Checking for Safety Verification in Smart Grids

T. Mancini, F. Mari, I. Melatti +6

By using small computing devices deployed at user premises, Autonomous Demand Response (ADR) adapts users electricity consumption to given time-dependent electricity tariffs. This…