OC '11最新文献 - Book学术

Ensuring correct self-reconfiguration in safety-critical applications by verified result checking 通过验证结果检查确保在安全关键应用程序中正确的自我重新配置

OC '11 Pub Date : 2011-06-18 DOI: 10.1145/1998642.1998646

Peter Fischer, Florian Nafz, H. Seebach, W. Reif

{"title":"Ensuring correct self-reconfiguration in safety-critical applications by verified result checking","authors":"Peter Fischer, Florian Nafz, H. Seebach, W. Reif","doi":"10.1145/1998642.1998646","DOIUrl":"https://doi.org/10.1145/1998642.1998646","url":null,"abstract":"The application of Organic Computing techniques, which often involves nature-inspired algorithms, to safety-critical systems depends mainly on whether behavioral guarantees can be provided or not. Self-x algorithms sometimes return incorrect results. For example, if learning or similar methods are involved. To allow the use of such algorithms even if they sometimes return incorrect results, adequate techniques are needed. Verified result checking which is presented in this paper provides an approach to ensure during runtime that only valid results are applied to the system, despite the uncertainty provided by the use of self-x algorithms. It allows to give formal proofs and thereby to give guarantees about the system's behavior. This approach enables verification at design time, independently of the self-x algorithms used at runtime. In this paper an architecture for Organic Computing systems which accommodates these concepts is presented. First the components of the architecture and integration of a result checker are described. The systematic development of a result checker based on a system model is shown for the application domain of self-organizing resource-flow systems. Further its formal verification and an implementation are roughly sketched.","PeriodicalId":130343,"journal":{"name":"OC '11","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128878097","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

Self-optimized collaborative data communication in wireless sensor networks 无线传感器网络中的自优化协同数据通信

OC '11 Pub Date : 2011-06-18 DOI: 10.1145/1998642.1998648

B. Banitalebi, Takashi Miyaki, H. Schmidtke, M. Beigl

{"title":"Self-optimized collaborative data communication in wireless sensor networks","authors":"B. Banitalebi, Takashi Miyaki, H. Schmidtke, M. Beigl","doi":"10.1145/1998642.1998648","DOIUrl":"https://doi.org/10.1145/1998642.1998648","url":null,"abstract":"Collaborative data communication is one of the efficient approaches in wireless sensor networks (WSN) in terms of life-time, reliability and quality of service (QoS) enhancement. In this paper, we propose a new self-optimized collaborative algorithm which minimizes the energy consumption by decreasing the number of collaborative nodes and at the same time guarantees the demanded quality. To do this, we focus on the fact that during the collaboration, a receiver node aggregates the signals of the collaborative nodes separately. The major task of this node is the time adjustment of the collaborative nodes to receive their signals synchroneously. The proposed algorithm performs an extra process to sort the aggregated signals based on their bit error rate (BER) as the quality and select the minimum number of the nodes with higher rank for collaboration. It is because the low quality signals have negative effect on the collaboration performance, as confirmed experimentally. The new algorithm gains higher level of energy storage balance without increasing of the inter-node communications or computational load by modification of the node selection metric. It also guarantees the demanded QoS through modification of the collaboration based on the signal quality at the destination which results in higher reliability. Based on the proposed algorithm, sensor nodes can gain the optimum efficiency during collaborative data communication without external management resources. The algorithm is applicable in various scenarios and network structures.","PeriodicalId":130343,"journal":{"name":"OC '11","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121668751","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

Organic smart home: architecture for energy management in intelligent buildings 有机智能家居:智能建筑中的能源管理架构

OC '11 Pub Date : 2011-06-18 DOI: 10.1145/1998642.1998654

Florian Allerding, H. Schmeck

引用次数: 43

Towards a real-world scenario for investigating organic computing principles in heterogeneous societies of robots 在机器人的异质社会中研究有机计算原理的现实世界场景

OC '11 Pub Date : 2011-06-18 DOI: 10.1145/1998642.1998651

Alexander Jungmann, Jan Lutterbeck, Benjamin Werdehausen, B. Kleinjohann, L. Kleinjohann

{"title":"Towards a real-world scenario for investigating organic computing principles in heterogeneous societies of robots","authors":"Alexander Jungmann, Jan Lutterbeck, Benjamin Werdehausen, B. Kleinjohann, L. Kleinjohann","doi":"10.1145/1998642.1998651","DOIUrl":"https://doi.org/10.1145/1998642.1998651","url":null,"abstract":"In this paper we introduce an infrastructure for investigating Organic Computing principles such as self-optimization and self-organization in real-world scenarios based on a heterogeneous society of robots. This infrastructure, the R3PB-Workbench (Remote Real Robots at the University of Paderborn), provides a controlled environment for conducting real-world multi robot experiments, while relieving the developer from common problems like getting a global view of the entire environment and self-localization within this environment. In addition, it provides a communication layer that hides the heterogeneity of the controlled robot types and also facilitates access to each robot's subjective view. Currently we provide three types of mobile robots with different size and capabilities. Since the workbench is easily customizable, it supports the integration of additional types of robots. Hence, the degree of heterogeneity of the robot group conducting the experiments in the scope of our real-world scenario can be modified as needed. Furthermore, we elaborated a multi-robot game as an illustrative real-world scenario, which on the one hand allows for sophisticated scientific investigations and on the other hand is also appealing for an audience, even with little technical background.","PeriodicalId":130343,"journal":{"name":"OC '11","volume":"32 10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124535060","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

Self-stabilizing embedded systems 自稳定嵌入式系统

OC '11 Pub Date : 2011-06-18 DOI: 10.1145/1998642.1998653

Torben Weis, Arno Wacker

引用次数: 2

Self-adaptation in a network of social drivers: using random boolean networks 社会驱动网络中的自适应:使用随机布尔网络

OC '11 Pub Date : 2011-06-18 DOI: 10.1145/1998642.1998649

A. M. Machado, A. Bazzan

{"title":"Self-adaptation in a network of social drivers: using random boolean networks","authors":"A. M. Machado, A. Bazzan","doi":"10.1145/1998642.1998649","DOIUrl":"https://doi.org/10.1145/1998642.1998649","url":null,"abstract":"One of the major research directions in adaptive and self-organizing systems is dedicated to learning how to coordinate decisions and actions. Also, it is important to understand whether individual agents' decisions can lead to globally optimal or at least acceptable solutions. Our long term approach aims at studying the effect of several types of strategies for self-organization of agents in complex systems. The present paper addresses simulation of agents' decision-making regarding route choice when random boolean networks are used as a formalism for mapping information coming from other agents into the decision-making process of each agent. It is thus assumed that these agents are part of a social network (for example acquaintances or work colleagues). Hence, part of the information necessary to decide can be provided by these acquaintances (small-world), or by route guidance systems. With this approach we target a system that adapts dynamically to changes in the environment, which, in this case, involves other adaptive decision-makers, a challenging endeavor. We compare our results to similar ones reported in the literature. Results show that the use of a relatively low number of boolean functions and few information from acquaintances leads the system to an equilibrium.","PeriodicalId":130343,"journal":{"name":"OC '11","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116618902","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

Introducing a simplified implementation of the AHS organic middleware 介绍了AHS有机中间件的一个简化实现

OC '11 Pub Date : 2011-06-18 DOI: 10.1145/1998642.1998652

Alexander von Renteln, U. Brinkschulte, Mathias Pacher

引用次数: 4

Context-aware device self-configuration using self-organizing maps 使用自组织映射的上下文感知设备自配置

OC '11 Pub Date : 2011-06-01 DOI: 10.1145/1998642.1998647

L. Batyuk, Christian Scheel, S. Çamtepe, S. Albayrak

引用次数: 8