2015/01/06 by Zoltán Ésik, Ésik, Zoltán, Uli Fahrenberg +3
Computer Science · Engineering · #Control and Stability of Dynamical Systems #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #cs.FL
paper · pdf · doi:10.48550/arxiv.1501.01118
arxiv created 2015/01/06 · openalex publication_date 2015/01/06 · arxiv updated 2015/01/07 · openalex created_date 2022/10/04 · openalex updated_date 2026/07/28
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.