David Cachera ; Uli Fahrenberg ; Axel Legay - An $\omega$-Algebra for Real-Time Energy Problems

lmcs:2677 - Logical Methods in Computer Science, May 24, 2019, Volume 15, Issue 2 - https://doi.org/10.23638/LMCS-15(2:17)2019
An $\omega$-Algebra for Real-Time Energy ProblemsArticle

Authors: David Cachera ; Uli Fahrenberg ; Axel Legay

    We develop a $^*$-continuous Kleene $\omega$-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 $\omega$-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.


    Volume: Volume 15, Issue 2
    Published on: May 24, 2019
    Accepted on: May 8, 2019
    Submitted on: January 31, 2017
    Keywords: Computer Science - Logic in Computer Science,Computer Science - Formal Languages and Automata Theory

    Consultation statistics

    This page has been seen 1229 times.
    This article's PDF has been downloaded 258 times.