Ésik Zoltán; Fahrenberg Uli; Legay Axel; Quaas Karin: An algebraic approach to energy problems I - continuous Kleene ω-algebras ‡. In: Acta cybernetica, (23) 1. pp. 203-228. (2017)
Előnézet |
Cikk, tanulmány, mű
actacyb_23_1_2017_13.pdf Letöltés (457kB) | Előnézet |
Absztrakt (kivonat)
Energy problems are important in the formal analysis of embedded or autonomous systems. With the purpose of unifying a number of approaches to energy problems found in the literature, we introduce energy automata. These are finite automata whose edges are labeled with energy functions that define how energy levels evolve during transitions. Motivated by this application and in order to compute with energy functions, we introduce a new algebraic structure of *-continuous Kleene ω-algebras. These involve a *-continuous Kleene algebra with a *-continuous action on a semimodule and an infinite product operation that is also *-continuous. We define both a finitary and a non-finitary version of *-continuous Kleene ω-algebras. We then establish some of their properties, including a characterization of the free finitary *-continuous Kleene ω-algebras. We also show that every *-continuous Kleene ω-algebra gives rise to an iteration semiring-semimodule pair.
| 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. 203-228 |
| Nyelv: | angol |
| Kiadás helye: | Szeged |
| Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/50021/ |
| DOI: | 10.14232/actacyb.23.1.2017.14 |
| Kulcsszavak: | Kleene - algebra, Matematika, Stephen Cole Kleene |
| Megjegyzések: | Bibliogr.: p. 226-228. és a lábjegyzetekben ; ö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:20 |
| Utolsó módosítás: | 2022. jún. 20. 15:49 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/50071 |
 |
Tétel nézet |
