×
泽维尔·阿拉米吉恩;乌里·法伦贝格;圣埃芬·高伯特;里卡多·D·卡茨。;Legay、Axel

热带Fourier-Motzkin消除，应用于实时验证。 （英语） Zbl 1301.90069号

国际代数计算杂志。 24，第5期，569-607（2014）.
摘要：我们介绍了热带多面体的一个推广，它可以表示严格不等式和非严格不等式。这种不等式是通过一个芽半环（编码无穷小扰动）来处理的。我们开发了一种类似于Fourier-Motzkin消元法的热带模型，从中我们导出了这些多面体的几何性质。特别地，我们证明了它们与经典和热带凸的（非必然闭合的）单元的热带凸并集是一致的。我们还证明了在执行连续消除步骤时产生的冗余不等式可以通过均值-支付博弈问题的约简来动态删除。作为补充，我们提供了一个更粗略的（多项式时间）删除过程，该过程足以达到总执行时间的简单指数界。这些算法通过实时系统的应用（时间自动机的可达性分析）进行了说明。

引用于6文件

MSC公司：

90C25型 凸面编程
15A80型 Max-plus和相关代数
91年46月 组合游戏
90立方厘米 分数编程
68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）
52A01型 公理性和广义凸性
52B55号 与凸性相关的计算方面

关键词：

热带多面体;严格不等式;傅立叶-莫兹金消去法;平均回报博弈;实时验证;时间自动机

软件：

Uppaal公司;TPLib公司
PDF格式BibTeX公司 XML格式引用
\textit{X.Allamigeon}等人，《国际代数计算》。24，第5号，569--607（2014；Zbl 1301.90069）
全文： 内政部 arXiv公司

参考文献：

[1] 内政部：10.1142/S0218196711006674·Zbl 1239.14054号 ·doi:10.1142/S0218196711006674
[2] DOI:10.1007/s00454-012-9469-6·Zbl 1312.52001号 ·doi:10.1007/s00454-012-9469-6
[3] 内政部：10.1016/j.jcta.2010.04.003·Zbl 1246.14078号 ·doi:10.1016/j.jcta.2010.04.003
[4] DOI:10.1016/j.laa.2011.02.004·Zbl 1217.14047号 ·doi:10.1016/j.laa.2011.02.004
[5] 内政部：10.1006/inco.1993.1024·Zbl 0783.68076号 ·doi:10.1006/inco.1993.1024
[6] 内政部：10.1016/0304-3975（94）90010-8·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8
[7] 内政部：10.1007/978-3-540-89439-1_4·Zbl 1182.68219号 ·doi:10.1007/978-3-540-89439-14
[8] DOI:10.1016/j.dam.2006.04.029·Zbl 1176.68087号 ·doi:10.1016/j.dam.2006.04.029
[9] 内政部：10.1080/02331930410001695283·Zbl 1144.90506号 ·doi:10.1080/02331930410001695283
[10] Briec W.，Pacific J.Optim公司。第4页，293页–（2008年）
[11] 内政部：10.1016/j.laa.2006.10.004·Zbl 1119.15018号 ·doi:10.1016/j.laa.2006.10.004
[12] 布特科维奇·P，Ekon-材料20第203页–（1984年）
[13] 内政部：10.1080/026811199281967·Zbl 0958.47028号 ·doi:10.1080/06811119281967
[14] DOI:10.1016/S1367-5788（99）90091-3·doi:10.1016/S1367-5788（99）90091-3
[15] 内政部：10.1090/conm/377/06987·doi:10.1090/conm/377/06987
[16] A.David，嵌入式系统的基于模型的设计，编辑G.Nicolescu和P.J.Mosterman（CRC出版社，2010）pp。93–119.
[17] Develin M.博士。数学。第9页第1页–（2004年）
[18] 内政部：10.1080/10586458.2007.10129009·Zbl 1134.52006年 ·doi:10.1080/10586458.2007.10129009
[19] 内政部：10.1016/S0764-4442（97）82710-3·Zbl 0933.49017号 ·doi:10.1016/S0764-4442（97）82710-3
[20] Gaubert S.，Kybernetika 40第153页–（2004）
[21] DOI:10.1016/j.laa.2006.09.019·Zbl 1110.52002号 ·doi:10.1016/j.laa.2006.09.019
[22] 内政部：10.1007/s10801-010-0246-4·Zbl 1218.52001号 ·doi:10.1007/s10801-010-0246-4
[23] DOI:10.1016/j.jsc.2011.12.049·Zbl 1270.90081 ·doi:10.1016/j.jsc.2011.12.049
[24] 数字对象标识码：10.1007/s00454-009-9207-x·Zbl 1219.14071号 ·文件编号：10.1007/s00454-009-9207-x
[25] 内政部：10.1007/s10958-008-9243-8·Zbl 1173.47045号 ·doi:10.1007/s10958-008-9243-8
[26] 数字对象标识码：10.1007/s10626-012-0137-z·Zbl 1279.15024号 ·doi:10.1007/s10626-012-0137-z
[27] DOI:10.1016/0041-5553（88）90012-2·Zbl 0695.90105号 ·doi:10.1016/0041-5553（88）90012-2
[28] DOI:10.1006/inco.1994.1045·Zbl 0806.68080号 ·文件编号：10.1006/inco.1994.1045
[29] Howard R.A.，动态规划与马尔可夫过程（1960）·兹比尔0091.16001
[30] M.Joswig，组合与计算几何，数学科学研究所出版物52（剑桥大学出版社，剑桥，2005）pp。409–431.
[31] DOI:10.1016/j.laa.2013.10.029·兹比尔1292.15028 ·doi:10.1016/j.laa.2013.10.029
[32] DOI:10.1287/门5.3.366·Zbl 0442.90102号 ·doi:10.1287/门5.3.366
[33] 内政部：10.1007/s11334-009-0086-3·Zbl 05659213号 ·doi:10.1007/s11334-009-0086-3
[34] DOI:10.1007/978-3-642-00768-2_6·Zbl 05535621号 ·doi:10.1007/978-3-642-00768-26
[35] DOI:10.1023/A:1010266012029·Zbl 1017.46034号 ·doi:10.1023/A:1010266012029
[36] DOI:10.1016/j.jlap.2011.10.004·Zbl 1279.68214号 ·doi:10.1016/j.jlap.2011.10.004
[37] 数字对象标识码：10.1137/S009753970037727X·Zbl 1112.90034号 ·doi:10.1137/S0097539700377272X
[38] 齐默尔曼K.，Ekon-材料13第179页–（1977年）
[39] 内政部：10.1016/0304-3975（95）00188-3·Zbl 0871.68138号 ·doi:10.1016/0304-3975（95）00188-3
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。