∗-Continuous kleene ω-algebras for energy problems

Zoltán Ésik, Uli Fahrenberg, Axel Legay

Research output: Contribution to journalConference article

5 Citations (Scopus)


Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on ∗-continuous Kleene w-algebras, we show here that energy problems can be solved by algebraic manipulations on the transition matrix of energy automata. To this end, we prove general results about certain classes of finitely additive functions on complete lattices which should be of a more general interest.

Original languageEnglish
Pages (from-to)48-59
Number of pages12
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Publication statusPublished - Sep 9 2015
Event10th International Workshop on Fixed Points in Computer Science, FICS 2015 - Berlin, Germany
Duration: Sep 11 2015Sep 12 2015


ASJC Scopus subject areas

  • Software

Cite this