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
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.


Source : oai:arXiv.org:1701.08524
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