Speedup techniques for multiobjective integer programs in designing optimal and structurally simple supervisors of AMS

Document Type

Article

Publication Date

1-1-2018

Abstract

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.

Identifier

85021667762 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Systems

External Full Text Location

https://doi.org/10.1109/TSMC.2016.2587671

e-ISSN

21682232

ISSN

21682216

First Page

77

Last Page

88

Issue

1

Volume

48

Grant

61374148

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS