*-Continuous Kleene $\omega$-Algebras
Formal Languages and Automata Theory
2015-01-07 v1
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.
Cite
@article{arxiv.1501.01118,
title = {*-Continuous Kleene $\omega$-Algebras},
author = {Zoltán Ésik and Uli Fahrenberg and Axel Legay},
journal= {arXiv preprint arXiv:1501.01118},
year = {2015}
}