-Continuous Kleene ω-Algebras

Zoltán Ésik 1 Uli Fahrenberg 2 Axel Legay 2
1 Institute of Informatics
Institute of Informatics
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Type de document :
Pré-publication, Document de travail
2014
Liste complète des métadonnées

https://hal.inria.fr/hal-01100104
Contributeur : Uli Fahrenberg <>
Soumis le : lundi 5 janvier 2015 - 22:42:24
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : lundi 6 avril 2015 - 12:05:38

Fichiers

kleene1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01100104, version 1
  • ARXIV : 1501.01118

Citation

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

Partager

Métriques

Consultations de la notice

251

Téléchargements de fichiers

96