2026-07-26T16:44:55Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5651 2024-03-06T10:36:45Z ddc:004 open_access

An omega-Algebra for Real-Time Energy Problems Cachera, David Fahrenberg, Uli Legay, Axel Energy problem Real time Star-continuous Kleene algebra 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik David Cachera and Uli Fahrenberg and Axel Legay 2015 Is Part Of LIPIcs, Volume 45, 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSTTCS.2015.394 urn:nbn:de:0030-drops-56511 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2015.394 eng https://creativecommons.org/licenses/by/3.0/legalcode