References & Citations
Computer Science > Formal Languages and Automata Theory
Title: *-Continuous Kleene $ω$-Algebras
(Submitted on 6 Jan 2015)
Abstract: We define and study basic properties of *-continuous Kleene $\omega$-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 $\omega$-algebras give rise to iteration semiring-semimodule pairs. We show how our work can be applied to solve certain energy problems for hybrid systems.
Link back to: arXiv, form interface, contact.