Place invariant simplification in optimal supervisor synthesis for FMS

Bo Huang, Mengchu Zhou, Yisheng Huang

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

Abstract

The theory of regions is an important method to derive an optimal and liveness-enforcing supervisor for a flexible manufacturing systems based on Petri nets. It first partitions the reachability graph into a live zone (LZ) and a deadlock zone (DZ). Then, activity places are used to construct place invariants (PIs) to prevent the system from entering DZ and permit all markings in LZ. This work studies the reduction of the number of places to be considered in the optimal PI designs. First, the concepts of critical transitions and critical activity places are defined, and an algorithm is provided to compute the sets of critical and uncritical activity places. Then, the proof of that only critical activity places need to be considered in such optimal PI designs is established.

Original languageEnglish (US)
Title of host publication2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages2527-2532
Number of pages6
ISBN (Electronic)9781509018970
DOIs
StatePublished - Feb 6 2017
Event2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Budapest, Hungary
Duration: Oct 9 2016Oct 12 2016

Publication series

Name2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings

Other

Other2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016
CountryHungary
CityBudapest
Period10/9/1610/12/16

All Science Journal Classification (ASJC) codes

  • Computer Vision and Pattern Recognition
  • Artificial Intelligence
  • Control and Optimization
  • Human-Computer Interaction

Fingerprint Dive into the research topics of 'Place invariant simplification in optimal supervisor synthesis for FMS'. Together they form a unique fingerprint.

Cite this