×
雷纳托·马凯尔·费雷拉（Renato Markele Ferreira）·坎迪多;劳伦特·哈杜因;穆迪·卢姆缪;拉斐尔·桑托斯·门德斯

不确定极大加线性系统的条件可达性。 （英语） Zbl 1401.93027号

Automatica公司 94, 426-435 (2018).
摘要：利用差分-边界矩阵方法，较好地解决了Max-Plus线性（MPL）系统的可达性分析问题。在这项工作中，为了解决MPL系统在有界噪声、干扰和/或建模错误（称为不确定MPL（UMPL）系统）下的可达性分析问题，考虑了相同的方法。此外，利用UMPL系统可达性分析的结果，我们求解了条件可达性问题这里定义为随机滤波问题中涉及的概率密度函数的支持计算。

引用于2文件

MSC公司：

93个B03 可达集，可达性
93元65角 离散事件控制/观测系统
93E03型 控制理论中的随机系统（一般）
93二氧化碳 控制理论中的线性系统
93立方厘米 信息不完整的控制/观测系统
93-04 系统和控制理论相关问题的软件、源代码等

关键词：

可达性;条件可达性;max-plus线性系统;分段仿射系统;差分绑定矩阵;区间分析

软件：

VeriSIMPL公司;算法97
PDF格式BibTeX公司 XML格式引用
\textit{R.M.F.Cándido}等人，Automatica 94，426--435（2018；Zbl 1401.93027）
全文： 内政部

参考文献：

