-Continuous Kleene ω-Algebras for Energy Problems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

-Continuous Kleene ω-Algebras for Energy Problems


Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on *-continuous Kleene ω-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.
Fichier principal
Vignette du fichier
main-fics.pdf (192.9 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01237653 , version 1 (03-12-2015)


  • HAL Id : hal-01237653 , version 1


Zoltán Esik, Uli Fahrenberg, Axel Legay. -Continuous Kleene ω-Algebras for Energy Problems. Proceedings Tenth International Workshop on Fixed Points in Computer Science, Sep 2015, Berlin, Germany. pp.48-59. ⟨hal-01237653⟩
210 View
109 Download


Gmail Facebook Twitter LinkedIn More