LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems

被引：6

作者：

van Der Sanden, Bram ^{[1
]}

Blankenstein, Yuri ^{[1
]}

Schiffelers, Ramon ^{[2
]}

Voeten, Jeroen ^{[3
]}

机构：

[1] ESI TNO, Eindhoven, Netherlands

[2] ASML, Eindhoven, Netherlands

[3] Eindhoven Univ Technol, Eindhoven, Netherlands

来源：

2021 IEEE 17TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE) | 2021年

关键词：

D O I：

10.1109/CASE49439.2021.9551412

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

LSAT (Logistics Specification and Analysis Tool) is a tool for rapid design-space exploration of supervisory controllers that steer the product logistics and orchestrate the behavior in flexible manufacturing systems. LSAT enables lightweight modeling of system resources, system behavior, and timing characteristics. The tool provides various visualizations to explore the controlled system behavior and analysis and optimization techniques to improve the system performance. Compared to existing approaches, LSAT provides concise modeling using languages tailored towards the application domain, with domain concepts are elements of the language. LSAT provides efficient performance analysis by exploiting the structure of the models. In this paper, we describe the rationale for developing LSAT and position it with respect to other performance modeling and analysis tools. We illustrate the benefits of LSAT with an example system.

引用

页码：1 / 8

页数：8

共 50 条

[1] Product Specification for Flexible Workflow Orchestrations in Service Oriented Holonic Manufacturing Systems
Quintanilla, Francisco Gamboa
Cardin, Olivier
Castagna, Pierre
[J]. SERVICE ORIENTATION IN HOLONIC AND MULTI-AGENT MANUFACTURING AND ROBOTICS, 2014, 544 : 177 - 193
[2] Robust and optimal specification of flexible manufacturing systems
Wu, Hui
Li, Jian-Yong
Xia, Shao-Yun
[J]. Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2003, 9 (11): : 976 - 979
[3] Process algebra specification of flexible manufacturing systems
Ruiz, M. Carmen
Cazorla, Diego
Cuartero, Fernando
Pardo, J. Jose
[J]. SYNASC 2006: EIGHTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS, 2007, : 181 - +
[4] Simulation of Flexible Manufacturing Systems for Logistics Optimization
Novak-Marcincin, J.
Novakova-Marcincinova, L.
Janak, M.
Fecova, V.
[J]. 2012 4TH IEEE INTERNATIONAL SYMPOSIUM ON LOGISTICS AND INDUSTRIAL INFORMATICS (LINDI), 2012, : 37 - 40
[5] Manufacturing systems specification and analysis
Artiba, A
Vernadat, FB
[J]. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 1998, 11 (03) : 193 - 194
[6] Specification and synthesis of control software for flexible manufacturing systems
Gutiérrez-Robles, P
López-Mellado, E
Ramírez-Treviño, A
[J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 1703 - 1708
[7] A METHOD OF HIERARCHICAL SPECIFICATION AND PROTOTYPING OF FLEXIBLE MANUFACTURING SYSTEMS
AMAR, S
CRAYE, E
GENTINA, JC
[J]. RAIRO-AUTOMATIQUE-PRODUCTIQUE INFORMATIQUE INDUSTRIELLE-AUTOMATIC CONTROL PRODUCTION SYSTEMS, 1992, 26 (5-6): : 483 - 514
[8] MANUFACTURING SYSTEMS MODELING, SPECIFICATION AND ANALYSIS
VERNADAT, F
[J]. PRODUCTION MANAGEMENT METHODS, 1994, 19 : 75 - 83
[9] 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 - +
[10] Logistics models in flexible manufacturing
Banaszak, ZA
Tang, XQ
Wang, SC
Zaremba, MB
[J]. COMPUTERS IN INDUSTRY, 2000, 43 (03) : 237 - 248

← 1 2 3 4 5 →