HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Thursday, December 3, 2015 - 3:51:46 PM
Last modification on : Thursday, January 20, 2022 - 5:33:18 PM
Long-term archiving on: : Saturday, April 29, 2017 - 6:11:49 AM


Files produced by the author(s)


  • HAL Id : hal-01237667, version 1


David Cachera, Uli Fahrenberg, Axel Legay. An ω-Algebra for Real-Time Energy Problems. 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2015, Bengaluru, India. pp.394. ⟨hal-01237667⟩



Record views


Files downloads