Kleene Algebras and Semimodules for Energy Problems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Kleene Algebras and Semimodules for Energy Problems


With the purpose of unifying a number of approaches to energy problems found in the literature, we introduce generalized energy automata. These are finite automata whose edges are labeled with energy functions that define how energy levels evolve during transitions. Uncovering a close connection between energy problems and reachability and Büchi acceptance for semiring-weighted automata, we show that these generalized energy problems are decidable. We also provide complexity results for important special cases.
Fichier principal
Vignette du fichier
atva.pdf (379.7 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01087913 , version 1 (27-11-2014)



Zoltá Esik, Uli Fahrenberg, Axel Legay, Karin Quaas. Kleene Algebras and Semimodules for Energy Problems. ATVA 2013 - 11th International Symposium Automated Technology for Verification and Analysis, Oct 2013, Hanoi, Vietnam. pp.102-117, ⟨10.1007/978-3-319-02444-8_9⟩. ⟨hal-01087913⟩
211 View
79 Download



Gmail Facebook X LinkedIn More