Thumbnail
Access Restriction
Subscribed

Author Hesuan Hu ♦ MengChu Zhou ♦ Zhiwu Li
Sponsorship IEEE Robotics and Automation Society
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2004
Language English
Subject Domain (in DDC) Natural sciences & mathematics ♦ Physics ♦ Electricity & electronics
Subject Keyword Petri nets ♦ Mathematical programming ♦ Manufacturing systems ♦ Optimization ♦ Supervisory control ♦ supervisory control ♦ Automated manufacturing systems ♦ general mutual exclusion constraint ♦ optimization ♦ Petri nets
Abstract For automated manufacturing systems (AMSs), deadlock resolution in terms of Petri nets remains an attractive topic to which many approaches are dedicated. However, few of them can quantitatively optimize certain indices during their supervisor synthesis process. This causes unnecessary control limitations and often leads to high implementation cost. In the framework of Petri nets, this paper proposes a method to synthesize a cost-effective supervisor with the aid of a set of mathematical programming formulations. Along the same vein, we also show some results by investigating timed Petri nets, which can be utilized to make a good tradeoff between implementation cost and system cycle time. Examples are used to validate the effectiveness of our result.
Description Author affiliation :: Dept. of Electr. & Comput. Eng., New Jersey Inst. of Technol., Newark, NJ, USA
Author affiliation :: Sch. of Electro-Mech. Eng., Xidian Univ., Xi'an, China
ISSN 15455955
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2011-10-01
Publisher Place U.S.A.
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Volume Number 8
Issue Number 4
Size (in Bytes) 622.16 kB
Page Count 11
Starting Page 794
Ending Page 804


Source: IEEE Xplore Digital Library