Pub Date : 2013-10-28DOI: 10.1109/ETFA.2013.6648105
J. Markovski, M. Reniers
Pipeless chemical plants provide an alternative way for flexible, scalable, and reconfigurable production of high valued chemical products on demand. The main feature of these pipeless plants is that the raw materials needed for production are transferred in the system by means of automated guided vehicles. Given recipes that describe the production of the desired products, the supervisory control problem is to coordinate the movement of the vehicles such that all recipes are successfully completed on time. To safely coordinate the movement of the vehicles, we propose to employ supervisory coordination. To validate timeliness and reliable completion of the recipes, we propose multiple alternatives relying on formal verification using timed and stochastic model checking.
{"title":"Supervisory movement coordination in pipeless chemical plants","authors":"J. Markovski, M. Reniers","doi":"10.1109/ETFA.2013.6648105","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648105","url":null,"abstract":"Pipeless chemical plants provide an alternative way for flexible, scalable, and reconfigurable production of high valued chemical products on demand. The main feature of these pipeless plants is that the raw materials needed for production are transferred in the system by means of automated guided vehicles. Given recipes that describe the production of the desired products, the supervisory control problem is to coordinate the movement of the vehicles such that all recipes are successfully completed on time. To safely coordinate the movement of the vehicles, we propose to employ supervisory coordination. To validate timeliness and reliable completion of the recipes, we propose multiple alternatives relying on formal verification using timed and stochastic model checking.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125087614","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}
Pub Date : 2013-10-28DOI: 10.1109/ETFA.2013.6648064
W. Beer, B. Dorninger, M. Winterer
Visualization software plays a major role in controlling and monitoring production machines and facilities. In recent years these software systems have undergone major changes in terms of flexibility, user interaction and large scale enterprise integration capabilities. While traditional machine control systems tend to operate in isolation, modern industrial software systems are integrated in complex production processes that demand for flexibility and openness, also in terms of dynamic change of functionality at runtime. Despite this increased demand for flexibility, the most important requirement for industrial software systems remains reliability and stable operation. Within this work we present an architectural approach for abstracting industrial application models on top of a dynamic and modular runtime framework (OSGi) and a flexible application platform (Eclipse). This approach allows to add functionality at runtime as well as to adapt the rendering of the UI to various technologies.
{"title":"Flexible and reliable software architecture for industrial user interfaces","authors":"W. Beer, B. Dorninger, M. Winterer","doi":"10.1109/ETFA.2013.6648064","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648064","url":null,"abstract":"Visualization software plays a major role in controlling and monitoring production machines and facilities. In recent years these software systems have undergone major changes in terms of flexibility, user interaction and large scale enterprise integration capabilities. While traditional machine control systems tend to operate in isolation, modern industrial software systems are integrated in complex production processes that demand for flexibility and openness, also in terms of dynamic change of functionality at runtime. Despite this increased demand for flexibility, the most important requirement for industrial software systems remains reliability and stable operation. Within this work we present an architectural approach for abstracting industrial application models on top of a dynamic and modular runtime framework (OSGi) and a flexible application platform (Eclipse). This approach allows to add functionality at runtime as well as to adapt the rendering of the UI to various technologies.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"896 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123253425","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}
Pub Date : 2013-10-28DOI: 10.1109/ETFA.2013.6648161
Yin Tong, Zhiwu Li, A. Giua
Observation structures usually considered for Petri nets assume that the firing of transitions may be observed through static labels and that the marking of some places may be measurable. These observation structures are rather limited and we consider in this paper more general ones, correspondingly defining two new classes of nets: labeled Petri nets with outputs and adaptive labeled Petri nets. Several examples of nets in these classes are considered. Furthermore we also show the possibility to convert a labeled Petri net into an adaptive Petri net or a labeled Petri net.
{"title":"General observation structures for Petri nets","authors":"Yin Tong, Zhiwu Li, A. Giua","doi":"10.1109/ETFA.2013.6648161","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648161","url":null,"abstract":"Observation structures usually considered for Petri nets assume that the firing of transitions may be observed through static labels and that the marking of some places may be measurable. These observation structures are rather limited and we consider in this paper more general ones, correspondingly defining two new classes of nets: labeled Petri nets with outputs and adaptive labeled Petri nets. Several examples of nets in these classes are considered. Furthermore we also show the possibility to convert a labeled Petri net into an adaptive Petri net or a labeled Petri net.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"136 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122771865","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}
Pub Date : 2013-10-28DOI: 10.1109/ETFA.2013.6647988
H. Boudhar, M. Dahane, N. Rezg
This article discusses the issue of spare part return in a production system with a single machine subject to a monotone and stochastic deterioration. It investigates the problem of the spare parts returns and the reusing problem of recovered part, with or without remanufacturing actions. Each recovered spare part is stocked, before being inspected and probably reused. We propose an order/remanufacturing replacement policy with an inventory management of the recovered spare parts. A condition-based maintenance policy is adopted with three decision thresholds for order management, preventive maintenance management and corrective maintenance. A genetic algorithm based approach is proposed and an illustrative example is presented to reveal the application of the proposed policy.
{"title":"Order/remanufacturing policy of spare part with recovery option for stochastic deteriorating system","authors":"H. Boudhar, M. Dahane, N. Rezg","doi":"10.1109/ETFA.2013.6647988","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6647988","url":null,"abstract":"This article discusses the issue of spare part return in a production system with a single machine subject to a monotone and stochastic deterioration. It investigates the problem of the spare parts returns and the reusing problem of recovered part, with or without remanufacturing actions. Each recovered spare part is stocked, before being inspected and probably reused. We propose an order/remanufacturing replacement policy with an inventory management of the recovered spare parts. A condition-based maintenance policy is adopted with three decision thresholds for order management, preventive maintenance management and corrective maintenance. A genetic algorithm based approach is proposed and an illustrative example is presented to reveal the application of the proposed policy.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126908849","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}
Pub Date : 2013-10-28DOI: 10.1109/ETFA.2013.6648078
C. Insaurralde, Alois Zoitl
Classical programming approaches are no longer enough to implement and integrate evolved control software for Industrial Automation Systems (IASs). The multidisciplinary implementation of increasingly-sophisticated IAS capabilities makes developers look for more effective methodologies to efficiently design, build, and evaluate such software. This paper identifies gaps in the development process of IASs. Filling these gaps can help improving the coding of IAS control applications by overcoming current development limitations. This paper argues for a requirements-driven development process and an interactive integration framework to mitigate drawbacks set by engineering tools. It shows gaps given by what current tools can provide and what is needed.
{"title":"Control software development in Industrial Automation","authors":"C. Insaurralde, Alois Zoitl","doi":"10.1109/ETFA.2013.6648078","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648078","url":null,"abstract":"Classical programming approaches are no longer enough to implement and integrate evolved control software for Industrial Automation Systems (IASs). The multidisciplinary implementation of increasingly-sophisticated IAS capabilities makes developers look for more effective methodologies to efficiently design, build, and evaluate such software. This paper identifies gaps in the development process of IASs. Filling these gaps can help improving the coding of IAS control applications by overcoming current development limitations. This paper argues for a requirements-driven development process and an interactive integration framework to mitigate drawbacks set by engineering tools. It shows gaps given by what current tools can provide and what is needed.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126996486","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}
Pub Date : 2013-10-28DOI: 10.1109/ETFA.2013.6648035
V. Alfaro, R. Vilanova
The aim of this paper is to present the application of a model reference design procedure to the robust tuning of two-degree-of-freedom proportional integral derivative controllers with filter for control of unstable controlled processes. The design is based on the use of an optimization procedure with servo and regulatory closed-loop transfer functions targets. Due to the constrains imposed by the unstable processes the robust design is based in the maximum obtainable robustness with the selected control system response target. Controller tuning equations are provided for unstable first-order plus dead-time models. The design procedure considers at the same time the five parameters of the controller including the filter time constant. Equivalent parameters and a tuning rule for Standard PID controllers are also presented.
{"title":"Robust tuning of 2DoF PID controllers with filter for unstable first-order plus dead-time processes","authors":"V. Alfaro, R. Vilanova","doi":"10.1109/ETFA.2013.6648035","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648035","url":null,"abstract":"The aim of this paper is to present the application of a model reference design procedure to the robust tuning of two-degree-of-freedom proportional integral derivative controllers with filter for control of unstable controlled processes. The design is based on the use of an optimization procedure with servo and regulatory closed-loop transfer functions targets. Due to the constrains imposed by the unstable processes the robust design is based in the maximum obtainable robustness with the selected control system response target. Controller tuning equations are provided for unstable first-order plus dead-time models. The design procedure considers at the same time the five parameters of the controller including the filter time constant. Equivalent parameters and a tuning rule for Standard PID controllers are also presented.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"459 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127033316","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}
Pub Date : 2013-10-28DOI: 10.1109/ETFA.2013.6648066
Ferry Pramudianto, J. Simon, M. Eisenhauer, Hussein Khaleel, C. Pastrone, M. Spirito
In this paper, we describe a SOA-based middleware to integrate Internet-of-Things technologies in industrial setups. The middleware allows a seamless horizontal integration among heterogeneous technologies and vertical integration with applications and business systems. Using the middleware, we evaluated an approach to improve the reliability of 6LoWPAN-based sensor networks with self-configuration and self-healing capabilities to support an innovative monitoring and control framework in a manufacturing line. The sensor networks were evaluated in a test bed consisting of various physical devices that emulates a welding station.
{"title":"Prototyping the Internet of Things for the future factory using a SOA-based middleware and reliable WSNs","authors":"Ferry Pramudianto, J. Simon, M. Eisenhauer, Hussein Khaleel, C. Pastrone, M. Spirito","doi":"10.1109/ETFA.2013.6648066","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648066","url":null,"abstract":"In this paper, we describe a SOA-based middleware to integrate Internet-of-Things technologies in industrial setups. The middleware allows a seamless horizontal integration among heterogeneous technologies and vertical integration with applications and business systems. Using the middleware, we evaluated an approach to improve the reliability of 6LoWPAN-based sensor networks with self-configuration and self-healing capabilities to support an innovative monitoring and control framework in a manufacturing line. The sensor networks were evaluated in a test bed consisting of various physical devices that emulates a welding station.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127036696","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}
Pub Date : 2013-10-28DOI: 10.1109/ETFA.2013.6647972
D. Orfanus, R. Indergaard, G. Prytz, Tormod Wien
Industrial Ethernet is gradually becoming pervasive in the automation field. EtherCAT is one such technology, combining high real-time performance with a rich functionality set. Besides that, EtherCAT offers short cycle times, accurate time synchronization, redundancy and high data throughput. Most EtherCAT applications are in the 500-1000μs domain. There are only few EtherCAT master implementations in the sub-100 or sub-50μs range for high-performance applications. This paper presents EtherCAT based distributed controller which is capable of less than 30μs cycle times and was implemented on P2020 processor. Total HW and SW overhead per cycle is 9.6μs including jitter of 5μs. Achieved preciseness of the distributed time is below 20ns. The stack was designed to be modular and also reused on different platforms.
{"title":"EtherCAT-based platform for distributed control in high-performance industrial applications","authors":"D. Orfanus, R. Indergaard, G. Prytz, Tormod Wien","doi":"10.1109/ETFA.2013.6647972","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6647972","url":null,"abstract":"Industrial Ethernet is gradually becoming pervasive in the automation field. EtherCAT is one such technology, combining high real-time performance with a rich functionality set. Besides that, EtherCAT offers short cycle times, accurate time synchronization, redundancy and high data throughput. Most EtherCAT applications are in the 500-1000μs domain. There are only few EtherCAT master implementations in the sub-100 or sub-50μs range for high-performance applications. This paper presents EtherCAT based distributed controller which is capable of less than 30μs cycle times and was implemented on P2020 processor. Total HW and SW overhead per cycle is 9.6μs including jitter of 5μs. Achieved preciseness of the distributed time is below 20ns. The stack was designed to be modular and also reused on different platforms.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125124838","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}
Pub Date : 2013-10-28DOI: 10.1109/ETFA.2013.6648138
Heng-You Lin, M. Sorouri, V. Vyatkin, Z. Salcic
This paper presents a model-based design approach for description of mechatronic systems using System Modeling Language (SysML) in order to facilitate modification and customization of existing intelligent mechatronic components and their use in new applications. This approach enables re-use and integration of the existing mechatronic software components to meet system design requirements and minimize the design and commissioning complexity of the control systems. A case study with a delta robot used in a colour sorting application demonstrates how its control system is tailored to meet the desired system behaviour.
{"title":"Model-based customisation of intelligent mechatronic systems using SysML","authors":"Heng-You Lin, M. Sorouri, V. Vyatkin, Z. Salcic","doi":"10.1109/ETFA.2013.6648138","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648138","url":null,"abstract":"This paper presents a model-based design approach for description of mechatronic systems using System Modeling Language (SysML) in order to facilitate modification and customization of existing intelligent mechatronic components and their use in new applications. This approach enables re-use and integration of the existing mechatronic software components to meet system design requirements and minimize the design and commissioning complexity of the control systems. A case study with a delta robot used in a colour sorting application demonstrates how its control system is tailored to meet the desired system behaviour.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127575659","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}
Pub Date : 2013-10-28DOI: 10.1109/ETFA.2013.6648135
Jeffrey Yan, Cheng Pang, Chen-Wei Yang, V. Vyatkin
This paper presents a visualization architecture to facilitate automated design for distributed automation applications. CAD is used as a source of software models as it was found to provide detailed physical information, particularly for visualization. The approach assumes a fully distributed control architecture, with each system component functionally encapsulated into IEC 61499 Function Block. A baggage handling system is used as a running example throughout this work. Simulation models of the plant were executed in closed-loop with controllers. A corresponding 3D visualization was generated and parameterized based on CAD drawing, then linked to the simulation for a live view of the plant model.
{"title":"Towards automated visualization for distributed automation applications","authors":"Jeffrey Yan, Cheng Pang, Chen-Wei Yang, V. Vyatkin","doi":"10.1109/ETFA.2013.6648135","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648135","url":null,"abstract":"This paper presents a visualization architecture to facilitate automated design for distributed automation applications. CAD is used as a source of software models as it was found to provide detailed physical information, particularly for visualization. The approach assumes a fully distributed control architecture, with each system component functionally encapsulated into IEC 61499 Function Block. A baggage handling system is used as a running example throughout this work. Simulation models of the plant were executed in closed-loop with controllers. A corresponding 3D visualization was generated and parameterized based on CAD drawing, then linked to the simulation for a live view of the plant model.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129049638","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：