*-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 条
  • [21] On Endomorphism Monoids of Finite Kleene Algebras
    Fang, Jie
    Sun, Zhongju
    ALGEBRA COLLOQUIUM, 2019, 26 (03) : 507 - 518
  • [22] ON FUZZINESSTIC MEASURES OF ENTROPY ON KLEENE ALGEBRAS
    BATYRSHIN, IZ
    FUZZY SETS AND SYSTEMS, 1990, 34 (01) : 47 - 60
  • [23] Relations and Kleene algebras in computer science
    Berghammer, Rudolf
    Jaoua, Ali Mohamed
    Moeller, Bernhard
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (06): : 219 - 220
  • [24] Relations and Kleene algebras in computer science
    Berghammer, Rudolf
    Moeller, Bernhard
    Struth, Georg
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (08): : 705 - 706
  • [25] Toward Solving Equations in Kleene Algebras
    Lajeunesse-Robert, F.
    Ktari, B.
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2007, 161 : 285 - 304
  • [26] OMEGA-KLEENE CLOSURE OF FAMILIES OF LANGUAGES
    COHEN, R
    GOLD, A
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (07): : A595 - A595
  • [27] A free construction of Kleene algebras with tests
    Furusawa, H
    MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2004, 3125 : 129 - 141
  • [28] On Probabilistic Kleene Algebras, Automata and Simulations
    McIver, Annabelle
    Rabehaja, Tahiry M.
    Struth, Georg
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2011, 6663 : 264 - 279
  • [29] Relations and Kleene algebras in computer science
    Schmidt, Renate A.
    Struth, Georg
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 76 (01): : 1 - 2
  • [30] MV-algebras freely generated by finite Kleene algebras
    Stefano Aguzzoli
    Leonardo M. Cabrer
    Vincenzo Marra
    Algebra universalis, 2013, 70 : 245 - 270
12345