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

Document Type

Conference Proceeding

Publication Date

1-12-2016

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.

Identifier

84964478078 (Scopus)

ISBN

[9781479986965]

Publication Title

Proceedings 2015 IEEE International Conference on Systems Man and Cybernetics Smc 2015

External Full Text Location

https://doi.org/10.1109/SMC.2015.103

First Page

527

Last Page

532

This document is currently not available here.

Share

COinS