Fan Wei, Yohei Kotake, M. Haque, Yukihiro Fukunaga, T. Gouda, Xiaodong Lu, K. Mori
{"title":"Autonomous Community Adjustment Technology for Real-Time Transmission of Emergency Information","authors":"Fan Wei, Yohei Kotake, M. Haque, Yukihiro Fukunaga, T. Gouda, Xiaodong Lu, K. Mori","doi":"10.1109/ISADS.2011.32","DOIUrl":"https://doi.org/10.1109/ISADS.2011.32","url":null,"abstract":"Current society, Emergency Management System (EMS) widely uses Wireless Sensor Network(WSN) to assure safety. If emergency happens, in dynamically changing environment, real-time property of emergency information should be assured. But conventional approaches which are based on static situations and centralized management can not satisfy this requirement. Thus, we introduce community. Community is a group of wireless routers which include main route and barrier. Main route is composed of routers for only transmitting emergency information. Barrier is composed of routers around main route for protecting emergency information from interferences of other information transmission outside community. Real-time property of emergency information could be assured. But when multiple emergencies exist, each emergency information will not be protected due to the conflict between communities. In this paper, to assure real-time property of multiple emergencies' information, autonomous community adjustment technology is proposed. Via proposed technology, each community could autonomously adjust its size to protect emergency information's transmission. Moreover, new community's main routes will be autonomously selected to avoid the conflict with other communities. Improvement of real-time property by proposed technology is indicated by evaluation result.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"291 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132568286","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}
{"title":"Application of Reinforcement Learning to Software Rejuvenation","authors":"H. Okamura, T. Dohi","doi":"10.1109/ISADS.2011.92","DOIUrl":"https://doi.org/10.1109/ISADS.2011.92","url":null,"abstract":"Software rejuvenation is a preventive and proactive maintenance solution that is particularly useful for counteracting the phenomenon of software aging. Hence, it should be ideally triggered adaptively without the complete knowledge on system failure (degradation) time distribution in operational phase. In this paper we consider an operational software system with multiple degradation levels and derive the optimal software rejuvenation policy maximizing the steady-state system availability, via the semi-Markov decision process. We develop a statistically non-parametric algorithm to estimate the optimal software rejuvenation schedule. Then, the reinforcement learning algorithm, called Q learning, is used for developing an on-line adaptive algorithm. A numerical example is presented to investigate asymptotic behavior of the resulting on-line adaptive algorithm.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125647052","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}
Y. Fujino, S. Kuwano, Seiji Ohmori, T. Fujita, S. Yoshino
{"title":"Cell Range Extension Techniques for Wide-Area Ubiquitous Network","authors":"Y. Fujino, S. Kuwano, Seiji Ohmori, T. Fujita, S. Yoshino","doi":"10.1109/ISADS.2011.11","DOIUrl":"https://doi.org/10.1109/ISADS.2011.11","url":null,"abstract":"This paper describes a newly developed wireless access system for the wide area ubiquitous network (WAUN), a large cell-based public sensor network. It introduces two key technologies to achieve WAUN with wide area coverage. The first is a digitalized radio over optical fiber (DROF) subsystem that allows cost-effective commercial packet based networks to transfer wireless RF signals among distributed access points. The second is a frequency offset transmitter diversity scheme that achieves sub optimal diversity gain without rate loss, regardless of the number of antennas, by using intentional and orderly frequency offset.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123351308","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}
{"title":"Implementation and Verification of Autonomous Decentralized Flow Control Based on Local Interaction","authors":"Tatsuro Sumi, C. Takano, K. Ishida, M. Aida","doi":"10.1109/ISADS.2011.26","DOIUrl":"https://doi.org/10.1109/ISADS.2011.26","url":null,"abstract":"We have already proposed the framework of autonomous decentralized control based on local-interaction as a novel control mechanism for communication networks. This framework is based on the relation between local interaction and the solution yielded by a partial differential equation. In this framework, the state of the complete system is controlled by appropriately designing the autonomous operation of the subsystems. That is, the local action rules (micro-level) are designed to produce an appropriate state of the whole system at the macro-level. Our previous studies proposed diffusion type flow control (DFC) as a solution for the extremely time sensitive flow control required by high-speed networks and we have evaluated the performance of DFC by simulation. In this paper, to apply DFC to real networks, we show the technique to implement the DFC functions on PCs and to investigate its performance in the presence of TCP.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122545189","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}
{"title":"A Load Reduction System to Mitigate Flash Crowds on Web Server","authors":"K. Yokota, T. Asaka, Tatsuro Takahashi","doi":"10.1109/ISADS.2011.73","DOIUrl":"https://doi.org/10.1109/ISADS.2011.73","url":null,"abstract":"In recent years there is a rapid increase of traffic to a given web server within a short time as the number of Internet users increases, and such a phenomenon is called a flash crowd. Once flash crowds occur in the web server, a response rate decreases or the web server may crash as the load increases. We propose a load reduction system, which prevents excessive accesses and stably delivers content without enhancing the performance of the web server even when flash crowds occur. In the proposed system, a proxy server detects flash crowds by monitoring the number of requests and changes a content delivery system. To limit accesses to the web server, the proxy server redirects a request to another client that holds the content in the cache when flash crowds occur. We also propose a content delivery system that uses a tree construction to reduce the client load. Moreover, its efficacy is shown through simulations.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"438 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116146838","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}
Yupeng Liu, T. Tang, Jintao Liu, Lin Zhao, Tianhua Xu
{"title":"Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic","authors":"Yupeng Liu, T. Tang, Jintao Liu, Lin Zhao, Tianhua Xu","doi":"10.1109/ISADS.2011.15","DOIUrl":"https://doi.org/10.1109/ISADS.2011.15","url":null,"abstract":"The RBC (Radio Block Center) handover is an important part of European Train Control System level 2 which is a typical safety-critical hybrid system. In this paper, we build a formal model of RBC handover procedure using Differential Dynamic Logic, which is a first-order dynamic logic for specifying and verifying hybrid systems, and identify some constraints that are necessary for ensuring safety of train control, including collision avoidance as well as derailment avoidance. Moreover, we formally verify the safety-related properties of our model with deductive verification tool KeYmaera. The experimental results show the validity and feasibility of the method. Meanwhile, the safety constraints and safety-related properties verified in the paper can be helpful to the practical application of train control.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"2 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120809989","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}
{"title":"An ARQ Scheme Using NACK for Network Coding in Wireless Multihop Networks","authors":"Hiraku Okada, Hiroya Hiramuki, K. Mase","doi":"10.1109/ISADS.2011.68","DOIUrl":"https://doi.org/10.1109/ISADS.2011.68","url":null,"abstract":"Network coding has been studied as a solution to mitigate traffic concentration at a bottleneck node in wireless multihop networks. When network coding is applied to a unicast flow, the decoding nodes overhear packet transmissions, receive all packets which are headed for not only themselves but also the other nodes, and store them. The reception of undesired packets is, however, unreliable, and this unreliability causes the decoding failure for network coding. In this case, the encoding node has to retransmit the packet somehow. In this paper, we discuss an ARQ scheme using a negative acknowledgement (NACK). By simple model simulation, our proposed scheme can improve overflow rate, compared with no network coding. Furthermore, a realistic protocol for our proposed scheme is developed, and its simulation results show that our proposed scheme is very effective to mitigate the degradation at the bottleneck node.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117285196","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}
Qun Jin, Yishui Zhu, Roman Y. Shtykh, N. Yen, T. Shih
{"title":"Flowable Services: A Human-Centric Framework toward Service Assurance","authors":"Qun Jin, Yishui Zhu, Roman Y. Shtykh, N. Yen, T. Shih","doi":"10.1109/ISADS.2011.93","DOIUrl":"https://doi.org/10.1109/ISADS.2011.93","url":null,"abstract":"Service computing aims to provide IT and computing resources to users in a way that it simply serves them. However, many issues remain in, such as portability, interoperability, and heterogeneity of diverse services, in addition to service modeling, creation, deployment, discovery, recommendation, composition, and delivery, in order to provide a service that best fits user needs and contexts at the time. In this study, we propose a new model of flow able services. Its primary purpose is to realize seamless integration and provision of diverse services in an intuitive \"flowable\" way maximally close to the \"flow\" of users' activities and thoughts, and as pertinent as possible to their needs, thus gain the most satisfaction. In this paper, we propose and discuss a human-centric framework of flow able services toward service assurance. We further describe the evaluation of the model, and an application scenario for adaptive delivery of personalized learning service under the proposed framework.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126731506","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}
{"title":"Prospects on R&D for New-Generation Networks","authors":"M. Murata","doi":"10.1109/ISADS.2011.81","DOIUrl":"https://doi.org/10.1109/ISADS.2011.81","url":null,"abstract":"We introduce activities on research and development for new-generation networks (or future Internet) in Japan.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127770235","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}
{"title":"An Architecture of MicroGrid Based on Role on Autonomous Decentralized System","authors":"Peng Li, Tianhu Ma, Yongdong Tan","doi":"10.1109/ISADS.2011.63","DOIUrl":"https://doi.org/10.1109/ISADS.2011.63","url":null,"abstract":"This paper presents a conceptual architecture for Micro Grid. The approach utilizes the strategy of control and coordination from Role Autonomous Decentralized System (RoADS) for autonomous operation of a Micro Grid. This architecture aims to optimize the generation production of local distributed generators. Case studies have been performed on a typical low voltage feeder with several distributed energy resources (DERs) operating in hypothetical market conditions and stable grid status. Results of Analysis and simulation clearly indicate that the RoADS based architecture can realize local decision and control of each customer for economy and guarantee the grid reliability.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131351833","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}