Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Open Access Guideline
Open Access Guideline
Postgraduate Thesis Guideline
Postgraduate Thesis Guideline
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
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
196
views
0
downloads
Cite This
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
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
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.