Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

-Continuous Kleene ω-Algebras

Zoltán Ésik 1 Uli Fahrenberg 2 Axel Legay 2 
1 Institute of Informatics
Institute of Informatics
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We define and study basic properties of *-continuous Kleene ω-algebras that involve a *-continuous Kleene algebra with a *-continuous action on a semimodule and an infinite product operation that is also *-continuous. We show that *-continuous Kleene ω-algebras give rise to iteration semiring-semimodule pairs. We show how our work can be applied to solve certain energy problems for hybrid systems.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal.inria.fr/hal-01100104
Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Monday, January 5, 2015 - 10:42:24 PM
Last modification on : Thursday, January 20, 2022 - 5:33:21 PM
Long-term archiving on: : Monday, April 6, 2015 - 12:05:38 PM

Files

kleene1.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01100104, version 1
  • ARXIV : 1501.01118

Citation

Zoltán Ésik, Uli Fahrenberg, Axel Legay. -Continuous Kleene ω-Algebras. 2014. ⟨hal-01100104⟩

Share

Metrics

Record views

193

Files downloads

233