Near-optimal and minimal PN supervisors of FMS with uncontrollability and unobservability

Bo Huang, Yan Dong Pei, Yu Wang Yang, Meng Chu Zhou, Jian Qiang Li

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

3 Scopus citations

Abstract

For flexible manufacturing systems, this paper presents a Petri net based deadlock prevention method to obtain highly permissive and structurally minimal supervisors in the presence of uncontrollable and unobservable transitions. First, we define admissible markings which form a maximal strongly connected component (SCC) containing the initial marking and not leading outside the SCC uncontrollably. Then, an integer linear programming problem is formulated to construct a supervisor which permits all admissible markings and forbids all the very first inadmissible states from the admissible zone. It also ensures that no uncontrollable transitions are controlled and no unobservable ones are observed by the supervisor. The method can be applied to the plant nets whose crucial transitions are uncontrollable and/or unobservable. In addition, the obtained supervisors are deadlock-free, highly permissive, and structurally minimal in the presence of controllability and observability.

Original languageEnglish (US)
Title of host publication2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages3715-3720
Number of pages6
ISBN (Electronic)9781538616451
DOIs
StatePublished - Nov 27 2017
Event2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017 - Banff, Canada
Duration: Oct 5 2017Oct 8 2017

Publication series

Name2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017
Volume2017-January

Other

Other2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017
CountryCanada
CityBanff
Period10/5/1710/8/17

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence
  • Computer Science Applications
  • Human-Computer Interaction
  • Control and Optimization

Fingerprint Dive into the research topics of 'Near-optimal and minimal PN supervisors of FMS with uncontrollability and unobservability'. Together they form a unique fingerprint.

Cite this