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
-
IEEE International Conference on Robotics and Automation
published proceedings
-
Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146)
author list (cited authors)
-
Kumar, P., Kothandaraman, K., & Ferreira, P
citation count
complete list of authors
-
Kumar, P||Kothandaraman, K||Ferreira, P
publication date
publisher
published in
Identity
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 10
Additional Document Info
start page
end page
volume