We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Electrical Engineering and Systems Science > Systems and Control

Title: Parallel Statistical Model Checking for Safety Verification in Smart Grids

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 with ADR, users power consumption may deviate from the expected (minimum cost) one, e.g., because ADR devices fail to correctly forecast energy needs at user premises. As a result, the aggregated power demand may present undesirable peaks. In this paper we address such a problem by presenting methods and a software tool (APD-Analyser) implementing them, enabling Distribution System Operators to effectively verify that a given time-dependent electricity tariff achieves the desired goals even when end-users deviate from their expected behaviour. We show feasibility of the proposed approach through a realistic scenario from a medium voltage Danish distribution network.
Comments: 6 pages, 1 figure. In SmartGridComm 2018. IEEE, 2018
Subjects: Systems and Control (eess.SY); Distributed, Parallel, and Cluster Computing (cs.DC)
MSC classes: 68Q60
ACM classes: I.6.3; J.2
DOI: 10.1109/SmartGridComm.2018.8587416
Cite as: arXiv:2106.10692 [eess.SY]
  (or arXiv:2106.10692v1 [eess.SY] for this version)

Submission history

From: Toni Mancini [view email]
[v1] Sun, 20 Jun 2021 13:11:10 GMT (1420kb,D)

Link back to: arXiv, form interface, contact.