Event-based feedback control for deadlock avoidance in flexible production systems
- 1 June 1997
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Robotics and Automation
- Vol. 13 (3), 347-363
- https://doi.org/10.1109/70.585898
Abstract
Modern production facilities (i.e., flexible manu- facturing 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 as- sume 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.Keywords
This publication has 13 references indexed in Scilit:
- System approach to design generic software for real-time control of flexible manufacturing systemsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 1996
- A Petri net based deadlock prevention policy for flexible manufacturing systemsIEEE Transactions on Robotics and Automation, 1995
- A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systemsInternational Journal of Production Research, 1994
- Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systemsIEEE Transactions on Robotics and Automation, 1994
- System approach to a generic software specification for flexible manufacturing system job flow managementInternational Journal of Systems Science, 1992
- Detection of deadlocks in flexible manufacturing cellsIEEE Transactions on Robotics and Automation, 1991
- Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net modelsIEEE Transactions on Robotics and Automation, 1990
- Deadlock detection in distributed systemsComputer, 1989
- The Deadlock Problem: An OverviewComputer, 1980
- Prevention of system deadlocksCommunications of the ACM, 1969