Scalable and maximally-permissive deadlock avoidance for FMS
Conference Paper
Overview
Identity
Additional Document Info
View All
Overview
abstract
1998 IEEE. 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 this 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.
name of conference
Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146)