首页 > 最新文献

2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)最新文献

英文 中文
A Real-Time Container Architecture for Dependable Distributed Embedded Applications 面向可靠分布式嵌入式应用的实时容器体系结构
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560546
Kilian Telschig, Andreas Schonberger, Alexander Knapp
Container technologies such as Docker and Linux Containers (lxc) have become common tools in modern software engineering practice. They provide a dynamic and lightweight mechanism for software isolation and resource control, e.g. for continuous integration jobs or as app execution context. We adapt containers to industrial domains to offer enhanced reliability and legacy compatibility for distributed embedded applications. We describe a cross-domain real-time container architecture for dependable distributed embedded applications with criticality of timing requirements ranging from hard to non real-time. Through containers the proposed architecture isolates the software components from the system and from each other and only provides resources and inter-component communication explicitly demanded in each component's description. This enforces the interfaces and enables quality assurance and legacy compatibility. We provide a platform-independent model of the real-time container architecture but also describe a concrete lxc-based realization which conforms to this model.
容器技术,如Docker和Linux容器(lxc)已经成为现代软件工程实践中的常用工具。它们为软件隔离和资源控制提供了动态和轻量级的机制,例如用于持续集成作业或作为应用程序执行上下文。我们使容器适应工业领域,为分布式嵌入式应用程序提供增强的可靠性和遗留兼容性。我们描述了一种跨域实时容器架构,用于可靠的分布式嵌入式应用程序,具有从硬实时到非实时的关键时间要求。通过容器,所提出的体系结构将软件组件与系统以及彼此隔离开来,并且只提供每个组件描述中明确要求的资源和组件间通信。这加强了接口并支持质量保证和遗留兼容性。我们提供了一个与平台无关的实时容器体系结构模型,并描述了一个符合该模型的基于lxc的具体实现。
{"title":"A Real-Time Container Architecture for Dependable Distributed Embedded Applications","authors":"Kilian Telschig, Andreas Schonberger, Alexander Knapp","doi":"10.1109/COASE.2018.8560546","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560546","url":null,"abstract":"Container technologies such as Docker and Linux Containers (lxc) have become common tools in modern software engineering practice. They provide a dynamic and lightweight mechanism for software isolation and resource control, e.g. for continuous integration jobs or as app execution context. We adapt containers to industrial domains to offer enhanced reliability and legacy compatibility for distributed embedded applications. We describe a cross-domain real-time container architecture for dependable distributed embedded applications with criticality of timing requirements ranging from hard to non real-time. Through containers the proposed architecture isolates the software components from the system and from each other and only provides resources and inter-component communication explicitly demanded in each component's description. This enforces the interfaces and enables quality assurance and legacy compatibility. We provide a platform-independent model of the real-time container architecture but also describe a concrete lxc-based realization which conforms to this model.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"100 1","pages":"1367-1374"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87005260","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Using Neural Networks for Heuristic Grasp Planning in Random Bin Picking 基于神经网络的随机拣箱启发式抓取规划
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560458
Felix Spenrath, A. Pott
The fast determination of collision-free grasps is a key aspect in random bin picking. Heuristic search algorithms provide a feasible solution to this problem, using statistical data on the likelihood of finding a valid solution on elements with certain parameters. In this paper, we propose the use of several neural networks in such algorithms to accelerate the search while preserving the reliability. This is done by training the neural networks on the heuristic search trees of previous situations and using the output of these neural networks as part of the heuristic function. Finally, the effect of these neural networks is experimentally analyzed with sensor data from a working bin picking system with an industrial dual arm robot and it is shown that the calculation time in this setup is reduced by up to 45%.
快速确定无碰撞抓取是随机拣箱中的一个关键问题。启发式搜索算法为这个问题提供了一个可行的解决方案,它使用关于在具有特定参数的元素上找到有效解决方案的可能性的统计数据。在本文中,我们提出在这种算法中使用几个神经网络来加速搜索,同时保持可靠性。这是通过在先前情况的启发式搜索树上训练神经网络并使用这些神经网络的输出作为启发式函数的一部分来完成的。最后,利用工业双臂机器人的拣仓系统的传感器数据对神经网络的效果进行了实验分析,结果表明,在这种设置下,计算时间最多减少了45%。
{"title":"Using Neural Networks for Heuristic Grasp Planning in Random Bin Picking","authors":"Felix Spenrath, A. Pott","doi":"10.1109/COASE.2018.8560458","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560458","url":null,"abstract":"The fast determination of collision-free grasps is a key aspect in random bin picking. Heuristic search algorithms provide a feasible solution to this problem, using statistical data on the likelihood of finding a valid solution on elements with certain parameters. In this paper, we propose the use of several neural networks in such algorithms to accelerate the search while preserving the reliability. This is done by training the neural networks on the heuristic search trees of previous situations and using the output of these neural networks as part of the heuristic function. Finally, the effect of these neural networks is experimentally analyzed with sensor data from a working bin picking system with an industrial dual arm robot and it is shown that the calculation time in this setup is reduced by up to 45%.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"1 1","pages":"258-263"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85912116","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Achieving delta description of the control software for an automated production system evolution 实现自动化生产系统演进的控制软件的增量描述
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560588
Suhyun Cha, A. Weigl, Mattias Ulbrich, Bernhard Beckert, B. Vogel‐Heuser
Automated production systems (aPS) operate for a long time with continuous and incremental changes. However, the models for aPS have not been maintained along with these system changes or, even, have not been properly generated. Even though the regression verification technique reduces the effort of applying formal verification on the automation system evolution, there still remains what should be provided in a formal form for the verification: delta, which is the difference of the two versions of the software. In this paper, we propose a method for generating a formal model from preexisting software in IEC 61131–3 Sequential Function Chart language. Based on this, the developer is able to achieve delta description by revising it to reflect the change request and this formal description of delta could facilitate verifying delta formally.
自动化生产系统(ap)运行了很长一段时间,具有连续和增量的变化。但是,ap的模型并没有随着这些系统更改一起维护,甚至没有正确地生成。尽管回归验证技术减少了在自动化系统演进中应用形式化验证的工作量,但仍然存在应该以形式化形式为验证提供的东西:delta,这是软件的两个版本的区别。本文提出了一种用IEC 61131-3序列功能图语言从已有软件生成形式化模型的方法。在此基础上,开发人员能够通过修改来实现增量描述以反映变更请求,并且这种增量的形式化描述可以促进对增量的形式化验证。
{"title":"Achieving delta description of the control software for an automated production system evolution","authors":"Suhyun Cha, A. Weigl, Mattias Ulbrich, Bernhard Beckert, B. Vogel‐Heuser","doi":"10.1109/COASE.2018.8560588","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560588","url":null,"abstract":"Automated production systems (aPS) operate for a long time with continuous and incremental changes. However, the models for aPS have not been maintained along with these system changes or, even, have not been properly generated. Even though the regression verification technique reduces the effort of applying formal verification on the automation system evolution, there still remains what should be provided in a formal form for the verification: delta, which is the difference of the two versions of the software. In this paper, we propose a method for generating a formal model from preexisting software in IEC 61131–3 Sequential Function Chart language. Based on this, the developer is able to achieve delta description by revising it to reflect the change request and this formal description of delta could facilitate verifying delta formally.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"47 1","pages":"1170-1176"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82859060","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Cyber-coordinated Simulation Models for Multi-stage Additive Manufacturing of Energy Products 能源产品多阶段增材制造的网络协同仿真模型
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560477
Hongyue Sun, Giulia Pedrielli, Guanglei Zhao, Andrea Bragagnolo, Chi Zhou, R. Pan, Wenyao Xu
This paper extends the conventional single-stage additive manufacturing (AM) processes to multi-STage distRibutEd AM systems (STREAMs). In STREAM, a batch of material produced at the pre-processing stage is jointly consumed by distributed AM printers, and then the printed parts are collected for the centralized post-processing. Such systems are widely encountered in AM processes such as energy-AM, metal-AM and bio-AM. Modeling and managing such complex systems have been challenging. We propose a novel framework for “cyber-coordinated simulation” to manage the hierarchical information in STREAM. This is important because simulation can be used to infuse data into predictive analytics, thus providing guidance for the optimization and control of STREAM operations. The proposed framework is hierarchical in nature, where single stage, multi-stage and distributed productions are modeled through the integration of different simulators. We demonstrate the proposed framework with simulation data from freeze nano printing AM processes.
本文将传统的单阶段增材制造(AM)工艺扩展到多阶段分布式增材制造系统(STREAMs)。在STREAM中,预处理阶段生产的一批材料由分布式AM打印机共同消耗,然后将打印出来的零件收集起来进行集中后处理。这种系统广泛应用于AM工艺,如能量AM、金属AM和生物AM。对如此复杂的系统进行建模和管理一直是一项挑战。我们提出了一种新的“网络协调仿真”框架来管理流中的分层信息。这一点很重要,因为模拟可用于将数据注入预测分析,从而为流操作的优化和控制提供指导。所提出的框架本质上是分层的,其中单阶段、多阶段和分布式产品通过不同模拟器的集成进行建模。我们用冻结纳米打印增材制造过程的模拟数据证明了所提出的框架。
{"title":"Cyber-coordinated Simulation Models for Multi-stage Additive Manufacturing of Energy Products","authors":"Hongyue Sun, Giulia Pedrielli, Guanglei Zhao, Andrea Bragagnolo, Chi Zhou, R. Pan, Wenyao Xu","doi":"10.1109/COASE.2018.8560477","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560477","url":null,"abstract":"This paper extends the conventional single-stage additive manufacturing (AM) processes to multi-STage distRibutEd AM systems (STREAMs). In STREAM, a batch of material produced at the pre-processing stage is jointly consumed by distributed AM printers, and then the printed parts are collected for the centralized post-processing. Such systems are widely encountered in AM processes such as energy-AM, metal-AM and bio-AM. Modeling and managing such complex systems have been challenging. We propose a novel framework for “cyber-coordinated simulation” to manage the hierarchical information in STREAM. This is important because simulation can be used to infuse data into predictive analytics, thus providing guidance for the optimization and control of STREAM operations. The proposed framework is hierarchical in nature, where single stage, multi-stage and distributed productions are modeled through the integration of different simulators. We demonstrate the proposed framework with simulation data from freeze nano printing AM processes.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"73 1","pages":"893-898"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89897363","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Fuzzy Petri Net Based Intelligent Machine Operation of Energy Efficient Manufacturing System 基于模糊Petri网的节能制造系统智能机器运行
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560366
Z. Fei, Shiqi Li, Q. Chang, Junfeng Wang, Yaqin Huang
In a manufacturing system, the idle status of machine consuming huge amounts of energy cannot bring any added value. How to reduce the energy waste of idle period through the real time control of machine status has become a challenging goal in an energy-efficient manufacturing environment. To address this problem, we propose a fuzzy Petri net based fuzzy reasoning approach to reduce the idle period by switching the on/off status of machines. The approach uses the real time data collected from the system, which include the level of upstream and downstream buffers, as well as the working status of the machine. The fuzzy rules are described by analyzing the decision intention according to the human knowledge. Simulation experiments show that this approach can effectively reduce the energy consumption with accepted throughput loss for a serial manufacturing system.
在制造系统中,消耗大量能量的机器处于闲置状态,无法带来任何附加值。如何通过对机器状态的实时控制来减少空闲期的能源浪费,已成为节能制造环境下一个具有挑战性的目标。为了解决这个问题,我们提出了一种基于模糊Petri网的模糊推理方法,通过切换机器的开/关状态来减少空闲时间。该方法使用从系统中收集的实时数据,包括上游和下游缓冲区的水平,以及机器的工作状态。根据人类的知识,通过对决策意图的分析来描述模糊规则。仿真实验表明,该方法能够在可接受的吞吐量损失下有效地降低批量制造系统的能耗。
{"title":"Fuzzy Petri Net Based Intelligent Machine Operation of Energy Efficient Manufacturing System","authors":"Z. Fei, Shiqi Li, Q. Chang, Junfeng Wang, Yaqin Huang","doi":"10.1109/COASE.2018.8560366","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560366","url":null,"abstract":"In a manufacturing system, the idle status of machine consuming huge amounts of energy cannot bring any added value. How to reduce the energy waste of idle period through the real time control of machine status has become a challenging goal in an energy-efficient manufacturing environment. To address this problem, we propose a fuzzy Petri net based fuzzy reasoning approach to reduce the idle period by switching the on/off status of machines. The approach uses the real time data collected from the system, which include the level of upstream and downstream buffers, as well as the working status of the machine. The fuzzy rules are described by analyzing the decision intention according to the human knowledge. Simulation experiments show that this approach can effectively reduce the energy consumption with accepted throughput loss for a serial manufacturing system.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"116 6 Vyp 2. Neurology and psychiatry of elderly 1","pages":"1593-1598"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90242732","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Equipment health assessment and fault-early warning algorithm based on improved SVDD 基于改进SVDD的设备健康评估与故障预警算法
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560464
Lianlian Zhang, F. Qiao, Junkai Wang
With the rapid development of Internet-of-Things and big data, health assessment of equipment has become a hot spot in recent years. It is critical to bridge the gap between real-time factory data and health status evaluation, which helps decide appropriate maintenance time by quantitative fault-early warning. For this purpose, this paper proposes a framework to realize real-time equipment health management. The framework begins with principal component analysis (PCA) for feature reduction and support vector data description (SVDD) method for identifying abnormal observations. To promote the computational efficiency of the static health assessment model, an improved incremental learning SVDD method based on KKT (Karush-Kuhn-Tucker) condition (KISVDD) is proposed. Then health degree (HD) is defined derived from deviation degree (DD) based on Euclidean distance. Subsequently, a fault-early warning threshold setting method based on sliding window is established to realize quantitative maintenance time prediction. Thereafter, the proposed scheme is compared with different types of algorithms in a case study to demonstrate the effectiveness of the proposed model using actual production data. The results show that the proposed model outperforms traditional ones in accuracy and computational efficiency.
随着物联网和大数据的快速发展,设备健康评估成为近年来的研究热点。消除工厂实时数据与健康状态评估之间的差距至关重要,这有助于通过定量故障预警来确定适当的维修时间。为此,本文提出了一个实现设备实时健康管理的框架。该框架从主成分分析(PCA)的特征约简和支持向量数据描述(SVDD)的异常观测识别方法开始。为了提高静态健康评估模型的计算效率,提出了一种基于KKT (Karush-Kuhn-Tucker)条件的改进增量学习SVDD方法。然后根据欧氏距离的偏差度(DD)定义健康度(HD);随后,建立了基于滑动窗口的故障预警阈值设置方法,实现了维修时间的定量预测。然后,将该方案与不同类型的算法进行了案例研究,利用实际生产数据验证了该模型的有效性。结果表明,该模型在精度和计算效率上均优于传统模型。
{"title":"Equipment health assessment and fault-early warning algorithm based on improved SVDD","authors":"Lianlian Zhang, F. Qiao, Junkai Wang","doi":"10.1109/COASE.2018.8560464","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560464","url":null,"abstract":"With the rapid development of Internet-of-Things and big data, health assessment of equipment has become a hot spot in recent years. It is critical to bridge the gap between real-time factory data and health status evaluation, which helps decide appropriate maintenance time by quantitative fault-early warning. For this purpose, this paper proposes a framework to realize real-time equipment health management. The framework begins with principal component analysis (PCA) for feature reduction and support vector data description (SVDD) method for identifying abnormal observations. To promote the computational efficiency of the static health assessment model, an improved incremental learning SVDD method based on KKT (Karush-Kuhn-Tucker) condition (KISVDD) is proposed. Then health degree (HD) is defined derived from deviation degree (DD) based on Euclidean distance. Subsequently, a fault-early warning threshold setting method based on sliding window is established to realize quantitative maintenance time prediction. Thereafter, the proposed scheme is compared with different types of algorithms in a case study to demonstrate the effectiveness of the proposed model using actual production data. The results show that the proposed model outperforms traditional ones in accuracy and computational efficiency.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"56 12","pages":"716-721"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91501659","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Characterizing the Worst-Case Wafer Delay in a Cluster Tool Operated in a $K$-Cyclic Schedule 在$K$循环调度下运行的集群工具中最坏情况下晶圆延迟的特征
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560521
Dong-Hyun Roh, Tae-Eog Lee
Cluster tools are widely used manufacturing equipment in semiconductor manufacturing systems and consist of several process chambers, loadlock modules, and a wafer transport robot. The operation of the cluster tool relies on decision making about the robot operations. Generally, a robot iteratively determines its next task according to a given task sequence. This tool schedule is called a cyclic schedule. If the same timing pattern repeats every $K$ work cycles in a cyclic schedule, the schedule is called a $K$ -cyclic schedule. In a cluster tool with a $K$ -cyclic schedule, wafer delay, which is the time that a processed wafer is stored in the process chamber, becomes an important issue. In this study, we identify the worst-case wafer delay, which is the maximum value of wafer delay among all the $K$ -cyclic schedules a cluster tool can have. To do this, we present timed event graph models for dual-armed and single-armed cluster tools and briefly explain the previous research on closed-form formulae of token delays in timed event graphs with K-cyclic schedules suggested by Lee et al. [1]. Finally, we propose a method for deriving a closed-form formula for the worst-case wafer delay in a cluster tool, which can be applied to arbitrary wafer flow patterns and time parameters.
集群工具是半导体制造系统中广泛使用的制造设备,由几个工艺室、负载锁模块和一个晶圆运输机器人组成。集群工具的运行依赖于对机器人操作的决策。一般来说,机器人根据给定的任务序列,迭代地确定下一个任务。这种工具调度称为循环调度。如果相同的定时模式在循环调度中每$K$工作周期重复一次,则该调度称为$K$ -循环调度。在具有$K$周期调度的群集工具中,晶圆延迟,即已处理的晶圆存储在工艺室中的时间,成为一个重要问题。在本研究中,我们确定了最坏情况下的晶圆延迟,这是集群工具可以拥有的所有$K$循环调度中晶圆延迟的最大值。为此,我们提出了双臂和单臂聚类工具的定时事件图模型,并简要解释了Lee等人[1]提出的k -循环调度定时事件图中令牌延迟的封闭形式公式。最后,我们提出了一种推导聚类工具中最坏情况下晶圆延迟的封闭公式的方法,该方法可以应用于任意晶圆流动模式和时间参数。
{"title":"Characterizing the Worst-Case Wafer Delay in a Cluster Tool Operated in a $K$-Cyclic Schedule","authors":"Dong-Hyun Roh, Tae-Eog Lee","doi":"10.1109/COASE.2018.8560521","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560521","url":null,"abstract":"Cluster tools are widely used manufacturing equipment in semiconductor manufacturing systems and consist of several process chambers, loadlock modules, and a wafer transport robot. The operation of the cluster tool relies on decision making about the robot operations. Generally, a robot iteratively determines its next task according to a given task sequence. This tool schedule is called a cyclic schedule. If the same timing pattern repeats every $K$ work cycles in a cyclic schedule, the schedule is called a $K$ -cyclic schedule. In a cluster tool with a $K$ -cyclic schedule, wafer delay, which is the time that a processed wafer is stored in the process chamber, becomes an important issue. In this study, we identify the worst-case wafer delay, which is the maximum value of wafer delay among all the $K$ -cyclic schedules a cluster tool can have. To do this, we present timed event graph models for dual-armed and single-armed cluster tools and briefly explain the previous research on closed-form formulae of token delays in timed event graphs with K-cyclic schedules suggested by Lee et al. [1]. Finally, we propose a method for deriving a closed-form formula for the worst-case wafer delay in a cluster tool, which can be applied to arbitrary wafer flow patterns and time parameters.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"25 1","pages":"1562-1567"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81074389","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Real-time Implementation of Nonlinear Model Predictive Control for Mechatronic Systems Using a Hybrid Model 基于混合模型的机电系统非线性模型预测控制实时实现
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560359
S. Löw, D. Obradovic
Nonlinear Model Predictive Control (NMPC) is an aspiring control method for the implementation of advanced controller behavior. The present work shows the symbolic math implementation of a mechatronic system model containing aerodynamic nonlinearities modeled by Feedforward Neural Networks. Gradients for the optimization are obtained efficiently by exploiting the feedforward property of the Neural Networks and symbolic computation. Current research on the implementation of damage metrics into the cost function is stated briefly. In order to achieve real-time capability, the method Real-time Iteration is used.
非线性模型预测控制(NMPC)是实现高级控制器行为的一种有抱负的控制方法。本文展示了用前馈神经网络建立的包含气动非线性的机电系统模型的符号数学实现。利用神经网络的前馈特性和符号计算,有效地获得了优化的梯度。简要介绍了目前在代价函数中实现损伤度量的研究现状。为了达到实时性,采用了实时迭代的方法。
{"title":"Real-time Implementation of Nonlinear Model Predictive Control for Mechatronic Systems Using a Hybrid Model","authors":"S. Löw, D. Obradovic","doi":"10.1109/COASE.2018.8560359","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560359","url":null,"abstract":"Nonlinear Model Predictive Control (NMPC) is an aspiring control method for the implementation of advanced controller behavior. The present work shows the symbolic math implementation of a mechatronic system model containing aerodynamic nonlinearities modeled by Feedforward Neural Networks. Gradients for the optimization are obtained efficiently by exploiting the feedforward property of the Neural Networks and symbolic computation. Current research on the implementation of damage metrics into the cost function is stated briefly. In order to achieve real-time capability, the method Real-time Iteration is used.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"18 1","pages":"164-167"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81968891","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Control Architecture and Transport Coordination for Autonomous Logistics Modules in Flexible Automated Material Flow Systems 柔性自动化物流系统中自主物流模块的控制体系结构与运输协调
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560471
Christian Lieberoth-Leden, J. Fischer, J. Fottner, B. Vogel‐Heuser
The modularization of hard- and software is one approach to handle the demand for increasing flexibility and changeability of automated material flow systems that are, for example, utilized in flexible production systems. In such automated material flow systems, autonomous modules communicate with each other to coordinate and execute transport tasks. The modules are able to detect neighbouring modules and configure interfaces. A control architecture with a central coordination instance is proposed to efficiently communicate topology, state and planning information in a multi-agent material flow system. Furthermore, a planning and scheduling concept for the material flow control is introduced which optimizes traffic and fulfils material flow requirements such as sequencing.
硬件和软件的模块化是处理自动化物料流系统日益增加的灵活性和可变性需求的一种方法,例如,在灵活的生产系统中使用。在这种自动化的物流系统中,自主模块相互通信以协调和执行运输任务。这些模块能够检测相邻模块并配置接口。为了在多智能体物流系统中有效地传递拓扑、状态和规划信息,提出了一种具有中心协调实例的控制体系结构。在此基础上,提出了物料流控制的计划和调度概念,以优化流量,满足物料流排序等要求。
{"title":"Control Architecture and Transport Coordination for Autonomous Logistics Modules in Flexible Automated Material Flow Systems","authors":"Christian Lieberoth-Leden, J. Fischer, J. Fottner, B. Vogel‐Heuser","doi":"10.1109/COASE.2018.8560471","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560471","url":null,"abstract":"The modularization of hard- and software is one approach to handle the demand for increasing flexibility and changeability of automated material flow systems that are, for example, utilized in flexible production systems. In such automated material flow systems, autonomous modules communicate with each other to coordinate and execute transport tasks. The modules are able to detect neighbouring modules and configure interfaces. A control architecture with a central coordination instance is proposed to efficiently communicate topology, state and planning information in a multi-agent material flow system. Furthermore, a planning and scheduling concept for the material flow control is introduced which optimizes traffic and fulfils material flow requirements such as sequencing.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"93 1","pages":"736-743"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79437119","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Evaluation of Photogrammetry for Use in Industrial Production Systems 工业生产系统中摄影测量的评价
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560496
Jason Li, Jonatan Berglund, Felix Auris, Atieh Hanna, J. Vallhagen, K. Åkesson
A digital twin of a production system consists of geometric, kinematic and logical models of the physical system. One of the key challenges is to keep the digital twin up-to-date with changes of the real one. Today, laser scanning is the de-facto standard used to keep the geometry of the digital model synchronized. In recent years, advancements in the performance of Graphic Processing Units (GPUs) and the availability of cheap high-resolution digital cameras have made photogrammetry a viable alternative to laser scanning for building digital 3D-models. In this study, we investigate how photogrammetry competes against laser-scanning by comparing their results in form of point-clouds.
生产系统的数字孪生由物理系统的几何、运动和逻辑模型组成。关键的挑战之一是保持数字孪生与真实孪生的变化同步。今天,激光扫描是事实上的标准,用于保持几何形状的数字模型同步。近年来,图形处理单元(gpu)性能的进步和廉价高分辨率数码相机的可用性使得摄影测量成为激光扫描构建数字3d模型的可行替代方案。在这项研究中,我们通过比较点云形式的结果来研究摄影测量如何与激光扫描竞争。
{"title":"Evaluation of Photogrammetry for Use in Industrial Production Systems","authors":"Jason Li, Jonatan Berglund, Felix Auris, Atieh Hanna, J. Vallhagen, K. Åkesson","doi":"10.1109/COASE.2018.8560496","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560496","url":null,"abstract":"A digital twin of a production system consists of geometric, kinematic and logical models of the physical system. One of the key challenges is to keep the digital twin up-to-date with changes of the real one. Today, laser scanning is the de-facto standard used to keep the geometry of the digital model synchronized. In recent years, advancements in the performance of Graphic Processing Units (GPUs) and the availability of cheap high-resolution digital cameras have made photogrammetry a viable alternative to laser scanning for building digital 3D-models. In this study, we investigate how photogrammetry competes against laser-scanning by comparing their results in form of point-clouds.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"21 1","pages":"414-420"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78394665","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
期刊
2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1