Cachera, David and Fahrenberg, Uli and Legay, Axel - 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 Problems

Authors: Cachera, David and Fahrenberg, Uli and Legay, Axel

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
Submitted on: January 31, 2017
Keywords: Computer Science - Logic in Computer Science,Computer Science - Formal Languages and Automata Theory


Share

Consultation statistics

This page has been seen 248 times.
This article's PDF has been downloaded 120 times.