Scalable and maximally-permissive deadlock avoidance for FMS

P. Kumar; K. Kothandaraman; P. Ferreira

doi:10.1109/ROBOT.1998.677035

Scalable and maximally-permissive deadlock avoidance for FMS

P. Kumar, K. Kothandaraman, P. Ferreira

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Proceedings - 1998 IEEE International Conference on Robotics and Automation, ICRA 1998
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	580-585
Number of pages	6
ISBN (Print)	078034300X
DOIs	https://doi.org/10.1109/ROBOT.1998.677035
State	Published - 1998
Event	15th IEEE International Conference on Robotics and Automation, ICRA 1998 - Leuven, Belgium Duration: May 16 1998 → May 20 1998

Publication series

Name	Proceedings - IEEE International Conference on Robotics and Automation
Volume	1
ISSN (Print)	1050-4729

Other

Other	15th IEEE International Conference on Robotics and Automation, ICRA 1998
Country/Territory	Belgium
City	Leuven
Period	5/16/98 → 5/20/98

Keywords

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

ASJC Scopus subject areas

Software
Artificial Intelligence
Electrical and Electronic Engineering
Control and Systems Engineering

Online availability

10.1109/ROBOT.1998.677035

Library availability

Discover UIUC Full Text

Cite this

Kumar, P., Kothandaraman, K., & Ferreira, P. (1998). Scalable and maximally-permissive deadlock avoidance for FMS. In Proceedings - 1998 IEEE International Conference on Robotics and Automation, ICRA 1998 (pp. 580-585). Article 677035 (Proceedings - IEEE International Conference on Robotics and Automation; Vol. 1). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ROBOT.1998.677035

Scalable and maximally-permissive deadlock avoidance for FMS. / Kumar, P.; Kothandaraman, K.; Ferreira, P.
Proceedings - 1998 IEEE International Conference on Robotics and Automation, ICRA 1998. Institute of Electrical and Electronics Engineers Inc., 1998. p. 580-585 677035 (Proceedings - IEEE International Conference on Robotics and Automation; Vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Kumar, P, Kothandaraman, K & Ferreira, P 1998, Scalable and maximally-permissive deadlock avoidance for FMS. in Proceedings - 1998 IEEE International Conference on Robotics and Automation, ICRA 1998., 677035, Proceedings - IEEE International Conference on Robotics and Automation, vol. 1, Institute of Electrical and Electronics Engineers Inc., pp. 580-585, 15th IEEE International Conference on Robotics and Automation, ICRA 1998, Leuven, Belgium, 5/16/98. https://doi.org/10.1109/ROBOT.1998.677035

Kumar P, Kothandaraman K, Ferreira P. Scalable and maximally-permissive deadlock avoidance for FMS. In Proceedings - 1998 IEEE International Conference on Robotics and Automation, ICRA 1998. Institute of Electrical and Electronics Engineers Inc. 1998. p. 580-585. 677035. (Proceedings - IEEE International Conference on Robotics and Automation). doi: 10.1109/ROBOT.1998.677035

@inproceedings{6f5e33c3122348d7afbfbbd42a161f28,

title = "Scalable and maximally-permissive deadlock avoidance for FMS",

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

keywords = "Deadlock Avoidance, Discrete Event Dynamic Systems, Flexible Manufacturing Systems, Supervisory Control of Manufacturing Systems",

author = "P. Kumar and K. Kothandaraman and P. Ferreira",

note = "Publisher Copyright: {\textcopyright} 1998 IEEE.; 15th IEEE International Conference on Robotics and Automation, ICRA 1998 ; Conference date: 16-05-1998 Through 20-05-1998",

year = "1998",

doi = "10.1109/ROBOT.1998.677035",

language = "English (US)",

isbn = "078034300X",

series = "Proceedings - IEEE International Conference on Robotics and Automation",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "580--585",

booktitle = "Proceedings - 1998 IEEE International Conference on Robotics and Automation, ICRA 1998",

address = "United States",

}

TY - GEN

T1 - Scalable and maximally-permissive deadlock avoidance for FMS

AU - Kumar, P.

AU - Kothandaraman, K.

AU - Ferreira, P.

PY - 1998

Y1 - 1998

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

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

KW - Deadlock Avoidance

KW - Discrete Event Dynamic Systems

KW - Flexible Manufacturing Systems

KW - Supervisory Control of Manufacturing Systems

UR - http://www.scopus.com/inward/record.url?scp=0031635439&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031635439&partnerID=8YFLogxK

U2 - 10.1109/ROBOT.1998.677035

DO - 10.1109/ROBOT.1998.677035

M3 - Conference contribution

AN - SCOPUS:0031635439

SN - 078034300X

T3 - Proceedings - IEEE International Conference on Robotics and Automation

SP - 580

EP - 585

BT - Proceedings - 1998 IEEE International Conference on Robotics and Automation, ICRA 1998

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 15th IEEE International Conference on Robotics and Automation, ICRA 1998

Y2 - 16 May 1998 through 20 May 1998

ER -

Scalable and maximally-permissive deadlock avoidance for FMS

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this