A generic model to solve tactical planning problems in flexible manufacturing systems

1999-07-01
Atlihan, MK
Kayaligil, S
Erkip, N
This paper is an attempt to develop a generic modeling framework that addresses tactical planning problems of flexible manufacturing systems in a coherent manner. We propose a generic 0-1 mixed integer programming formulation, that integrates batching, loading, and routing problems with their critical aspects related to a system's performance. For this purpose, a thorough analysis is made to determine and relate system components, their attributes, and alternatives together with performance measures specific to tactical planning. This provided the justification to support our argument about generality of the model. A linear programming formulation is provided to approximate the mixed integer formulation proposed so as to overcome the problem's combinatorial complexity. The potential capability of the linear approximation proposed also is demonstrated via a small set of test problems.
INTERNATIONAL JOURNAL OF FLEXIBLE MANUFACTURING SYSTEMS

Suggestions

A Petri Net-based inference network for design automation under nondeterminism applied to mechatronic systems
Erden, Zühal; Erkmen, Aydan Müşerref; Erden, Abdülkadir (1998-09-11)
This paper introduces the completed part of an ongoing research, in which a Petri Net-based design inference network is developed for the representation and analysis of the functions and their interrelationships through information flow for the conceptual design stage of mechatronic systems in order to facilitate design automation. The theoretical framework behind the network is based on transition of Hybrid Automata into Petri Nets and application of this framework is introduced by a mechatronic design exa...
A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B
Kara, Ahmet; Oğuztüzün, Mehmet Halit S.; Alpdemir, M. Nedim (2015-11-01)
This paper proposes a software engineering solution for implementing simulations via the composition of models at different resolution levels with the help of formal methods. Our solution provides a systematic methodology that offers a well-defined sequence of stages to obtain executable converters for entity resolution mapping, given the types of entity attributes that are exchanged at model interfaces and the mapping specifications. Our methodology uses Event-B as the formal specification language and Dis...
A framework for reviewing domain specific conceptual models
TANRIÖVER, ÖMER ÖZGÜR; Bilgen, Semih (Elsevier BV, 2011-09-01)
Conceptual models are used in understanding and communicating the domain of interest during analysis phase of system development. As they are used in early phases, errors and omissions may propagate to later phases and may be very costly to correct. This paper proposes a framework for evaluating conceptual models when represented in a domain specific language based on UML constructs. The framework describes the main aspects to be considered when conceptual models are represented in a domain specific languag...
An approach for eliciting functional requirements of the software intensive systems based on business process modeling
Yıldız, Okan; Güçlü, Nusret; Demirös, Onur; Department of Information Systems (2002)
In this thesis, eliciting system functional requirements based on business requirements during software intensive systems acquisition or development process is investigated and an approach is proposed for this purpose. Concepts and current problems within the framework of business requirements are investigated with a general literature review of requirements engineering and technology acquisition. Determination of requirements of IT system to be acquired according to the business objectives and base lining ...
Integrated framework to investigate value innovations
Dikmen Toker, İrem; Birgönül, Mustafa Talat (American Society of Civil Engineers (ASCE), 2005-04-01)
A conceptual framework has been developed to investigate value innovations within construction companies. A visual metaphor has been defined to model the innovation system where the elements of the model are objectives, strategies, environmental barriers/drivers, and organizational factors. The major idea is that none of the elements of the model alone can explain the innovative capability, and elements as well as their interrelations should be considered concurrently to investigate how the innovation syste...
Citation Formats
M. Atlihan, S. Kayaligil, and N. Erkip, “A generic model to solve tactical planning problems in flexible manufacturing systems,” INTERNATIONAL JOURNAL OF FLEXIBLE MANUFACTURING SYSTEMS, pp. 215–243, 1999, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/66422.