*-Continuous Kleene ω-Algebras for Energy Problems

Zoltán Ésik
(University of Szeged)
Uli Fahrenberg
(Inria Rennes)
Axel Legay
(Inria Rennes)

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.

In Ralph Matthes and Matteo Mio: Proceedings Tenth International Workshop on Fixed Points in Computer Science (FICS 2015), Berlin, Germany, September 11-12, 2015, Electronic Proceedings in Theoretical Computer Science 191, pp. 48–59.
Published: 9th September 2015.

ArXived at: http://dx.doi.org/10.4204/EPTCS.191.6 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org