*-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 条
  • [1] Continuous Kleene ω-Algebras
    Esik, Zoltan
    Fahrenberg, Uli
    Legay, Axel
    DEVELOPMENTS IN LANGUAGE THEORY (DLT 2015), 2015, 9168 : 240 - 251
  • [2] ON KLEENE ALGEBRAS
    CRVENKOVIC, S
    MADARASZ, RS
    THEORETICAL COMPUTER SCIENCE, 1993, 108 (01) : 17 - 24
  • [3] Kleene algebras with implication
    José Luis Castiglioni
    Sergio Arturo Celani
    Hernán Javier San Martín
    Algebra universalis, 2017, 77 : 375 - 393
  • [4] Kleene algebras with implication
    Luis Castiglioni, Jose
    Arturo Celani, Sergio
    Javier San Martin, Hernan
    ALGEBRA UNIVERSALIS, 2017, 77 (04) : 375 - 393
  • [5] Residuated Kleene algebras
    Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, 13-15 Reáltanoda u., 1053 Budapest, Hungary
    不详
    Lect. Notes Comput. Sci., 2012, (1-11):
  • [6] DECIDING KLEENE ALGEBRAS IN COQ
    Braibant, Thomas
    Pous, Damien
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (01)
  • [7] Characterizing determinacy in Kleene algebras
    Desharnais, J
    Möller, B
    INFORMATION SCIENCES, 2001, 139 (3-4) : 253 - 273
  • [8] INJECTIVE DEMORGAN AND KLEENE ALGEBRAS
    CIGNOLI, RLO
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (02): : A293 - A294
  • [9] Normal Forms for Elements of the *- continuous Kleene Algebras K⊗R C' 2
    Hopkins, Mark
    Leiss, Hans
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2023, 2023, 13896 : 122 - 139
  • [10] Free Kleene algebras with domain
    McLean, Brett
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 117
12345