2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)最新文献

筛选
英文 中文
A control system for a low power bidirectional front-end for resonating sensors 一种用于谐振传感器的低功耗双向前端控制系统
2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC) Pub Date : 2017-05-01 DOI: 10.1109/ICNSC.2017.8000112
L. Marchetti, Y. Berg, O. Mirmotahari, M. Azadmehr
{"title":"A control system for a low power bidirectional front-end for resonating sensors","authors":"L. Marchetti, Y. Berg, O. Mirmotahari, M. Azadmehr","doi":"10.1109/ICNSC.2017.8000112","DOIUrl":"https://doi.org/10.1109/ICNSC.2017.8000112","url":null,"abstract":"In this paper, we propose a digital control system to automatize the operation of a bidirectional front-end for resonating sensors. Due to the simplicity, the control system is power conservative and compact. The main source of power consumption in the bidirectional front-end is the amplifier used to read-out the sensor. Power can be saved by turning off the amplifier after a few periods of the oscillating signal, which is enough to detect the resonant frequency of the sensor. The concept was initially proved by performing simulations in SPICE by using AMS-350nm CMOS technology model. A prototype was realized with discrete components on a PCB and tested with a power supply of 5V. The reading cycle was fixed at 10kHz and a RLC load has been used as model of a MEMS resonant sensor. The values for the RLC components used for the tests are 100Ω, 270pF, 10mH. The nominal power consumption of the front-end without the support of the sleeping mode is 1.7mW while the sleeping mode with reading one oscillation period reduces the power dissipation to 270µW(15.88% of 1.7mW).","PeriodicalId":145129,"journal":{"name":"2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133353432","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
Multi-objective balanced partitioning method for marine sensor network 海洋传感器网络多目标均衡划分方法
2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC) Pub Date : 2017-05-01 DOI: 10.1109/ICNSC.2017.8000157
Dongmei Huang, Chenyixuan Xu, Danfeng Zhao, Wei Song, Qi He
{"title":"Multi-objective balanced partitioning method for marine sensor network","authors":"Dongmei Huang, Chenyixuan Xu, Danfeng Zhao, Wei Song, Qi He","doi":"10.1109/ICNSC.2017.8000157","DOIUrl":"https://doi.org/10.1109/ICNSC.2017.8000157","url":null,"abstract":"Existing marine sensor networks acquire data in sea areas divided geographically and store them in their own data centers of the sea area independently. In the case of marine disaster across multiple sea areas, which needs to retrieve data from multiple data centers, the current network structure has a serious impact on real-time decision making. To efficiently carry out data layout and speed up the data retrieval, in this study, the marine sensor network is abstracted as a graph, all the sensors are considered as the vertexes of the graph, and the degree of correlation between the sensors computed with the previous disasters data is taken as the edge. A multi-objective optimization algorithm (NSGA-II) is used to partition the abstract graph into multiple regions and store them in a cloud computing platform. The NSGA-II maximizes the correlation of sensor within the region, minimizes the correlation of inter-region, achieves a balanced size of the regions and minimizes communication time of inter-region. The experimental results show that the proposed method can achieve the optimal layout for distributed storage in the process of disaster data retrieval in China Sea area, and effectively shorten the data retrieval time, providing fast and efficient data access service for marine disasters.","PeriodicalId":145129,"journal":{"name":"2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130567980","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}
引用次数: 2
BUCKER: A basic unfolding based checker for soundness of workflow systems BUCKER:一个基本的基于展开的检查工作流程系统的健全性
2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC) Pub Date : 2017-05-01 DOI: 10.1109/ICNSC.2017.8000161
Kun Zhang, Guanjun Liu, Dongming Xiang
{"title":"BUCKER: A basic unfolding based checker for soundness of workflow systems","authors":"Kun Zhang, Guanjun Liu, Dongming Xiang","doi":"10.1109/ICNSC.2017.8000161","DOIUrl":"https://doi.org/10.1109/ICNSC.2017.8000161","url":null,"abstract":"Soundness is an important property of WF-net (workflow net). It guarantees the correct execution of workflow systems without deadlocks or livelocks. The traditional method of verifying soundness is based on reachability graph. However, it suffers from the state space explosion problem. The unfolding technique of Petri nets can effectively alleviate this problem. Our previous work proposed the concept of basic unfolding and gave a necessary and sufficient condition to decide soundness based on it. This paper introduces the related tool we developed. After a WF-net is input in this tool, its basic unfolding can be generated, and then its soundness can be verified. Moreover, some cases show the effectiveness of our tool, and we also give some experiments to illustrate the advantages of the basic unfolding technique compared with the reachability graph technique.","PeriodicalId":145129,"journal":{"name":"2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125892291","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
Probability of faults for partially observed Timed PNs with temporal constraints 时间约束下部分观测的定时pn故障概率
2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC) Pub Date : 2017-05-01 DOI: 10.1109/ICNSC.2017.8000075
D. Lefebvre
{"title":"Probability of faults for partially observed Timed PNs with temporal constraints","authors":"D. Lefebvre","doi":"10.1109/ICNSC.2017.8000075","DOIUrl":"https://doi.org/10.1109/ICNSC.2017.8000075","url":null,"abstract":"This article concerns faults detection and isolation for timed stochastic discrete event systems modeled with partially observed Timed Petri nets and temporal constraints. Events occur according to arbitrary probability density functions. The models include the sensors used to measure the events and markings and also the temporal constraints to be satisfied by the system operations. These temporal constraints are defined according to tolerance intervals specified for each transition. A fault is an operation that ends too early or too late. The set of marking trajectories consistent with a given measured trajectory is first computed. Then, the probability that the temporal constraints are unsatisfied is estimated for any consistent trajectory and the probability that a temporal fault has occurred is obtained as a consequence.","PeriodicalId":145129,"journal":{"name":"2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)","volume":"2003 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127691548","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
Detection of falling events through windowing and automatic extraction of sets of rules: Preliminary results 通过窗口和规则集的自动提取来检测掉落事件:初步结果
2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC) Pub Date : 2017-05-01 DOI: 10.1109/ICNSC.2017.8000169
Giovanna Sannino, I. D. Falco, G. Pietro
{"title":"Detection of falling events through windowing and automatic extraction of sets of rules: Preliminary results","authors":"Giovanna Sannino, I. D. Falco, G. Pietro","doi":"10.1109/ICNSC.2017.8000169","DOIUrl":"https://doi.org/10.1109/ICNSC.2017.8000169","url":null,"abstract":"Fall detection is very important for the health care especially for elderly people. The automatic discovery of falls in real time with the ability to differentiate them from normal daily activities is crucial. To achieve this aim, this paper proposes an approach based on getting data through a tag placed on the subject's chest, a windowing of the data, the automatic extraction through the DEREx tool of a set of IF-THEN rules able to classify windows as being part of fall or non-fall actions, and a final window composition to assess whether or not each global action was a fall. The approach is then tested on a real-world database containing a set of fall and non-fall actions, and is compared, in terms of classification over windows, against four state-of-the-art machine learning methods. Moreover, its results are also compared, in terms of accuracy in discrimination of the fall actions from the non-fall ones, against those obtained by the database builders through the use of another powerful machine learning algorithm. Numerical results are encouraging, and suggest that the proposed methodology could put solid ground for the design and the implementation of a real-time system for fall detection.","PeriodicalId":145129,"journal":{"name":"2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124248130","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
Runtime verification of IoT systems using Complex Event Processing 使用复杂事件处理的物联网系统的运行时验证
2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC) Pub Date : 2017-05-01 DOI: 10.1109/ICNSC.2017.8000163
Koray Inçki, Ismail Ari, Hasan Sözer
{"title":"Runtime verification of IoT systems using Complex Event Processing","authors":"Koray Inçki, Ismail Ari, Hasan Sözer","doi":"10.1109/ICNSC.2017.8000163","DOIUrl":"https://doi.org/10.1109/ICNSC.2017.8000163","url":null,"abstract":"Internet of Things (IoT) is a new computing paradigm that is proliferated by wide adoption of application level protocols such as MQTT and CoAP, each of which defines different styles of sequential interaction of events. Even though there is a considerable effort in the literature for verification of such complex and distributed systems, a practical solution for IoT systems that supports runtime system verification is still missing. In this paper, we present a runtime monitoring approach for IoT systems that exploits event relations expressed in terms of sequential interaction messaging model of Constrained Application Protocol (CoAP). We propose the use of Complex-Event Processing (CEP) to detect failures at runtime by exploiting complex event patterns defined via predetermined event algebra. We further present a simple case scenario to demonstrate the applicability of the approach on Wireless Token Ring Protocol execution.","PeriodicalId":145129,"journal":{"name":"2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130933251","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}
引用次数: 15
Tight bounds for sketches in traffic validation 在流量验证中对草图的严格限制
2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC) Pub Date : 2017-05-01 DOI: 10.1109/ICNSC.2017.8000093
E. López, L. Navarro
{"title":"Tight bounds for sketches in traffic validation","authors":"E. López, L. Navarro","doi":"10.1109/ICNSC.2017.8000093","DOIUrl":"https://doi.org/10.1109/ICNSC.2017.8000093","url":null,"abstract":"Forwarding fault detection increases the robustness of network connectivity by finding and allowing to react to faulty routers. One of the essential steps in forwarding fault detection is summarizing the observed traffic at different vantage points, so that the behavior of each monitored router can be assessed using a traffic validation function. This paper studies and characterizes 3 sketches (AGMS, Fast-AGMS and FastCount) as random variables in the given context. Sketches are traffic summary functions resilient to packet modification, creation and dropping that outperform sampling. By proposing a model for each sketch, we are able to define tighter bounds on the sketches' precision. That means we can choose smaller sketches, around one order of magnitude or more for given requirements on the precision the sketch, typically in the range of tens of KB, saving memory and network bandwidth in the detection of faulty routers.","PeriodicalId":145129,"journal":{"name":"2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131012388","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
Agent abstractions for engineering IoT systems: A case study in smart healthcare 工程物联网系统的代理抽象:智能医疗案例研究
2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC) Pub Date : 2017-05-01 DOI: 10.1109/ICNSC.2017.8000170
E. Vargiu, F. Zambonelli
{"title":"Agent abstractions for engineering IoT systems: A case study in smart healthcare","authors":"E. Vargiu, F. Zambonelli","doi":"10.1109/ICNSC.2017.8000170","DOIUrl":"https://doi.org/10.1109/ICNSC.2017.8000170","url":null,"abstract":"Despite the rapid progresses in IoT research, a general principled software engineering approach for the systematic development of IoT systems and applications is still missing. In this paper, we show that agent-oriented concepts and abstractions can play a key role in the design and development of IoT systems and applications, and could represent the ground on which to shape a new IoT-oriented software engineering discipline. A case study in the area of smart healthcare is adopted as a running example to ground the discussion.","PeriodicalId":145129,"journal":{"name":"2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127230481","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}
引用次数: 7
Analysis of large-scale electric vehicles charging behavior using data visualization 基于数据可视化的大型电动车充电行为分析
2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC) Pub Date : 2017-05-01 DOI: 10.1109/ICNSC.2017.8000123
Lin Xiqiao, Yang Zhou
{"title":"Analysis of large-scale electric vehicles charging behavior using data visualization","authors":"Lin Xiqiao, Yang Zhou","doi":"10.1109/ICNSC.2017.8000123","DOIUrl":"https://doi.org/10.1109/ICNSC.2017.8000123","url":null,"abstract":"Recently, more and more countries decided to develop electric vehicles especially electric car. However, because of low prices and other issues, electric bicycles have become the most popular electric transportation vehicles in many developing countries. For example, there are more than 210 million electric bicycles in China. Large-scale electric bicycle charging demand from time to space will not only has an impact on power distribution grid, but also has demand side management (DSM) value. In this paper, we introduced a method for estimating the real-time charging load for electric bicycles. Then we visualized demand in space using heat map and power density node. The numerical results illustrate that large-scale electric bicycle charging demand not only has a great peak-valley but also exhibits unbalance in space.","PeriodicalId":145129,"journal":{"name":"2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126515840","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
An energy management model for energetic communities of Smart Homes: The Power Cloud 智能家居能源社区的能源管理模型:电力云
2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC) Pub Date : 2017-05-01 DOI: 10.1109/ICNSC.2017.8000084
G. Belli, G. Brusco, A. Burgio, M. Motta, D. Menniti, A. Pinnarelli, N. Sorrentino
{"title":"An energy management model for energetic communities of Smart Homes: The Power Cloud","authors":"G. Belli, G. Brusco, A. Burgio, M. Motta, D. Menniti, A. Pinnarelli, N. Sorrentino","doi":"10.1109/ICNSC.2017.8000084","DOIUrl":"https://doi.org/10.1109/ICNSC.2017.8000084","url":null,"abstract":"Facing the challenge to better manage the electrical systems, the paper presents an energy management model called Power Cloud, applied to an energetic community composed of producers/prosumers from renewable not programmable resources and consumers. Thanks to this model, the users belonging to the community can share the renewable energy resources, reducing energy supply prices, while they have a good management of their loads and resources. The paper presents first the actions of an aggregator who manages the community, then the activities of every end-user to participate to the management of the community.","PeriodicalId":145129,"journal":{"name":"2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126686330","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}
引用次数: 13
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学术文献互助群
群 号:604180095
Book学术官方微信