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}
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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
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}