2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)最新文献

WiP abstract: Optimal multi-agent path planning for fast inverse modeling in UAV-based flood sensing applications 摘要:基于无人机的洪水传感应用中快速逆建模的最优多智能体路径规划

2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2014-04-15 DOI: 10.1109/ICCPS.2014.6843725

Mohamed Abdelkader, Mohammad Shaqura, M. Ghommem

引用次数: 2

Demo abstract: Demonstrating cyber-attacks impact on cyber-physical simulated environment 演示摘要:演示网络攻击对网络物理模拟环境的影响

2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2014-04-15 DOI: 10.1109/ICCPS.2014.6843735

Yannis Soupionis, T. Benoist

引用次数: 2

WiP abstract: BraceForce: Software engineering support for sensing in CPS applications WiP摘要:BraceForce: CPS应用中传感的软件工程支持

2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2014-04-15 DOI: 10.1109/ICCPS.2014.6843741

Xi Zheng, D. Perry, C. Julien

引用次数: 1

Demo abstract: ROSLab — A modular programming environment for robotic applications 演示摘要:ROSLab——机器人应用的模块化编程环境

2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2014-04-15 DOI: 10.1109/ICCPS.2014.6843727

N. Bezzo, Junkil Park, Andrew L. King, Peter Gebhard, Radoslav Ivanov, Insup Lee

引用次数: 15

Real-time battery thermal management for electric vehicles 电动汽车电池实时热管理

2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2014-04-15 DOI: 10.1109/ICCPS.2014.6843712

Eugene Kim, K. Shin, Jinkyu Lee

