A correct and scalable deadlock avoidance policy for flexible manufacturing systems

Mark A. Lawley, Spyros A. Reveliotis, Placid M. Ferreira

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish (US)
Pages (from-to)796-809
Number of pages14
JournalIEEE Transactions on Robotics and Automation
Issue number5
StatePublished - 1998


  • Deadlock avoidance
  • Discrete event systems
  • Flexible manufacturing

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Electrical and Electronic Engineering


Dive into the research topics of 'A correct and scalable deadlock avoidance policy for flexible manufacturing systems'. Together they form a unique fingerprint.

Cite this