-Continuous Kleene ω-Algebras for Energy ProblemsReportar como inadecuado




-Continuous Kleene ω-Algebras for Energy Problems - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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 : Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on *-continuous Kleene ω-algebras, we show here that energy problems can be solved by algebraic manipulations on the transition matrix of energy automata. To this end, we prove general results about certain classes of finitely additive functions on complete lattices which should be of a more general interest.





Autor: Zoltán Esik - Uli Fahrenberg - Axel Legay -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados