Pub Date : 2022-01-01DOI: 10.1109/ETFA52439.2022.9921605
M. M. Lucena, A. A. Fröhlich
{"title":"Modeling Misbehavior Detection Timeliness in VANETs","authors":"M. M. Lucena, A. A. Fröhlich","doi":"10.1109/ETFA52439.2022.9921605","DOIUrl":"https://doi.org/10.1109/ETFA52439.2022.9921605","url":null,"abstract":"","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"1 1","pages":"1-8"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75079120","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 : 2022-01-01DOI: 10.1109/ETFA52439.2022.9921511
Muhammad Taimoor Khan
{"title":"Towards Practical and Formal Security Risk Analysis of IoT (Internet of Things) Applications","authors":"Muhammad Taimoor Khan","doi":"10.1109/ETFA52439.2022.9921511","DOIUrl":"https://doi.org/10.1109/ETFA52439.2022.9921511","url":null,"abstract":"","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"78 1","pages":"1-4"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73905503","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 : 2022-01-01DOI: 10.1109/ETFA52439.2022.9921541
José Luís Conradi Hoffmann, A. A. Fröhlich
{"title":"Embedding Anomaly Detection Autoencoders for Wind Turbines","authors":"José Luís Conradi Hoffmann, A. A. Fröhlich","doi":"10.1109/ETFA52439.2022.9921541","DOIUrl":"https://doi.org/10.1109/ETFA52439.2022.9921541","url":null,"abstract":"","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"262 1","pages":"1-8"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76267336","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 : 2019-09-01DOI: 10.1109/ETFA.2019.8869526
M. Sousa
Beremiz is a project that is currently developing a software based PLC (Programmable Logic Controller) distributed under the open source GNU Public License (GPL). Recent activity has focused on adding support for several industrial communication protocols. This paper describes the implementations and integration with Beremiz of several industrial protocols already completed, as well as current activity and possible future directions.
{"title":"The Beremiz PLC: Adding Support for Industrial Communication Protocols","authors":"M. Sousa","doi":"10.1109/ETFA.2019.8869526","DOIUrl":"https://doi.org/10.1109/ETFA.2019.8869526","url":null,"abstract":"Beremiz is a project that is currently developing a software based PLC (Programmable Logic Controller) distributed under the open source GNU Public License (GPL). Recent activity has focused on adding support for several industrial communication protocols. This paper describes the implementations and integration with Beremiz of several industrial protocols already completed, as well as current activity and possible future directions.","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"52 1","pages":"232-239"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75190128","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 : 2019-01-01DOI: 10.1109/ETFA.2019.8869155
P. Saey, S. Wilde, Annemarie M. Kökösy, J. Knockaert, D. D. Schuyter, J. Brabanter
{"title":"Using code generated by MATLAB for the Mold Level Control System of a Continuous Slab Caster in ArcelorMittal Gent","authors":"P. Saey, S. Wilde, Annemarie M. Kökösy, J. Knockaert, D. D. Schuyter, J. Brabanter","doi":"10.1109/ETFA.2019.8869155","DOIUrl":"https://doi.org/10.1109/ETFA.2019.8869155","url":null,"abstract":"","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"29 1","pages":"1497-1500"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75325532","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 : 2018-01-01DOI: 10.1109/ETFA.2018.8502455
Christoph Pallasch, Alexander Peitz, W. Herfs, A. Schmeink, Guido Dartmann
{"title":"Novel approach for wireless commissioning and assisted process development based on Bluetooth Low Energy","authors":"Christoph Pallasch, Alexander Peitz, W. Herfs, A. Schmeink, Guido Dartmann","doi":"10.1109/ETFA.2018.8502455","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502455","url":null,"abstract":"","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"239 1","pages":"235-242"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78506044","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 : 2018-01-01DOI: 10.1109/ETFA.2018.8502453
Dejanira Araiza-Illan, A. Clemente
{"title":"Dynamic Regions to Enhance Safety in Human-Robot Interactions","authors":"Dejanira Araiza-Illan, A. Clemente","doi":"10.1109/ETFA.2018.8502453","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502453","url":null,"abstract":"","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"57 1","pages":"693-698"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72678853","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 : 2018-01-01DOI: 10.1109/ETFA.2018.8502667
Ghita Bencheikh, A. Letouzey, Xavier Desforges
Manufacturing systems are usually confronted to conflicting situations between production and maintenance services since their activities are considered as source of disturbance to each other. In order to reduce these conflicts, a multi-agents system SCEMP (Supervisor, Customer, Environment, Maintainer and Producer) is proposed in this paper, making sure that these two entities collaborate in order to achieve a common goal. It consists of scheduling the production activities according to the health states of the machines. The main idea is to use the prediction of the durations of use and remaining useful lifetimes of the machines devices, which can be obtained using prognostic techniques. This enables simultaneous scheduling of production and maintenance activities.
制造系统通常面临生产和维护服务之间的冲突情况，因为它们的活动被认为是相互干扰的来源。为了减少这些冲突，本文提出了一个多智能体系统SCEMP (Supervisor, Customer, Environment, Maintainer and Producer)，确保这两个实体相互协作以实现共同的目标。它包括根据机器的健康状态安排生产活动。主要思想是使用机器设备的使用持续时间和剩余使用寿命的预测，这可以通过预测技术获得。这样可以同时安排生产和维护活动。
{"title":"Scheduling of production and maintenance activities using multi-agent systems","authors":"Ghita Bencheikh, A. Letouzey, Xavier Desforges","doi":"10.1109/ETFA.2018.8502667","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502667","url":null,"abstract":"Manufacturing systems are usually confronted to conflicting situations between production and maintenance services since their activities are considered as source of disturbance to each other. In order to reduce these conflicts, a multi-agents system SCEMP (Supervisor, Customer, Environment, Maintainer and Producer) is proposed in this paper, making sure that these two entities collaborate in order to achieve a common goal. It consists of scheduling the production activities according to the health states of the machines. The main idea is to use the prediction of the durations of use and remaining useful lifetimes of the machines devices, which can be obtained using prognostic techniques. This enables simultaneous scheduling of production and maintenance activities.","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"1 1","pages":"508-515"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77247743","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 : 2018-01-01DOI: 10.1109/ETFA.2018.8502669
U. Dombrowski, Alexander Reiswich, A. Karl
{"title":"Designing digital tools for factory planning: Integrating requirements for usability on a meta-level","authors":"U. Dombrowski, Alexander Reiswich, A. Karl","doi":"10.1109/ETFA.2018.8502669","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502669","url":null,"abstract":"","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"117 1","pages":"99-106"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91432044","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 : 2017-09-12DOI: 10.1109/ETFA.2017.8247612
J. Forget, F. Boniol, C. Pagetti
Control-command systems must usually satisfy a set of high-level end-to-end timing constraints to ensure their correctness. We propose a formal approach to verify these properties directly at the model level. First, we introduce a small language for specifying arbitrary end-to-end constraints. Then, we show how to verify any constraint of this language for a system represented with a multi-periodic synchronous model, a model that retains the main concepts of data-flow oriented programming languages (such as Matlab/Simulink, synchronous languages or AADL). One advantage of this approach is that it is simpler to verify end-to-end constraints at the model level, early in the development process, rather than at the implementation level.
{"title":"Verifying end-to-end real-time constraints on multi-periodic models","authors":"J. Forget, F. Boniol, C. Pagetti","doi":"10.1109/ETFA.2017.8247612","DOIUrl":"https://doi.org/10.1109/ETFA.2017.8247612","url":null,"abstract":"Control-command systems must usually satisfy a set of high-level end-to-end timing constraints to ensure their correctness. We propose a formal approach to verify these properties directly at the model level. First, we introduce a small language for specifying arbitrary end-to-end constraints. Then, we show how to verify any constraint of this language for a system represented with a multi-periodic synchronous model, a model that retains the main concepts of data-flow oriented programming languages (such as Matlab/Simulink, synchronous languages or AADL). One advantage of this approach is that it is simpler to verify end-to-end constraints at the model level, early in the development process, rather than at the implementation level.","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"41 1","pages":"1-8"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79689990","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
扫码关注我们
求助内容：
应助结果提醒方式：