Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems

Authors:
Hesuan Hu;MengChu Zhou;Zhiwu Li
Affiliations:
Sch. of Electro-Mech. Eng., Xidian Univ., Xi'an, China;-;-
Venue:
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Year:
2011

Citing 0
Cited 2

Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places

ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a new Petri net class, namely, Ratio-enforced weighted Augmented Marked Graphs (RAMGs), and solves ratio control and liveness-enforcing supervision problems for automated manufacturing systems. RAMGs can ensure the required product ratios as demanded by production planners. Since the deadlock of such a system can be attributed to improper acquisition of finite shared resources, a supervisor is introduced such that they are properly allocated. This paper proves that ratio and supervisory controllers for an RAMG can be separately designed. Their design methods are presented. Examples are given to illustrate them.