-Continuous Kleene ω-Algebras for Energy Problems

Zoltán Esik 1 Uli Fahrenberg 2 Axel Legay 2
1 Institute of Informatics
Institute of Informatics
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Type de document :
Communication dans un congrès
Proceedings Tenth International Workshop on Fixed Points in Computer Science, Sep 2015, Berlin, Germany. 191, pp.48-59, 2015, EPTCS
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01237653
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 3 décembre 2015 - 15:37:21
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : samedi 29 avril 2017 - 04:58:33

Fichier

main-fics.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01237653, version 1

Citation

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. 191, pp.48-59, 2015, EPTCS. 〈hal-01237653〉

Partager

Métriques

Consultations de la notice

273

Téléchargements de fichiers

51