大卫·卡切拉;乌里·法伦贝格;Legay、Axel 实时能量问题的（ω）代数。 （英语） Zbl 1421.68092号 日志。方法计算。科学。 15，第2号，第17号论文，22页（2019年）. 摘要：我们发展了一个实时能量函数的连续Kleene代数。与相应的自动机一起，这些可以用于根据可用时间消耗和重新获得能量（或其他类型的资源）的系统建模。利用最近关于（ast）-连续Kleene（omega）-代数的结果和实时能量函数某些操作的可计算性，可以得出实时能量自动机中的可达性和Büchi可接受性可以通过静态方式来确定，而这只涉及实时能量函数的操作。 引用于2文件 MSC公司： 65年第68季度 形式语言和自动机 第68季度第70季度 语言代数理论与自动机 PDF格式BibTeX公司 XML格式引用 \textit{D.Cachera}等人，《日志》。方法计算。科学。15，第2号，第17号论文，22页（2019年；Zbl 1421.68092） 全文： arXiv公司 参考文献： [1] [ATP01]Rajeev Alur、Salvatore La Torre和George J.Pappas。加权时间自动机中的最优路径。在Di Benedetto和Sangiovanni-Vincentelli[DBSV01]中，第49-62页·Zbl 0991.93076号 [2] [B´E93]斯蒂芬·L·布鲁姆和佐尔特·安·埃西克。迭代理论：迭代过程的等式逻辑。EATCS理论计算机科学专著。施普林格出版社，1993年·Zbl 0773.03033号 [3] [BFH+01]Gerd Behrmann、Ansgar Fehnker、Thomas Hune、Kim G.Larsen、Paul Pettersson、Judi Romijn和Frits W.Vaandrager。定价时间自动机的最低成本可达性。在Di Benedetto和Sangiovanni Vincentelli[DBSV01]中，第147-161页·Zbl 0991.68037号 [4] [BFL+08]帕特里夏·鲍耶（Patricia Bouyer）、乌里·法伦伯格（Uli Fahrenberg）、金·拉森（Kim G.Larsen）、尼古拉斯·马基（Nicolas Markey）和基尔·斯尔巴（Ji´r´221 Srba）。无限在能量约束的加权时间自动机中运行。Franck Cassez和Claude Jard，编辑，格式，Lect第5215卷。注释计算。科学。，第33-47页。Springer-Verlag，2008年·Zbl 1171.68524号 [5] [BFLM10]Patricia Bouyer、Uli Fahrenberg、Kim G.Larsen和Nicolas Markey。能量约束下带观测器的时间自动机。HSCC编辑Karl Henrik Johansson和Wang Yi，第61-70页。ACM，2010年·Zbl 1361.68135号 [6] [BLM14]帕特里夏·鲍耶（Patricia Bouyer）、金·拉森（Kim G.Larsen）和尼古拉斯·马基（Nicolas Markey）。加权时间自动机中的下限约束运行。执行。评估。，73:91-109, 2014. [7] [CFL15]大卫·卡切拉（David Cachera）、乌利·法伦伯格（Uli Fahrenberg）和阿克塞尔·莱吉（Axel Legay）。实时能量问题的欧米伽代数。在Prahladh Harsha和G.Ramalingam，FSTTCS编辑，Leibniz Int.Proc.第45卷。Inf.，第394-407页。达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技，2015年·Zbl 1366.68138号 [8] [DBSV01]编辑Maria Domenica Di Benedetto和Alberto L.Sangiovanni-Vincentelli。混合系统：计算与控制，第四届国际研讨会，HSCC 2001，罗马，意大利，2001年3月28日至30日，Lect第2034卷。注释计算。科学。施普林格出版社，2001年。 [9] [DHMS12]Brijesh Dongol、Ian J.Hayes、Larissa Meinicke和Kim Solin。面向实时程序的代数。在沃尔夫拉姆·卡尔（Wolfram Kahl）和蒂莫西·格里芬（Timothy G.Griffin）的著作中，RAMiCS编辑，Lect第7560卷。注释计算。科学。，第50-65页。Springer-Verlag，2012年·Zbl 1364.68135号 [10] [DKV09]Manfred Droste、Werner Kuich和Heiko Vogler，编辑。加权自动机手册。EATCS理论计算机科学专著。Springer-Verlag，2009年·Zbl 1200.68001号 [11] [´EFL15a]Zolt´an´Esik、Uli Fahrenberg和Axel Legay。含恒星的Kleeneω代数。在Igor Potapov，DLT编辑，Lect第9168卷。注释计算。科学。，第240-251页。施普林格出版社，2015年·Zbl 1434.68309号 [12] [´EFL15b]佐尔特·安·埃西克（Zolt´an´Esik）、乌利·法伦伯格（Uli Fahrenberg）和阿克塞尔·莱吉（Axel Legay）。*-能量问题的连续Kleeneω-代数。在Ralph Matthes和Matteo Mio，FICS编辑，Elector第191卷。程序。西奥。计算。科学。，第48-59页，2015年·Zbl 1434.68309号 [13] [´EFLQ13]佐尔特·安·埃西克（Zolt´an´Esik）、乌利·法伦伯格（Uli Fahrenberg）、阿克塞尔·莱吉（Axel Legay）和卡林·夸斯（Karin Quaas）。能量问题的Kleene代数和半模。在Dang Van Hung和Mizuhito Ogawa，ATVA编辑，Lect第8172卷。注释计算。科学。，第102-117页。Springer-Verlag，2013年·Zbl 1318.68105号 [14] [´EFLQ17a]佐尔特·安·埃西克（Zolt´an´Esik）、乌利·法伦伯格（Uli Fahrenberg）、阿克塞尔·莱吉（Axel Legay）和卡林·夸斯（Karin Quaas）。能量*问题的代数方法I:-连续Kleeneω-代数。网络学报。，23(1):203-228, 2017. ·Zbl 1389.68056号 [15] [´EFLQ17b]佐尔特·安·埃西克（Zolt´an´Esik）、乌利·法伦伯格（Uli Fahrenberg）、阿克塞尔·莱吉（Axel Legay）和卡林·夸斯（Karin Quaas）。能量问题的代数方法II：能量函数的代数。网络学报。，23(1):229-268, 2017. ·Zbl 1389.68057号 [16] [´EK07a]Zolt´an´Esik和Werner Kuich。现代自动机理论。2007网址：http://dmg.tuwien.ac.at/kuich/mat.pdf·Zbl 1088.68117号 [17] [´EK07b]Zolt´an´Esik和Werner Kuich。关于迭代半环半模对。半群论坛，75:129-1592007·Zbl 1155.16035号 [18] [FJLS11]乌里·法伦贝格（Uli Fahrenberg）、朱尔线（Line Juhl）、金·G·拉森（Kim G.Larsen）和基尔·昂·斯尔巴。多重加权自动机中的能量博弈。Antonio Cerone和Pekka Pihlajasaari，ICTAC编辑，Lect第6916卷。注释计算。科学。，第95-115页。Springer-Verlag，2011年·Zbl 1350.68168号 [19] [高尔夫99]乔纳森·S·戈兰。半环及其应用。Springer-Verlag，1999年·Zbl 0947.16034号 [20] [HM09]彼得·H¨诺纳和伯恩哈德·M¨诺勒。混合系统的代数。J.日志。藻类。掠夺。，78(2):74-97, 2009. ·Zbl 1161.68032号 [21] [K¨on27]D´enes K¨onig公司。¨Uber eine Schlussweise aus dem Endlichen ins Unendlichen。科学学报。数学。（塞格德），3（2-3）：121-1301927。 [22] [Koz90]德克斯特·科赞。关于Kleene代数和闭半环。在Branislav Rovan，MFCS编辑，Lect第452卷。注释计算。科学。，第26-47页。Springer-Verlag，1990年·Zbl 0732.03047号 [23] [Koz94]德克斯特·科赞。Kleene代数和正则事件代数的完备性定理。信息计算。，110(2):366-390, 1994. ·兹比尔0806.68082 [24] [Qua11]卡林·夸斯。关于加权时间自动机的区间问题。在Adrian Horia Dediu、Shunsuke Inenaga和Carlos Mart´11n n-Vide，LATA编辑，Lect第6638卷。注释计算。科学。，第452-464页。Springer-Verlag，2011年·Zbl 1330.68177号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。