Title :
Scalable and maximally-permissive deadlock avoidance for FMS
Author :
Kumar, P. ; Kothandaraman, K. ; Ferreira, P.
Author_Institution :
Dept. of Mech. & Ind. Eng., Illinois Univ., Urbana, IL, USA
Abstract :
Single-unit resource allocation systems model flexible manufacturing systems in which deadlocks arise as a result of jobs contending for buffering capacity at processing, storage and transportation stations. In the paper, a new sub-class of single-unit resource allocation systems is identified for which the set of deadlock free unsafe states is empty. Thus, if the system is not already deadlocked, it is in a safe state. This results in single-step lookahead deadlock detection providing scalable and maximally permissive deadlock avoidance supervisory control
Keywords :
discrete event systems; flexible manufacturing systems; resource allocation; FMS; buffering capacity; deadlock free unsafe states; processing stations; scalable maximally-permissive deadlock avoidance; single-step lookahead deadlock detection; single-unit resource allocation systems; storage stations; supervisory control; transportation stations; Buffer storage; Computer aided manufacturing; Control systems; Flexible manufacturing systems; Industrial engineering; Manufacturing systems; Resource management; Supervisory control; System recovery; Transportation;
Conference_Titel :
Robotics and Automation, 1998. Proceedings. 1998 IEEE International Conference on
Conference_Location :
Leuven
Print_ISBN :
0-7803-4300-X
DOI :
10.1109/ROBOT.1998.677035
