Balancing Flexible Production and Consumption of Energy using Resource Timed Automata

Jonas Hansen, Kim Guldstr Larsen, Pieter J.L. Cuijpers

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Samenvatting

We address the problem of modeling and analyzing the flexible behavior of Prosumer systems for the purpose of balancing production and consumption of energy in, for example, an energy grid. We introduce the notion of Resource Timed Automata (RTA) and show how prosumers can be modeled using these automata. Furthermore, we show that aggeregation of prosumers in a smart electricity grid can be modeled as a special kind of parallel composition of such automata, and the balancing problem can be formalized as reachability problems on an observer automaton. Finally, we illustrate how these reachability problems can be solved using established methods from model checking, and discuss why we suspect these methods will scale well in practice for this type of problem.

Originele taal-2Engels
Titel2022 11th Mediterranean Conference on Embedded Computing, MECO 2022
UitgeverijInstitute of Electrical and Electronics Engineers
ISBN van elektronische versie9781665468282
DOI's
StatusGepubliceerd - 2022
Evenement11th Mediterranean Conference on Embedded Computing, MECO 2022 - Budva, Montenegro
Duur: 7 jun. 202210 jun. 2022

Congres

Congres11th Mediterranean Conference on Embedded Computing, MECO 2022
Land/RegioMontenegro
StadBudva
Periode7/06/2210/06/22

Bibliografische nota

Publisher Copyright:
© 2022 IEEE.

Vingerafdruk

Duik in de onderzoeksthema's van 'Balancing Flexible Production and Consumption of Energy using Resource Timed Automata'. Samen vormen ze een unieke vingerafdruk.

Citeer dit