Scalable and maximally-permissive deadlock avoidance for FMS Conference Paper

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)

authors

• Kumar, Panganamala

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

publisher

• Institute of Electrical and Electronics Engineers (IEEE)  Publisher

published in

• n2152-4092ISSN  Journal

Digital Object Identifier (DOI)

• 10.1109/robot.1998.677035

International Standard Book Number (ISBN) 10

• 078034300X

start page

• 580-585 vol.1

end page

• 585

volume

• 1