Skip to main content

Showing 1–1 of 1 results for author: Gruber, J K

Searching in archive eess. Search in all archives.
.
  1. Parallel Statistical Model Checking for Safety Verification in Smart Grids

    Authors: T. Mancini, F. Mari, I. Melatti, I. Salvo, E. Tronci, J. K. Gruber, B. Hayes, M. Prodanovic, L. Elmegaard

    Abstract: By using small computing devices deployed at user premises, Autonomous Demand Response (ADR) adapts users electricity consumption to given time-dependent electricity tariffs. This allows end-users to save on their electricity bill and Distribution System Operators to optimise (through suitable time-dependent tariffs) management of the electric grid by avoiding demand peaks. Unfortunately, even wit… ▽ More

    Submitted 20 June, 2021; originally announced June 2021.

    Comments: 6 pages, 1 figure. In SmartGridComm 2018. IEEE, 2018

    MSC Class: 68Q60 ACM Class: I.6.3; J.2