Kleene algebras and semimodules for energy problems

Z. Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas

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

12 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 publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages102-117
Number of pages16
Volume8172 LNAI
DOIs
Publication statusPublished - 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)03029743
ISSN (Electronic)16113349

Other

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

Fingerprint

Semimodule
Kleene Algebra
Finite automata
Electron transitions
Electron energy levels
Algebra
Energy
Weighted Automata
Semiring
Finite Automata
Reachability
Energy Levels
Energy Function
Automata

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Ésik, Z., Fahrenberg, U., Legay, A., & Quaas, K. (2013). Kleene algebras and semimodules for energy problems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8172 LNAI, 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

Kleene algebras and semimodules for energy problems. / Ésik, Z.; Fahrenberg, Uli; Legay, Axel; Quaas, Karin.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8172 LNAI 2013. p. 102-117 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8172 LNAI).

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

Ésik, Z, Fahrenberg, U, Legay, A & Quaas, K 2013, Kleene algebras and semimodules for energy problems. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 8172 LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8172 LNAI, pp. 102-117, 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, Hanoi, Viet Nam, 10/15/13. https://doi.org/10.1007/978-3-319-02444-8_9
Ésik Z, Fahrenberg U, Legay A, Quaas K. Kleene algebras and semimodules for energy problems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8172 LNAI. 2013. p. 102-117. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-02444-8_9
Ésik, Z. ; Fahrenberg, Uli ; Legay, Axel ; Quaas, Karin. / Kleene algebras and semimodules for energy problems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8172 LNAI 2013. pp. 102-117 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{fe43db53ab54485384307e27cb9bfa97,
title = "Kleene algebras and semimodules for energy problems",
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{\"u}chi acceptance for semiring-weighted automata, we show that these generalized energy problems are decidable. We also provide complexity results for important special cases.",
author = "Z. {\'E}sik and Uli Fahrenberg and Axel Legay and Karin Quaas",
year = "2013",
doi = "10.1007/978-3-319-02444-8_9",
language = "English",
isbn = "9783319024431",
volume = "8172 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "102--117",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Kleene algebras and semimodules for energy problems

AU - Ésik, Z.

AU - Fahrenberg, Uli

AU - Legay, Axel

AU - Quaas, Karin

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84887447621&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84887447621&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-02444-8_9

DO - 10.1007/978-3-319-02444-8_9

M3 - Conference contribution

SN - 9783319024431

VL - 8172 LNAI

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 102

EP - 117

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -