Kleene Algebras and Semimodules for Energy Problems

Zoltá Esik 1 Uli Fahrenberg 2 Axel Legay 2 Karin Quaas 3
1 Institute of Informatics
Institute of Informatics
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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.
Type de document :
Communication dans un congrès
Dang Van Hung; Mizuhito Ogawa. ATVA 2013 - 11th International Symposium Automated Technology for Verification and Analysis, Oct 2013, Hanoi, Vietnam. Springer, 8172, pp.102-117, LNCS - Lecture Notes in Computer Science. 〈10.1007/978-3-319-02444-8_9〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01087913
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 09:32:07
Dernière modification le : mercredi 11 avril 2018 - 02:01:10
Document(s) archivé(s) le : vendredi 14 avril 2017 - 22:14:20

Fichier

atva.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Zoltá Esik, Uli Fahrenberg, Axel Legay, Karin Quaas. Kleene Algebras and Semimodules for Energy Problems. Dang Van Hung; Mizuhito Ogawa. ATVA 2013 - 11th International Symposium Automated Technology for Verification and Analysis, Oct 2013, Hanoi, Vietnam. Springer, 8172, pp.102-117, LNCS - Lecture Notes in Computer Science. 〈10.1007/978-3-319-02444-8_9〉. 〈hal-01087913〉

Partager

Métriques

Consultations de la notice

353

Téléchargements de fichiers

53