By Topic

Synthesis of an event based deadlock avoidance supervisor for semiconductor manufacturing systems with choices in process flows

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Wenle Zhang ; Sch. of Electr. Eng. & Comput. Sci., Ohio Univ., Athens, OH, USA ; Ziqiang John Mao

With the emerging of highly automated and flexible manufacturing systems in semiconductor fabrication, reliability and optimal productivity of such systems require very intelligent and complex control systems. Deadlock issue arises easily in these systems due to shared equipment usage and high production flexibility. This paper extends the event-based deadlock avoidance supervisor for semiconductor manufacturing systems from scenario without choices in process flows to cases with choices which are common in modern manufacturing systems. To allow choices in process flows improves operational flexibility of these systems, it also requires more sophisticated supervisory control techniques. Built upon a directed graph model of process flows, the extended supervisor is able to efficiently avoid the deadlock state space explosion problem. Concepts such as compound events, operation strings and deadlock strings are restated. New concepts such as broken circuits, choice circuits, split events, merge events and so on are introduced. These concepts help to dramatically decrease the number of circuits that the supervisor has to check thus increasing efficiency of the method. Major features in the proposed method include: (i) it enables the optimal deadlock free operation of regular systems; and (ii) it runs in polynomial time (fast online computation) provided that the set of deadlock strings is calculated offline. Examples are provided to show the effectiveness of the method.

Published in:

Decision and Control, 2004. CDC. 43rd IEEE Conference on  (Volume:5 )

Date of Conference:

14-17 Dec. 2004