Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems最新文献_第6页

Data-driven perception of neuron point process with unknown unknowns 未知未知神经元点过程的数据驱动感知

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems Pub Date : 2018-11-02 DOI: 10.1145/3302509.3311056

Ruochen Yang, Gaurav Gupta, P. Bogdan

{"title":"Data-driven perception of neuron point process with unknown unknowns","authors":"Ruochen Yang, Gaurav Gupta, P. Bogdan","doi":"10.1145/3302509.3311056","DOIUrl":"https://doi.org/10.1145/3302509.3311056","url":null,"abstract":"Identification of patterns from discrete data time-series for statistical inference, threat detection, social opinion dynamics, brain activity prediction has received recent momentum. In addition to the huge data size, the associated challenges are, for example, (i) missing data to construct a closed time-varying complex network, and (ii) contribution of unknown sources which are not probed. Towards this end, the current work focuses on statistical neuron system model with multi-covariates and unknown inputs. Previous research of neuron activity analysis is mainly concerned with effects from spiking history of the target neuron and the interaction with other neurons in the system while ignoring the influence of unknown stimuli. We propose to use unknown unknowns, which describes the effect of unknown stimuli, undetected neuron activities and all other hidden sources of error. The generalized linear model links neuron spiking behavior with past activities in the ensemble neuron system, as well as the unknown influence. We develop a maximum likelihood estimation method based on fixed-point iteration. The fixed-point iterations converge fast, and besides, the proposed methods can be efficiently parallelized to offer computational advantage especially when the input spiking trains are over long time-horizon. The developed framework provides an intuition into the meaning of having extra degrees-of-freedom in the data to support the need for unknowns. The proposed algorithm is applied to simulated spike trains and on real-world experimental data of mouse somatosensory, mouse retina and cat retina. The implementation shows a successful increase of the model likelihood with respect to the conditional intensity function, and it also reveals the convergence with iterations. Results suggest that the neural connection model with unknown unknowns can efficiently estimate the statistical properties of the process by increasing the network likelihood.","PeriodicalId":413733,"journal":{"name":"Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121873829","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

Synthesizing stealthy reprogramming attacks on cardiac devices 合成对心脏装置的隐形重编程攻击

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems Pub Date : 2018-10-09 DOI: 10.1145/3302509.3311044

Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, R. Mangharam, Shan Lin, Zachary Gruber, S. Smolka

{"title":"Synthesizing stealthy reprogramming attacks on cardiac devices","authors":"Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, R. Mangharam, Shan Lin, Zachary Gruber, S. Smolka","doi":"10.1145/3302509.3311044","DOIUrl":"https://doi.org/10.1145/3302509.3311044","url":null,"abstract":"An Implantable Cardioverter Defibrillator (ICD) is a medical device used for the detection of potentially fatal cardiac arrhythmias and their treatment through the delivery of electrical shocks intended to restore normal heart rhythm. An ICD reprogramming attack seeks to alter the device's parameters to induce unnecessary therapy or prevent required therapy. In this paper, we present a formal approach for the synthesis of ICD reprogramming attacks that are both effective, i.e., lead to fundamental changes in the required therapy, and stealthy, i.e., are hard to detect. We focus on the discrimination algorithm underlying Boston Scientific devices (one of the principal ICD manufacturers) and formulate the synthesis problem as one of multi-objective optimization. Our solution technique is based on an Optimization Modulo Theories encoding of the problem and allows us to derive device parameters that are optimal with respect to the effectiveness-stealthiness tradeoff. Our method can be tailored to the patient's current condition, and readily generalizes to new rhythms. To the best of our knowledge, our work is the first to derive systematic ICD reprogramming attacks designed to maximize therapy disruption while minimizing detection.","PeriodicalId":413733,"journal":{"name":"Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128275632","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

Feedback control goes wireless: guaranteed stability over low-power multi-hop networks 无线反馈控制:保证在低功耗多跳网络上的稳定性

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems Pub Date : 2018-04-24 DOI: 10.1145/3302509.3311046

Fabian Mager, Dominik Baumann, Romain Jacob, L. Thiele, Sebastian Trimpe, Marco Zimmerling

{"title":"Feedback control goes wireless: guaranteed stability over low-power multi-hop networks","authors":"Fabian Mager, Dominik Baumann, Romain Jacob, L. Thiele, Sebastian Trimpe, Marco Zimmerling","doi":"10.1145/3302509.3311046","DOIUrl":"https://doi.org/10.1145/3302509.3311046","url":null,"abstract":"Closing feedback loops fast and over long distances is key to emerging applications; for example, robot motion control and swarm coordination require update intervals of tens of milliseconds. Low-power wireless technology is preferred for its low cost, small form factor, and flexibility, especially if the devices support multi-hop communication. So far, however, feedback control over wireless multi-hop networks has only been shown for update intervals on the order of seconds. This paper presents a wireless embedded system that tames imperfections impairing control performance (e.g., jitter and message loss), and a control design that exploits the essential properties of this system to provably guarantee closed-loop stability for physical processes with linear time-invariant dynamics. Using experiments on a cyber-physical testbed with 20 wireless nodes and multiple cart-pole systems, we are the first to demonstrate and evaluate feedback control and coordination over wireless multi-hop networks for update intervals of 20 to 50 milliseconds.","PeriodicalId":413733,"journal":{"name":"Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130252316","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}

引用次数: 52

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems 第10届ACM/IEEE网络物理系统国际会议论文集

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems Pub Date : 1900-01-01 DOI: 10.1145/3302509

引用次数: 1