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)

Preview

Cikk, tanulmány, mű actacyb_23_1_2017_14.pdf Download (637kB) | Preview

Abstract

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:	http://acta.bibl.u-szeged.hu/50021/
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
URI:	http://acta.bibl.u-szeged.hu/id/eprint/50072

Actions (login required)

View Item