-Continuous Kleene ω-Algebras

Zoltán Ésik (1) , Uli Fahrenberg (2) , Axel Legay (2)

1 Institute of Informatics
2 ESTASYS - Efficient STAtistical methods in SYstems of systems

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.

Domaines: Théorie et langage formel [cs.FL]

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