Reconfigurability of behavioural specifications for manufacturing systems

Date

2017-01-01

Author

Schmidt, Klaus Verner

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

186
views

0
downloads

Reconfigurable manufacturing systems (RMS) support flexibility in the product variety and the configuration of the manufacturing system itself in order to enable quick adjustments to new products and production requirements. As a consequence, an essential feature of RMS is their ability to rapidly modify the control strategy during run-time. In this paper, the particular problem of changing the specified operation of a RMS, whose logical behaviour is modelled as a finite state automaton, is addressed. The notion of reconfigurability of specifications (RoS) is introduced and it is shown that the stated reconfiguration problem can be formulated as a controlled language convergence problem. In addition, algorithms for the verification of RoS and the construction of a reconfiguration supervisor are proposed. The supervisor is realised in a modular way which facilitates the extension by new configurations. Finally, it is shown that a supremal nonblocking and controllable strict subautomaton of the plant automaton that fulfils RoS exists in case RoS is violated for the plant automaton itself and an algorithm for the computation of this strict subautomaton is presented. The developed concepts and results are illustrated by a manufacturing cell example.

Subject Keywords

Control and Systems Engineering, Computer Science Applications

URI

https://hdl.handle.net/11511/43240

Journal

INTERNATIONAL JOURNAL OF CONTROL

DOI

https://doi.org/10.1080/00207179.2016.1261185

Collections

Department of Electrical and Electronics Engineering, Article

Suggestions

OpenMETU
Core

Integrating knowledge with suppliers at the R D manufacturing interface ROSELL, DAVID T; LAKEMOND, NICOLETTE; Wasti Pamuksuz, Syeda Nazlı (Emerald, 2014-02-01) Purpose - Many manufacturing firms source components and subsystems from suppliers. Consequently, the suppliers' product and manufacturing knowledge is a central concern at the interface between R&D and manufacturing. This paper aims to specifically investigate how supplier knowledge is integrated and what role trust plays in knowledge integration with suppliers at the R&D-manufacturing interface. Design/methodology/approach - The study is based on qualitative case studies of two different collaborations w...
Computation of supervisors for reconfigurable machine tools Schmidt, Klaus Verner (Springer Science and Business Media LLC, 2015-06-01) The rapid reconfiguration of manufacturing systems is an important issue in today's manufacturing technology in order to adjust the production to varying product demands and types. In this paper, we study the control of reconfigurable machine tools (RMTs) with the aim of fast reconfiguration and an easy controller implementation. We first formulate a particular reconfiguration problem for RMTs in a discrete event system setting, and then provide a necessary and sufficient condition for its solution. Moreove...
Optimal configuration changes for reconfigurable manufacturing systems Schmidt, Klaus Verner (2013-01-01) Reconfigurable manufacturing systems (RMSs) are designed to quickly adapt to new products and production requirements. To this end, RMSs need to be able to perform fast changes between different configurations. This paper investigates the reconfiguration of RMSs in a supervisory control framework. Different from previous work, we formulate and solve a reconfiguration problem that allows to start a newly requested configuration before the previously active configuration has been completed. Our solution is op...
Integration needs and consistency evaluation for requirement analysis in CIM development Kayaligil, S; Hashemipour, M (Inderscience Publishers, 2001-01-01) Computer integrated manufacturing (CIM) offers many unprecedented opportunities, but also unique challenges to undertake in getting the existing fully (or even partially) manual applications adapted. These difficulties in general multiply if the transition takes place in SME, especially on the overall company scale. Requirement analysis is the initiation task in such projects, and undoubtably the most critical in getting a useful conceptual model of what to expect at the very end.
Integrating flexible process plans with scheduling in flexible manufacturing systems Saygin, C; Kilic, SE (Springer Science and Business Media LLC, 1999-01-01) This paper highlights the importance of integration between process planning and scheduling in flexible manufacturing systems (FMS). An effective integration increases the potential for enhanced system performance and enhanced decision making. A framework that integrates flexible process plans with off-line (predictive) scheduling in FMS is presented The flexibility in process planning, including process flexibility, sequence flexibility, and alternative machine tools, is discussed. The proposed framework c...

Citation Formats

K. V. Schmidt, “Reconfigurability of behavioural specifications for manufacturing systems,” INTERNATIONAL JOURNAL OF CONTROL, pp. 2605–2617, 2017, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/43240.