{"title":"Real-time battery thermal management for electric vehicles","authors":"Eugene Kim, K. Shin, Jinkyu Lee","doi":"10.1109/ICCPS.2014.6843712","DOIUrl":"https://doi.org/10.1109/ICCPS.2014.6843712","url":null,"abstract":"Electric vehicles (EVs) are powered by a large number of battery cells, requiring an effective battery management system (BMS) to maintain the battery cells in an operational condition while providing the necessary power efficiently. Temperature is one of the most important factors for battery operation, and existing BMSes have thus employed simple thermal management policies so as to prevent battery cells from very high and low temperatures which may likely cause their explosion and malfunction, respectively. In this paper, we study thermo-physical characteristics of battery cells, and design a battery thermal management system that achieves efficiency and reliability by active thermal controls. We first analyze the effect of a temperature change on the basic operation of a battery cell. We then show how it can cause thermal and general problems, e.g., a thermal runaway that results in explosion of battery cells, and unbalanced state of charge (SoC) that degrades battery cells' performance. Based on this understanding of thermal behavior, we finally develop temperature-control approaches which are then used to design a battery thermal management system. Our simulation results demonstrate that the proposed thermal management system improves battery performance by up to 58.4% without compromising reliability over the existing simple thermal management.","PeriodicalId":174902,"journal":{"name":"2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114445159","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}

引用次数: 44

WiP abstract: A treatment coordination protocol for cyber-physical-human medical systems WiP摘要:一种面向网络-物理-人医疗系统的治疗协调协议

2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2014-04-15 DOI: 10.1109/ICCPS.2014.6843739

Po-Liang Wu, Dhashrath Raguraman, L. Sha, Richard B. Berlin, J. Goldman

引用次数: 2

Style-based abstractions for human motion classification 基于样式的人体运动分类抽象

2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2014-04-15 DOI: 10.1109/ICCPS.2014.6843713

A. LaViers, M. Egerstedt

引用次数: 11

Synthesis and verification of motor-transmission shift controller for electric vehicles 电动汽车电机传动换挡控制器的综合与验证

2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2014-04-15 DOI: 10.1109/ICCPS.2014.6843708

Hongxu Chen, S. Mitra

{"title":"Synthesis and verification of motor-transmission shift controller for electric vehicles","authors":"Hongxu Chen, S. Mitra","doi":"10.1109/ICCPS.2014.6843708","DOIUrl":"https://doi.org/10.1109/ICCPS.2014.6843708","url":null,"abstract":"Motor transmission-based drive systems are attractive for electric vehicles but, as the motor is directly connected to the transmission shaft which meshes with the gears, controlling gear shifts is challenging. In this paper, we present a methodology for synthesis and verification of open-loop optimal control of the electric motor in a motor-transmission drive system. The key steps in this methodology are (a) developing a continuous-time model of the trajectory of the sleeve during the meshing process based on appropriate coefficients of restitution, (b) discrete-time controller synthesis for finitely many initial states using model predictive control (MPC) and (c) verification of the synthesized controller for a higher-fidelity continuous time hybrid automaton model. First, we develop a model of the motor-transmission drive system as a continuous-time hybrid automaton (CHA) with uncertain initial states. Next, this model is transformed to a piece-wise affine (PWA) form for solving an optimal control problem using the multi-parametric toolbox (MPT). Finally, the delay bound for the synthesized controller is verified by computing a bounded time over-approximation of the reach set using an existing algorithm for deterministic linear hybrid automata. Our results show that on the average our synthesized controller can shorten the meshing duration by 71.05% and reduce impacts impulse by 85.72% compared to an existing controller and the sleeve can mesh with the gear within a desired time from every initial state.","PeriodicalId":174902,"journal":{"name":"2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132095643","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}

引用次数: 17

Safety-assured collaborative load management in smart grids 智能电网中安全的协同负荷管理

2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2014-04-15 DOI: 10.1109/ICCPS.2014.6843719

H. Nguyen, Rui Tan, David K. Y. Yau

{"title":"Safety-assured collaborative load management in smart grids","authors":"H. Nguyen, Rui Tan, David K. Y. Yau","doi":"10.1109/ICCPS.2014.6843719","DOIUrl":"https://doi.org/10.1109/ICCPS.2014.6843719","url":null,"abstract":"When a power grid is overloaded, load shedding is a conventional way to combat the imbalance between supply and demand that may jeopardize the grid's safety. However, disconnected customers may be excessively inconvenienced or even endangered. With the emergence of demand-response based on cyber-enabled smart meters and appliances, customers may participate in solving the imbalance by curtailing their demands collaboratively, such that no single customers will have to bear a disproportionate burden of reduced usage. However, compliance or commitment to curtailment requests by untrusted users is uncertain, which causes an important safety concern. This paper proposes a two-phase load management scheme that (i) gives customers a chance to curtail their demands and correct a grid's undersupply when there are no immediate safety concerns, but (ii) falls back to conventional load shedding to ensure safety once the grid enters a vulnerable state. Extensive simulations based on a 37-bus electrical grid and traces of real electrical load demonstrate the effectiveness of this scheme. In particular, if customers are, as expected, sufficiently committed to the load curtailment, overloads can be resolved in real time by collaborative and graceful usage degradation among them, thereby avoiding unpleasant blackouts in existing practice.","PeriodicalId":174902,"journal":{"name":"2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)","volume":"236 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116707628","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}

引用次数: 12

Robustness of attack-resilient state estimators 抗攻击状态估计器的鲁棒性

2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2014-04-15 DOI: 10.1109/ICCPS.2014.6843720

M. Pajic, James Weimer, N. Bezzo, P. Tabuada, O. Sokolsky, Insup Lee, George J. Pappas

{"title":"Robustness of attack-resilient state estimators","authors":"M. Pajic, James Weimer, N. Bezzo, P. Tabuada, O. Sokolsky, Insup Lee, George J. Pappas","doi":"10.1109/ICCPS.2014.6843720","DOIUrl":"https://doi.org/10.1109/ICCPS.2014.6843720","url":null,"abstract":"The interaction between information technology and phys ical world makes Cyber-Physical Systems (CPS) vulnerable to malicious attacks beyond the standard cyber attacks. This has motivated the need for attack-resilient state estimation. Yet, the existing state-estimators are based on the non-realistic assumption that the exact system model is known. Consequently, in this work we present a method for state estimation in presence of attacks, for systems with noise and modeling errors. When the the estimated states are used by a state-based feedback controller, we show that the attacker cannot destabilize the system by exploiting the difference between the model used for the state estimation and the real physical dynamics of the system. Furthermore, we describe how implementation issues such as jitter, latency and synchronization errors can be mapped into parameters of the state estimation procedure that describe modeling errors, and provide a bound on the state-estimation error caused by modeling errors. This enables mapping control performance requirements into real-time (i.e., timing related) specifications imposed on the underlying platform. Finally, we illustrate and experimentally evaluate this approach on an unmanned ground vehicle case-study.","PeriodicalId":174902,"journal":{"name":"2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115055125","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}

引用次数: 223