*-Continuous Kleene ω-Algebras for Energy Problems
*-Continuous Kleene ω-Algebras for Energy Problems
复制标题
*-能量问题的连续 Kleene ω-代数
DOI：
10.4204/eptcs.191.6
复制
发表时间：
2015
影响因子：
4.9
通讯作者：
Axel Legay
中科院分区：
文献类型：
--
作者：
Z. Ésik;U. Fahrenberg;Axel Legay
在嵌入式或自治系统的形式化分析中，能量问题是很重要的。利用最近关于*-连续Kleene ω-代数的结果，我们证明了能量问题可以通过对能量自动机的转移矩阵的代数处理来解决。为此，我们证明了完全格上的一类有限加性函数的一般结果，这应该是一个更普遍的兴趣。
Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on *-continuous Kleene ω-algebras, we show here that energy problems can be solved by algebraic manipulations on the transition matrix of energy automata. To this end, we prove general results about certain classes of finitely additive functions on complete lattices which should be of a more general interest.