2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)最新文献_第2页

Sybil Attack Resilient Traffic Networks: A Physics-Based Trust Propagation Approach Sybil攻击弹性流量网络:基于物理的信任传播方法

2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2018-04-11 DOI: 10.1109/ICCPS.2018.00013

Yasser Shoukry, Shaunak Mishra, Zutian Luo, S. Diggavi

{"title":"Sybil Attack Resilient Traffic Networks: A Physics-Based Trust Propagation Approach","authors":"Yasser Shoukry, Shaunak Mishra, Zutian Luo, S. Diggavi","doi":"10.1109/ICCPS.2018.00013","DOIUrl":"https://doi.org/10.1109/ICCPS.2018.00013","url":null,"abstract":"We study a crowdsourcing aided road traffic estimation setup, where a fraction of users (vehicles) are malicious, and report wrong sensory information, or even worse, report the presence of Sybil (ghost) vehicles that do not physically exist. The motivation for such attacks lies in the possibility of creating a \"virtual\" congestion that can influence routing algorithms, leading to \"actual\" congestion and chaos. We propose a Sybil attack-resilient traffic estimation and routing algorithm that is resilient against such attacks. In particular, our algorithm leverages noisy information from legacy sensing infrastructure, along with the dynamics and proximity graph of vehicles inferred from crowdsourced data. Furthermore, the scalability of our algorithm is based on efficient Boolean Satisfiability (SAT) solvers. We validated our algorithm using real traffic data from the Italian city of Bologna. Our algorithm led to a significant reduction in average travel time in the presence of Sybil attacks, including cases where the travel time was reduced from about an hour to a few minutes.","PeriodicalId":199062,"journal":{"name":"2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124940160","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

CityResolver: A Decision Support System for Conflict Resolution in Smart Cities CityResolver:智慧城市冲突解决决策支持系统

2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2018-04-11 DOI: 10.1109/ICCPS.2018.00014

Meiyi Ma, J. Stankovic, Lu Feng

引用次数: 30

Co-Regulation of Computational and Physical Effectors in a Quadrotor Unmanned Aircraft System 四旋翼无人机系统中计算效应器和物理效应器的协同调节

2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2018-04-11 DOI: 10.1109/ICCPS.2018.00020

Xinkai Zhang, Seth Doebbeling, Justin M. Bradley

{"title":"Co-Regulation of Computational and Physical Effectors in a Quadrotor Unmanned Aircraft System","authors":"Xinkai Zhang, Seth Doebbeling, Justin M. Bradley","doi":"10.1109/ICCPS.2018.00020","DOIUrl":"https://doi.org/10.1109/ICCPS.2018.00020","url":null,"abstract":"Traditional control strategies rely on real-time computer tasks executing in fixed intervals providing periodic sampling upon which discrete controllers are designed. But emerging trends challenge this fixed resource allocation strategy by sampling at the \"right\" time rather than at fixed intervals. We propose a strategy in which a model representing the sampling rate is augmented to the state-space model of a quadrotor unmanned aircraft system, coupled controllers are designed for this holistic system, and computational and physical effectors are co-regulated in response to system performance. We investigate a new discrete-time-varying control strategy by gain scheduling a discrete linear quadratic regulator controller at a series of sampling rates, and co-regulating the sampling rates using a cyber controller whose gains are optimized via a strategic cost function. We then show step responses of the quadrotor to demonstrate how rapid changes in physical system gain at discrete sampling rates negatively impacts system performance. To solve this we introduce a new cyber control strategy that reduces these negative impacts and show how the response can be improved. Since most multicopters employ waypoint tracking planning and guidance, we also evaluate our strategy by assessing performance of the quadrotor in following a waypoint trajectory giving a much better indication of how a control strategy affects mission performance. We develop cyber-physical metrics for assessing waypoint following performance and use them to improve controller design. Results show that our proposed coupled cyber-physical system model and controller can provide physical system performance similar to fixed-rate optimal control strategies but with less control effort and much less computational utilization. Our strategy allows cyber and physical resources to be dynamically allocated to system demands as needed.","PeriodicalId":199062,"journal":{"name":"2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122664774","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

Towards a Green and Secure Architecture for Reconfigurable IoT End-Devices 面向可重构物联网终端设备的绿色安全架构

2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2018-04-11 DOI: 10.1109/ICCPS.2018.00041

Daniel Oliveira, T. Gomes, S. Pinto

引用次数: 6

Distributed Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks 全局时间任务下多机器人系统的分布式最优控制综合

2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2018-04-11 DOI: 10.1109/ICCPS.2018.00024

Y. Kantaros, M. Zavlanos

{"title":"Distributed Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks","authors":"Y. Kantaros, M. Zavlanos","doi":"10.1109/ICCPS.2018.00024","DOIUrl":"https://doi.org/10.1109/ICCPS.2018.00024","url":null,"abstract":"This paper proposes a distributed sampling-based algorithm for optimal multi-robot control synthesis under global Linear Temporal Logic (LTL) formulas. Existing planning approaches under global temporal goals rely on graph search techniques applied to a synchronous product automaton constructed among the robots. In our previous work, we have proposed a more tractable centralized sampling-based algorithm that builds incrementally trees that approximate the state-space and transitions of the synchronous product automaton and does not require sophisticated graph search techniques. In this work, we provide a distributed implementation of this sampling-based algorithm, whereby the robots collaborate to build subtrees that decreases the computational time significantly. We provide theoretical guarantees showing that the distributed algorithm preserves the probabilistic completeness and asymptotic optimality of its centralized counterpart. To the best of our knowledge, this is the first distributed, computationally efficient, probabilistically complete, and asymptotically optimal control synthesis algorithm for multi-robot systems under global temporal tasks.","PeriodicalId":199062,"journal":{"name":"2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)","volume":"39 8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125735883","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

Cyber-Physical System Checkpointing and Recovery 网络物理系统检查点和恢复

2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2018-04-11 DOI: 10.1109/ICCPS.2018.00011

Fanxin Kong, Meng Xu, James Weimer, O. Sokolsky, Insup Lee

{"title":"Cyber-Physical System Checkpointing and Recovery","authors":"Fanxin Kong, Meng Xu, James Weimer, O. Sokolsky, Insup Lee","doi":"10.1109/ICCPS.2018.00011","DOIUrl":"https://doi.org/10.1109/ICCPS.2018.00011","url":null,"abstract":"Transitioning to more open architectures has been making Cyber-Physical Systems (CPS) vulnerable to malicious attacks that are beyond the conventional cyber attacks. This paper studies attack-resilience enhancement for a system under emerging attacks in the environment of the controller. An effective way to address this problem is to make system state estimation accurate enough for control regardless of the compromised components. This work follows this way and develops a procedure named CPS checkpointing and recovery, which leverages historical data to recover failed system states. Specially, we first propose a new concept of physical-state recovery. The essential operation is defined as rolling the system forward starting from a consistent historical system state. Second, we design a checkpointing protocol that defines how to record system states for the recovery. The protocol introduces a sliding window that accommodates attack-detection delay to improve the correctness of stored states. Third, we present a use case of CPS checkpointing and recovery that deals with compromised sensor measurements. At last, we evaluate our design through conducting simulator-based experiments and illustrating the use of our design with an unmanned vehicle case study.","PeriodicalId":199062,"journal":{"name":"2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)","volume":"158 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123171250","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}

引用次数: 30

Towards a Cognitive Assistant System for Emergency Response 应急响应认知辅助系统研究

2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2018-04-11 DOI: 10.1109/ICCPS.2018.00047

S. Preum, Sile Shu, Jonathan Ting, Vincent Lin, Ronald D. Williams, J. Stankovic, H. Alemzadeh

引用次数: 15

OpenUAV: A UAV Testbed for the CPS and Robotics Community OpenUAV:用于CPS和机器人社区的无人机测试平台

2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2018-04-11 DOI: 10.1109/ICCPS.2018.00021

Matt Schmittle, Anna Lukina, L. Vacek, J. Das, C. V. Buskirk, Stephen A. Rees, J. Sztipanovits, R. Grosu, Vijay R. Kumar

{"title":"OpenUAV: A UAV Testbed for the CPS and Robotics Community","authors":"Matt Schmittle, Anna Lukina, L. Vacek, J. Das, C. V. Buskirk, Stephen A. Rees, J. Sztipanovits, R. Grosu, Vijay R. Kumar","doi":"10.1109/ICCPS.2018.00021","DOIUrl":"https://doi.org/10.1109/ICCPS.2018.00021","url":null,"abstract":"Multirotor Unmanned Aerial Vehicles (UAV) have grown in popularity for research and education, overcoming challenges associated with fixed wing and ground robots. Unfortunately, extensive physical testing can be expensive and time consuming because of short flight times due to battery constraints and safety precautions. Simulation tools offer a low barrier to entry and enable testing and validation before field trials. However, most of the well-known simulators today have a high barrier to entry due to the need for powerful computers and the time required for initial set up. In this paper, we present OpenUAV, an open source test bed for UAV education and research that overcomes these barriers. We leverage the Containers as a Service (CaaS) technology to enable students and researchers carry out simulations on the cloud. We have based our framework on open-source tools including ROS, Gazebo, Docker, PX4, and Ansible, we designed the simulation framework so that it has no special hardware requirements. Two use-cases are presented. First, we show how a UAV can navigate around obstacles, and second, we test a multi-UAV swarm formation algorithm. To our knowledge, this is the first open-source, cloud-enabled testbed for UAVs. The code is available on GitHub: https://github.com/Open-UAV.","PeriodicalId":199062,"journal":{"name":"2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114825891","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}

引用次数: 39

Cooperative Key Generation for Data Dissemination in Cyber-Physical Systems 网络物理系统中数据传播的协同密钥生成

2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2018-04-11 DOI: 10.1109/ICCPS.2018.00039

Kai Li, Harrison Kurunathan, Ricardo Severino, E. Tovar

引用次数: 7

Predicting Malicious Intention in CPS under Cyber-Attack 网络攻击下CPS恶意预测

2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2018-04-11 DOI: 10.1109/ICCPS.2018.00049

N. Bezzo

引用次数: 5