Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems最新文献

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems ACM/IEEE第六届信息物理系统国际会议论文集

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems Pub Date : 2015-04-14 DOI: 10.1145/2735960

A. Bayen, M. Branicky

{"title":"Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems","authors":"A. Bayen, M. Branicky","doi":"10.1145/2735960","DOIUrl":"https://doi.org/10.1145/2735960","url":null,"abstract":"This volume contains the papers presented at the Sixth ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2015), which was held with the Cyber-Physical Systems Week in Seattle, Washington, USA, on 13--16 April 2015. ICCPS has been the flagship conference on Cyber-Physical Systems (CPS) that tightly couple the cyber aspects of computing and communications with the physical aspects of dynamics and engineering. ICCPS, as an integral part of CPS Week, is pleased to be co-located with its sister conferences that focus on various components of CPS including embedded systems, hybrid systems, real-time systems, and wireless sensor networks. \u0000 \u0000ICCPS aims to showcase cutting-edge research that spans both the cyber and physical aspects of CPS. In the process, it will bring together engineers from various disciplines and computer scientists to create the scientific foundations, identify new principles, present novel architectures, demonstrate promising applications, and enable powerful capabilities of CPS. In addition to its traditional focus on the foundations, applications, and examples of CPS, this year ICCPS has absorbed the former High Confidence Networked Systems (HiCoNS) conference and includes its focus on secure and resilient infrastructure for CPS.","PeriodicalId":344612,"journal":{"name":"Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems","volume":"104 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121058580","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}

引用次数: 1

Experimental analysis of denial-of-service attacks on teleoperated robotic systems 远程操作机器人系统的拒绝服务攻击实验分析

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems Pub Date : 2015-04-14 DOI: 10.1145/2735960.2735980

Tamara Bonaci, Junjie Yan, Jeffrey A. Herron, Tadayoshi Kohno, H. Chizeck

{"title":"Experimental analysis of denial-of-service attacks on teleoperated robotic systems","authors":"Tamara Bonaci, Junjie Yan, Jeffrey A. Herron, Tadayoshi Kohno, H. Chizeck","doi":"10.1145/2735960.2735980","DOIUrl":"https://doi.org/10.1145/2735960.2735980","url":null,"abstract":"Applications of robotic systems have had an explosive growth in recent years. In 2008, more than eight million robots were deployed worldwide in factories, battlefields, and medical services. The number and the applications of robotic systems are expected to continue growing, and many future robots will be controlled by distant operators through wired and wireless communication networks. The open and uncontrollable nature of communication media between robots and operators renders these cyber-physical systems vulnerable to a variety of cyber-security threats, many of which cannot be prevented using traditional cryptographic methods. A question thus arises: what if teleoperated robots are attacked, compromised or taken over? In this paper, we systematically analyze cyber-security attacks against Raven II R, an advanced teleoperated robotic surgery system. We classify possible threats, and focus on denial-of-service (DoS) attacks, which cannot be prevented using available cryptographic solutions. Through a series of experiments involving human subjects, we analyze the impact of these attacks on teleoperated procedures. We use the Fitts' law as a way of quantifying the impact, and measure the increase in tasks' difficulty when under DoS attacks. We then consider possible steps to mitigate the identified DoS attacks, and evaluate the applicability of these solutions for teleoperated robotics. The broader goal of our paper is to raise awareness, and increase understanding of emerging cyber-security threats against teleoperated robotic systems.","PeriodicalId":344612,"journal":{"name":"Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124808937","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}

引用次数: 50

Fully bayesian learning and spatial reasoning with flexible human sensor networks 完全贝叶斯学习和空间推理与灵活的人体传感器网络

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems Pub Date : 2015-04-14 DOI: 10.1145/2735960.2735970

N. Ahmed, M. Campbell, D. Casbeer, Yongcan Cao, Derek B. Kingston

{"title":"Fully bayesian learning and spatial reasoning with flexible human sensor networks","authors":"N. Ahmed, M. Campbell, D. Casbeer, Yongcan Cao, Derek B. Kingston","doi":"10.1145/2735960.2735970","DOIUrl":"https://doi.org/10.1145/2735960.2735970","url":null,"abstract":"This work considers the challenging problem of simultaneous modeling and fusion of 'soft data' generated by a network of 'human sensors' for spatial state estimation tasks, such as lost target search or large area surveillance. Human sensors can opportunistically provide useful information to constrain difficult state estimation problems, but are imperfect information sources whose reliability cannot be easily determined in advance. Formal observation likelihood models are derived for flexible sketch-based observations, but are found to lead to analytically intractable statistical dependencies between unknown sensor parameters and spatial states of interest that cannot adequately characterized by simple point estimates. Hierarchical Bayesian models and centralized inference strategies based on Gibbs sampling are proposed to address these issues, especially in cases of sparse, noisy, ambiguous and conflicting soft data. This leads to an automatic online calibration procedure for human sensor networks, as well as conservative spatial state posteriors that naturally account for model uncertainties. Experimental outdoor target search results with real spatial human sensor data (obtained via networked mobile graphical sketch interfaces) demonstrate the proposed methodology.","PeriodicalId":344612,"journal":{"name":"Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126817414","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}

引用次数: 16

Controller synthesis for autonomous systems interacting with human operators 与人类操作者交互的自主系统的控制器综合

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems Pub Date : 2015-04-14 DOI: 10.1145/2735960.2735973

Lu Feng, Clemens Wiltsche, Laura R. Humphrey, U. Topcu

引用次数: 47

Developing associations between building occupancy and traffic congestion 发展建筑物占用率与交通拥堵之间的联系

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems Pub Date : 2015-04-14 DOI: 10.1145/2735960.2735990

Yi Yuan, C. Fan, Dan Wang, Linda Fu Xiao

引用次数: 0

Occupancy estimation using ultrasonic chirps 利用超声波啁啾进行占用估计

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems Pub Date : 2015-04-14 DOI: 10.1145/2735960.2735969

Oliver Shih, Anthony G. Rowe

{"title":"Occupancy estimation using ultrasonic chirps","authors":"Oliver Shih, Anthony G. Rowe","doi":"10.1145/2735960.2735969","DOIUrl":"https://doi.org/10.1145/2735960.2735969","url":null,"abstract":"Estimating the number of people within a room is important for a wide variety of applications including: HVAC load management, scheduling room allocations and guiding first responders to areas with trapped people. In this paper, we present an active sensing technique that uses changes in a room's acoustic properties to estimate the number of occupants. Frequency dependent models of reverberation and room capacity are often used when designing auditoriums and concert halls. We leverage this property by using measured changes in the ultrasonic spectrum reflected back from a wide-band transmitter to estimate occupancy. A centrally located beacon transmits an ultrasonic chirp and then records how the signal dissipates over time. By analyzing the frequency response over the chirp's bandwidth at a few known occupancy levels, we are able to extrapolate the response as the number of people in the room changes. We explore the design of an excitation signal that best senses the environment with the fewest number of training samples. Through experimentation, we show that our approach is able to capture the number of people in a wide-variety of room configurations with people counting accuracy below 10% of the maximum room capacity count with as few as two training points. Finally, we provide a simple mechanism that allows our system to recalibrate when we know the room is empty so that it can adapt dynamically over time.","PeriodicalId":344612,"journal":{"name":"Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems","volume":"70 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131748388","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}

引用次数: 67

Sensor attack detection in the presence of transient faults 瞬时故障下的传感器攻击检测

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems Pub Date : 2015-04-14 DOI: 10.1145/2735960.2735984

Junkil Park, Radoslav Ivanov, James Weimer, M. Pajic, Insup Lee

{"title":"Sensor attack detection in the presence of transient faults","authors":"Junkil Park, Radoslav Ivanov, James Weimer, M. Pajic, Insup Lee","doi":"10.1145/2735960.2735984","DOIUrl":"https://doi.org/10.1145/2735960.2735984","url":null,"abstract":"This paper addresses the problem of detection and identification of sensor attacks in the presence of transient faults. We consider a system with multiple sensors measuring the same physical variable, where some sensors might be under attack and provide malicious values. We consider a setup, in which each sensor provides the controller with an interval of possible values for the true value. While approaches exist for detecting malicious sensor attacks, they are conservative in that they treat attacks and faults in the same way, thus neglecting the fact that sensors may provide faulty measurements at times due to temporary disturbances (e.g., a tunnel for GPS). To address this problem, we propose a transient fault model for each sensor and an algorithm designed to detect and identify attacks in the presence of transient faults. The fault model consists of three aspects: the size of the sensor's interval (1) and an upper bound on the number of errors (2) allowed in a given window size (3). Given such a model for each sensor, the algorithm uses pairwise inconsistencies between sensors to detect and identify attacks. In addition to the algorithm, we provide a framework for selecting a fault model for each sensor based on training data. Finally, we validate the algorithm's performance on real measurement data obtained from an unmanned ground vehicle.","PeriodicalId":344612,"journal":{"name":"Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123538078","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}

引用次数: 76

Controller verification in adaptive learning systems towards trusted autonomy 面向可信自治的自适应学习系统的控制器验证

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems Pub Date : 2015-04-14 DOI: 10.1145/2735960.2735971

Xiaodong Zhang, M. Clark, K. Rattan, Jonathan A. Muse

{"title":"Controller verification in adaptive learning systems towards trusted autonomy","authors":"Xiaodong Zhang, M. Clark, K. Rattan, Jonathan A. Muse","doi":"10.1145/2735960.2735971","DOIUrl":"https://doi.org/10.1145/2735960.2735971","url":null,"abstract":"With the increasing levels of adaptation and autonomy in complex cyber-physical systems (CPS), the traditional notion that such systems can be fully tested and validated offline is becoming an impossible task. It is virtually impossible to analyze or test ahead of time all the possible parameter values resulting from the uncertainty in system operational and environmental conditions. This paper considers the problem of online controller verification in a class of first-order nonlinear uncertain systems incorporating neural network based learning algorithms. Based on several critical assumptions, an on-line neural network model is employed to ensure robustness and fault-tolerance to certain modeling uncertainty and physical faults under consideration. However, these assumptions may be violated in the presence of software faults or unanticipated physical faults in the closed-loop system, leading to unstable learning behaviors and controller malfunctions. Based on Lyapunov stability theory, a online controller verification scheme is developed to detect such unstable learning behaviors by continuously monitoring the decrease of Lyapunov functions. Adaptive thresholds for detecting malfunctions of the adaptive learning controller are derived, ensuring the robustness with respect to modeling uncertainty and neural network approximation error. Additionally, the detectability conditions are investigated, characterizing the class of detectable software faults and unanticipated hardware faults. An upper bound on the detection time of controller malfunction is also derived. Some simulation results using a two-tank system are shown to illustrate the effectiveness of the controller verification method.","PeriodicalId":344612,"journal":{"name":"Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126023104","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}

引用次数: 18

Response-time analysis for real-time tasks in engine control applications 发动机控制应用中实时任务的响应时间分析

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems Pub Date : 2015-04-14 DOI: 10.1145/2735960.2735963

Alessandro Biondi, M. Natale, G. Buttazzo

引用次数: 32

SHARE: SoH-aware reconfiguration to enhance deliverable capacity of large-scale battery packs 共享:soh感知重构，提高大型电池组的交付能力

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems Pub Date : 2015-04-14 DOI: 10.1145/2735960.2735967

Liang He, Y. Gu, Ting Zhu, Cong Liu, K. Shin

引用次数: 30