×
塞巴斯蒂安·拉哈耶；赖爱文；简·科门达；Jean-Louis Boimond

对max-plus自动机确定的贡献。 （英语） Zbl 1435.68177号

离散事件动态。系统。 30，第1期，155-174（2020）.
摘要：众所周知，并不是所有的max-plus自动机都可以被确定，即转换为具有相同行为的确定max-plus自动机。一个经典的序列化过程，在文献中扩展到max-plus自动机，成功地计算了max-plu自动机重要子类的等价确定性max-plus自动机。此过程基于状态向量的规范化，以便检测和合并具有类似未来行为的状态。本文提出了一个新的较弱的条件，它仍然能保证这一性质。这允许对现有的确定过程进行相当大的改进，因为它终止于更大的max-plus自动机类。

引用于2文件

MSC公司：

65年第68季度 形式语言和自动机

关键词：

加权自动机；最大加代数；确定
PDF格式BibTeX公司 XML格式引用
\textit{S.Lahaye}等人，《离散事件动力学》。系统。30，第1号，155--174（2020；Zbl 1435.68177）
全文： 内政部

参考文献：

[1] 阿基安，M。；Gaubert，S。；Guterman，A.，《热带多面体等价于平均回报博弈》，《国际代数计算》，22，12（2012）·Zbl 1239.14054号 ·doi:10.1142/S0218196711006674
[2] 阿拉米吉恩，X。；Gaubert，S。；Goubault，E.，使用有向超图计算热带多面体的顶点，Discrete Comput Geom，49247-279（2013）·Zbl 1312.52001号 ·doi:10.1007/s00454-012-9469-6
[3] 阿米诺夫，B。；库普夫曼，O。；Lampert，R.，加权自动机的严格近似确定，Theor Compute Sci，480，104-117（2013）·Zbl 1291.68224号 ·doi:10.1016/j.tcs.2013.02.005
[4] Baccelli F、Cohen G、Olsder G-J、Quadrat J-P（1992）《同步与线性》。威利·Zbl 0824.93003号
[5] 贝亚尔，玛丽·皮埃尔；伦巴第，Sylvain；Sakarovitch，Jacques，《加权自动机和功能换能器的共轭性和等价性》，《计算机科学-理论和应用》，58-69（2006），柏林，海德堡：施普林格-柏林-海德堡，柏林·Zbl 1185.68381号
[6] Damljanović，北。；乔伊里奇，M。；Ignjatović，J.，加性幂等半环上加权自动机的双模拟，Theor Compute Sci，53486-100（2014）·Zbl 1359.68203号 ·doi:10.1016/j.tcs.2014.02.032
[7] Daviaud L，Guillon P，Merlet G（2016）热带矩阵的max-plus自动机和联合谱半径比较。CoRR，arXiv公司：1612.02647·Zbl 1441.68119号
[8] Droste M、Kuich W、Vogler H（2009）《加权自动机手册》。斯普林格出版公司·兹比尔1200.68001
[9] Filiot E，Jecker I，Lhote N，Pérez GA，Raskin J-F（2017）关于max-plus自动机的延迟和后悔确定。摘自：计算机科学逻辑研讨会（LICS）论文集·兹比尔1457.68142
[10] Gaubert，S.，（max，+）自动机的性能评估，IEEE TAC，40，12，2014-2025（1995）·Zbl 0855.93019号
[11] Gaubert S，Mairesse J（1999），工件堆的渐近分析和定时Petri网的应用。摘自：《Petri网与性能模型学报》，第158-169页·Zbl 0955.68082号
[12] Kirsten，D.，终止Mohri多项式模糊min-plus-automata算法的burnside方法，RAIRO-TIA，42，3，553-581（2008）·Zbl 1155.68042号
[13] Krob，D.，热带半环中具有多重性的有理级数的等式问题是不可判定的，Lect Notes Comput Sci，623，101-112（1992）·Zbl 1425.68213号 ·doi:10.1007/3-540-55719-967
[14] Lahaye S、Komenda J、Boimond J-L（2015）《自动化程序定义（max，+）》。In：南希系统活动模式
[15] 拉哈耶，S。；Komenda，J。；Boimond，J-L，《（max，+）自动机的监控：应用扩展》，《国际J控制》，88，12，2523-2537（2015）·Zbl 1335.93088号 ·doi:10.1080/00207179.2015.1048295
[16] Lahaye S、Lai A、Komenda J（2017）《自动化的贡献》（Contribution A la détermination des automates max-plus）。在：马赛系统现代化
[17] Lombardy S、Mairesse J（2006）系列的max-plus和min-plus有理数都是明确的。RAIRO-理论信息学与应用，40·Zbl 1085.68081号
[18] 南部伦巴第。；Sakarovitch，J.，《序贯？》？，TCS，359，1-2，224-244（2006）·Zbl 1160.68419号 ·doi:10.1016/j.tcs.2006.01.028
[19] Mohri，M.，《语言和语音处理中的有限状态变换器》，《语言学比较》，23，269-311（1997）
[20] Sakarovitch J（2009）《自动机理论的要素》。剑桥大学出版社·兹比尔1188.68177
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。