Continuous Kleene ω-Algebras for Energy Problems

Esik, Zoltán;Fahrenberg, Uli;Legay, Axel
(2015) Proceedings Tenth International Workshop on Fixed Points in Computer Science (September.2015)

Files

No attached file found for this publication.

Details

Authors
  • Esik, Zoltán
    Author
  • Fahrenberg, Uli
    Author
  • Legay, AxelUCLouvain
    Author
Abstract
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.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Esik, Z., Fahrenberg, U., & Legay, A. (2015). Continuous Kleene ω-Algebras for Energy Problems. Proceedings Tenth International Workshop on Fixed Points in Computer Science. https://hdl.handle.net/2078.5/227488