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

Bo Huang, Mengchu Zhou, Peiyun Zhang, Jian Yang

Research output: Contribution to journalArticlepeer-review

29 Scopus citations

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.

Original languageEnglish (US)
Pages (from-to)77-88
Number of pages12
JournalIEEE Transactions on Systems, Man, and Cybernetics: Systems
Volume48
Issue number1
DOIs
StatePublished - Jan 2018

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Human-Computer Interaction
  • Computer Science Applications
  • Electrical and Electronic Engineering

Keywords

  • Automated manufacturing system (AMS)
  • Deadlock revention
  • Discrete event system
  • Linear programming problem
  • Optimization
  • Petri net (PN).

Fingerprint

Dive into the research topics of 'Speedup techniques for multiobjective integer programs in designing optimal and structurally simple supervisors of AMS'. Together they form a unique fingerprint.

Cite this