Speedup Techniques for Multiobjective Integer Programs in Designing Optimal and Structurally Simple Supervisors of AMS
Speedup Techniques for Multiobjective Integer Programs in Designing Optimal and Structurally Simple Supervisors of AMS
复制标题
设计最优且结构简单的 AMS 管理器时的多目标整数规划加速技术
DOI:
10.1109/tsmc.2016.2587671
复制
发表时间:
2018
期刊:
影响因子:
--
通讯作者:
杨健
中科院分区:
文献类型:
--
作者:
黄波;Mengchu Zhou;张佩云;杨健
This paper investigates several speedup techniques for a multiobjective integer linear program (ILP) used to obtain an optimal Petri net supervisor with a compressed structure for automated manufacturing systems (AMSs). An optimal supervisor can be obtained by forbidding all first-met bad markings and no legal markings of a plant net via place invariants. An iterative method to perform lexicographic multiobjective ILP is proposed to design such supervisor with a simple structure in terms of the numbers of control places and added arcs. Instead of a single ILP, several much smaller ILPs are formulated in the iterative method, and they can be solved much faster. To further reduce the ILP solution time, an efficient redundancy identification method is used. Finally, some AMS examples are provided to demonstrate the proposed speedup techniques and approaches.
登录
查看更多内容
影响因子:
6.4
作者:
Jun Li;MengChu Zhou;Tao Guo;Yahui Gan;Xianzhong Dai
通讯作者:
Xianzhong Dai
DOI:
10.1109/tsmca.2008.2003535
发表时间:
2008-11
期刊:
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
影响因子:
--
作者:
L. Piroddi;R. Cordone;I. Fumagalli
通讯作者:
L. Piroddi;R. Cordone;I. Fumagalli
DOI:
10.1016/j.automatica.2013.08.018
发表时间:
2013-11
期刊:
Autom.
影响因子:
--
作者:
F. Basile;R. Cordone;L. Piroddi
通讯作者:
F. Basile;R. Cordone;L. Piroddi
DOI:
10.1109/tsmca.2007.909542
发表时间:
2008
期刊:
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
影响因子:
--
作者:
N. Wu;Mengchu Zhou;Zhiwu Li
通讯作者:
N. Wu;Mengchu Zhou;Zhiwu Li
影响因子:
12.3
作者:
Hesuan Hu;Mengchu Zhou;Zhiwu Li;Ying Tang
通讯作者:
Hesuan Hu;Mengchu Zhou;Zhiwu Li;Ying Tang