Ésik Zoltán; Fahrenberg Uli; Legay Axel; Quaas Karin: An algebraic approach to energy problems II - the algebra of energy functions. In: Acta cybernetica, (23) 1. pp. 229-268. (2017)
Előnézet |
Cikk, tanulmány, mű
actacyb_23_1_2017_14.pdf Letöltés (637kB) | Előnézet |
Absztrakt (kivonat)
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.
| Mű típusa: | Cikk, tanulmány, mű |
|---|---|
| Befoglaló folyóirat/kiadvány címe: | Acta cybernetica |
| Dátum: | 2017 |
| Kötet: | 23 |
| Szám: | 1 |
| ISSN: | 0324-721X |
| Oldalak: | pp. 229-268 |
| Nyelv: | angol |
| Kiadás helye: | Szeged |
| Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/50021/ |
| Kulcsszavak: | Kleene - algebra, Matematika, Stephen Cole Kleene |
| Megjegyzések: | Bibliogr.: p. 264-268. ; összefoglalás angol nyelven |
| Szakterület: | 01. Természettudományok 01. Természettudományok > 01.01. Matematika 01. Természettudományok > 01.02. Számítás- és információtudomány |
| Feltöltés dátuma: | 2018. feb. 12. 14:25 |
| Utolsó módosítás: | 2022. jún. 20. 15:50 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/50072 |
 |
Tétel nézet |
