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

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.


An approximate model for performance measurement in base-stock controlled assembly systems
Rodoplu, Umut; Avşar, Zeynep Müge; Department of Industrial Engineering (2004)
The aim of this thesis is to develop a tractable method for approximating the steady-state behavior of continuous-review base-stock controlled assembly systems with Poisson demand arrivals and manufacturing and assembly facilities modeled as Jackson networks. One class of systems studied is to produce a single type of finished product assembling a number of components and another class is to produce two types of finished products allowing component commonality. The performance measures evaluated are the exp...
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 Model Predictive Control for Microgrids Considering Battery Aging
Yilmaz, Ugur Can; SEZGİN, MUSTAFA ERDEM; Göl, Murat (2020-03-01)
The increasing number of distributed energy resources (DERs), advancing communication and computation technologies, and reliability concerns of the customers have caused an intense interest in the concept of microgrid. Although DERs are the biggest motivation of the microgrids due to their intermittent generation characteristics, they constitute a risk for system reliability. Battery storage systems (BSSs) stand as one of the most effective solutions for this reliability problem. However, the inappropriate ...
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...
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...
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.