e-journal

An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems

---

Sensors and actuators are two indispensable parts in the paradigm of feedback control. Their implementation cost should be properly evaluated and constrained. In the previous work, a Petri net monitor with the least cost is synthesized through integer programming formulation. Despite its technical correctness, the existing method may lead to undesirable results when the net structure contains some shared or unshared resource places of a manufacturing-oriented net model. A necessary and sufficient condition is established to show that certain structures can lead to deadlock-prone supervisors. An efficient algorithm is developed to identify such structures. Furthermore, it is shown that if one can identify such structures at the initial stage, it is possible to achieve desirable controllers for the original systems. The theoretical correctness of the proposed algorithm is discussed. A manufacturing example is provided to illustrate the proposed approach.

Note to Practitioners—A modern manufacturing system requires the use of sensors and actuators whose quantity is largely decided by its supervisory controller. Clearly, more complex controllers imply higher overall implementation cost and failure probability. This paper proposes an effective method to reduce size and thus
the implementation cost of a supervisory controller. In the Petri net model, each transition is associated with observation and control cost that represents the implementation cost of a sensor and an actuator at certain physical positions. A mathematical programming approach is proposed to effectively determine the controller with the minimum cost. It is applied to automated manufacturing systems (AMS) with complex operations. The experimental results prove its effectiveness and efficiency.

Index Terms: Discrete event systems, integer programming, Petri nets, supervisory control.

---

Ketersediaan

Tidak ada salinan data

Informasi Detail

Judul Seri

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING

No. Panggil

-

Penerbit

New York : IEEE., 2013

Deskripsi Fisik

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 10, NO. 3, JULY 2013

Bahasa

English

ISBN/ISSN

DOI: 10.1109/TASE.20

Klasifikasi

-

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

VOL. 10, NO. 3, JULY 2013

Subjek

ELEKTRONIK

Info Detail Spesifik

-

Pernyataan Tanggungjawab

agus

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar