A correct and scalable deadlock avoidance policy for flexible manufacturing systems Academic Article

abstract

• Configuration flexibility and deadlock-free operation are two essential properties of control systems for highly automated flexible manufacturing systems. Configuration flexibility, the ability to quickly modify manufacturing system components and their logical relationships, requires automatic generation of control executables from high level system specifications. These control executables must guarantee deadlock-free operation. The resource order policy is a configurable controller that provides the deadlock-free guarantee for buffer space allocation. It uses a total ordering of system machines and routing information to generate a set of configuration specific linear constraints. These constraints encode the system state along with a buffer capacity function and define a deadlock-free region of operation. Constraint generation and execution are of polynomial complexity.

authors

• Lawley, Mark

published proceedings

• IEEE Transactions on Robotics and Automation

author list (cited authors)

• Lawley, M. A., Reveliotis, S. A., & Ferreira, P. M.

citation count

• 133

complete list of authors

• Lawley, MA||Reveliotis, SA||Ferreira, PM

publication date

• December 1998

publisher

• Institute of Electrical and Electronics Engineers (IEEE)  Publisher

published in

• IEEE Transactions on Automation Science and Engineering  Journal

keywords

• 40 Engineering
• 4014 Manufacturing Engineering

Digital Object Identifier (DOI)

• 10.1109/70.720355

start page

• 796

end page

• 809

volume

• 14

issue

• 5

URL

• http://dx.doi.org/10.1109/70.720355