Scalable and maximally-permissive deadlock avoidance for FMS

Author

Kumar, P. ; Kothandaraman, K. ; Ferreira, P.

Author_Institution

Dept. of Mech. & Ind. Eng., Illinois Univ., Urbana, IL, USA

Volume

1

fYear

1998

Firstpage

580

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

discrete event systems; flexible manufacturing systems; resource allocation; FMS; buffering capacity; deadlock free unsafe states; processing stations; scalable maximally-permissive deadlock avoidance; single-step lookahead deadlock detection; single-unit resource allocation systems; storage stations; supervisory control; transportation stations; Buffer storage; Computer aided manufacturing; Control systems; Flexible manufacturing systems; Industrial engineering; Manufacturing systems; Resource management; Supervisory control; System recovery; Transportation;

fLanguage

English

Publisher

ieee

Conference_Titel

Robotics and Automation, 1998. Proceedings. 1998 IEEE International Conference on

Conference_Location

Leuven

ISSN

1050-4729

Print_ISBN

0-7803-4300-X

Type

conf

DOI

10.1109/ROBOT.1998.677035

Filename

677035