Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets

Document Type

Article

Publication Date

10-1-2010

Abstract

In the context of automated manufacturing, this work proposes a new special class of timed Petri nets, namely, Timed ratio-enforced Augmented Marked Graph (TAMG) and its low-cost and high-performance supervisor synthesis methodology. A supervisor is composed of a set of control places (monitors), each of which is easy to be algebraically specified by a generalized mutual exclusion constraint (GMEC) to prevent certain siphons from being undermarked. In order to make a good tradeoff between the supervisor implementation cost and system performance, a mixed integer programming (MIP) approach is formulated to synthesize the monitors. An example is used to validate the effectiveness and efficiency of the proposed method. The results show that the proposed method remarkably outperforms any existing ones. © 2010 IEEE.

Identifier

77957807582 (Scopus)

Publication Title

IEEE Transactions on Automation Science and Engineering

External Full Text Location

https://doi.org/10.1109/TASE.2010.2046412

ISSN

15455955

First Page

933

Last Page

944

Issue

4

Volume

7

Grant

60773001

Fund Ref

Alexander von Humboldt-Stiftung

This document is currently not available here.

Share

COinS