Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems

Document Type

Article

Publication Date

3-1-2011

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.

Identifier

80053635942 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Part A Systems and Humans

External Full Text Location

https://doi.org/10.1109/TSMCA.2010.2058101

ISSN

10834427

First Page

201

Last Page

212

Issue

2

Volume

41

Grant

60773001

Fund Ref

Alexander von Humboldt-Stiftung

This document is currently not available here.

Share

COinS