An algebraic approach to energy problems II - the algebra of energy functions
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 o...
Elmentve itt :
| Szerzők: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2017
|
| Sorozat: | Acta cybernetica
23 No. 1 |
| Kulcsszavak: | Kleene - algebra, Matematika, Stephen Cole Kleene |
| Tárgyszavak: | |
| Online Access: | http://acta.bibl.u-szeged.hu/50072 |
| LEADER | 01879nab a2200265 i 4500 | ||
|---|---|---|---|
| 001 | acta50072 | ||
| 005 | 20220620155046.0 | ||
| 008 | 180212s2017 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Ésik Zoltán | |
| 245 | 1 | 3 | |a An algebraic approach to energy problems II - the algebra of energy functions |h [elektronikus dokumentum] / |c Ésik Zoltán |
| 260 | |c 2017 | ||
| 300 | |a 229-268 | ||
| 490 | 0 | |a Acta cybernetica |v 23 No. 1 | |
| 520 | 3 | |a 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. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Matematika | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Kleene - algebra, Matematika, Stephen Cole Kleene | ||
| 700 | 0 | 1 | |a Fahrenberg Uli |e aut |
| 700 | 0 | 1 | |a Legay Axel |e aut |
| 700 | 0 | 1 | |a Quaas Karin |e aut |
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/50072/1/actacyb_23_1_2017_14.pdf |z Dokumentum-elérés |