*-Continuous Kleene $\omega$-Algebras for Energy Problems
Logic in Computer Science
2015-09-11 v1 Formal Languages and Automata Theory
Abstract
Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on star-continuous Kleene omega-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.
Keywords
Cite
@article{arxiv.1509.03015,
title = {*-Continuous Kleene $\omega$-Algebras for Energy Problems},
author = {Zoltán Ésik and Uli Fahrenberg and Axel Legay},
journal= {arXiv preprint arXiv:1509.03015},
year = {2015}
}
Comments
In Proceedings FICS 2015, arXiv:1509.02826