Fast synthesis of optimal and structurally simple supervisors for automated manufacturing systems

Bo Huang, Mengchu Zhou

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

For automated manufacturing systems (AMSs), this paper presents a Petri net based deadlock prevention method to efficiently obtain an optimal supervisor with a compressed structure in terms of control places and added arcs. The optimal supervisor can be achieved by forbidding all first-met bad markings (FBMs) and permitting all legal markings. An iterative method for a lexicographic multiobjective integer linear program (LMILP) is formulated to design such a supervisor with a simple structure. At each iteration, a place invariant is designed to obtain an optimal control place by solving an LMILP whose objectives are first to forbid as many FBMs as possible, second to minimize the number of added arcs, and third to simplify coefficients of the place invariants. Instead of a single sizable linear program, several much smaller LMILPs are formulated, which can be solved much faster. Finally, a benchmark example is used to show the efficiency and effectiveness of the approach.

Original languageEnglish (US)
Title of host publicationProceedings - 2015 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages527-532
Number of pages6
ISBN (Electronic)9781479986965
DOIs
StatePublished - Jan 12 2016
EventIEEE International Conference on Systems, Man, and Cybernetics, SMC 2015 - Kowloon Tong, Hong Kong
Duration: Oct 9 2015Oct 12 2015

Publication series

NameProceedings - 2015 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2015

Other

OtherIEEE International Conference on Systems, Man, and Cybernetics, SMC 2015
CountryHong Kong
CityKowloon Tong
Period10/9/1510/12/15

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence
  • Computer Networks and Communications
  • Energy Engineering and Power Technology
  • Information Systems and Management
  • Control and Systems Engineering

Keywords

  • Automated manufacturing system
  • Petri net
  • deadlock prevention
  • linear programming problem
  • supervisor

Fingerprint Dive into the research topics of 'Fast synthesis of optimal and structurally simple supervisors for automated manufacturing systems'. Together they form a unique fingerprint.

Cite this