DocumentCode
425333
Title
Systemic solutions to deadlock in FMS
Author
Gang, Xu ; Ming, Wu Zhi
Author_Institution
Dept. of Autom., Shanghai Jiao Tong Univ., China
Volume
6
fYear
2004
fDate
June 30 2004-July 2 2004
Firstpage
5740
Abstract
In order to solve deadlock in FMS, an integrated design method for FMS is presented. This method is based on deadlock free scheduling, deadlock avoidance algorithm and deadlock detection and recovery. Deadlock is resolved from views of scheduling and controlling, which is a complete resolution to deadlock. In scheduling, deadlock free scheduling is applied. In the on line control, deadlock avoidance algorithm is used in the controller, which is an improvement and modification of the Banker´s algorithm. This algorithm is verified with model checking tools: SPIN. The advantage of this work lies in the complete solution to deadlock for FMS. This solution can control deadlock while preserving the system performance.
Keywords
flexible manufacturing systems; production control; scheduling; Banker algorithm; FMS; SPIN tool; deadlock avoidance algorithm; deadlock control; deadlock detection; deadlock free scheduling; deadlock recovery; integrated design method; online control;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 2004. Proceedings of the 2004
Conference_Location
Boston, MA, USA
ISSN
0743-1619
Print_ISBN
0-7803-8335-4
Type
conf
Filename
1384771
Link To Document