An $\omega$-Algebra for Real-Time Energy Problems

David Cachera, Uli Fahrenberg, Axel Legay

We develop a ${}^{\ast }$-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…