License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.FSTTCS.2015.394
URN: urn:nbn:de:0030-drops-56511
URL: http://drops.dagstuhl.de/opus/volltexte/2015/5651/
Go to the corresponding LIPIcs Volume Portal


Cachera, David ; Fahrenberg, Uli ; Legay, Axel

An omega-Algebra for Real-Time Energy Problems

pdf-format:
37.pdf (0.6 MB)


Abstract

We develop a *-continuous Kleene omega-algebra of real-time energy functions. Together with corresponding automata, these can be used to model systems which can consume and regain energy (or other types of resources) depending on available time. Using recent results on *-continuous Kleene omega-algebras and computability of certain manipulations on real-time energy functions, it follows that reachability and Büchi acceptance in real-time energy automata can be decided in a static way which only involves manipulations of real-time energy functions.

BibTeX - Entry

@InProceedings{cachera_et_al:LIPIcs:2015:5651,
  author =	{David Cachera and Uli Fahrenberg and Axel Legay},
  title =	{{An omega-Algebra for Real-Time Energy Problems}},
  booktitle =	{35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015)},
  pages =	{394--407},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-97-2},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{45},
  editor =	{Prahladh Harsha and G. Ramalingam},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5651},
  URN =		{urn:nbn:de:0030-drops-56511},
  doi =		{10.4230/LIPIcs.FSTTCS.2015.394},
  annote =	{Keywords: Energy problem, Real time, Star-continuous Kleene algebra}
}

Keywords: Energy problem, Real time, Star-continuous Kleene algebra
Seminar: 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015)
Issue Date: 2015
Date of publication: 11.12.2015


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI