An algebraic approach to energy problems II - the algebra of energy functions

Ésik Zoltán and Fahrenberg Uli and Legay Axel and Quaas Karin: An algebraic approach to energy problems II - the algebra of energy functions. In: Acta cybernetica, (23) 1. pp. 229-268. (2017)

[thumbnail of actacyb_23_1_2017_14.pdf]
Cikk, tanulmány, mű

Download (637kB) | Preview


Energy and resource management problems are important in areas such as embedded systems or autonomous systems. They are concerned with the question whether a given system admits infinite schedules during which certain tasks can be repeatedly accomplished and the system never runs out of energy (or other resources). In order to develop a general theory of energy problems, we introduce energy automata: finite automata whose transitions are labeled with energy functions which specify how energy values change from one system state to another. We show that energy functions form a *-continuous Kleene ω-algebra, as an application of a general result that finitely additive, locally *-closed and T-continuous functions on complete lattices form *-continuous Kleene ω-algebras. This permits to solve energy problems in energy automata in a generic, algebraic way. In order to put our work in context, we also review extensions of energy problems to higher dimensions and to games.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2017
Volume: 23
Number: 1
ISSN: 0324-721X
Page Range: pp. 229-268
Language: English
Place of Publication: Szeged
Related URLs:
Uncontrolled Keywords: Kleene - algebra, Matematika, Stephen Cole Kleene
Additional Information: Bibliogr.: p. 264-268. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.01. Mathematics
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2018. Feb. 12. 14:25
Last Modified: 2022. Jun. 20. 15:50

Actions (login required)

View Item View Item