[1] Adzkiya，D。；德舒特，B。；Abate，A.，MAX-plus-linear系统的有限抽象，IEEE自动控制汇刊，58，12，3039-3053，（2013）·Zbl 1369.93370号
[2] Adzkiya，D.、De Schutter，B.和Abate，A.（2014年5月A）。自治极大线性系统的后向可达性。在第十二届IFAC/IEEE离散事件系统研讨会会议记录; Adzkiya，D.、De Schutter，B.和Abate，A.（2014年5月A）。自治极大线性系统的后向可达性。在第十二届IFAC/IEEE离散事件系统研讨会会议记录·Zbl 1371.93035号
[3] Adzkiya，D.、De Schutter，B.和Abate，A.（2014年4月B）。自治极大线性系统的前向可达性计算。在第20届系统构建和分析工具和算法国际会议论文集; Adzkiya，D.、De Schutter，B.和Abate，A.（2014年4月B）。自治极大线性系统的前向可达性计算。在第20届系统构建和分析工具和算法国际会议论文集
[4] Adzkiya，D。；德舒特，B。；Abate，A.，MAX-plus-line系统可达性分析的计算技术，Automatica，53，3，293-302，（2015）·Zbl 1371.93035号
[5] Adzkiya，D。；Zhang，Y。；Abate，A.，Verisimp 2：用于验证MAX-plus-linear系统的开源软件，离散事件动态系统，（2015）·Zbl 1332.93255号
[6] Allamigeon、Xavier、Gaubert、Stéphane和Goubault，Eric（2008）。使用max-plus多面体推断最小和最大不变量。在第十五届静态分析国际研讨会论文集; Allamigeon、Xavier、Gaubert、Stéphane和Goubault，Eric（2008）。使用max-plus多面体推断最小和最大不变量。在第十五届静态分析国际研讨会论文集·Zbl 1149.68346号
[7] 阿玛里，S。；恶魔教廷，I。；Loiseau，J.J。；Martinez，C.，时间事件图中满足时间约束的MAX-plus控制设计，IEEE自动控制事务，57，2，462-467，（2012）·Zbl 1369.93371号
[8] 巴切利，F。；科恩，G。；Olsder，G.J。；Quadrat，J.P.，《同步与线性：离散事件系统的代数》（1992），威利父子出版社·Zbl 0824.93003号
[9] 理查德·贝尔曼（Richard Bellman），《关于路由问题》（On a routing problem），《应用数学季刊》（Quarterly of Applied Mathematics），第1687-90页，（1958）·兹伯利0081.14403
[10] 阿尔贝托·本普拉德；吉安卡洛·费拉里·特雷卡特；Morari，Manfred，分段仿射和混合系统的可观测性和可控性，IEEE自动控制汇刊，451864-1876，（1999）·兹比尔0990.93010
[11] Thomas Brunsch；劳伦特·哈杜因（Laurent Hardouin）；卡洛斯·安德烈（Carlos Andrey Maia）；Raisch，Joerg，幂等半环上的对偶与区间分析，线性代数及其应用，437，2436-2454，（2012）·Zbl 1259.06017号
[12] Brunsch，T.等人。；Raisch，J。；Hardouin，L.，高通量筛选系统的建模与控制，控制工程实践，20:1，14-23，（2012）
[13] Cechlrov，Katarna，maxplus代数上区间矩阵的特征向量，离散应用数学，150，1，2-15，（2005）·Zbl 1086.15009号
[14] 切克洛夫，卡塔纳；Cuninghame-Green，R.A.，MAX可分线性方程组的区间系统，线性代数及其应用，340，1，215-224，（2002）·Zbl 1004.15009号
[15] 盖·科恩；圣埃芬·高伯特；Quadrat，Jean-Pierre，MAX-plus代数和系统理论：我们现在在哪里，要去哪里，《控制中的年度评论》，23207-219，（1999）
[16] 戴维·迪尔。，定时假设和有限状态并发系统的验证，（Sifakis，Joseph，有限状态系统的自动验证方法，计算机科学讲义，第407卷，（1990），Springer Berlin Heidelberg），197-212
[17] DiLoreto，M。；Gaubert，S。；Katz，R。；Loiseau，J.-J.，MAX-plus线性离散事件系统的不变空间之间的对偶性，SIAM控制与优化杂志，48，8，5606-5628，（2010）·Zbl 1213.93128号
[18] Floyd，Robert W.，《算法97：最短路径》，《ACM的通信》，第5、6、345页，（1962年）
[19] Gaubert、Stephane和Katz、Ricardo（2003）。max-plus代数中的可达性和不变性问题。在积极系统，第一届积极系统多学科国际研讨会论文集：理论与应用; Gaubert、Stephane和Katz、Ricardo（2003）。max-plus代数中的可达性和不变性问题。在积极系统，关于积极系统的第一次多学科国际研讨会论文集：理论和应用·Zbl 1059.93088号
[20] 加扎里克；J·迈克尔。；卡门；Edward，W.，MAX plus上线性系统的可达性和可观测性，Kybernetika，35，1，[2]-12，（1999）·Zbl 1274.93037号
[21] Gonçalves，V.M。；Maia，C.A。；Hardouin，L.，关于具有触发日期约束的定时事件图的稳态控制，IEEE自动控制事务，61，8，2187-2202，（2016）·Zbl 1359.93166号
[22] 新泽西州戈登。；Salmond，D.J。；Smith，A.F.M.，非线性/非高斯贝叶斯状态估计的新方法，雷达和信号处理，IEE Proceedings F，140，2，107-113，（1993）
[23] 哈杜因，L。；科滕索，B。；M.Lhommeau。；Le Corronc，E.，幂等半环上的区间系统，线性代数及其应用，431，5-7，855-862，（2009）·Zbl 1201.65070号
[24] 哈杜因，L。；Maia，C.A。；科腾索，B。；Lhommeau，M.，MAX-plus线性观测器：在制造系统中的应用，（WODES’10，（2010）），171-176
[25] Heemels，W.P.M.H。；德舒特，B。；Bempoad，A.，混合动力模型的等效性，Automatica，371085-1091，（2001）·Zbl 0990.93056号
[26] Heidergott，Bernd F.，Max-plus线性随机系统和扰动分析（离散事件动态系统国际系列），（2006），Springer-Verlag New York，Inc.，美国新泽西州塞考克斯·Zbl 1133.93001号
[27] 海德戈特，B。；Olsder，G.J。；van der Woude，J.W.，《MAX plus at work:同步系统的建模和分析：MAX-plus代数及其应用课程》（MAX plus:同步系统建模和分析，MAX-plus代数及应用课程，第13卷，（2006），普林斯顿大学出版社）·Zbl 1130.93003号
[28] Katz，R.D.，MAX-plus（A，B）-不变空间和定时离散事件系统的控制，IEEE自动控制汇刊，52，2，229-241，（2007）·Zbl 1366.93351号
[29] Lhommeau、Mehdi、Hardouin、Laurent和Cottenceau、Bertrand（2003年8月）。存在扰动时（max，+）-线性系统的最优控制积极系统，第一届积极系统多学科国际研讨会论文集：理论与应用; Lhommeau、Mehdi、Hardouin、Laurent和Cottenceau、Bertrand（2003年8月）。存在扰动的（max，+）-线性系统的最优控制，in积极系统，第一届积极系统多学科国际研讨会论文集：理论与应用·Zbl 1059.93090号
[30] Lhommeau，M.、Hardouin，L.、Ferrier，J.-L.和Ouerghi，I.（2005年12月）。二元体中的区间分析：应用于时间事件图的鲁棒开环控制。在和http://dx.doi.org/doi:10.10109/CDC.2005.1583413; Lhommeau，M.、Hardouin，L.、Ferrier，J.-L.和Ouerghi，I.（2005年12月）。二元体中的区间分析：应用于时间事件图的鲁棒开环控制。在和http://dx.doi.org/doi:10.1109/CDC.2005.1583413
[31] 格里戈里·利特维诺夫。；Sobolevskī，Andrei N.，Idempotent区间分析和优化问题，可靠计算，7，5，353-377，（2001）·Zbl 1012.65065号
[32] 鲁、齐；迈克尔·马德森（Michael Madsen）；马丁·米拉塔（Martin Milata）；拉文，斯伦；乌里·法伦贝格（Uli Fahrenberg）；Larsen，Kim G.，使用MAX-plus代数对时间自动机进行可达性分析，逻辑与代数编程杂志，81，3，298-313，（2012）·Zbl 1279.68214号
[33] Maia，C.A.、Hardouin，L.、Santos-Mondes，R.和Loiseau，J.J.（2011年12月）。一种控制约束极大值线性系统的超特征向量方法。在2011年第50届IEEE决策与控制会议和欧洲控制会议; Maia，C.A.、Hardouin，L.、Santos-Mondes，R.和Loiseau，J.J.（2011年12月）。一种控制约束极大值线性系统的超特征向量方法。在2011年第50届IEEE决策与控制会议和欧洲控制会议
[34] Moore，Ramon E。；Bierbaum，Fritz，区间分析的方法和应用（应用数学和数值数学中的SIAM研究）（SIAM应用数学研究，第2卷），（1979），工业与应用数学Soc·Zbl 0417.65022号
[35] Mykov，Helena，MAX可分线性方程组的区间系统，线性代数及其应用，403263-272，（2005）·Zbl 1077.15004号
[36] 内科瓦拉，I。；德舒特，B。；范登·布姆，T.J.J。；Hellendorn，H.，约束MAX线性系统的鲁棒控制，鲁棒与非线性控制国际期刊，19，2，218-242，（2009）·Zbl 1160.93325号
[37] Olsder，G.J。；Resing，J.A.C。；De Vries，R.E。；基恩，M.S。；Hooghiemstra，G.，具有随机处理时间的离散事件系统，IEEE自动控制汇刊，35，32299-302，（1990）·Zbl 0707.93068号
[38] Sontag，E.D.（1980）。非线性调节，分段线性方法。在程序。普林斯顿信息科学与系统会议; 桑塔格，E.D.（1980年）。非线性调节，分段线性方法。在程序。普林斯顿信息科学与系统会议
[39] 范登·布姆，T.J.J。；De Schutter，B.，扰动MAX线性系统的模型预测控制，《系统与控制快报》，45，1，21-33，（2002）·Zbl 0987.93032号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。