Title :
Systemic solutions to deadlock in FMS
Author :
Gang, Xu ; Ming, Wu Zhi
Author_Institution :
Dept. of Autom., Shanghai Jiao Tong Univ., China
fDate :
June 30 2004-July 2 2004
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;
Conference_Titel :
American Control Conference, 2004. Proceedings of the 2004
Conference_Location :
Boston, MA, USA
Print_ISBN :
0-7803-8335-4
