An ω-Algebra for Real-Time Energy Problems

David Cachera 1 Uli Fahrenberg 2 Axel Legay 2
1 CELTIQUE - Software certification with semantic analysis
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We develop a *-continuous Kleene ω-algebra of real-time energy functions. Together with corresponding automata, these can be used to model systems which can consume and regain energy (or other types of resources) depending on available time. Using recent results on *-continuous Kleene ω-algebras and computability of certain manipulations on real-time energy functions, it follows that reachability and Büchi acceptance in real-time energy automata can be decided in a static way which only involves manipulations of real-time energy functions.
Type de document :
Communication dans un congrès
Prahladh Harsha G. Ramalingam. 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2015, Bengaluru, India. pp.394, 2015, 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India. LIPIcs 45, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-97-2. 〈http://www.fsttcs.org/〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01237667
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 3 décembre 2015 - 15:51:46
Dernière modification le : mercredi 21 novembre 2018 - 12:06:18
Document(s) archivé(s) le : samedi 29 avril 2017 - 06:11:49

Fichier

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

Identifiants

  • HAL Id : hal-01237667, version 1

Citation

David Cachera, Uli Fahrenberg, Axel Legay. An ω-Algebra for Real-Time Energy Problems. Prahladh Harsha G. Ramalingam. 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2015, Bengaluru, India. pp.394, 2015, 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India. LIPIcs 45, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-97-2. 〈http://www.fsttcs.org/〉. 〈hal-01237667〉

Partager

Métriques

Consultations de la notice

548

Téléchargements de fichiers

72