×

最大加线性离散事件系统的分析与控制:导论。 (英语) 兹比尔1441.93174

小结:本文的目的是简要介绍max-plus代数和max-plus线性离散事件系统。我们介绍了max-plus代数的基本概念,并解释了如何使用它来建模一类特定的具有同步但没有并发的离散事件系统。这样的系统被称为max-plus线性离散事件系统,因为它们可以用max-plus代数中的“线性”模型来描述。我们讨论了max-plus代数的一些关键性质,并指出了如何利用这些性质来分析max-plus线性离散事件系统的行为。其次,简要介绍了基于残差控制和模型预测控制的max-plus线性离散事件系统的一些控制方法。最后,我们讨论了max-plus代数和max-plus线性系统的一些扩展。

MSC公司:

93元65角 离散事件控制/观测系统
93B45码 模型预测控制
93二氧化碳 控制理论中的线性系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿达德,B。;阿玛里,S。;Lesage,Jj,网络自动化系统响应时间的分析演算,IEEE Trans-Autom Sci Eng,7,4,858-869(2010)
[2] 阿达德,B。;阿玛里,S。;Lesage,Jj,《客户端-服务器网络自动化系统反应性:确定性和概率分析》,IEEE Trans-Autom Sci Eng,8,3,540-548(2011)
[3] 阿达德,B。;阿玛里,S。;Lesage,Jj,(max,plus)代数中的网络冲突时间事件图表示,离散事件动态系统理论应用,22,4,429-449(2012)·Zbl 1267.93106号
[4] Adzkiya,D。;德舒特,B。;Abate,A.,最大线性系统的有限抽象,IEEE Trans-Autom Control,58,12,3039-3053(2013)·Zbl 1369.93370号
[5] Adzkiya,D。;德舒特,B。;Abate,A.,最大线性系统可达性分析的计算技术,Automatica,53,293-302(2015)·Zbl 1371.93035号
[6] 阿玛里,S。;德蒙戈丁,I。;Loiseau,Jj;Martinez,C.,满足时间事件图中时间约束的Max-plus控制设计,IEEE Trans-Autom control,57,2,462-467(2012)·Zbl 1369.93371号
[7] 巴切利,F。;科恩,G。;Olsder,G。;Quadrat,J.,《同步与线性》(1992),纽约:威利出版社,纽约·Zbl 0824.93003号
[8] 巴沙尔,T。;伯恩哈德,P.,\(\text{高}_{\infty}H\)∞-最优控制及相关的极小极大设计问题(1995),波士顿:伯克豪斯,波士顿·Zbl 0835.93001号
[9] Bemporad,A。;Morari,M.,《集成逻辑、动力学和约束的系统控制》,Automatica,35,3,407-427(1999)·Zbl 1049.93514号
[10] 布莱斯,T。;Janowitz,M.,《居留理论》(1972),牛津:佩加蒙出版社,牛津·Zbl 0301.06001号
[11] Boimond,J。;Ferrier,J.,《内部模型控制和最大代数:控制器设计》,IEEE Trans-Autom control,41,3,457-461(1996)·Zbl 0846.93056号
[12] Bouillard,A。;Thierry,E.,网络微积分算法工具箱,离散事件动态系统,18,1,3-49(2008)·Zbl 1162.90364号
[13] Brunsch,T。;Raisch,J.,在最大+代数设置下高通量筛选系统的建模和控制,Artif Intell的工程应用,25,4,720-727(2012)
[14] Brunsch,T。;Raisch,J。;Hardouin,L.,高通量筛选系统的建模与控制,控制工程实践,20,1,14-23(2012)
[15] Butković,P.,《最大线性系统:理论和算法》。施普林格数学专著(2010),柏林:施普林格,柏林·Zbl 1202.15032号
[16] 布特科维奇,P。;Jones,D.,关于广义max-plus特征问题的特殊情况,SIAM J Matrix Ana Appl,37,3,1002-1021(2016)·Zbl 1347.15014号
[17] 卡马乔,E。;Bordons,C.,《过程工业中的模型预测控制》(1995),柏林:施普林格出版社,柏林
[18] Jean Cochet-Terrasson;盖·科恩(Guy Cohen);圣埃芬·高伯特;迈克尔·麦盖特里克(Michael Mcgettrick);Quadrat,Jean-Pierre,Max-Plus代数中谱元的数值计算☆, IFAC会议记录卷,31,18,667-674(1998)
[19] 科恩,G。;杜波依斯,D。;Quadrat,J。;Viot,M.,离散事件过程的线性系统理论观点及其在制造业性能评估中的应用,IEEE Trans-Autom Control,30,3,210-220(1985)·Zbl 0557.93005号
[20] 科恩,G。;莫勒,P。;Quadrat,J。;Viot,M.,《离散事件系统性能评估的代数工具》,IEEE程序,77,1,39-58(1989)
[21] Commault,C.,一些事件图模型的反馈稳定,IEEE Trans-Autom Control,43,10,1419-1423(1998)·Zbl 0956.93041号
[22] 科腾索,B。;哈杜因,L。;博伊蒙德,Jl;Ferrier,Jl,dioids中定时事件图的模型参考控制,Automatica,37,91451-1458(2001)·兹比尔0999.93045
[23] Cuninghame-Green R(1961)《炼钢厂的工艺同步——可行性问题》。收录:Banbury J,Maitland J(eds)《第二届国际运筹学会议论文集》(Aix-en-Provence,法国1960)。英国大学出版社,伦敦,323-328页
[24] Cuninghame-Green,R.,《描述具有干扰的工业过程并近似其稳态行为》,Oper Res Q,13,1,95-100(1962)
[25] Cuninghame-Green,R.,最小代数,经济学和数学系统讲义,第166卷(1979),柏林:施普林格出版社,柏林·Zbl 0399.90052号
[26] Cuninghame-Green,R。;Butkovic,P.,方程a×x=b⊗y over((max\limits,+)(max,+),Theor Compute Sci,293,3-12(2003)·Zbl 1021.65022号
[27] Cuninghame-Green R,ButkovičP(2008)最大代数中的广义特征问题。摘自:第九届离散事件系统国际研讨会(WODES’08)会议记录,瑞典哥德堡,第236-241页
[28] 戴维·亨利特,X。;哈杜因,L。;Raisch,Jbc,部分同步离散事件系统的模型预测控制,Automatica,70,9-13(2016)·Zbl 1339.93076号
[29] 哈维尔·戴维·亨利埃;劳伦特·哈杜因(Laurent Hardouin);Raisch,Jörg,用于制造问题建模和控制的Max-Plus-Linear Systems,《数字工厂数学》,37-60(2017),Cham:Springer International Publishing,Cham
[30] De Schutter B(1996)离散事件系统的最大代数系统理论。比利时鲁汶K.U.Leuven应用科学学院博士论文
[31] De Schutter,B.,关于矩阵的连续幂序列在max-plus代数中的最终行为,线性代数应用,307,1-3,103-117(2000)·Zbl 0999.15020号
[32] 德舒特,B。;De Moor,B.,扩展线性互补问题,数学程序,71,3,289-325(1995)·Zbl 0849.90117号
[33] 德舒特,B。;De Moor,B.,求极大代数中多元多项式等式和不等式组所有解的方法,离散事件动态系统:理论应用,6,2,115-138(1996)·Zbl 0855.93018号
[34] 德舒特,B。;De Moor,B.,扩展极大代数中的奇异值分解,线性代数应用,250143-176(1997)·Zbl 0871.15013号
[35] 德舒特,B。;De Moor,B.,对称max-plus代数中的QR分解和奇异值分解,SIAM J矩阵分析应用,19,2,378-406(1998)·Zbl 0915.15014号
[36] 德舒特,B。;Van Den Boom,T.,最大线性离散事件系统的模型预测控制,Automatica,37,7,1049-1056(2001)·Zbl 0991.93042号
[37] 德舒特,B。;Heemels,W。;Bempoad,A.,《关于线性互补问题的等价性》,Oper Res Lett,30,4,211-222(2002)·Zbl 1049.90099号
[38] Declerck,P.,《从P时间事件图中的极值轨迹到标记死亡》,IEEE Trans-Autom Control,56,2,463-467(2011)·Zbl 1368.68260号
[39] Declerck,P。;Alaoui,Mkd,具有区间模型规范的定时事件图的最优控制合成,IEEE Trans-Atom control,55,21518-523(2010)·兹比尔1368.93371
[40] Esmaeil Zadeh Soudjani,S。;Adzkiya,D。;Abate,A.,随机最大线性系统的形式验证,IEEE Trans Automatic Control,61,10,2861-2876(2016)·Zbl 1359.68188号
[41] Subiono,Fk;Van Der Woude,J.,《关于max-plus代数上幂算法的推广》,《离散事件动态系统》,27,181-203(2017)·Zbl 1356.93054号
[42] Farahani,Ss;范登·布姆,Tj;Van Der Weide,H。;De Schutter,B.,计算最大仿射表达式期望值的近似方法,《欧洲控制杂志》,27,17-27(2016)·Zbl 1403.93175号
[43] 费雷拉·坎迪多,R。;哈杜因,L。;M.Lhommeau。;Santos Mendes,R.,不确定最大加线性系统的条件可达性,Automatica,94426-435(2018)·Zbl 1401.93027号
[44] Ce加西亚;Morari,M.,《内部模型控制:统一回顾和一些新结果》,工业工程化学过程设计,21,2,308-323(1982)
[45] Gaubert S(1990)时间事件图中优化资源的代数方法。收录于:Bensoussan A,Lions J(eds),《第九届系统分析与优化国际会议论文集》(Antibes,法国,1990年6月),德国柏林:Springer-Verlag,《控制与信息科学讲稿》,第144卷,第957-966页·Zbl 0721.90042号
[46] Gaubert S(1992)《系统科学》(Théorie des systèmes linéaires dans les dioídes)博士论文。法国巴黎国家矿山管理学院
[47] Gaubert S(1993)
[48] Gaubert S(1994)关于某些二元体上一个变量的有理级数。技术代表2162 INRIA,Le Chesnay,France·兹比尔0819.93001
[49] Gaubert S,Sergeev S(2013)双边特征值问题的水平集方法·Zbl 1279.15024号
[50] Giffler B(1960)生产计划和调度问题的数学解。IBM ASDD技术代表·Zbl 0248.90022号
[51] Giffler,B.,《使用调度代数调度通用生产系统》,Nav-Res-Logist-Quart,10,3,237-255(1963)
[52] Giffler,B.,《进度代数:进度报告》,Nav-Res-Logist-Quart,15,2,255-280(1968)
[53] Gonçalves,V。;Maia,C。;Hardouin,L.,《关于最大+线性动力系统理论:调节问题》,《自动化》,第75期,第202-209页(2017年)·Zbl 1351.93090号
[54] Gondran M,Minoux M(1976)半模中的特征值和特征向量及其在图论中的解释。收录于:第九届国际数学规划研讨会论文集,匈牙利布达佩斯,第333-348页·兹比尔0453.05028
[55] Gondran,M。;Minoux,M.,《图与算法》(1984),奇切斯特:威利·Zbl 1117.06010号
[56] Gondran,M。;Minoux,M.,《二元体中的线性代数:近期结果调查》,《离散数学年鉴》,第19卷,第147-163页(1984年)·Zbl 0568.08001号
[57] Gondran M,Minoux M(1987)Diod理论及其应用。摘自:《阿尔盖布雷斯外来物与系统》(Algèbres exotiques et systèmesáevénements discrets),CNRS/CNET/INRIA研讨会,CNET,Issy-les-Moulinaux,法国,第57-75页
[58] Goto,H.,具有容量约束的事件可变DES的双重表示及其在线调度方法,国际J控制,81,4,651-660(2008)·邮编1148.90005
[59] Goto,H.,《考虑进程内作业数量的稳健MPL调度》,《工程应用Artif Intell》,22,4-5,603-607(2009)
[60] Goto,H。;Masuda,S.,《利用max-plus线性表示的MIMO-FIFO系统的监控和调度方法》,工业工程与管理系统,7,1,23-33(2008)
[61] Goto,H。;Takahashi,H.,带区间约束参数的max-plus线性系统中状态方程的有效表示,IEICE电子通信与计算机科学基础汇刊,E95A,2,608-612(2012)
[62] 哈杜因,L。;科腾索,B。;M.Lhommeau。;Corronc,El,幂等半环上的区间系统,线性代数应用,431,5-7,855-862(2009)·Zbl 1201.65070号
[63] 哈杜因,L。;Maia,Ca;科腾索,B。;Lhommeau,M.,(max,+)线性系统的观测器设计,IEEE Trans Autom Control,55,2,538-543(2010)·Zbl 1368.93047号
[64] 哈杜因,L。;Shang,Y。;Maia,Ca;Cottenceau,B.,基于观测器的max-plus线性系统控制器,IEEE Trans-Autom Control,62,5,2153-2165(2017)·Zbl 1366.93114号
[65] 哈杜因,L。;科腾索,B。;Shang,Y。;Raisch,J.,max-plus线性系统的控制和状态估计,系统和控制的基础和趋势,6,1,1-116(2018)
[66] Heemels,W。;德舒特,B。;Bempoad,A.,混合动力模型的等效性,Automatica,37,7,1085-1091(2001)·兹比尔0990.93056
[67] 海德格特,B。;Olsder,G。;Van Der Woude,J.,《Max Plus at Work》(2006),普林斯顿:普林斯顿大学出版社,普林斯顿·Zbl 1130.93003号
[68] Houssin,L.公司。;拉哈耶,S。;Boimond,Jl,(max,+)-线性系统最小化延迟的控制,离散事件动态系统,23,3,261-276(2013)·Zbl 1272.93083号
[69] Hruz,B。;Zhou,M.,离散动态系统的建模与控制(2007),伦敦:Springer,伦敦·Zbl 1129.93001号
[70] Ilchmann,A.,《时间变量控制系统:几何方法》,IMA J Math control Inf,6411-440(1989)·Zbl 0696.93017号
[71] Karp,R.,有向图中最小循环平均值的表征,离散数学,23,309-311(1978)·Zbl 0386.05032号
[72] Katz,R.,Max-plus(a,B)-不变空间和定时离散事件系统的控制,IEEE Trans Autom control,52,2,229-241(2007)·Zbl 1366.93351号
[73] Komenda,J。;拉哈耶,S。;Boimond,Jl;Van Den Boom,T.,离散事件系统历史中的Max-plus代数,《年度收入控制》,45240-249(2018)
[74] Kordonis,I。;马拉戈斯,P。;Papavassilopulos,G.,具有马尔可夫跳跃的最大乘积和最大乘积系统的随机稳定性,Automatica,92,123-132(2018)·Zbl 1388.93096号
[75] 拉哈耶,S。;Boimond,Jl;Hardouin,L.,《可变资源的时间事件图:渐近行为,(min,+)代数的表示》,《欧洲杂志》,《自动化系统》,33,1015-1032(1999)
[76] 拉哈耶,S。;Boimond,Jl;Ferrier,Jl,(max,+)代数中时变离散事件动态系统的实时控制,Int J Prod Res,46,19,5337-5348(2008)·Zbl 1148.93329号
[77] M.Lhommeau。;哈杜因,L。;科腾索,B。;Jaulin,L.,区间分析和二元体:应用于时间事件图的鲁棒控制器设计,Automatica,40,11,1923-1930(2004)·Zbl 1075.93011号
[78] Libeaut L,Loiseau J(1995),时间事件图的可容许初始条件和控制。摘自:第34届IEEE决策与控制会议记录,路易斯安那州新奥尔良,pp 2011-2016
[79] Liecherr,J.,最大-最小-最小网络演算的二重性,网络基础和趋势,11,3-4,139-282(2017)·Zbl 1369.68041号
[80] Lopes,G。;科尔斯贝根,B。;Van Den Boom,T.公司。;德舒特,B。;Babuška,R.,通过切换最大+模型对腿部运动进行建模和控制,IEEE Trans Robot,30,3652-665(2014)
[81] 卢奇。;马德森,M。;米拉塔,M。;Ravn,S。;Fahrenberg,美国。;Larsen,Kg,使用max-plus代数的时间自动机可达性分析,J Logic and Algebr Progr,81,3,298-313(2012)·Zbl 1279.68214号
[82] Maciejowski,J.,《带约束的预测控制》(2002),Harlow:Prentice Hall,Harlow·Zbl 0978.93002号
[83] Maia,C。;哈杜因,L。;桑托斯·蒙德斯,R。;Cottenceau,B.,dioids中时间事件图的最优闭环控制,IEEE Trans-Autom control,48,12,2284-2287(2003)·Zbl 1364.93475号
[84] Maia,C。;安德拉德,C。;Hardouin,L.,关于受状态约束的极大值线性系统的控制,Automatica,47,5,988-992(2011)·Zbl 1233.93068号
[85] Mceneaney,W.,非线性h∞问题的Max-plus特征向量方法:误差分析,SIAM J Control Optim,43,379-412(2004)·Zbl 1101.93032号
[86] Menguy E,Boimond J,Hardouin L(1997)最大代数中的反馈控制。摘自:《欧洲控制会议记录》(ECC’97),比利时布鲁塞尔,论文487·Zbl 0976.93057号
[87] Menguy E,Boimond J,Hardouin L(1998)最大代数中线性系统的自适应控制。摘自:《离散事件系统国际研讨会论文集》(WODES’98),意大利卡利亚里,第481-488页
[88] Menguy,E。;Boimond,J。;哈杜因,L。;Ferrier,J.,最大代数中线性系统自适应控制的第一步,离散事件动态系统:理论与应用,10,4,347-367(2000)·Zbl 0976.93057号
[89] Menguy,E。;Boimond,J。;哈杜因,L。;Ferrier,J.,《定时事件图的实时控制:参考输入的更新,不可控输入的存在》,IEEE Trans Automatic control,45,11,2155-2158(2000)·Zbl 0989.93058号
[90] Nait-Sidi-Moh,A。;马尼埃尔(Ma Manier);Ei Moudni,A.,《总线网络性能评估的频谱分析》,《欧洲运营研究杂志》,193,1,289-302(2009)·Zbl 1152.90336号
[91] 内科瓦拉,I。;德舒特,B。;Van Den Boom,T。;Hellendorn,H.,约束最大线性系统的稳定模型预测控制,离散事件动态系统:理论与应用,17,3,329-354(2007)·Zbl 1129.93035号
[92] 内科瓦拉,I。;德舒特,B。;Van Den Boom,T.公司。;Hellendorn,H.,约束最大加线性系统的鲁棒控制,Int J鲁棒非线性控制,19,218-242(2009)·兹比尔1160.93325
[93] 内科瓦拉,I。;德舒特,B。;Van Den Boom,T。;Hellendorn,H.,约束极大线性系统的鲁棒控制,国际鲁棒非线性控制杂志,19,2,218-242(2009)·Zbl 1160.93325号
[94] Olsder,Geert-Jan,关于离散事件动态系统的特征方程和最小实现,系统分析与优化,189-201(1986),柏林,海德堡:施普林格-柏林-海德堡,柏林·Zbl 0611.93008号
[95] Olsder,G。;Roos,C.,Cramer和cayley-Hamilton在极大代数中的应用,线性代数应用,101,87-108(1988)·Zbl 0659.15012号
[96] Olsder,G。;Resing,J。;德弗里斯,R。;基恩,M。;Hooghiemstra,G.,具有随机处理时间的离散事件系统,IEEE Trans Automatic Contr,35,3,299-302(1990)·Zbl 0707.93068号
[97] Olsder,G.J。;Resing,J.A.C。;De Vries,R.E。;基恩,M.S。;Hooghiemstra,G.,具有随机处理时间的离散事件系统,IEEE自动控制汇刊,35,3,299-302(1990)·Zbl 0707.93068号
[98] 罗林斯J,梅恩D(2009)《模型预测控制:理论与设计》,nob hill出版社。威斯康星州麦迪逊
[99] 拉斐尔·桑托斯·门德斯;劳伦特·哈杜因(Laurent Hardouin);Lhommeau,Mehdi,具有有界扰动的Max-Plus线性系统的随机滤波,IEEE自动控制汇刊,64,9,3706-3715(2019)·Zbl 1482.93636号
[100] Schullerus,G。;克雷布斯,V。;德舒特,B。;Van Den Boom,T.,识别最大线性系统的输入信号设计,Automatica,42,6,937-943(2006)·Zbl 1117.93349号
[101] Shang,Y.,走向最大值线性系统的几何控制及其在排队网络中的应用,国际系统科学杂志,44,1,34-49(2013)·Zbl 1308.93062号
[102] Shang,Y。;Sain,Mk,半环上系统模型匹配问题中的固定极点,线性代数应用,430,82368-2388(2009)·Zbl 1159.93019号
[103] Shang,Y。;哈杜因,L。;M.Lhommeau。;Maia,C.,解决max-plus线性系统干扰解耦问题的集成控制策略及其在高通量筛选系统中的应用,Automatica,63,338-348(2016)·兹比尔1329.93047
[104] 苏,R。;Woeginger,G.,有限语言的字符串执行时间:最大值很容易,最小值很难,Automatica,47,10,2326-2329(2011)·Zbl 1228.93005号
[105] 陶,Tg;刘,Gp;Mu,Xw,Max-plus矩阵方法与min-Max-plus系统的循环时间赋值性和反馈稳定性,数学控制信号系统,25,2,197-229(2013)·Zbl 1272.93097号
[106] Van Den Boom,T。;De Schutter,B.,max-plus-linear系统MPC的性质,欧洲J控制,8,5,453-462(2002)·Zbl 1293.93531号
[107] Van Den Boom,T。;De Schutter,B.,使用开关最大线性系统的离散事件系统建模和控制,控制工程实践,14,10,1199-1211(2006)
[108] Van Den Boom,T。;De Schutter,B.,具有随机和确定性切换的切换最大线性系统的建模与控制,离散事件动态系统,12,3,293-332(2012)·Zbl 1252.93084号
[109] van den Boom T,De Schutter B(2014)《使用最大加代数的制造系统模型预测控制》,Campos J,Seatzu C,Xie X(eds),第12卷,CRC出版社,第章·Zbl 0991.93042号
[110] 范登·布姆,Tj;De Schutter,B.,扰动最大线性系统的MPC,《系统与控制快报》,45,1,21-33(2002)·Zbl 0987.93032号
[111] 范登·布姆,Tj;De Schutter,B.,扰动极大线性系统的模型预测控制:随机方法,国际J控制,77,3,302-309(2004)·Zbl 1073.93040号
[112] 伊丽莎白·沃尔库普(Elizabeth A.Walkup)。;Gaetano Borriello,《一般线性max-plus解技术》,Idempotency,406-415(1998)·Zbl 0898.68035号
[113] 王,C。;Tao,Y。;杨,P。;Liu,Z.,最大值线性系统的降维和反馈稳定以及在VLSI阵列处理器中的应用,IEEE Trans-Autom Control,62,12,6353-6368(2017)·Zbl 1390.93647号
[114] 徐,J。;德舒特,B。;Van Den Boom,T.J.J.,通过乐观优化实现最大线性系统的模型预测控制,IFAC会议论文集,47,2,111-116(2014)
[115] 徐,J。;Van Den Boom,T。;De Schutter,B.,随机最大值线性系统的机会约束模型预测控制,IEEE Trans-Autom control,64,1,337-342(2019)·Zbl 1423.93373号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。