É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 |