×

使用组合优化的大规模系统系统的时间最优控制。 (英语) Zbl 1441.93010号

概要:工业过程(如制造单元)的优化会对其性能产生重大影响。然而,为这些大型系统找到最佳解决方案是一个复杂的问题。它们通常包括多个子系统,搜索空间通常随每个子系统呈指数级增长。在之前的工作中,我们提出了成分优化作为解决此类问题的方法。这将优化与组合监控技术相结合,将优化划分为单独的子问题。其主要目的是缓解状态爆炸问题,但另一个好处是可以使用并行计算解决各个子问题,使该方法更具可扩展性。本文通过一种新的同步方法,称为部分时间加权同步(PTWS),进一步改进了组合优化,该方法专门用于异步系统的时间最优控制。其优点是能够在不引入额外状态或转换的情况下组合异步子系统的行为。该方法还通过集成优化启发式算法来进一步减少搜索空间,该优化启发式算法去除了同步期间已经存在的许多非最优或冗余解决方案。本文的结果表明,组合优化可以有效地生成大规模现实优化问题的全局最优解,这些问题在基于传统整体模型时太大而无法求解。与之前的工作相比,PTWS的引入大大减少了优化的总搜索空间。

MSC公司:

93甲15 大型系统
93元65角 离散事件控制/观测系统
65年第68季度 形式语言和自动机
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)
90C26型 非凸规划,全局优化
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 奥布拉德,E。;斯宾西里,D。;波林,R。;Carlson,Js,用于循环时间优化的多机器人站的无交叉几何划分,IEEE Trans-Autom Sci Eng,PP,99,1-10(2017)
[2] 阿鲁尔(Alur,R.)。;Dill,Dl,《时间自动机理论》,Theor Compute Sci,126,2,183-235(1994)·Zbl 0803.68071号 ·doi:10.1016/0304-3975(94)90010-8
[3] Bertsekas博士;Tsitsiklis,Jn,《神经动力学编程》(1996年),贝尔蒙特:雅典娜科学出版社·Zbl 0924.68163号
[4] Bertsekas,Dp,《动态规划与最优控制》,第三版。,第一卷(2005年),贝尔蒙特:雅典娜科学,贝尔蒙·邮编1125.90056
[5] Brandin,Ba;Wonham,Wm,定时离散事件系统的监控,IEEE Trans Autom control,39,2,329-342(1994)·Zbl 0801.93002号 ·数字对象标识代码:10.1109/9.272327
[6] 《随机学习与优化:基于灵敏度的方法》(2007),柏林:施普林格出版社,柏林·Zbl 1130.93057号
[7] 卡桑德拉斯,Cg;Lafortune,S.,《离散事件系统导论》(2008),柏林:施普林格科学与商业媒体,柏林·Zbl 1165.93001号
[8] 大卫,R。;Alla,H.,《离散、连续和混合Petri网》(2010),柏林:施普林格出版社,柏林
[9] Dijkstra,Ew,关于与图有关的两个问题的注记,数字数学,1,1269-271(1959)·Zbl 0092.16002号 ·doi:10.1007/BF01386390
[10] Flordal,H。;Malik,R.,《监督控制中的成分验证》,SIAM J control Optim,48,1914-1938(2009)·Zbl 1282.93176号 ·doi:10.1137/070695526
[11] 气体,硅;Fu,Mc,《运筹学与管理科学百科全书》(2013),柏林:施普林格出版社,柏林·Zbl 1326.90001号
[12] 赫尔曼·格鲁伯;马库斯·霍尔泽;科恩,阿斯特里德;巴巴拉·科尼格,《离散时间的时间自动机——结构和语言理论表征》,语言理论发展,272-283(2005),柏林,海德堡:斯普林格-柏林-海德堡·Zbl 1132.68447号
[13] Hagebring F、Wigström O、Lennartson B、Ware SI、Su R(2016)《多台堆垛机调度的MILP、CP和A*比较》。In:第13届离散事件系统国际研讨会(WODES),第63-70页
[14] Hagebring F,Lennartson B(2018)离散事件系统的组合优化。参加:第14届IEEE自动化科学与工程国际会议·Zbl 1441.93010号
[15] Hill R,Lafortune S(2016)监管控制背景下的抽象规划。2016年IEEE第55届决策与控制会议(CDC)
[16] Hill R,Lafortune s(2017),多机器人系统监控软件的形式化综合。参加:2017年美国控制会议(ACC)
[17] Hoare,C.,《通信顺序过程》,第21卷(1978),纽约:ACM,纽约·Zbl 0383.68028号
[18] 黄,J。;Kumar,R.,离散事件系统的最优无阻塞定向控制,IEEE Trans-Autom control,53,7,1592-1603(2008)·Zbl 1367.93364号 ·doi:10.1109/TAC.2008.927800
[19] Kobetski,A。;Fabian,M.,使用确定性有限自动机和混合整数线性规划的柔性制造系统的时间最优协调,离散事件动态系统,19,3,287-315(2009)·Zbl 1192.93075号 ·doi:10.1007/s10626-009-0064-9
[20] 松本,M。;Nishimura,T.,Mersenne龙卷风:623维均匀分布伪随机数发生器,ACM Trans模型计算模拟,8,1,3-30(1998)·Zbl 0917.65005号 ·电话:10.1145/272991.272995
[21] Mohajerani,S。;马利克,R。;Fabian,M.,模块化非阻塞监管器的组成合成框架,IEEE Trans-Atom Control,59,1150-162(2014)·Zbl 1360.93433号 ·doi:10.1109/TAC.2013.2283109
[22] Passino KM,Antsaklis PJ(1989)关于离散事件系统的最优控制。附:第28届IEEE决策与控制会议记录
[23] 鲍威尔,Wb,《近似动态编程:解决维度的诅咒》(2007),纽约:威利国际科学出版社,纽约·Zbl 1156.90021号
[24] 拉马奇,Pj;Wonham,Wm,一类离散事件过程的监督控制,SIAM J control Optim,25,1,206-230(1987)·Zbl 0618.93033号 ·doi:10.1137/0325013
[25] 拉马奇,Pj;Wonham,Wm,《离散事件系统的控制》,Proc IEEE,77,1,81-98(1989)·数字对象标识代码:10.1109/5.21072
[26] Su,R.,基于抽象的时间加权系统定时监督器综合,IFAC Proc Vol,45,29,128-134(2012)·doi:10.3182/20121003-3-MX-4033.00024
[27] 苏·R。;Van Schuppen,Jh;Rooda,Je,《利用堆块合成时间最优监管器》,IEEE Trans-Autom Control,57,1,105-118(2012)·Zbl 1369.93386号 ·doi:10.1109/TAC.2011.2157391
[28] 瓦尔马里·安蒂(Valmari,Antti),《国家爆炸问题》(The state explosion problem),《Petri Nets讲座一:基本模型》(Telects on Petri Net I:Basic Models),429-528(1998),柏林,海德堡:施普林格·柏林-海德堡,柏林
[29] Ware,S。;Su,R.,基于序列抽象的时间最优综合及其在集群工具中的应用,IEEE Trans-Autom Sci Eng,14,2,772-784(2017)·doi:10.1109/TASE.2016.2613911
[30] Wong,Kc;Wonham,Wm,离散事件系统的模块化控制和协调,离散事件动态系统,8,3,247-297(1998)·Zbl 0915.93028号 ·doi:10.1023/A:1008210519960
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。