Modern production facilities (i.e., flexible manufacturing systems) exhibit a high degree of resource sharing, a situation in which deadlocks (circular waits) can arise. Using digraph theoretic concepts we derive necessary and sufficient conditions for a deadlock occurrence and rigorously characterize highly undesirable situations (second level deadlocks), which inevitably evolve to circular waits in the next future. We assume that the system dynamics is described by a discrete event dynamical model, whose state provides the information on the current interactions job-resources. This theoretic material allows us to introduce some control laws (named restriction policies) which use the state knowledge to avoid deadlocks by inhibiting or by enabling some transitions. The restriction policies involve small on-line computation costs, so they are suitable for real-time implementation. For a meaningful class of systems one of these policies is the least restrictive deadlock-free policy one can find, namely it inhibits resource allocation only if leads directly to a deadlock. Finally, the paper discusses the computational complexity of all the proposed restriction policies and shows some examples to compare their performances.

Event-based feedback control for deadlock avoidance in flexible production systems / Fanti, Maria Pia; Maione, Bruno; Mascolo, Saverio; Turchiano, Biagio. - In: IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION. - ISSN 1042-296X. - STAMPA. - 13:3(1997), pp. 347-363. [10.1109/70.585898]

Event-based feedback control for deadlock avoidance in flexible production systems

Fanti, Maria Pia;Maione, Bruno;Mascolo, Saverio;Turchiano, Biagio
1997-01-01

Abstract

Modern production facilities (i.e., flexible manufacturing systems) exhibit a high degree of resource sharing, a situation in which deadlocks (circular waits) can arise. Using digraph theoretic concepts we derive necessary and sufficient conditions for a deadlock occurrence and rigorously characterize highly undesirable situations (second level deadlocks), which inevitably evolve to circular waits in the next future. We assume that the system dynamics is described by a discrete event dynamical model, whose state provides the information on the current interactions job-resources. This theoretic material allows us to introduce some control laws (named restriction policies) which use the state knowledge to avoid deadlocks by inhibiting or by enabling some transitions. The restriction policies involve small on-line computation costs, so they are suitable for real-time implementation. For a meaningful class of systems one of these policies is the least restrictive deadlock-free policy one can find, namely it inhibits resource allocation only if leads directly to a deadlock. Finally, the paper discusses the computational complexity of all the proposed restriction policies and shows some examples to compare their performances.
1997
Event-based feedback control for deadlock avoidance in flexible production systems / Fanti, Maria Pia; Maione, Bruno; Mascolo, Saverio; Turchiano, Biagio. - In: IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION. - ISSN 1042-296X. - STAMPA. - 13:3(1997), pp. 347-363. [10.1109/70.585898]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11589/5696
Citazioni
  • Scopus 235
  • ???jsp.display-item.citation.isi??? 191
social impact