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

2019-11-01
Nooruldeen, Anas
Schmidt, Klaus Verner
This paper develops a new modeling technique for the supervisory control of FMS in the framework of discrete event systems (DES). In particular, we consider the general case of an FMS, where different product types can share production components and production components can hold multiple products. We first point out that a suitable model for such production component needs to keep track of the product type and the order of products entering and leaving production components. Then, we develop a general method for algorithmically constructing the required order-preserving models. We further illustrate the practicability of the developed method by an application example.
Çankaya University Journal of Science and Engineering

Suggestions

Applied supervisory control for a flexible manufacturing system
Moor, Thomas; Schmidt, Klaus Verner; Perk, Sebastian (2010-12-01)
This paper presents a case study in the design and implementation of a discrete event system (DES) of real-world complexity. Our DES plant is a flexible manufacturing system (FMS) laboratory model that consists of 29 interacting components and is controlled via 107 digital signals. Regarding controller design, we apply a hierarchical and decentralised synthesis method from earlier work in order to achieve nonblocking and safe closed-loop behaviour. Regarding implementation, we discuss how digital signals tr...
Hierarchical and decentralized multitasking control of discrete event systems
Schmidt, Klaus Verner; Cury, José E. R. (2007-12-01)
In this paper, a hierarchical and decentralized approach for composite discrete-event systems (DES) that have to fulfill multiple tasks is elaborated. Colored marking generators that can distinguish classes of tasks are used as the system model, and a colored abstraction procedure as well as sufficient conditions for nonblocking and hierarchically consistent control are developed. It is shown that the computational complexity for supervisor computation is reduced. A flexible manufacturing system example dem...
Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness
Schmidt, Klaus Verner; Cury, José E.r. (null; 2010-12-01)
This paper extends previous results on the hierarchical and decentralized control of multitasking discrete event systems (MTDES). Colored observers, a generalization of the observer property, together with local control consistency, allow to derive sufficient conditions for synthesizing modular and hierarchical control that are both strongly nonblocking (SNB) and maximally permissive. A polynomial procedure to verify if a projection fulfills the above properties is proposed and in the case they fail for a g...
Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
Schmidt, Klaus Verner (2012-12-01)
The topic of this technical note is the nonblocking and maximally permissive abstraction-based supervisory control for modular discrete event systems (DES). It is shown, that an efficient abstraction technique, that was developed for the nonconflict verification of modular DES, is also suitable for the nonblocking supervisory control. Moreover, it is proved that this abstraction technique can be extended by the condition of local control consistency, in order to achieve maximally permissive supervision. Dif...
Abstraction-based supervisory control for recon-gurable manufacturing systems ?
Khalid, Harith M.; Kirik, Mustafa Sancay; Schmidt, Klaus Verner (2013-10-21)
Reconfiguration control for discrete event systems (DES) is concerned with the realization of different system configurations by modification of the supervisory control loop. In this paper, we study the reconfiguration supervisor design for reconfigurable manufacturing systems (RMS) that comprise multiple components. We construct a modular supervisor for each configuration and system component in order to realize each active configuration and to quickly change between configurations. Different from the exis...
Citation Formats
A. Nooruldeen and K. V. Schmidt, “Order-preserving Models for the Supervisory Control of Flexible Manufacturing Systems,” Çankaya University Journal of Science and Engineering, pp. 70–86, 2019, Accessed: 00, 2021. [Online]. Available: https://hdl.handle.net/11511/78778.