The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Real-Time Scheduling and Control of Single-Arm Cluster Tools with Residency Time Constraint and Activity Time Variation by Using Resource-Oriented Petri Nets
|
|
Author(s): Yan Qiao (Guangdong University of Technology, China), NaiQi Wu (Guangdong University of Technology, China)and MengChu Zhou (New Jersey Institute of Technology, USA & Tongji University, China)
Copyright: 2013
Pages: 33
Source title:
Formal Methods in Manufacturing Systems: Recent Advances
Source Author(s)/Editor(s): Zhiwu Li (Xidian University, People’s Republic of China)and Abdulrahman M. Al-Ahmari (King Saud University, Saudi Arabia)
DOI: 10.4018/978-1-4666-4034-4.ch008
Purchase
|
Abstract
In semiconductor manufacturing, when a wafer is processed, it requires unloading from its process module in a given time interval, otherwise it is scraped. This requirement is called wafer residency time constraints. Thus, it is crucial to schedule a cluster tool such that the wafer sojourn time in a process module is within a given time window to satisfy the wafer residency time constraints. Besides wafer residency time constraints, in a cluster tool, the activity time is subject to variation. The activity time variation can make a feasible schedule obtained under the assumption of deterministic activity times become infeasible. To solve this problem, it is important to reveal the wafer sojourn time fluctuations with bounded activity time variation. Such an issue is addressed in this chapter for single-arm cluster tools. A single-arm cluster tool is modeled by a resource-oriented Petri net to describe the wafer fabrication processes. Based on it, a real-time control policy is proposed such that it offsets the effect of the activity time variation as much as possible. Then, the wafer sojourn time delay in a process module is analyzed and analytical expressions are derived to calculate the upper bound. With the help of the real-time control policy and wafer sojourn time delay analysis results, schedulability conditions and scheduling algorithms for an off-line schedule are presented in this chapter. The schedulability conditions can be analytically checked. If schedulable, an off-line schedule can be analytically found. The off-line schedule together with the real-time control policy forms the real-time schedule for the system. It is optimal in terms of cycle time minimization. Examples are given to show the application of the proposed approach.
Related Content
|
Sandhya Avasthi, Tanushree Sanwal, Shivani Sharma, Shweta Roy.
© 2023.
23 pages.
|
|
Subha Karumban, Shouvik Sanyal, Madan Mohan Laddunuri, Vijayan Dhanasingh Sivalinga, Vidhya Shanmugam, Vijay Bose, Mahesh B. N., Ramakrishna Narasimhaiah, Dhanabalan Thangam, Satheesh Pandian Murugan.
© 2023.
17 pages.
|
|
Aditya Saxena, Devansh Chauhan, Shilpi Sharma.
© 2023.
26 pages.
|
|
Eduardo José Villegas-Jaramillo, Mauricio Orozco-Alzate.
© 2023.
33 pages.
|
|
Revathi A., Poonguzhali S..
© 2023.
18 pages.
|
|
Indu Malik, Anurag Singh Baghel.
© 2023.
18 pages.
|
|
Shanu Sharma, Tushar Chand Kapoor, Misha Kakkar, Rishi Kumar.
© 2023.
24 pages.
|
|
|