A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Energy problems are important in the formal analysis of embedded or autonomous systems. With the purpose of unifying a number of approaches to energy problems found in the literature, we introduce energy automata. These are finite automata whose edges are labeled with energy functions that define how energy levels evolve during transitions. Motivated by this application and in order to compute with energy functions, we introduce a new algebraic structure of * -continuous Kleene ω-algebras.doi:10.14232/actacyb.23.1.2017.13 fatcat:tefpfb24m5d43jsmrtclcpwcee