*-Continuous Kleene omega-Algebras for Energy Problems

被引：2

作者：

Esik, Zoltan ^{[1
]}

Fahrenberg, Uli ^{[2
]}

Legay, Axel ^{[2
]}

机构：

[1] Univ Szeged, Szeged, Hungary

[2] Inria Rennes, Rennes, France

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2015年 / 191期

关键词：

D O I：

10.4204/EPTCS.191.6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on *-continuous Kleene omega-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.

引用

页码：48 / 59

页数：12

共 50 条

[41] A FAMILY OF FINITE DE MORGAN AND KLEENE ALGEBRAS
Walker, Carol L.
Walker, Elbert A.
INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2012, 20 (05) : 631 - 653
[42] INJECTIVE DE-MORGAN AND KLEENE ALGEBRAS
CIGNOLI, R
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 47 (02) : 269 - 278
[43] Congruence Permutable Kleene-Stone Algebras
LUO Congwen
Wuhan University Journal of Natural Sciences, 2010, 15 (02) : 99 - 102
[44] The variety of Kleene algebras with conversion is not finitely based
Crvenkovic, S
Dolinka, I
Ésik, Z
THEORETICAL COMPUTER SCIENCE, 2000, 230 (1-2) : 235 - 245
[45] The Cube of Kleene Algebras and the Triangular Prism of Multirelations
Nishizawa, Koki
Tsumagari, Norihiro
Furusawa, Hitoshi
RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2009, 5827 : 276 - +
[46] An algebraic representation of the fixed-point closure of *-continuous Kleene algebras - A categorical Chomsky-Schutzenberger theorem
Leiss, Hans
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022, 32 (06) : 685 - 728
[47] ALGEBRAIC COHERENT CONFLUENCE AND HIGHER GLOBULAR KLEENE ALGEBRAS
Calk, Cameron
Goubault, Eric
Malbos, Philippe
Struth, Georg
LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 18 (04)
[48] ALGEBRAIC COHERENT CONFLUENCE AND HIGHER GLOBULAR KLEENE ALGEBRAS
Calk C.
Goubault E.
Malbos P.
Struth G.
Logical Methods in Computer Science, 2022, 18 (04): : 9:1 - 9:43
[49] Congruence-preserving functions on Stone and Kleene algebras
Vladimir Kuchmei
Miroslav Ploščica
algebra universalis, 2004, 51 : 419 - 434
[50] On finite model property of the equational theory of Kleene algebras
Palka, E
FUNDAMENTA INFORMATICAE, 2005, 68 (03) : 221 - 230

← 1 2 3 4 5 →