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

被引：8
作者：
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
相关论文
共 34 条
[1]  
Adyanthaya S., 2015, P WORKSH EMB CYB PHY, p3:1
[2]  
[Anonymous], 1995, IEEE T AUTOMATIC CON
[3]  
[Anonymous], 1992, Synchronization and Linearity
[4]  
Basten T., 2019, SCENARIOS DESIGN FLE
[5]  
Bastos J., 2018, THESIS EINDHOVEN U T
[6]   Taming the State-space Explosion in the Makespan Optimization of Flexible Manufacturing Systems [J].
Bastos, Joao ;
Voeten, Jeroen ;
Stuijk, Sander ;
Schiffelers, Ramon ;
Corporaal, Henk .
ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, 2021, 5 (02)
[7]  
Bastos J, 2017, 2017 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL)
[8]  
Bellman R., 1958, Quart. Appl. Math, V16, P87, DOI 10.1090/qam/102435
[9]  
Bengtsson J., 1996, Hybrid Systems III. Verification and Control, P232, DOI 10.1007/BFb0020949
[10]   The mCRL2 Toolset for Analysing Concurrent Systems Improvements in Expressivity and Usability [J].
Bunte, Olav ;
Groote, Jan Friso ;
Keiren, Jeroen J. A. ;
Laveaux, Maurice ;
Neele, Thomas ;
de Vink, Erik P. ;
Wesselink, Wieger ;
Wijs, Anton ;
Willemse, Tim A. C. .
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, 2019, 11428 :21-39
1234