Kleene algebras and semimodules for energy problems

Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationAutomated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Proceedings
Pages102-117
Number of pages16
DOIs
Publication statusPublished - Nov 18 2013
Event11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013 - Hanoi, Viet Nam
Duration: Oct 15 2013Oct 18 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8172 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013
CountryViet Nam
CityHanoi
Period10/15/1310/18/13

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Ésik, Z., Fahrenberg, U., Legay, A., & Quaas, K. (2013). Kleene algebras and semimodules for energy problems. In Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Proceedings (pp. 102-117). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8172 LNAI). https://doi.org/10.1007/978-3-319-02444-8_9