Order-preserving Models for the Supervisory Control of Flexible Manufacturing Systems

Abstract

This paper develops a new modeling technique for the supervisory control of FMS in the framework ofdiscrete event systems (DES). In particular, we consider the general case of an FMS, where different producttypes can share production components and production components can hold multiple products. We firstpoint out that a suitable model for such production component needs to keep track of the product type andthe order of products entering and leaving production components. Then, we develop a general method foralgorithmically constructing the required order-preserving models. We further illustrate the practicability ofthe developed method by an application example.