An ωω\omega-Algebra for Real-Time Energy Problems
(2019) Logical Methods in Computer Science — Vol. 15, n° 2 (2019)
Files
lmcs.html
Open Access - HTML
- 555.09 KB
Details
- Authors
- Abstract
- We develop a ∗-continuous Kleene ω-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 ω-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.
- Affiliations
Citations
Legay, A., Fahrenberg, U., & Cachera, D. (2019). An ωω\omega-Algebra for Real-Time Energy Problems. Logical Methods in Computer Science, 15(2). https://hdl.handle.net/2078.5/170303 (Original work published 2019)