An Algebraic Approach to Energy Problems II — The Algebra of Energy Functions
(2017) University of Szeged. Acta Cybernetica — Vol. 23, n° 1, p. 229-268 (2017)
Files
3924-Article-2176-1-10-20180614.pdf
Open Access - Adobe PDF
- 622.68 KB
Details
- Authors
- 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.
- Affiliations
Citations
Ésik, Z., Fahrenberg, U., Legay, A., & Quaas, K. (2017). An Algebraic Approach to Energy Problems II — The Algebra of Energy Functions. University of Szeged. Acta Cybernetica, 23(1), 229-268. https://doi.org/10.14232/actacyb.23.1.2017.14 (Original work published 2017)