首页 > 最新文献

2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)最新文献

英文 中文
Implementation and Evaluation of IEC 61499 Basic Function Blocks in Erlang IEC 61499基本功能块在Erlang中的实现与评价
Laurin Prenzel, Julien Provost
Despite several architectural advantages for the challenges of future manufacturing systems, the IEC 61499 standard is currently not widely accepted by industry. One advantage of the IEC 61499 is the concept of downtimeless system evolution. An extension of this, dynamic software updating, which allows switching out running processes and deal with unplanned changes, is readily available in the programming language Erlang. This paper investigates the real-time performance of an asynchronous, parallel IEC 61499 basic function block implementation in Erlang, a functional programming language with a soft real-time, concurrent runtime environment. As a result, although hard real-time performance is not guaranteed and the runtime environment is executed on top of a regular operating system, the performance is consistent and promising for future implementations and extensions.
尽管对于未来制造系统的挑战,IEC 61499标准有几个架构上的优势,但目前还没有被工业广泛接受。IEC 61499的一个优点是下行系统演化的概念。它的一个扩展,动态软件更新,允许切换正在运行的进程并处理计划外的更改,在编程语言Erlang中很容易获得。本文研究了在具有软实时并发运行环境的函数式编程语言Erlang中异步并行iec61499基本功能块实现的实时性。因此,尽管不能保证硬实时性能,并且运行时环境是在常规操作系统之上执行的,但性能是一致的,并且对于未来的实现和扩展是有希望的。
{"title":"Implementation and Evaluation of IEC 61499 Basic Function Blocks in Erlang","authors":"Laurin Prenzel, Julien Provost","doi":"10.1109/ETFA.2018.8502470","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502470","url":null,"abstract":"Despite several architectural advantages for the challenges of future manufacturing systems, the IEC 61499 standard is currently not widely accepted by industry. One advantage of the IEC 61499 is the concept of downtimeless system evolution. An extension of this, dynamic software updating, which allows switching out running processes and deal with unplanned changes, is readily available in the programming language Erlang. This paper investigates the real-time performance of an asynchronous, parallel IEC 61499 basic function block implementation in Erlang, a functional programming language with a soft real-time, concurrent runtime environment. As a result, although hard real-time performance is not guaranteed and the runtime environment is executed on top of a regular operating system, the performance is consistent and promising for future implementations and extensions.","PeriodicalId":6566,"journal":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"47 1","pages":"123-130"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81089004","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
Latency analysis for data chains of real-time periodic tasks 实时周期任务数据链的时延分析
Tomasz Kloda, A. Bertout, Y. Sorel
A data chain is a sequence of periodic realtime communicating tasks that are processing the data from sensors up to actuators. It determines an order in which the tasks propagate data but not in which they are executed: inter-task communication and scheduling are independent. In this paper, we focus on the latency computation, considered as the time elapsed from getting the data from an input and processing it to an output of a data chain. We propose a method for the worst-case latency calculation of periodic tasks' data chains executed by a partitioned fixed-priority preemptive scheduler upon a multiprocessor platform. As far as we know, there is no such formal approach based on closed-form expression for communicating real-time tasks.
数据链是处理从传感器到执行器的数据的周期性实时通信任务的序列。它决定了任务传播数据的顺序,而不是任务执行的顺序:任务间通信和调度是独立的。在本文中,我们关注延迟计算,考虑从数据链的输入和处理数据到输出所花费的时间。提出了一种多处理器平台上由分区固定优先级抢占调度程序执行的周期性任务数据链的最坏延迟计算方法。据我们所知,目前还没有这种基于封闭形式表达式的正式方法来通信实时任务。
{"title":"Latency analysis for data chains of real-time periodic tasks","authors":"Tomasz Kloda, A. Bertout, Y. Sorel","doi":"10.1109/ETFA.2018.8502498","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502498","url":null,"abstract":"A data chain is a sequence of periodic realtime communicating tasks that are processing the data from sensors up to actuators. It determines an order in which the tasks propagate data but not in which they are executed: inter-task communication and scheduling are independent. In this paper, we focus on the latency computation, considered as the time elapsed from getting the data from an input and processing it to an output of a data chain. We propose a method for the worst-case latency calculation of periodic tasks' data chains executed by a partitioned fixed-priority preemptive scheduler upon a multiprocessor platform. As far as we know, there is no such formal approach based on closed-form expression for communicating real-time tasks.","PeriodicalId":6566,"journal":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"370 1","pages":"360-367"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80459256","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}
引用次数: 32
KhronoSim: A Platform for Complex Systems Simulation and Testing KhronoSim:复杂系统仿真与测试平台
A. Chaves, Ricardo Maia, Carlos Belchio, R. Araújo, G. Gouveia
Current smart factories, and technologies such as cyber-physical systems and Internet of Things have transformed the working environments, that now incorporate digital machines with information technology. Integrated automated systems require being accurate and dependable even though operating in a non-predictable environment. The needs for testing, quality assurance, and maintenance for such types of systems are continuously increasing, and testing frameworks are often used to execute automated tests on those systems. With the objective of providing a support and enabling infrastructure for testing cyber-physical systems in closed-loop, it was designed and developed the KhronoSim testing platform. This paper presents the KhronoSim platform and architecture. It is modular, extensible and usable in multiple application domains. It features real-time control and enables the joint and flexible integration of simulation models and physical components or subsystems to build a closed-loop test environment. Furthermore, the paper presents a case study, displaying the flexibility and modularity of the KhronoSim platform and its capacity of integrating solutions from external sources, simulators, communication protocols, power sources, electrical inputs/outputs, demonstrating that it is a robust platform that is useful for testing and simulation of complex systems, yet allowing the use of physical and virtual systems alike.
目前的智能工厂,以及网络物理系统和物联网等技术已经改变了工作环境,现在将数字机器与信息技术结合起来。即使在不可预测的环境中运行,集成自动化系统也需要精确和可靠。对此类系统的测试、质量保证和维护的需求不断增加,测试框架通常用于在这些系统上执行自动化测试。为了在闭环中为测试网络物理系统提供支持和使能基础设施,设计并开发了KhronoSim测试平台。本文介绍了KhronoSim平台及其体系结构。它是模块化的,可扩展的,可用于多个应用程序领域。它具有实时控制的特点,能够将仿真模型与物理组件或子系统联合灵活集成,构建闭环测试环境。此外,本文还介绍了一个案例研究,展示了KhronoSim平台的灵活性和模块化,以及它集成外部来源、模拟器、通信协议、电源、电气输入/输出解决方案的能力,证明了它是一个强大的平台,可用于测试和模拟复杂系统,同时允许使用物理和虚拟系统。
{"title":"KhronoSim: A Platform for Complex Systems Simulation and Testing","authors":"A. Chaves, Ricardo Maia, Carlos Belchio, R. Araújo, G. Gouveia","doi":"10.1109/ETFA.2018.8502602","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502602","url":null,"abstract":"Current smart factories, and technologies such as cyber-physical systems and Internet of Things have transformed the working environments, that now incorporate digital machines with information technology. Integrated automated systems require being accurate and dependable even though operating in a non-predictable environment. The needs for testing, quality assurance, and maintenance for such types of systems are continuously increasing, and testing frameworks are often used to execute automated tests on those systems. With the objective of providing a support and enabling infrastructure for testing cyber-physical systems in closed-loop, it was designed and developed the KhronoSim testing platform. This paper presents the KhronoSim platform and architecture. It is modular, extensible and usable in multiple application domains. It features real-time control and enables the joint and flexible integration of simulation models and physical components or subsystems to build a closed-loop test environment. Furthermore, the paper presents a case study, displaying the flexibility and modularity of the KhronoSim platform and its capacity of integrating solutions from external sources, simulators, communication protocols, power sources, electrical inputs/outputs, demonstrating that it is a robust platform that is useful for testing and simulation of complex systems, yet allowing the use of physical and virtual systems alike.","PeriodicalId":6566,"journal":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"38 1","pages":"131-138"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87089124","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
Online Class Imbalance Learning for Quality Estimation in Manufacturing 面向制造业质量评估的在线班级不平衡学习
Kee Jin Lee
Online machine learning has become increasingly important recently as more and more machines are being connected and data is being sent to the decision making node in real time. Traditional batch based machine learning is no longer suitable for such streaming data scenario. Here, an online classification algorithm to classify good and defective product, under imbalance streaming environment, is proposed. The proposed method exploits the assumption that different classes should be far away from each other. Even when the raw data might appear to be close, the algorithm learns and projects them into some specific manifold where different classes are far from each other. The algorithm classifies good and defective product in an imbalanced environment where good product outweighs defective product. The algorithm uses only single pass of the data, where the data is used once and then discarded. The approach is then being validated using industry data and the result indicates better performance in term of G-Mean and F1-score.
随着越来越多的机器被连接起来,数据被实时发送到决策节点,在线机器学习变得越来越重要。传统的基于批处理的机器学习已经不适合这种流数据场景。本文提出了一种在不平衡流环境下在线分类良品与次品的算法。所提出的方法利用了不同的类应该彼此远离的假设。即使原始数据看起来很接近,算法也会学习并将它们投射到一些特定的流形中,其中不同的类彼此相距很远。该算法在良品多于次品的不平衡环境下对良品和次品进行分类。该算法只使用数据的单次传递,其中数据被使用一次,然后丢弃。然后使用行业数据对该方法进行验证,结果表明,在G-Mean和f1得分方面,该方法具有更好的性能。
{"title":"Online Class Imbalance Learning for Quality Estimation in Manufacturing","authors":"Kee Jin Lee","doi":"10.1109/ETFA.2018.8502569","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502569","url":null,"abstract":"Online machine learning has become increasingly important recently as more and more machines are being connected and data is being sent to the decision making node in real time. Traditional batch based machine learning is no longer suitable for such streaming data scenario. Here, an online classification algorithm to classify good and defective product, under imbalance streaming environment, is proposed. The proposed method exploits the assumption that different classes should be far away from each other. Even when the raw data might appear to be close, the algorithm learns and projects them into some specific manifold where different classes are far from each other. The algorithm classifies good and defective product in an imbalanced environment where good product outweighs defective product. The algorithm uses only single pass of the data, where the data is used once and then discarded. The approach is then being validated using industry data and the result indicates better performance in term of G-Mean and F1-score.","PeriodicalId":6566,"journal":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"1 1","pages":"1007-1014"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87752741","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
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow 缓冲顺序工作流程中产品剩余完成时间的随机边界评估
M. Biagi, L. Carnevali, Kumiko Tadano, E. Vicario
Agile production systems face major issues in satisfying fickle market needs in highly demand-driven industry sectors, such as electronics and mechatronics. In this context, the time needed to complete the production of an item tends to be highly variable, and online estimation of the remaining completion time may suffer the lack of adequate sensor data, especially in existing manufacturing systems. To solve this issue, we propose a new analytical technique for the evaluation of an upper and a lower stochastic bound on the remaining completion time of a product, considering an assembly line made of sequential workstations with transfer blocking and buffer capacity. The approach notably encompasses service times with non-Markovian distribution, and avoids the limitation of existing works requiring the system to be at steady state at the inspection time. The technique is experimented on a case study and validated through simulation, providing an empirical analysis of its complexity.
敏捷生产系统面临的主要问题是,在高度需求驱动的工业部门(如电子和机电一体化)中满足多变的市场需求。在这种情况下,完成一个项目的生产所需的时间往往是高度可变的,在线估计剩余的完成时间可能会受到缺乏足够的传感器数据的影响,特别是在现有的制造系统中。为了解决这一问题,我们提出了一种新的分析技术,用于评估产品剩余完成时间的上下随机界,考虑由具有传输阻塞和缓冲能力的顺序工作站组成的装配线。该方法包含了非马尔可夫分布的服务时间,避免了现有工作要求系统在检查时处于稳定状态的限制。通过实例研究和仿真验证了该技术的有效性,并对其复杂性进行了实证分析。
{"title":"Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow","authors":"M. Biagi, L. Carnevali, Kumiko Tadano, E. Vicario","doi":"10.1109/ETFA.2018.8502542","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502542","url":null,"abstract":"Agile production systems face major issues in satisfying fickle market needs in highly demand-driven industry sectors, such as electronics and mechatronics. In this context, the time needed to complete the production of an item tends to be highly variable, and online estimation of the remaining completion time may suffer the lack of adequate sensor data, especially in existing manufacturing systems. To solve this issue, we propose a new analytical technique for the evaluation of an upper and a lower stochastic bound on the remaining completion time of a product, considering an assembly line made of sequential workstations with transfer blocking and buffer capacity. The approach notably encompasses service times with non-Markovian distribution, and avoids the limitation of existing works requiring the system to be at steady state at the inspection time. The technique is experimented on a case study and validated through simulation, providing an empirical analysis of its complexity.","PeriodicalId":6566,"journal":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"49 1","pages":"456-463"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90335063","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}
引用次数: 1
Model Predictive Control for operator-in-the-loop overhead cranes 操作者在环桥式起重机模型预测控制
Marco Giacomelli, M. Faroni, D. Gorni, Alberto Marini, L. Simoni, A. Visioli
In this paper, a Model Predictive Control approach for the velocity control of operator-in-the loop overhead cranes is proposed. The operator can select the maximum position overshoot as a tuning parameter for the method. Simulations provide a comparison between the proposed method and the well known Zero Vibration input shaping technique, showing its effectiveness in controlling the payload oscillations.
本文提出了一种用于操作者在环桥式起重机速度控制的模型预测控制方法。操作者可以选择最大位置超调作为该方法的调谐参数。仿真结果表明,该方法与零振动输入整形技术在控制载荷振荡方面的有效性。
{"title":"Model Predictive Control for operator-in-the-loop overhead cranes","authors":"Marco Giacomelli, M. Faroni, D. Gorni, Alberto Marini, L. Simoni, A. Visioli","doi":"10.1109/ETFA.2018.8502591","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502591","url":null,"abstract":"In this paper, a Model Predictive Control approach for the velocity control of operator-in-the loop overhead cranes is proposed. The operator can select the maximum position overshoot as a tuning parameter for the method. Simulations provide a comparison between the proposed method and the well known Zero Vibration input shaping technique, showing its effectiveness in controlling the payload oscillations.","PeriodicalId":6566,"journal":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"5 1","pages":"589-596"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83422737","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
Distributed Industrial Robot Control Using Environment Perception and Parallel Path Planning Cloud Services 基于环境感知和并行路径规划云服务的分布式工业机器人控制
Jonas Wassermann, Vojtach Vonesek, A. Vick
Recent developments in connected industries and internet of things identified demands for flexible reconfiguration and reprogramming of robots and machine tools. The demand for reconfiguration comes from changes in production process ordering or individual products; the demand for reprogramming comes from changing workplace organization and material flow. Yet these reconfiguration and reprogramming is often characterized by constants for a specific use-case in terms of precomputed trajectories. In this paper, we present an approach of monitoring the robot's workspace and using an online replanning of motion. We present a toolchain that is available and ready to use for a big class of industrial robots that have a position setpoint control interface. The feasibility is demonstrated in small laboratory experiments with a modular industrial robot in a common human-robot interface scenario.
互联工业和物联网的最新发展确定了对机器人和机床的灵活重新配置和重新编程的需求。重新配置的需求来自于生产流程、订单或单个产品的变化;对重新编程的需求来自于不断变化的工作场所组织和物料流。然而,这些重新配置和重新编程通常以预先计算轨迹的特定用例常数为特征。在本文中,我们提出了一种监测机器人工作空间并使用在线运动重新规划的方法。我们提出了一种工具链,可用于具有位置设定值控制接口的大型工业机器人。在一个常见的人机界面场景下,用模块化工业机器人进行了小型实验室实验,证明了该方法的可行性。
{"title":"Distributed Industrial Robot Control Using Environment Perception and Parallel Path Planning Cloud Services","authors":"Jonas Wassermann, Vojtach Vonesek, A. Vick","doi":"10.1109/ETFA.2018.8502588","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502588","url":null,"abstract":"Recent developments in connected industries and internet of things identified demands for flexible reconfiguration and reprogramming of robots and machine tools. The demand for reconfiguration comes from changes in production process ordering or individual products; the demand for reprogramming comes from changing workplace organization and material flow. Yet these reconfiguration and reprogramming is often characterized by constants for a specific use-case in terms of precomputed trajectories. In this paper, we present an approach of monitoring the robot's workspace and using an online replanning of motion. We present a toolchain that is available and ready to use for a big class of industrial robots that have a position setpoint control interface. The feasibility is demonstrated in small laboratory experiments with a modular industrial robot in a common human-robot interface scenario.","PeriodicalId":6566,"journal":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"197 1","pages":"1263-1266"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83511381","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
Automatic generation of formal models for diagnosability of DES DES可诊断性形式化模型的自动生成
Roberto Nardone, G. Tommasi, N. Mazzocca, A. Pironti, V. Vittorini
This paper aims at defining a model-driven approach for the diagnosability analysis of discrete event systems (DES). The proposed approach can be adopted during the design of modern control systems, in which many sensors and actuators are employed and the diagnosability of faults within a certain delay could be an issue. The proposal represents a first step towards an automatic model-driven process which derive formal models from a complete high-level specification of DESs. The specification activity of our approach relies on the Dynamic STate Machine (DSTM) formalism, a new language that extends state machines with dynamic instantiation, interrupts and asynchronous communication. The paper will describe how we can automatically derive Petri net and Promela models from the high-level DSTM specification. The former model can be used to apply diagnosability analysis approaches proposed in the DES community, while the latter can be used to apply model checking techniques. An application of the proposed model-driven approach is described by deriving both a PN and a Promela model for the well-known railway level crossing benchmark.
本文旨在为离散事件系统的可诊断性分析定义一种模型驱动的方法。本文提出的方法可用于现代控制系统的设计中,这些控制系统采用了许多传感器和执行器,并且在一定的延迟内故障的可诊断性可能是一个问题。该建议代表了迈向自动模型驱动过程的第一步,该过程从完整的DESs高级规范中派生正式模型。我们方法的规范活动依赖于动态状态机(DSTM)形式,这是一种扩展状态机的新语言,具有动态实例化、中断和异步通信。本文将描述如何从高级DSTM规范中自动导出Petri网和Promela模型。前者可用于应用DES社区中提出的可诊断性分析方法,后者可用于应用模型检查技术。提出了一种模型驱动方法的应用,通过推导著名的铁路平交道口基准的PN和Promela模型来描述。
{"title":"Automatic generation of formal models for diagnosability of DES","authors":"Roberto Nardone, G. Tommasi, N. Mazzocca, A. Pironti, V. Vittorini","doi":"10.1109/ETFA.2018.8502565","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502565","url":null,"abstract":"This paper aims at defining a model-driven approach for the diagnosability analysis of discrete event systems (DES). The proposed approach can be adopted during the design of modern control systems, in which many sensors and actuators are employed and the diagnosability of faults within a certain delay could be an issue. The proposal represents a first step towards an automatic model-driven process which derive formal models from a complete high-level specification of DESs. The specification activity of our approach relies on the Dynamic STate Machine (DSTM) formalism, a new language that extends state machines with dynamic instantiation, interrupts and asynchronous communication. The paper will describe how we can automatically derive Petri net and Promela models from the high-level DSTM specification. The former model can be used to apply diagnosability analysis approaches proposed in the DES community, while the latter can be used to apply model checking techniques. An application of the proposed model-driven approach is described by deriving both a PN and a Promela model for the well-known railway level crossing benchmark.","PeriodicalId":6566,"journal":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"40 1","pages":"43-48"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82002180","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}
引用次数: 1
Plug&Produce Integration of Components into OPC UA based data-space 将组件集成到基于OPC UA的数据空间
S. Panda, Tizian Schroder, Lukasz Wisniewski, C. Diedrich
Current manufacturing and production systems are becoming more flexible and adaptable. Such systems demand rapid changeover and short configuration time of machines. With the adaptation of IT systems in the automation industry, machines and devices will have self-descriptive semantic device data description to represent their data elements and services. This paper proposes an approach to integrate new machines and devices into an existing production system without any manual intervention. The proposed concept provides a Plug & Produce system architecture and evaluates its capabilities based on OPC UA. The concept also describes an easy and fast integration of the digital representation of new field devices into an existing production system.
当前的制造和生产系统正变得更加灵活和适应性强。这样的系统要求转换速度快,机器配置时间短。随着自动化行业IT系统的适应,机器和设备将具有自描述的语义设备数据描述,以表示其数据元素和服务。本文提出了一种将新机器和设备集成到现有生产系统中而无需任何人工干预的方法。提出的概念提供了一个即插即用的系统架构,并基于OPC UA评估其功能。该概念还描述了将新现场设备的数字表示简单快速地集成到现有生产系统中的方法。
{"title":"Plug&Produce Integration of Components into OPC UA based data-space","authors":"S. Panda, Tizian Schroder, Lukasz Wisniewski, C. Diedrich","doi":"10.1109/ETFA.2018.8502663","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502663","url":null,"abstract":"Current manufacturing and production systems are becoming more flexible and adaptable. Such systems demand rapid changeover and short configuration time of machines. With the adaptation of IT systems in the automation industry, machines and devices will have self-descriptive semantic device data description to represent their data elements and services. This paper proposes an approach to integrate new machines and devices into an existing production system without any manual intervention. The proposed concept provides a Plug & Produce system architecture and evaluates its capabilities based on OPC UA. The concept also describes an easy and fast integration of the digital representation of new field devices into an existing production system.","PeriodicalId":6566,"journal":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"3 1","pages":"1095-1100"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85347081","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}
引用次数: 14
Maximizing CO2 Heat Pump Systems Performance via Extremum Seeking Control 通过极值寻求控制最大化CO2热泵系统性能
A. Cervato, Chiara Corazzol, Luca Mattiello, M. Rampazzo
In this paper, the energy efficient control of carbon dioxide heat pump systems is discussed from an experimental point of view. The performance of this kind of systems strongly depends on the operating conditions and in particular on the cycle high pressure. Because of the limited knowledge of certain system parameters and the difficulty of developing and implementing effective models, the problem of determining the optimal value for the cycle high pressure that leads to the maximum system performance is here faced by means of a model-free approach. Specifically, an Extremum Seeking Control (ESC) scheme, which can search for the unknown or slowly varying optimum input with respect to a certain performance index, is adopted. In particular, a variable water flow rate heat pump unit was considered. In this scenario, the performances of the ESC were compared with those provided by other methods available in literature (e.g. Liao's model). Experimental tests show that the ESC scheme guarantees better performance.
本文从实验的角度对二氧化碳热泵系统的节能控制进行了探讨。这类系统的性能在很大程度上取决于运行条件,特别是循环高压。由于对某些系统参数的了解有限,并且难以建立和实施有效的模型,因此通过无模型方法来确定导致系统性能最大化的循环高压的最优值。具体来说,采用了一种极值寻求控制(ESC)方法,该方法可以针对某一性能指标搜索未知的或缓慢变化的最优输入。特别考虑了变流量热泵机组。在这种情况下,ESC的性能与文献中可用的其他方法(例如Liao的模型)的性能进行了比较。实验结果表明,ESC方案具有较好的性能。
{"title":"Maximizing CO2 Heat Pump Systems Performance via Extremum Seeking Control","authors":"A. Cervato, Chiara Corazzol, Luca Mattiello, M. Rampazzo","doi":"10.1109/ETFA.2018.8502459","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502459","url":null,"abstract":"In this paper, the energy efficient control of carbon dioxide heat pump systems is discussed from an experimental point of view. The performance of this kind of systems strongly depends on the operating conditions and in particular on the cycle high pressure. Because of the limited knowledge of certain system parameters and the difficulty of developing and implementing effective models, the problem of determining the optimal value for the cycle high pressure that leads to the maximum system performance is here faced by means of a model-free approach. Specifically, an Extremum Seeking Control (ESC) scheme, which can search for the unknown or slowly varying optimum input with respect to a certain performance index, is adopted. In particular, a variable water flow rate heat pump unit was considered. In this scenario, the performances of the ESC were compared with those provided by other methods available in literature (e.g. Liao's model). Experimental tests show that the ESC scheme guarantees better performance.","PeriodicalId":6566,"journal":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"231 1","pages":"1328-1334"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91024794","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
期刊
2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)
全部 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