首页 > 最新文献

2017 IEEE 15th International Conference on Industrial Informatics (INDIN)最新文献

英文 中文
Ontology-based integration of performance related data and models: An application to industrial turbine analytics 基于本体的性能相关数据和模型的集成:在工业涡轮机分析中的应用
Pub Date : 2017-07-01 DOI: 10.1109/INDIN.2017.8104780
G. Mehdi, T. Runkler, M. Roshchin, S. Suresh, Nguyen Quang
In industrial power generation plants, subsystem monitoring and analytics play a vital role in quantifying the knowledge about different factors that impact their overall performance. Multi-dimensional performance metrics, e.g. thermal efficiency, in-service time, mean-time-to-failure etc., are calculated that may have different data constraints, modelling techniques, and execution frameworks. Automating these calculations and combining multiple metrics to form a single performance index (e.g. reliability) is a challenging task as it requires considerable domain-specific expertise and consolidation of performance-related data and its underlying models. In this paper, we propose to use ontologies to assist domain analyst to first, capture appropriate semantic data of an individual performance metric, and later to provide means to integrate and execute multiple metrics to accurately reflect the overall performance of a plant. We present our prototypical implementation, its evaluation; furthermore, we discuss an ontology model that currently describes three distinct analytical models and its related data based on the case study of Siemens gas turbines. We also demonstrate how ontologies can support to infer the appropriate aggregation method in calculating composite indices.
在工业发电厂中,子系统监测和分析在量化影响其整体性能的不同因素的知识方面起着至关重要的作用。多维性能指标,如热效率、使用时间、平均故障时间等,可能具有不同的数据约束、建模技术和执行框架。将这些计算自动化并将多个指标组合成单个性能指标(例如可靠性)是一项具有挑战性的任务,因为它需要相当多的特定领域的专业知识,并整合与性能相关的数据及其底层模型。在本文中,我们建议使用本体来帮助领域分析师首先捕获单个性能指标的适当语义数据,然后提供集成和执行多个指标的方法,以准确反映工厂的整体性能。我们展示了我们的原型实现,它的评估;此外,我们还讨论了一个本体模型,该模型目前描述了三种不同的分析模型及其基于西门子燃气轮机案例研究的相关数据。我们还演示了本体如何支持在计算复合索引时推断适当的聚合方法。
{"title":"Ontology-based integration of performance related data and models: An application to industrial turbine analytics","authors":"G. Mehdi, T. Runkler, M. Roshchin, S. Suresh, Nguyen Quang","doi":"10.1109/INDIN.2017.8104780","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104780","url":null,"abstract":"In industrial power generation plants, subsystem monitoring and analytics play a vital role in quantifying the knowledge about different factors that impact their overall performance. Multi-dimensional performance metrics, e.g. thermal efficiency, in-service time, mean-time-to-failure etc., are calculated that may have different data constraints, modelling techniques, and execution frameworks. Automating these calculations and combining multiple metrics to form a single performance index (e.g. reliability) is a challenging task as it requires considerable domain-specific expertise and consolidation of performance-related data and its underlying models. In this paper, we propose to use ontologies to assist domain analyst to first, capture appropriate semantic data of an individual performance metric, and later to provide means to integrate and execute multiple metrics to accurately reflect the overall performance of a plant. We present our prototypical implementation, its evaluation; furthermore, we discuss an ontology model that currently describes three distinct analytical models and its related data based on the case study of Siemens gas turbines. We also demonstrate how ontologies can support to infer the appropriate aggregation method in calculating composite indices.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"23 1","pages":"251-256"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91343500","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
State estimation in water distribution network: A review 配水网络状态估计研究进展
Pub Date : 2017-07-01 DOI: 10.1109/INDIN.2017.8104953
Kgaogelo S. Tshehla, Y. Hamam, A. Abu-Mahfouz
Monitoring of a Water Distribution Network (WDN) requires information about the present state of the network. Since all variables are usually not measurable directly, State estimation is employed. State estimation is a process of determining the unknown variables of a system based on the measurements and mathematical network model. Measurements are often noisy, but state estimation procedure makes use of a set of redundant measurements in order to filter out such errors and find an optimal estimate. This paper presents a literature review of static state estimation problem pertaining to Water distribution Networks.
供水管网(WDN)的监测需要有关管网现状的信息。由于所有变量通常都不能直接测量,所以采用状态估计。状态估计是基于测量和数学网络模型确定系统未知变量的过程。测量结果通常是有噪声的,但状态估计过程利用一组冗余测量来过滤这些误差并找到最优估计。本文综述了配水网络静态估计问题的相关文献。
{"title":"State estimation in water distribution network: A review","authors":"Kgaogelo S. Tshehla, Y. Hamam, A. Abu-Mahfouz","doi":"10.1109/INDIN.2017.8104953","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104953","url":null,"abstract":"Monitoring of a Water Distribution Network (WDN) requires information about the present state of the network. Since all variables are usually not measurable directly, State estimation is employed. State estimation is a process of determining the unknown variables of a system based on the measurements and mathematical network model. Measurements are often noisy, but state estimation procedure makes use of a set of redundant measurements in order to filter out such errors and find an optimal estimate. This paper presents a literature review of static state estimation problem pertaining to Water distribution Networks.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"20 1","pages":"1247-1252"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74018285","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}
引用次数: 17
Guidelines for using MARTE profile packages considering concerns of real-time embedded systems 考虑到实时嵌入式系统的问题,使用MARTE配置文件包的指南
Pub Date : 2017-07-01 DOI: 10.1109/INDIN.2017.8104894
F. Ribeiro, A. Rettberg, C. Pereira, S. Botelho, M. S. Soares
Real-time and embedded systems (RTES) encompass a variety of embedded and real-time properties and requirements which defines them. Timing behavior of RTES physical and logical subsystems is as important as their functional behavior. These systems must define, in addition to their functional properties, the control of several peripheral components, of their constraints, communication interfaces and temporal and non-functional requirements. Understanding the representation and treatment of several properties of real-time and embedded systems has direct influence in their development, reliability and safety. Therefore, it is pertinent to analyze the properties that represent this domain and to provide strategies for a complete definition of model elements'. This paper aims to provide guidelines for comprehension, application and possible adoption of the UML MARTE (Modelling and Analysis of RealTime and Embedded Systems) profile in specification, modeling and design of real-time and embedded properties of a system. The proposed design strategy is applied to a case study, in the domain of intelligent automation systems, in order to direct the adoption of the constructors of MARTE profile in other development contexts and to describe the semantics and syntax of these builders to strengthen their comprehensibility.
实时和嵌入式系统(RTES)包含各种嵌入式和实时属性以及定义它们的需求。RTES物理和逻辑子系统的时序行为与其功能行为同样重要。这些系统除了其功能特性外,还必须定义对几个外围组件的控制、它们的约束、通信接口以及时间和非功能要求。了解实时和嵌入式系统的几种特性的表示和处理对它们的开发、可靠性和安全性有直接的影响。因此,分析表示该领域的属性并为模型元素的完整定义提供策略是相关的。本文旨在为理解、应用和可能采用UML MARTE(实时和嵌入式系统的建模和分析)概要文件在系统的实时和嵌入式属性的规范、建模和设计方面提供指导。本文将提出的设计策略应用于智能自动化系统领域的一个案例研究,目的是指导在其他开发环境中采用MARTE配置文件的构造器,并描述这些构造器的语义和语法,以增强其可理解性。
{"title":"Guidelines for using MARTE profile packages considering concerns of real-time embedded systems","authors":"F. Ribeiro, A. Rettberg, C. Pereira, S. Botelho, M. S. Soares","doi":"10.1109/INDIN.2017.8104894","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104894","url":null,"abstract":"Real-time and embedded systems (RTES) encompass a variety of embedded and real-time properties and requirements which defines them. Timing behavior of RTES physical and logical subsystems is as important as their functional behavior. These systems must define, in addition to their functional properties, the control of several peripheral components, of their constraints, communication interfaces and temporal and non-functional requirements. Understanding the representation and treatment of several properties of real-time and embedded systems has direct influence in their development, reliability and safety. Therefore, it is pertinent to analyze the properties that represent this domain and to provide strategies for a complete definition of model elements'. This paper aims to provide guidelines for comprehension, application and possible adoption of the UML MARTE (Modelling and Analysis of RealTime and Embedded Systems) profile in specification, modeling and design of real-time and embedded properties of a system. The proposed design strategy is applied to a case study, in the domain of intelligent automation systems, in order to direct the adoption of the constructors of MARTE profile in other development contexts and to describe the semantics and syntax of these builders to strengthen their comprehensibility.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"520 1","pages":"917-922"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77095038","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
Security in software-defined wireless sensor networks: Threats, challenges and potential solutions 软件定义无线传感器网络的安全性:威胁、挑战和潜在的解决方案
Pub Date : 2017-07-01 DOI: 10.1109/INDIN.2017.8104765
Sean W. Pritchard, G. Hancke, A. Abu-Mahfouz
A Software-Defined Wireless Sensor Network (SD-WSN) is a recently developed model which is expected to play a large role not only in the development of the Internet of Things (IoT) paradigm but also as a platform for other applications such as smart water management. This model makes use of a Software-Defined Networking (SDN) approach to manage a Wireless Sensor Network (WSN) in order to solve most of the inherent issues surrounding WSNs. One of the most important aspects of any network, is security. This is an area that has received little attention within the development of SDWSNs, as most research addresses security concerns within SDN and WSNs independently. There is a need for research into the security of SDWSN. Some concepts from both SDN and WSN security can be adjusted to suit the SDWSN model while others cannot. Further research is needed into consolidating SDN and WSN security measures to consider security in SDWSN. Threats, challenges and potential solutions to securing SDWSN are presented by considering both the WSN and SDN paradigms.
软件定义无线传感器网络(SD-WSN)是最近发展起来的一种模型,预计不仅在物联网(IoT)范例的发展中发挥重要作用,而且还可以作为智能水管理等其他应用的平台。该模型利用软件定义网络(SDN)方法来管理无线传感器网络(WSN),以解决围绕WSN的大多数固有问题。任何网络最重要的方面之一就是安全。这是一个在sdwsn的开发中很少受到关注的领域,因为大多数研究都独立地解决了SDN和wsn内部的安全问题。有必要对SDWSN的安全性进行研究。SDN和WSN安全中的一些概念可以调整以适应SDWSN模型,而另一些则不能。考虑SDWSN的安全性,需要进一步研究整合SDN和WSN的安全措施。通过考虑WSN和SDN范式,提出了保护SDWSN的威胁、挑战和潜在解决方案。
{"title":"Security in software-defined wireless sensor networks: Threats, challenges and potential solutions","authors":"Sean W. Pritchard, G. Hancke, A. Abu-Mahfouz","doi":"10.1109/INDIN.2017.8104765","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104765","url":null,"abstract":"A Software-Defined Wireless Sensor Network (SD-WSN) is a recently developed model which is expected to play a large role not only in the development of the Internet of Things (IoT) paradigm but also as a platform for other applications such as smart water management. This model makes use of a Software-Defined Networking (SDN) approach to manage a Wireless Sensor Network (WSN) in order to solve most of the inherent issues surrounding WSNs. One of the most important aspects of any network, is security. This is an area that has received little attention within the development of SDWSNs, as most research addresses security concerns within SDN and WSNs independently. There is a need for research into the security of SDWSN. Some concepts from both SDN and WSN security can be adjusted to suit the SDWSN model while others cannot. Further research is needed into consolidating SDN and WSN security measures to consider security in SDWSN. Threats, challenges and potential solutions to securing SDWSN are presented by considering both the WSN and SDN paradigms.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"78 1","pages":"168-173"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77192714","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}
引用次数: 50
CPPS on low cost devices for batch process under IEC-61499 and ISA-88 符合IEC-61499和ISA-88标准的批处理低成本设备的CPPS
Pub Date : 2017-07-01 DOI: 10.1109/INDIN.2017.8104884
Carlos A. Garcia, Esteban X. Castellanos, César Rosero, Carlos Sánchez, Marcelo V. García, F. Pérez, M. Marcos
A cyber-physical production system (CPPS) integrates capacities such as computing, storing and communication along with others in the physical world such as objects tracking and/or objects controlling. According to the Industrial Internet of Things (IIoT) concepts it is possible to infer that CPPS systems are normally connected to each other, and also connected to the virtual world of global digital networks. It is here where, introducing the IEC-61499 standard, will allow the CPPS to implement distributed, flexible and reconfigurable controllers. In the industrial context, the ISA-88 regulation offers a coherent set of standards and terminology for batch control and defines models: physical model, controlling model etc., for this kind of industries. That is why it is necessary to provide the industry with low-cost alternatives which could redirect the CPPS development to a new variety of devices. This paper proposes the development of the Function Blocks (FBs) networks needed in the integration of distributed control systems with the use of two embedded hardware like: BeagleBone Black and Raspberry PI; having the models presented in the ISA-88 standard as the base for developing the control algorithms encapsulated inside the FBs of control.
网络物理生产系统(CPPS)将计算、存储和通信等能力与物理世界中的其他能力(如物体跟踪和/或物体控制)集成在一起。根据工业物联网(IIoT)的概念,可以推断CPPS系统通常是相互连接的,并且也连接到全球数字网络的虚拟世界。正是在这里,引入IEC-61499标准,将允许CPPS实现分布式,灵活和可重构的控制器。在工业环境中,ISA-88法规为批控制提供了一套连贯的标准和术语,并定义了模型:物理模型,控制模型等。这就是为什么有必要为行业提供低成本的替代品,这可以将CPPS的发展转向新的设备种类。本文提出了使用两种嵌入式硬件(如BeagleBone Black和Raspberry PI)集成分布式控制系统所需的功能块(FBs)网络的开发;以ISA-88标准中提出的模型为基础,开发封装在控制fb中的控制算法。
{"title":"CPPS on low cost devices for batch process under IEC-61499 and ISA-88","authors":"Carlos A. Garcia, Esteban X. Castellanos, César Rosero, Carlos Sánchez, Marcelo V. García, F. Pérez, M. Marcos","doi":"10.1109/INDIN.2017.8104884","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104884","url":null,"abstract":"A cyber-physical production system (CPPS) integrates capacities such as computing, storing and communication along with others in the physical world such as objects tracking and/or objects controlling. According to the Industrial Internet of Things (IIoT) concepts it is possible to infer that CPPS systems are normally connected to each other, and also connected to the virtual world of global digital networks. It is here where, introducing the IEC-61499 standard, will allow the CPPS to implement distributed, flexible and reconfigurable controllers. In the industrial context, the ISA-88 regulation offers a coherent set of standards and terminology for batch control and defines models: physical model, controlling model etc., for this kind of industries. That is why it is necessary to provide the industry with low-cost alternatives which could redirect the CPPS development to a new variety of devices. This paper proposes the development of the Function Blocks (FBs) networks needed in the integration of distributed control systems with the use of two embedded hardware like: BeagleBone Black and Raspberry PI; having the models presented in the ISA-88 standard as the base for developing the control algorithms encapsulated inside the FBs of control.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"18 1","pages":"855-860"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81930581","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}
引用次数: 10
Monitoring self-organizing industrial systems using sub-trajectory dictionaries 使用子轨迹字典监测自组织工业系统
Pub Date : 2017-07-01 DOI: 10.1109/INDIN.2017.8104851
Marie Kiermeier, Horst Sauer, J. Wieghardt
In this work, we present a monitoring system for Self-Organizing Industrial Systems (SOIS). It is based on an anomaly detection approach which evaluates the movement of objects within a factory by putting them together from sub-trajectories. By introducing two metrics — relative user frequency and pathlet occurence per user — the existing method is extended so that not only anomalous trajectories and omitted production stations can be detected, but also loops, shifts in the load distribution and novel valid paths. For this purpose, suitable visualization techniques are presented: For loop detection the pathlet occurence per user is monitored and evaluated using box plots. Shifts in the load distribution and novel valid paths are detected using heat maps. The work-flow of the monitoring system is illustrated based on data which is generated by a simplified simulation model.
在这项工作中,我们提出了一个自组织工业系统(SOIS)监控系统。它基于一种异常检测方法,该方法通过从子轨迹将物体放在一起来评估工厂内物体的运动。通过引入相对用户频率和每个用户路径出现次数两个指标,扩展了现有方法,不仅可以检测异常轨迹和遗漏的生产站,还可以检测环路、负载分布的变化和新的有效路径。为此,提出了合适的可视化技术:对于循环检测,使用箱形图监测和评估每个用户的路径出现情况。使用热图检测负载分布的变化和新的有效路径。通过简化的仿真模型生成的数据,说明了监控系统的工作流程。
{"title":"Monitoring self-organizing industrial systems using sub-trajectory dictionaries","authors":"Marie Kiermeier, Horst Sauer, J. Wieghardt","doi":"10.1109/INDIN.2017.8104851","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104851","url":null,"abstract":"In this work, we present a monitoring system for Self-Organizing Industrial Systems (SOIS). It is based on an anomaly detection approach which evaluates the movement of objects within a factory by putting them together from sub-trajectories. By introducing two metrics — relative user frequency and pathlet occurence per user — the existing method is extended so that not only anomalous trajectories and omitted production stations can be detected, but also loops, shifts in the load distribution and novel valid paths. For this purpose, suitable visualization techniques are presented: For loop detection the pathlet occurence per user is monitored and evaluated using box plots. Shifts in the load distribution and novel valid paths are detected using heat maps. The work-flow of the monitoring system is illustrated based on data which is generated by a simplified simulation model.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"24 1","pages":"665-670"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82403172","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}
引用次数: 3
A tiered security analysis of Industrial Control System Devices 工业控制系统设备的分层安全分析
Pub Date : 2017-07-01 DOI: 10.1109/INDIN.2017.8104805
C. Vargas, Michael Langfinger, B. Vogel‐Heuser
The discussion of threats and vulnerabilities in Industrial Control Systems has gained popularity during the last decade due to the increase in interest and growing concern to secure these systems. In order to provide an overview of the complete landscape of these threats and vulnerabilities this contribution provides a tiered security analysis of the assets that constitute Industrial Control Systems. The identification of assets is obtained from a generalization of the system's architecture. Additionally, the security analysis is complemented by discussing security countermeasures and solutions that can be used to counteract the vulnerabilities and increase the security of control systems.
关于工业控制系统中的威胁和漏洞的讨论在过去十年中由于对保护这些系统的兴趣和日益关注的增加而越来越受欢迎。为了提供这些威胁和漏洞的完整概况,本贡献提供了构成工业控制系统的资产的分层安全分析。资产的识别是从系统架构的概括中获得的。此外,通过讨论安全对策和解决方案来补充安全性分析,这些对策和解决方案可用于抵消漏洞并增加控制系统的安全性。
{"title":"A tiered security analysis of Industrial Control System Devices","authors":"C. Vargas, Michael Langfinger, B. Vogel‐Heuser","doi":"10.1109/INDIN.2017.8104805","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104805","url":null,"abstract":"The discussion of threats and vulnerabilities in Industrial Control Systems has gained popularity during the last decade due to the increase in interest and growing concern to secure these systems. In order to provide an overview of the complete landscape of these threats and vulnerabilities this contribution provides a tiered security analysis of the assets that constitute Industrial Control Systems. The identification of assets is obtained from a generalization of the system's architecture. Additionally, the security analysis is complemented by discussing security countermeasures and solutions that can be used to counteract the vulnerabilities and increase the security of control systems.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"20 1","pages":"399-404"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83160242","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
Towards electric vehicles integration to distributed energy resources of prosumer 面向电动汽车一体化,面向产消分布式能源
Pub Date : 2017-07-01 DOI: 10.1109/INDIN.2017.8104869
E. Nefedov, S. Sierla, V. Vyatkin
The electric vehicles can contribute to reducing electricity costs by providing their batteries as temporary energy storages. The paper presents a new mechanism of their implementation in systems with distributed energy resources. The method is based on individual contracts that facility company makes with the drivers of electric vehicles. The company that has own energy generation from photovoltaic panels, stores and uses the electricity in the batteries of vehicles while they are in the parking lot. The contracts specify the required level of charge at the end of agreement and the financial compensation. The paper analysed proposed cooperation between facility owner and multiple electric vehicles in simulation, using real energy, weather and vehicles behaviour data. All the electric vehicles can significantly reduce the average recharging bill, as well as the facility owner gets lower electricity expenses.
电动汽车可以通过提供电池作为临时能量存储来降低电力成本。本文提出了一种在分布式能源系统中实现它们的新机制。该方法以设施公司与电动汽车司机签订的个别合同为基础。该公司拥有自己的光伏发电板,当汽车停在停车场时,就储存和使用电池中的电力。合同在协议结束时规定了所需的收费水平和经济补偿。本文利用真实的能源、天气和车辆行为数据,在模拟中分析了设施所有者和多辆电动汽车之间的拟议合作。所有电动汽车都可以显著降低平均充电费用,并且设施所有者获得更低的电费支出。
{"title":"Towards electric vehicles integration to distributed energy resources of prosumer","authors":"E. Nefedov, S. Sierla, V. Vyatkin","doi":"10.1109/INDIN.2017.8104869","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104869","url":null,"abstract":"The electric vehicles can contribute to reducing electricity costs by providing their batteries as temporary energy storages. The paper presents a new mechanism of their implementation in systems with distributed energy resources. The method is based on individual contracts that facility company makes with the drivers of electric vehicles. The company that has own energy generation from photovoltaic panels, stores and uses the electricity in the batteries of vehicles while they are in the parking lot. The contracts specify the required level of charge at the end of agreement and the financial compensation. The paper analysed proposed cooperation between facility owner and multiple electric vehicles in simulation, using real energy, weather and vehicles behaviour data. All the electric vehicles can significantly reduce the average recharging bill, as well as the facility owner gets lower electricity expenses.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"1 1","pages":"769-772"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87392837","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
Generalized test tables: A powerful and intuitive specification language for reactive systems 通用测试表:用于反应系统的强大而直观的规范语言
Pub Date : 2017-07-01 DOI: 10.1109/INDIN.2017.8104887
A. Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, B. Vogel‐Heuser
With recent trends in manufacturing automation, such as Industry 4.0, control software in automated production systems becomes more and more complex and volatile, complicating and increasing importance of quality assurance. Test tables are a widely used and generally accepted means to intuitively specify test cases for automation software. However, each table only specifies a single software trace, whereas the actual software behavior may cover multiple similar traces not covered by the table. Within this work, we present a generalization concept for test tables allowing for bounded and unbounded repetition of steps, “don't-care” values, as well as calculations with earlier observed values. We provide a verification mechanism for checking conformance of an IEC 61131-3 PLC software with a generalized test table, making use of a state-of-the-art model checker. Our notation is inspired by widely-used paradigms found in spreadsheet applications. By an empirical study with mechanical engineering students, we show that the notation matches user expectations. A real-world example extracted from an industrial automation plant illustrates our approach.
随着工业4.0等制造业自动化的最新趋势,自动化生产系统中的控制软件变得越来越复杂和不稳定,质量保证变得越来越复杂和重要。测试表是一种广泛使用和普遍接受的方法,可以直观地为自动化软件指定测试用例。然而,每个表只指定一个软件跟踪,而实际的软件行为可能包含多个类似的跟踪,而表中没有包含这些跟踪。在这项工作中,我们提出了一个测试表的泛化概念,允许有界和无界重复的步骤,“不关心”值,以及使用早期观察值的计算。我们提供了一种验证机制,用于检查IEC 61131-3 PLC软件与通用测试表的一致性,利用最先进的模型检查器。我们的表示法受到电子表格应用程序中广泛使用的范例的启发。通过对机械工程专业学生的实证研究,我们发现符号符合用户期望。从一个工业自动化工厂提取的真实示例说明了我们的方法。
{"title":"Generalized test tables: A powerful and intuitive specification language for reactive systems","authors":"A. Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, B. Vogel‐Heuser","doi":"10.1109/INDIN.2017.8104887","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104887","url":null,"abstract":"With recent trends in manufacturing automation, such as Industry 4.0, control software in automated production systems becomes more and more complex and volatile, complicating and increasing importance of quality assurance. Test tables are a widely used and generally accepted means to intuitively specify test cases for automation software. However, each table only specifies a single software trace, whereas the actual software behavior may cover multiple similar traces not covered by the table. Within this work, we present a generalization concept for test tables allowing for bounded and unbounded repetition of steps, “don't-care” values, as well as calculations with earlier observed values. We provide a verification mechanism for checking conformance of an IEC 61131-3 PLC software with a generalized test table, making use of a state-of-the-art model checker. Our notation is inspired by widely-used paradigms found in spreadsheet applications. By an empirical study with mechanical engineering students, we show that the notation matches user expectations. A real-world example extracted from an industrial automation plant illustrates our approach.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"126 1","pages":"875-882"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87668507","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
Metric based modelling of flexibility properties of demonstration plants 基于度量的示范工厂柔性特性建模
Pub Date : 2017-07-01 DOI: 10.1109/INDIN.2017.8104754
A. Lüder, B. Vogel‐Heuser, Nicole Schmidt, Julia Prieler
Several research and development activities have been, are, and will be conducted towards the development of agile production systems. All of the will had, have, and will have their individual rationales, aims, and reached results. To enable comparability and a broader application of reached results means for representation of the application field of the research activity are required. As most research and development activities validate their results within a demonstration system one possibility for the representation is a detailed classification of the demonstration system towards agility capabilities of the demonstration system. A first idea of such a classification is given in this paper.
针对敏捷生产系统的开发,已经、正在和将要进行一些研究和开发活动。所有的意志都有各自的理由、目标和达到的结果。为了使已取得的结果具有可比性和更广泛的应用,需要有代表研究活动应用领域的手段。当大多数研究和开发活动在演示系统中验证其结果时,表示的一种可能性是根据演示系统的敏捷性对演示系统进行详细分类。本文给出了这种分类的第一个思想。
{"title":"Metric based modelling of flexibility properties of demonstration plants","authors":"A. Lüder, B. Vogel‐Heuser, Nicole Schmidt, Julia Prieler","doi":"10.1109/INDIN.2017.8104754","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104754","url":null,"abstract":"Several research and development activities have been, are, and will be conducted towards the development of agile production systems. All of the will had, have, and will have their individual rationales, aims, and reached results. To enable comparability and a broader application of reached results means for representation of the application field of the research activity are required. As most research and development activities validate their results within a demonstration system one possibility for the representation is a detailed classification of the demonstration system towards agility capabilities of the demonstration system. A first idea of such a classification is given in this paper.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"51 1","pages":"103-108"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88082691","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
期刊
2017 IEEE 15th International Conference on Industrial Informatics (INDIN)
全部 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学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1