*-连续Kleene ω-能量问题代数

Fixed Points in Computer Science Pub Date : 2015-09-09 DOI:10.4204/EPTCS.191.6

Z. Ésik, U. Fahrenberg, Axel Legay

{"title":"*-连续Kleene ω-能量问题代数","authors":"Z. Ésik, U. Fahrenberg, Axel Legay","doi":"10.4204/EPTCS.191.6","DOIUrl":null,"url":null,"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.","PeriodicalId":119563,"journal":{"name":"Fixed Points in Computer Science","volume":"37 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"*-Continuous Kleene ω-Algebras for Energy Problems\",\"authors\":\"Z. Ésik, U. Fahrenberg, Axel Legay\",\"doi\":\"10.4204/EPTCS.191.6\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":119563,\"journal\":{\"name\":\"Fixed Points in Computer Science\",\"volume\":\"37 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-09-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Fixed Points in Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4204/EPTCS.191.6\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fixed Points in Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4204/EPTCS.191.6","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

在嵌入式或自治系统的形式化分析中，能量问题是很重要的。利用最近关于*-连续Kleene ω-代数的结果，我们证明了能量问题可以通过对能量自动机的转移矩阵的代数处理来解决。为此，我们证明了完全格上的一类有限加性函数的一般结果，这应该是一个更普遍的兴趣。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

*-Continuous Kleene ω-Algebras for Energy Problems

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Fixed Points in Computer Science

自引率

0.00%

发文量