Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach

2014 ◽  
Vol 11 (2) ◽  
pp. 549-563 ◽  
Author(s):  
YuFeng Chen ◽  
ZhiWu Li ◽  
MengChu Zhou
2020 ◽  
Vol 42 (12) ◽  
pp. 2206-2220
Author(s):  
Muhammad Bashir

The decentralized supervisory structure has drawn much attention in recent years. Many studies are reported in the paradigm of automata while few can be found in the Petri net model. This paper proposes a new method for decentralized supervisory control using the Petri net paradigm. Two efficient Algorithms are developed in the proposed method. Algorithm 1 is used to compute decentralized working zones from the given LS3PR Petri net model for flexible manufacturing systems. Algorithm 2 is used to compute the decentralized controllers that enforced liveness to the decentralized working zones. The sequential assembling is used to reconnect and controlled the working zones via decentralized controllers. The decentralized controller is added to the decentralized working zones that have common elements, that is, common transitions. The proposed method has the following advantages: (i) it can be applied to a complex Petri net model for flexible manufacturing systems, (ii) the proposed methods has less computational complexity when compared with the previous methods, (iii) the proposed method can obtain a minimal number of decentralized controllers that enforce liveness of the uncontrolled Petri net model. Experimental examples are presented to explore the applicability of the proposed methods.


Author(s):  
Wujie Chao ◽  
Yongmei Gan ◽  
W. M. Wonham ◽  
Zhaoan Wang

Much research has been addressed to nonblocking supervisory control of Discrete-Event Systems (DES) such as Flexible Manufacturing Systems (FMS), and a variety of approaches have been developed. One especially powerful approach, due to Chuan Ma, is based on DES representation by means of State Tree Structures (STS). Using STS, this chapter develops nonblocking supervisory control of a well-known benchmark FMS example taken from the literature, for which the description was given originally as a Petri net. The authors straightforwardly obtain the optimal (maximally permissive) and nonblocking supervisory control, and display the control logic for each (controllable) event transparently as a binary decision diagram.


Sign in / Sign up

Export Citation Format

Share Document