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
Secondary volumes: Special Issue in Memory of Zoltán Ésik
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 2225 times.
This article's PDF has been downloaded 485 times.