Flexible manufacturing system structural control and the neighborhood policy, part 1. Correctness and scalability

Mark Lawley, Spyros Reveliotis, Placid Ferreira

Research output: Contribution to journalArticle

Abstract

Structural Control Policies (SCPs) are real-time flexible manufacturing system (FMS) operating policies that guarantee deadlock-free operation. SCPs must be correct and scalable. A correct SCP guarantees deadlock-free operation whereas a scalable (polynomial) SCP remains computationally tractable as FMS size increases. The NP-completeness of state safety (is there a sequence of state transitions leading to the empty state?) implies that a correct and scalable SCP will reject some safe states. SCP efficiencyis the ratio of policy admissible space to FMS safe state space. This paper, the first of a two-part series, discusses FMS structural control and presents a correct and scalable SCP referred to as the Neighborhood Policy. SCP efficiency issues will be discussed in the second part.

Original languageEnglish (US)
Pages (from-to)877-887
Number of pages11
JournalIIE Transactions (Institute of Industrial Engineers)
Volume29
Issue number10
DOIs
StatePublished - Jan 1 1997

ASJC Scopus subject areas

  • Industrial and Manufacturing Engineering

Fingerprint Dive into the research topics of 'Flexible manufacturing system structural control and the neighborhood policy, part 1. Correctness and scalability'. Together they form a unique fingerprint.

  • Cite this