An ω-Algebra for Real-Time Energy Problems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

An ω-Algebra for Real-Time Energy Problems


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.
Fichier principal
Vignette du fichier
main.pdf (574.83 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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


  • 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⟩
235 View
63 Download


Gmail Facebook Twitter LinkedIn More