-Continuous Kleene ω-Algebras - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year :

-Continuous Kleene ω-Algebras

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.
Fichier principal
Vignette du fichier
kleene1.pdf (264.44 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01100104 , version 1 (05-01-2015)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More