By Topic

An improved algorithm for supervisor design for FMS using the theory of regions

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Jinwei Guo ; Fac. of Electro-Mech. Eng., Xidian Univ., Xi''an, China ; Li, Z.

To solve the problem of deadlock prevention for flexible manufacturing systems (FMS), an effective approach based on the theory of regions was proposed previously in a framework of Petri nets. However, it needs to solve too many linear programming problems (LPP). This paper presents an improved algorithm to decrease the number of LPP and thus reduces the computational efforts. First, the theory of regions is applied. The concepts of marking/transition separation matrix and elementary marking/transition separation instances are presented. Then it is proved that, in order to obtain the maximally permissive behavior, the number of monitors to be added is less than the smaller of the number of separation instances and the number of transitions plus one. Therefore, the number of LPP to be solved is bounded by the net size. This result significantly advances the supervisory design methods based on the theory of regions.

Published in:

Mechatronics and Automation (ICMA), 2010 International Conference on

Date of Conference:

4-7 Aug. 2010