Flexible manufacturing system structural control and the Neighborhood Policy, part 1. Correctness and scalability

摘要: 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 SCP guarantees operation whereas a scalable (polynomial) remains computationally tractable as FMS size increases. The NP-completeness of state safety (is there sequence transitions leading to the empty state?) implies will reject some safe states. efficiency is ratio policy admissible space space. This paper, first two-part series, discusses structural control presents referred Neighborhood Policy. issues discussed in second part.