∗-Continuous kleene ω-algebras for energy problems

Z. Ésik, Uli Fahrenberg, Axel Legay

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

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

Original languageEnglish
Pages (from-to)48-59
Number of pages12
JournalUnknown Journal
Volume191
DOIs
Publication statusPublished - Sep 9 2015

Fingerprint

Algebra

ASJC Scopus subject areas

  • Software

Cite this

∗-Continuous kleene ω-algebras for energy problems. / Ésik, Z.; Fahrenberg, Uli; Legay, Axel.

In: Unknown Journal, Vol. 191, 09.09.2015, p. 48-59.

Research output: Contribution to journalArticle

Ésik, Z. ; Fahrenberg, Uli ; Legay, Axel. / ∗-Continuous kleene ω-algebras for energy problems. In: Unknown Journal. 2015 ; Vol. 191. pp. 48-59.
@article{4d23010b86784de7b14f9d569c0080a0,
title = "∗-Continuous kleene ω-algebras for energy problems",
abstract = "Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on ∗-continuous Kleene w-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.",
author = "Z. {\'E}sik and Uli Fahrenberg and Axel Legay",
year = "2015",
month = "9",
day = "9",
doi = "10.4204/EPTCS.191.6",
language = "English",
volume = "191",
pages = "48--59",
journal = "[No source information available]",
issn = "0402-1215",

}

TY - JOUR

T1 - ∗-Continuous kleene ω-algebras for energy problems

AU - Ésik, Z.

AU - Fahrenberg, Uli

AU - Legay, Axel

PY - 2015/9/9

Y1 - 2015/9/9

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

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

UR - http://www.scopus.com/inward/record.url?scp=84975687519&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84975687519&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.191.6

DO - 10.4204/EPTCS.191.6

M3 - Article

AN - SCOPUS:84975687519

VL - 191

SP - 48

EP - 59

JO - [No source information available]

JF - [No source information available]

SN - 0402-1215

ER -