Scalable and maximally-permissive deadlock avoidance for FMS Conference Paper uri icon


  • 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)

published proceedings

  • 2014 IEEE International Conference on Robotics and Automation (ICRA)

author list (cited authors)

  • Kumar, P., Kothandaraman, K., & Ferreira, P.

citation count

  • 6

complete list of authors

  • Kumar, P||Kothandaraman, K||Ferreira, P

publication date

  • January 1998