Scalable and maximally-permissive deadlock avoidance for FMS

P. Kumar, K. Kothandaraman, P. Ferreira

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 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.

Original languageEnglish (US)
Title of host publicationProceedings - 1998 IEEE International Conference on Robotics and Automation, ICRA 1998
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages580-585
Number of pages6
ISBN (Print)078034300X
DOIs
StatePublished - Jan 1 1998
Event15th IEEE International Conference on Robotics and Automation, ICRA 1998 - Leuven, Belgium
Duration: May 16 1998May 20 1998

Publication series

NameProceedings - IEEE International Conference on Robotics and Automation
Volume1
ISSN (Print)1050-4729

Other

Other15th IEEE International Conference on Robotics and Automation, ICRA 1998
Country/TerritoryBelgium
CityLeuven
Period5/16/985/20/98

Keywords

  • Deadlock Avoidance
  • Discrete Event Dynamic Systems
  • Flexible Manufacturing Systems
  • Supervisory Control of Manufacturing Systems

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering
  • Artificial Intelligence
  • Electrical and Electronic Engineering

Fingerprint

Dive into the research topics of 'Scalable and maximally-permissive deadlock avoidance for FMS'. Together they form a unique fingerprint.

Cite this