Maximally permissive control of flexible manufacturing systems with fewest disjunctive constraints

Yu Feng Chen, Mengchu Zhou, Xiao Ou Li

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

Abstract

For Petri net models whose legal reachability spaces are non-convex, one cannot optimally control them by the conjunctions of linear constraints. This work proposes a method to find a set of linear constraints such that each constraint can forbid all first-met bad markings and every legal marking satisfies at least one constraint. Then, the disjunctions of the obtained constraints can make all legal markings reachable and forbid all first-met bad markings, i.e., the controlled net is live and maximally permissive. The work also develops an integer linear programming model to minimize the number of the constraints. Finally, an example is provided to illustrate the proposed method.

Original languageEnglish (US)
Title of host publication2012 International Conference onAdvanced Mechatronic Systems, ICAMechS 2012
Pages424-429
Number of pages6
StatePublished - Nov 27 2012
Event2012 International Conference onAdvanced Mechatronic Systems, ICAMechS 2012 - Tokyo, Japan
Duration: Sep 18 2012Sep 21 2012

Publication series

Name2012 International Conference onAdvanced Mechatronic Systems, ICAMechS 2012

Other

Other2012 International Conference onAdvanced Mechatronic Systems, ICAMechS 2012
Country/TerritoryJapan
CityTokyo
Period9/18/129/21/12

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering
  • Mechanical Engineering

Fingerprint

Dive into the research topics of 'Maximally permissive control of flexible manufacturing systems with fewest disjunctive constraints'. Together they form a unique fingerprint.

Cite this