TY - GEN
T1 - Fast synthesis of optimal and structurally simple supervisors for automated manufacturing systems
AU - Huang, Bo
AU - Zhou, Mengchu
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2016/1/12
Y1 - 2016/1/12
N2 - 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.
AB - 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.
KW - Automated manufacturing system
KW - Petri net
KW - deadlock prevention
KW - linear programming problem
KW - supervisor
UR - http://www.scopus.com/inward/record.url?scp=84964478078&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84964478078&partnerID=8YFLogxK
U2 - 10.1109/SMC.2015.103
DO - 10.1109/SMC.2015.103
M3 - Conference contribution
AN - SCOPUS:84964478078
T3 - Proceedings - 2015 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2015
SP - 527
EP - 532
BT - Proceedings - 2015 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2015
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - IEEE International Conference on Systems, Man, and Cybernetics, SMC 2015
Y2 - 9 October 2015 through 12 October 2015
ER -