发布求助
文献互助 智能选刊 最新文献

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)最新文献

筛选
英文 中文
Towards data exchange interoperability in building lifecycle management 构建生命周期管理中的数据交换互操作性
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005093
S. Kubler, Manik Madhikermi, A. Buda, Kary Främling, W. Derigent, André Thomas
{"title":"Towards data exchange interoperability in building lifecycle management","authors":"S. Kubler, Manik Madhikermi, A. Buda, Kary Främling, W. Derigent, André Thomas","doi":"10.1109/ETFA.2014.7005093","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005093","url":null,"abstract":"Building Information Management systems have started to leverage new kinds of digital information infrastructures that integrate activities related to design, budgeting, scheduling, analysis, material management, and human resources. Companies implementing such systems have no other option today than exchanging information among themselves in a proper and efficient way. Industry foundation classes (IFCs) provide useful information structures for such a data sharing. However they do not specify how to capture, exchange and synchronize the information between distinct entities (i.e. information systems like sensors, servers, smart products...) throughout the building lifecycle. Accordingly, this paper investigates existing messaging protocols in order to identify which one is the most appropriate for supporting building lifecycle management; i.e a flexible protocol that provides sufficiently generic communication interfaces. A platform set up on a university campus based on the selected messaging protocol is then presented. Within this context, the research agenda that should be pursued to develop new techniques and algorithms for optimizing the building energy management is announced.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75873942","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}
引用次数: 6
Ultrasonic signal acquisition module for smartphone indoor positioning 智能手机室内定位超声波信号采集模块
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005315
A. Lindo, M. C. Pérez, J. Ureña, D. Gualda, Enrique García, J. M. Villadangos
{"title":"Ultrasonic signal acquisition module for smartphone indoor positioning","authors":"A. Lindo, M. C. Pérez, J. Ureña, D. Gualda, Enrique García, J. M. Villadangos","doi":"10.1109/ETFA.2014.7005315","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005315","url":null,"abstract":"Smartphone capabilities can significantly enhance mobile and context-aware applications that depend on location information. Whereas outdoor Location Based Services (LBS) are highly developed thanks to GPS, indoor LBS still demand a positioning technology that provides accurate location data. In this paper, an ultrasonic signal acquisition module for fine-grained indoor positioning of portable devices, such as smartphones or tablets, is presented. It is based on a microcontroller that digitizes the signals coming from a set of ultrasonic beacons placed on the ceiling and transfers the data acquired through Bluetooth Wireless Technology to the smartphone, for their consequent processing. All ultrasonic beacons emit simultaneously, each one a different Kasami code which is BPSK modulated with a carrier frequency of 40kHz. At the reception, the proposed module, that can coexist with an unlimited number of receivers, digitizes the analog signal captured by an electret microphone and sends it to the smartphone. Then, the smartphone carries out the correlation of the received signal with the emitted codes and obtains its absolute position by hyperbolic trilateration. Test results show that the proposed system can achieve similar accuracies to conventional ultrasonic based local positioning systems, with the advantage of services of a smartphone.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80949643","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}
引用次数: 12
Towards flexible and adaptive productions systems based on virtual cloud-based control 面向基于虚拟云控制的灵活适应性生产系统
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005330
C. Prehofer, Alois Zoitl
{"title":"Towards flexible and adaptive productions systems based on virtual cloud-based control","authors":"C. Prehofer, Alois Zoitl","doi":"10.1109/ETFA.2014.7005330","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005330","url":null,"abstract":"In order to cope with changing markets and reduced product life-cycles production systems need to get more adaptive and allow to easily introduce new products and product variants. Current solutions require that all control equipment need to be modified in such cases. In this work we propose a different approach with a strong separation of basic control of production resources from product specific behavior. The product specific behavior is managed by a central control entity which sends parts of the execution tree required for a certain to thin controllers managing the production resources. With this approach we can on one hand achieve the needed flexibility and at the other hand side achieve the timing requirements of production.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90856360","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}
引用次数: 6
Extending schedulability tests of tree-shaped transactions for TDMA radio protocols TDMA无线电协议树形事务的扩展可调度性测试
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005122
Shuai Li, Frank Singhoff, S. Rubini, M. Bourdellès
{"title":"Extending schedulability tests of tree-shaped transactions for TDMA radio protocols","authors":"Shuai Li, Frank Singhoff, S. Rubini, M. Bourdellès","doi":"10.1109/ETFA.2014.7005122","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005122","url":null,"abstract":"In this paper, a schedulability test is proposed for tree-shaped transactions with non-immediate tasks. A tree-shaped transaction is a group of precedence dependent tasks, partitioned on different processors, which may release several other tasks upon completion. When there are non-immediate tasks, tasks are not necessarily released immediately upon their predecessor's completion. The schedulability test we propose is based on an existing test that does not handle non-immediate tasks directly. Simulation results show that tighter response time upper-bounds can be accessed when effects of non-immediateness are considered. Our schedulability test is motivated by real industrial TDMA systems developed at Thales, and experimental results show it provides less pessimistic schedulability results compared to current methods used by Thales system engineers.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90485432","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
Performance-adaptive control system for a hammerstein system using GPGPU 基于GPGPU的hammerstein系统性能自适应控制系统
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005352
Takao Sato, D. Kurahashi, Toru Yamamoto, N. Araki, Y. Konishi
{"title":"Performance-adaptive control system for a hammerstein system using GPGPU","authors":"Takao Sato, D. Kurahashi, Toru Yamamoto, N. Araki, Y. Konishi","doi":"10.1109/ETFA.2014.7005352","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005352","url":null,"abstract":"In this study, a nonlinear system is controlled using a linear adaptive method. A nonlinear system is approximated a linear model at each operating point, and a control law is designed based on the approximated linear model. To obtain a suitable linear model at each operating point, many linear models are simultaneously identified. However, the computation load for identifying many models is considerably heavy. Hence, many linear models are identified using General-Purpose computing on Graphics Processing Units (GPGPU). In this study, the assessment of modeling performance is newly introduced. As a result, the control system is updated only when modeling performance is degraded, and frequent update of a control law can be avoided. Finally, numerical results are shown to demonstrate the effectiveness of the proposed method.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89781960","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
Visualizing time-dependent key performance indicator in a graph-based analysis 在基于图形的分析中可视化与时间相关的关键性能指标
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005110
Stefan Hesse, M. Spehr, S. Gumhold, Rainer Groh
{"title":"Visualizing time-dependent key performance indicator in a graph-based analysis","authors":"Stefan Hesse, M. Spehr, S. Gumhold, Rainer Groh","doi":"10.1109/ETFA.2014.7005110","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005110","url":null,"abstract":"The usage of visual analytics during the analysis of business warehouse calculated key performance indicators is one emerging challenge in modern business applications. On the one hand, a complex network of key performance indicators has to be supervised. On the other hand, within this network only few key performance indicators change obviously within a short period of time. The sole mapping of the complexity of a network of key performance indicators to a graph-based visualization only covers static information and neglects temporal dependencies. We present a new visualization approach for the enrichment of graph-based visualizations of key performance indicator networks by introducing a multi-encoded visualization of additional functional, contextual and temporal information. The should help the user to understand relationships between KPIs and alert him if something is going wrong.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89514228","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
Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures 受永久传感器故障影响的离散事件系统故障诊断的验证与综合
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005103
Naoki Kanagawa, S. Takai
{"title":"Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures","authors":"Naoki Kanagawa, S. Takai","doi":"10.1109/ETFA.2014.7005103","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005103","url":null,"abstract":"In this paper, we consider a failure diagnosis problem for discrete event systems subject to permanent sensor failures. A notion of diagnosability subject to permanent sensor failures is introduced with respect to a certain nondeterministic observation mask. For its verification, we define an aggregated Mealy automaton with a deterministic and state-dependent observation mask. We show that diagnosability of the aggregated Mealy automaton is equivalent to diagnosability of the original system subject to permanent sensor failures. Then, we present a method for verifying diagnosability of the aggregated Mealy automaton. Moreover, we synthesize a diagnoser for the original system as an online diagnoser.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85836085","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
Intelligent streetlight management in a smart city 智慧城市中的智慧路灯管理
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005161
T. Novak, Klaus Pollhammer, H. Zeilinger, Samer Schaat
{"title":"Intelligent streetlight management in a smart city","authors":"T. Novak, Klaus Pollhammer, H. Zeilinger, Samer Schaat","doi":"10.1109/ETFA.2014.7005161","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005161","url":null,"abstract":"The intention of a Smart City concept is among other things to increase the energy efficiency of a city. Typically addressed topics are energy management or urban traffic management. Up to now Information and Communication Technology (ICT) measures within a Smart City to increase energy efficiency in public lighting have not been considered in detail. The paper presents an approach of an intelligent streetlight management system being an integral part of a Smart City platform. Field bus technology is used at the field level. Control and monitoring strategies are implemented as web services in the central software. Interoperable interfaces to other parts of the platform are specified. Real-life use cases at test sites in Austria demonstrate the benefits of the system: increased energy efficiency without compromising public safety.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89163620","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}
引用次数: 28
Real-time execution of function blocks for Internet of Things using the RTFM-kernel 使用rtfm内核实现物联网功能块的实时执行
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005232
P. Lindgren, Marcus Lindner, Andreas Lindner, Johan Eriksson, V. Vyatkin
{"title":"Real-time execution of function blocks for Internet of Things using the RTFM-kernel","authors":"P. Lindgren, Marcus Lindner, Andreas Lindner, Johan Eriksson, V. Vyatkin","doi":"10.1109/ETFA.2014.7005232","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005232","url":null,"abstract":"Function Blocks provides a means to model and program industrial control systems. The recently acclaimed IEC 61499 standard allows such system models to be partitioned and executed in a distributed fashion. At device level, such models are traditionally implemented onto programmable logic controllers that underneath have an operating system and a software run-time environment which implies high resource demands. However, there is a current trend to involve small embedded systems (so called Internet of Things devices) integrated into such distributed control systems. To this end, we seek to address the outsets for real-time execution of Function Block based designs onto light-weight controllers (MCUs) with limited resources (memory and CPU). Furthermore, we propose a mapping of the Function Block execution semantics onto the RTFM-kernel, and discuss opportunities for off-line (design time) analysis with respect to response time, overall schedulability and memory requirements.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80064851","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}
引用次数: 6
Behavioral model synthesis of PLC programs from execution traces 基于执行轨迹的PLC程序行为模型综合
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005259
Herbert Prähofer, Roland Schatz, Andreas Grimmer
{"title":"Behavioral model synthesis of PLC programs from execution traces","authors":"Herbert Prähofer, Roland Schatz, Andreas Grimmer","doi":"10.1109/ETFA.2014.7005259","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005259","url":null,"abstract":"Dynamic program analysis is a technique which records a program execution for the purpose of analyzing its behavior and building high-level models and views. This paper presents an approach to build a high-level model of the behavior of a PLC program component as observed in a program execution. Based on a deterministic record and replay technique, a model is synthesized which represents the transition behavior, timing information, and input output behavior of the component. Then this model can be used to check other executions of the same or similar programs for compliance with the model. We present the synthesis techniques and two variants of trace analysis algorithms.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80123851","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}
引用次数: 6
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信