×

max-plus线性序列的实现集是半多面体。 (英语) Zbl 1215.68108号

摘要:我们证明了max-plus线性序列给定维的实现集是多面体集的有限并集,它可以从序列的任何实现中计算出来。这就产生了一个(昂贵的)算法来解决max-plus最小实现问题。这些结果是从幂等交换半环上有理表达式的一般事实导出的:我们更一般地证明了产生给定max-plus线性序列的一个字母中的交换有理表达式系数的值集是多面体集的有限并。

MSC公司:

65年第68季度 算法和问题复杂性分析
15A80型 Max-plus和相关代数
2016年60月 半环
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 安德森,B。;Deistler,M。;Farina,L。;Benvenuti,L.,具有非负脉冲响应的线性系统的非负实现,IEEE Trans。电路系统。I.芬丹。理论应用。,43, 134-142 (1996)
[2] Akian先生。;Gaubert,S。;Walsh,C.,《离散max-plus谱理论》(Litvinov,G.L.;Maslov,V.P.,Idempotent Mathematics and Mathematical Physics.Idempolent Mathemics and Matherics,Contemp.Math.(2005),Amer。数学。Soc.:美国。数学。Soc.Providence,RI),19-51,也是ESI预印本1485
[3] 巴切利,F。;科恩,G。;Olsder,G。;Quadrat,J.-P.,《同步与线性》(1992),威利
[4] Benvenuti,L。;Farina,L.,《积极性如何迫使实现“大”维度的示例》,《系统控制快报》。,36, 4, 261-266 (1999) ·Zbl 0915.93014号
[5] 巴兹勒,G。;Marro,G.,《线性系统理论中的受控和条件不变量》(1991),Prentice Hall·Zbl 0172.12501号
[6] 布隆德尔,V。;Portier,N.,整数线性递归序列中零的存在是NP-hard决定的,线性代数应用。,351-35291-98(2002年6月)
[7] 巴苏,S。;波拉克,R。;罗伊,M.-F.,《关于量词消去的组合和代数复杂性》,J.ACM,43,6,1002-1045(1996)·Zbl 0885.68070号
[8] 伯斯特尔,J。;Reutenauer,C.,Rational Series及其语言(1988),Springer·Zbl 0668.68005号
[9] J.Berstel,C.Reutenauer,非交换有理级数及其应用,2010,新版[8];J.Berstel,C.Reutenauer,非交换有理级数及其应用,2010,新版[8]·Zbl 1250.68007号
[10] Bonnier-Rigny,A。;Krob,D.,《热带半环中具有多重性的单字母有理表达式的完整恒等式系统》,第二届词汇、语言和组合数学国际学术讨论会。第二届词汇、语言和组合数学国际学术讨论会,京都,1992年。第二届词汇、语言和组合学国际学术讨论会。第二届词汇、语言和组合数学国际学术讨论会,京都,1992年,理论。计算。科学。,134, 1, 27-50 (1994) ·Zbl 0823.68051号
[11] (Blondel,V.D.;Sontag,E.D.;Vidyasagar,M.;Willems,J.C.,《数学系统和控制理论中的开放问题》(1999),Springer)·Zbl 0945.93005号
[12] G.Cohen,D.Dubois,J.Quadrat,M.Viot,《生产系统成分分析》,《经济研究报告》191,INRIA,法国车斯奈,1983年。;G.Cohen,D.Dubois,J.Quadrat,M.Viot,《生产系统的成分分析》,Rapport de recherche 191,INRIA,Le Chesnay,France,1983年。
[13] 科恩,G。;杜波依斯,D。;Quadrat,J。;Viot,M.,《离散事件过程的线性系统理论观点及其在制造业性能评估中的应用》,IEEE Trans。自动化。控制,AC-30210-220(1985)·Zbl 0557.93005号
[14] R.Cuninghame-Green,离散动态系统的代数实现,摘自:1991年IFAC制造业和社会现象中离散事件系统理论和应用研讨会论文集,中国沈阳,1991年6月。;R.Cuninghame-Green,离散动态系统的代数实现,摘自:1991年IFAC制造业和社会现象中离散事件系统理论和应用研讨会论文集,中国沈阳,1991年6月·Zbl 0731.15012号
[15] Cuninghame-Green,R.A。;Butković,P.,离散事件动力系统:严格凸情形,Ann.Oper。决议,57,45-63(1995)·兹伯利0826.93016
[16] 科恩,G。;Gaubert,S。;Quadrat,J.P.,Max-plus代数和系统理论:我们现在在哪里,现在要去哪里,Annu。版本控制,23207-219(1999)
[17] G.Cohen、P.Moller、J.Quadrat、M.Viot、Une the oree linéaire des systèmesévénements discrets、Rapport de recherche 362、INRIA、Le Chesnay、France,1985年。;G.Cohen、P.Moller、J.Quadrat、M.Viot、Une the oree linéaire des systèmeávénements discrets、Rapport de recherche 362、INRIA、法国勒切斯奈,1985年。
[18] 科恩,G。;莫勒,P。;Quadrat,J。;Viot,M.,《离散事件系统性能评估的代数工具》,IEEE Proc。(离散事件系统专刊),77,1,39-58(1989)
[19] Conway,J.,《正则代数和有限机器》(1971),查普曼和霍尔·兹比尔0231.94041
[20] 杜尚,G。;Reutenauer,C.,《非交换性理论的基础》,《发明》。数学。,128, 613-622 (1997) ·Zbl 0870.68093号
[21] B.De Schutter,离散事件系统的最大代数系统理论。KU Leuven博士论文,1996年2月。;B.De Schutter,离散事件系统的最大代数系统理论。KU Leuven博士论文,1996年2月。
[22] 德舒特,B。;De Moor,B.,极大代数中的最小实现是一个扩展的线性互补问题,系统控制Lett。,25, 2, 103-111 (1995) ·Zbl 0877.93026号
[23] 艾伦伯格,S.,《自动化,语言和机器》,A卷(1974年),学术出版社·Zbl 0317.94045号
[24] Enderton,H.,《数理逻辑导论》(1972),学术出版社
[25] 艾伦伯格,S。;Schützenberger,M.,交换幺半群中的有理集,J.代数,13173-191(1969)·Zbl 0206.02703号
[26] Fliess,M.,Séries rationnelles positives et processus stochastiques,Ann.Inst.H.Poincaré,XI,1,1-21(1975)·Zbl 0337.60057号
[27] 弗拉乔莱特,P。;Odlyzko,A.M.,生成函数的奇异性分析,SIAM J.离散数学。,3, 2, 216-240 (1990) ·Zbl 0712.05004号
[28] S.Gaubert,Théorie des systèmes linéaires dans les dioídes,Thèse,巴黎矿山,1992年7月。;S.Gaubert,《巴黎矿务局局长》,1992年7月。
[29] S.Gaubert,《关于某些二元体上一个变量的有理级数》,Rapport de recherche 2162,INRIA,1994年1月。;S.Gaubert,《关于某些二元体上一个变量的有理级数》,Rapport de recherche 2162,INRIA,1994年1月·Zbl 0819.93001号
[30] Gaubert,S.,《关于二元体和离散事件系统的理性系列》,(第11届系统分析与优化大会:离散事件系统)。程序。第11届系统分析与优化大会:离散事件系统。程序。第11届系统分析与优化大会:离散事件系统,索菲亚·安蒂波利斯,1994年6月,Lect。控制与信息科学注释。,第1999卷(1994),《施普林格:柏林施普林格》·兹比尔0819.93001
[31] Gaubert,S。;布特科维奇,P。;Cuninghame-Green,R.,凸序列的最小((max,+)实现,SIAM J.控制优化。,36、1、137-147(1998),(电子版)·Zbl 0921.93006号
[32] Gaubert,S。;Plus,M.,\(\max,+)\)线性代数的方法和应用,(Reischuk,R.;Morvan,M.,STACS’97。STACS’97,吕贝克,1997年3月。STACS’97.STACS’97,吕贝克,1997年3月,法律。注释计算。科学。,第1200卷(1997),施普林格)·Zbl 1498.15034号
[33] 海德格特,B。;Olsder,G.J。;van der Woude,J.,《Max Plus在工作中:同步系统的建模和分析》,Max-Plus代数及其应用课程(2006年),普林斯顿·Zbl 1130.93003号
[34] 霍普克罗夫特,J.E。;Ullman,J.D.,《自动机理论、语言和计算导论》(1979),Addison-Wesley·Zbl 0196.01701号
[35] 伊滕伯格,I。;米哈尔金,G。;Shustin,E.,热带代数几何,Oberwolfach研讨会(2007年),Birkhäuser
[36] G.Jacob,Repésentations et substitutions matricieles dans la the orie matriciele des semigroupes,巴黎大学,1975年。;G.Jacob,Repésentations et substitutions matricieles dans la the orie matriciele des semigroupes,巴黎大学,1975年。
[37] Katz,R.D.,Max-plus(A,B)-不变空间和定时离散事件系统的控制,IEEE Trans。自动化。控制,52,2,229-241(2007),也可eprint·Zbl 1366.93351号
[38] 医学博士洛雷托。;Gaubert,S。;Katz,R.D。;Loiseau,J.J.,max-plus线性离散事件系统的不变空间之间的对偶性(2009),电子版
[39] Maeda,H。;Kodama,S.,带正约束线性系统的可达性、可观测性和可实现性,Trans。IECE,63-A,688-694(1980),(日语)
[40] P.Moller,《离散系统理论》,巴黎矿业大学,1988年。;P.Moller,《离散系统的理论》,巴黎矿业大学,1988年。
[41] G.Olsder,B.De Schutter,max-plus代数中的最小实现问题,1999年,出现在[11]中;G.Olsder,B.De Schutter,max-plus代数中的最小实现问题,1999年,出现在[11]中
[42] Olsder,G.,《关于离散事件动态系统的特征方程和最小实现》,(系统分析与优化.系统分析和优化,Lect.Notes Control Inform.Sci.,第83卷(1986),Springer),189-201
[43] Perrin,D.,《关于正矩阵》,Theoret。计算。科学。,94, 357-366 (1992) ·Zbl 0755.15009号
[44] Pin,J.-E.,《热带半环》(Gunawardena,J.,Idempotency(1998),剑桥大学出版社:剑桥大学出版社)·Zbl 0909.16028号
[45] Richter-Gebert,J。;Sturmfels,B。;Theobald,T.,《热带几何的第一步》,(《幂等数学与数学物理》,《幂等数学与数学物理》,《数学竞赛》,第377卷(2005年),美国。数学。Soc.:美国。数学。Soc.Providence,RI),289-317·Zbl 1093.14080号
[46] Schrijver,A.,《线性和整数规划理论》(1986),威利·Zbl 0665.90063号
[47] Stockmeyer,L.J。;Meyer,A.R.,《需要指数时间的单词问题:初步报告》,(第五届ACM计算理论年会(1973年),计算机协会。机器。:助理计算。机器。纽约)·Zbl 0359.68050号
[48] Soittola,M.,正有理数列,理论。计算。科学。,2, 317-322 (1976) ·兹伯利0341.68056
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。