FORMAL MODELS FOR ALTERNATIVE REPRESENTATIONS OF MANUFACTURING SYSTEMS OF SYSTEMS

被引：0

作者：

Lee, Seungyub ^{[1
]}

Wysk, Richard A. ^{[2
]}

Shin, Dongmin ^{[3
]}

机构：

[1] Penn State Univ, Dept Ind & Mfg Engn, University Pk, PA 16802 USA

[2] North Carolina State Univ, Dept Ind & Syst Engn, Raleigh, NC 27695 USA

[3] Hanyang Univ, Dept Ind & Management Engn, ERICA, Ansan, South Korea

来源：

2013 WINTER SIMULATION CONFERENCE (WSC) | 2013年

关键词：

SHOP-FLOOR CONTROL; SIMULATION;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Two separate approaches have been pursued to model manufacturing systems: a periodic process-oriented planning view and a discrete event-based operational view. It is desired to integrate both approaches. To meet this requirement, this paper presents formal descriptive models for a manufacturing supply chain system which can be assembled to unite heterogeneous system views. These models can be used to coordinate complex hierarchical manufacturing systems. The formal description of a system model consists of: (1) a Discrete Event System (DES)-based operational model of the physical system processes for system flows, (2) a periodic review-based planning model for decision-making processes for system coordination, and (3) an interaction and a temporal model for enabling the communication between the two above models. The model presented in this paper can be used to implement more realistic and seamless manufacturing system control mechanisms with consideration of logical planning and physical operational aspects at the same time.

引用

页码：2698 / +

页数：2

共 50 条

[21] Pyramids or silos: Alternative representations of the systems thinking paradigms
Pollack, Julien
[J]. SYSTEMIC PRACTICE AND ACTION RESEARCH, 2006, 19 (04) : 383 - 398
[22] Pyramids or Silos: Alternative Representations of the Systems Thinking Paradigms
Julien Pollack
[J]. Systemic Practice and Action Research, 2006, 19 : 383 - 398
[23] CHAOTIC MODELS AS REPRESENTATIONS OF ECOLOGICAL-SYSTEMS
ONEILL, RV
GARDNER, RH
WELLER, DE
[J]. AMERICAN NATURALIST, 1982, 120 (02): : 259 - 263
[24] A formal approach for the specification, verification and control of flexible manufacturing systems
Zairi, Sajeh
Zouari, Belhassen
Pitrac, Laurent
[J]. ETFA 2007: 12TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOLS 1-3, 2007, : 1031 - +
[25] Formal Grammars for Product Data Management on Distributed Manufacturing Systems
Sousa, Rui M.
Martins, Paulo J.
Lima, Rui M.
[J]. LEVERAGING KNOWLEDGE FOR INNOVATION IN COLLABORATIVE NETWORKS, 2009, 307 : 573 - 580
[26] Formal verification for analysis and design of reconfigurable controllers for manufacturing systems
Kalita, D
Khargonekar, PP
[J]. PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 3533 - 3539
[27] Formal modeling and control of cyber-physical manufacturing systems
Yu, Zhenhua
Ouyang, Jie
Li, Sisi
Peng, Xia
[J]. ADVANCES IN MECHANICAL ENGINEERING, 2017, 9 (10)
[28] MOSAIK: A Formal Model for Self-Organizing Manufacturing Systems
Charpenay, Victor
Schraudner, Daniel
Seidelmann, Thomas
Weise, Jens
Spieldenner, Torsten
Schubotz, Rene
Mostaghim, Sanaz
Harth, Andreas
[J]. IEEE PERVASIVE COMPUTING, 2021, 20 (01) : 9 - 18
[29] Formal rules, cognitive representations and learning in language and other cultural systems
Kronenfeld, DB
[J]. LANGUAGE SCIENCES, 2006, 28 (04) : 424 - 435
[30] COMPOSABILITY OF UNIT MANUFACTURING PROCESS MODELS FOR MANUFACTURING SYSTEMS ANALYSIS
Smullin, Matteo M.
Garretson, Ian C.
Haapala, Karl R.
[J]. PROCEEDINGS OF THE ASME 11TH INTERNATIONAL MANUFACTURING SCIENCE AND ENGINEERING CONFERENCE, 2016, VOL 3, 2016,

← 1 2 3 4 5 →