2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)最新文献_第6页

Coordinated autonomous driving with 100 connected vehicles 100辆互联汽车协同自动驾驶

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2013-04-08 DOI: 10.1145/2502524.2502562

A. Kurt, K. Redmill, Ü. Özgüner

引用次数: 2

Possibility of power system blackout prediction 电力系统停电预测的可能性

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2013-04-08 DOI: 10.1145/2502524.2502561

B. Gou, Weibiao Wu

引用次数: 2

A reduced complexity design pattern for distributed hierarchical command and control system 分布式层次化指挥控制系统的一种降低复杂度的设计模式

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2010-04-13 DOI: 10.1145/1795194.1795201

H. Yun, Po-Liang Wu, M. Rahmaniheris, Cheolgi Kim, L. Sha

{"title":"A reduced complexity design pattern for distributed hierarchical command and control system","authors":"H. Yun, Po-Liang Wu, M. Rahmaniheris, Cheolgi Kim, L. Sha","doi":"10.1145/1795194.1795201","DOIUrl":"https://doi.org/10.1145/1795194.1795201","url":null,"abstract":"Cyber Physical Systems (CPS) get a lot of attention due to the strong demand for the integration of physical devices and computing systems. There are many design aspects involved in CPS, such as efficiency, real-time, reliability and security. One of the major issues is system integration and verification. In many safety critical systems verification plays an essential role in system design. However, the high complexity for the composition of diverse systems is a major challenge for system verification. In this paper, we focus on command and control systems for search and rescue missions and propose a systematic design pattern called Interruptible RPC to compose complex systems while keeping the verification costs low. This has been made possible due to the reduced state space of the systems designed using our pattern. Therefore, the system models can be efficiently verified using available verification tools. In our experiments, the search and rescue system based on Interruptible RPC pattern had fewer states than the asynchronous one by several orders of magnitude.","PeriodicalId":6619,"journal":{"name":"2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)","volume":"66 1","pages":"42-49"},"PeriodicalIF":0.0,"publicationDate":"2010-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77318906","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}

引用次数: 9

Cyber-physical systems for real-time hybrid structural testing: a case study 用于实时混合结构测试的信息物理系统:一个案例研究

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2010-04-13 DOI: 10.1145/1795194.1795205

H. Huang, T. Tidwell, C. Gill, Chenyang Lu, Xiuyu Gao, S. Dyke

{"title":"Cyber-physical systems for real-time hybrid structural testing: a case study","authors":"H. Huang, T. Tidwell, C. Gill, Chenyang Lu, Xiuyu Gao, S. Dyke","doi":"10.1145/1795194.1795205","DOIUrl":"https://doi.org/10.1145/1795194.1795205","url":null,"abstract":"Real-time hybrid testing of civil structures, in which computational models and physical components must be integrated with high fidelity at run-time, represents a grand challenge in the emerging area of cyber-physical systems. Actuator dynamics, complex interactions among computers and physical components, and computation and communication delays all must be managed carefully to achieve accurate tests.\u0000 In this paper we present a case study of several fundamental interlocking challenges in developing and evaluating cyber-physical systems for real-time hybrid structural testing: (1) how physical and simulated components can be integrated flexibly and efficiently within a common reusable middleware architecture; (2) how predictable timing can be achieved atop commonly available hardware and software platforms; and (3) how physical vs. simulated versions of different components within a system can be interchanged with high fidelity between comparable configurations. Experimental results obtained through this case study give evidence of the feasibility and efficacy of these steps towards our overall goal: to develop a Cyber-physical Instrument for Real-time hybrid Structural Testing (CIRST).","PeriodicalId":6619,"journal":{"name":"2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)","volume":"14 1","pages":"69-78"},"PeriodicalIF":0.0,"publicationDate":"2010-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87197649","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

A concept lattice-based event model for Cyber-Physical Systems 基于概念格的信息物理系统事件模型

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2010-04-13 DOI: 10.1145/1795194.1795202

Ying Tan, M. Vuran, S. Goddard, Yue Yu, Miao Song, Shangping Ren

{"title":"A concept lattice-based event model for Cyber-Physical Systems","authors":"Ying Tan, M. Vuran, S. Goddard, Yue Yu, Miao Song, Shangping Ren","doi":"10.1145/1795194.1795202","DOIUrl":"https://doi.org/10.1145/1795194.1795202","url":null,"abstract":"Cyber-Physical Systems (CPS) involve communication, computation, sensing, and actuating through heterogeneous and widely distributed physical devices and computational components. The close interactions of these systems with the physical world places events as the major building blocks for the realization of CPS. More specifically, the system components and design principles should be revisited with a strictly event-based approach. In this paper, a concept lattice-based event model for CPS is introduced. Under this model, a CPS event is uniformly represented by three components: event type, its internal attributes, and its external attributes. The internal and external attributes together characterize the type, spatiotemporal properties of the event as well as the components that observe it. A set of event composition rules are defined where the CPS event composition is based on a CPS concept lattice. The resulting event model can be used both as an offline analysis tool as well as a run-time implementation model due to its distributed nature. A real-life smart home example is used to illustrate the proposed event model. To this end, a CPS event simulator is implemented to evaluate the developed event model and compare with the existing Java implementation of the smart home application. The comparison result shows that the event model provides several advantages in terms of flexibility, QoS support, and complexity. The proposed event model lay the foundations of event-based system design in CPS.","PeriodicalId":6619,"journal":{"name":"2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)","volume":"222 1","pages":"50-60"},"PeriodicalIF":0.0,"publicationDate":"2010-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75904751","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}

引用次数: 64

Toward patient safety in closed-loop medical device systems 面向闭环医疗设备系统中的患者安全

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2010-04-13 DOI: 10.1145/1795194.1795214

D. Arney, M. Pajic, J. Goldman, Insup Lee, R. Mangharam, O. Sokolsky

引用次数: 119

Integrating neuromuscular and cyber systems for neural control of artificial legs 集成神经肌肉与网络系统的人工腿神经控制

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2010-04-13 DOI: 10.1145/1795194.1795213

H. Huang, Y. Sun, Qing Yang, Fan Zhang, Xiaorong Zhang, Yuhong Liu, Jin Ren, Fabian Sierra

{"title":"Integrating neuromuscular and cyber systems for neural control of artificial legs","authors":"H. Huang, Y. Sun, Qing Yang, Fan Zhang, Xiaorong Zhang, Yuhong Liu, Jin Ren, Fabian Sierra","doi":"10.1145/1795194.1795213","DOIUrl":"https://doi.org/10.1145/1795194.1795213","url":null,"abstract":"This paper presents a design and implementation of a cyber-physical system (CPS) for neurally controlled artificial legs. The key to the new CPS system is the neural-machine interface (NMI) that uses an embedded computer to collect and interpret electromyographic (EMG) signals from a physical system that is a leg amputee. A new deciphering algorithm, composed of an EMG pattern classifier and finite state machine (FSM), was developed to identify the user's intended lower limb movements. To deal with environmental uncertainty, a trust management mechanism was designed to handle unexpected sensor failures and signal disturbances. Integrating the neural deciphering algorithm with the trust management mechanism resulted in a highly accurate and reliable software system for neural control of artificial legs. The software was then embedded in a newly designed hardware platform based on an embedded microcontroller and a graphic processing unit (GPU) to form a complete NMI for real time testing. Our preliminary experiment on a human subject demonstrated the feasibility of our designed real-time neural-machine interface for artificial legs.","PeriodicalId":6619,"journal":{"name":"2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)","volume":"129 1","pages":"129-138"},"PeriodicalIF":0.0,"publicationDate":"2010-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81335318","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}

引用次数: 36

Time-based intrusion detection in cyber-physical systems 网络物理系统中基于时间的入侵检测

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2010-04-13 DOI: 10.1145/1795194.1795210

Christopher Zimmer, B. Bhat, F. Mueller, Sibin Mohan

{"title":"Time-based intrusion detection in cyber-physical systems","authors":"Christopher Zimmer, B. Bhat, F. Mueller, Sibin Mohan","doi":"10.1145/1795194.1795210","DOIUrl":"https://doi.org/10.1145/1795194.1795210","url":null,"abstract":"Embedded systems, particularly real-time systems with temporal constraints, are increasingly deployed in every day life. Such systems that interact with the physical world are also referred to as cyber-physical systems (CPS). These systems commonly find use in critical infrastructure from transportation to health care. While security in CPS-based real-time embedded systems has been an afterthought, it is becoming a critical issue as these systems are increasingly networked and inter-dependent. The advancement in their functionality has resulted in more conspicuous interfaces that may be exploited to attack them.\u0000 In this paper, we present three mechanisms for time-based intrusion detection. More specifically, we detect the execution of unauthorized instructions in real-time CPS environments. Such intrusion detection utilizes information obtained by static timing analysis. For real-time CPS systems, timing bounds on code sections are readily available as they are already determined prior to the schedulability analysis. We demonstrate how to provide micro-timings for multiple granularity levels of application code. Through bounds checking of these micro-timings, we develop techniques to detect intrusions (1) in a self-checking manner by the application and (2) through the operating system scheduler, which are novel contributions to the real-time/embedded systems domain to the best of our knowledge.","PeriodicalId":6619,"journal":{"name":"2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)","volume":"14 1","pages":"109-118"},"PeriodicalIF":0.0,"publicationDate":"2010-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87327446","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}

引用次数: 117

MEC-IDC: joint load balancing and power control for distributed Internet Data Centers MEC-IDC:分布式互联网数据中心的联合负载均衡与功率控制

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2010-04-13 DOI: 10.1145/1795194.1795220

Lei Rao, Xue Liu, M. Ilić, Jie Liu

{"title":"MEC-IDC: joint load balancing and power control for distributed Internet Data Centers","authors":"Lei Rao, Xue Liu, M. Ilić, Jie Liu","doi":"10.1145/1795194.1795220","DOIUrl":"https://doi.org/10.1145/1795194.1795220","url":null,"abstract":"Internet Data Center (IDC) supports the reliable operations of many important Internet on-line services. As the demand on Internet services and cloud computing keep increasing in recent years, the power usage associated with IDC operations has been uprising significantly. The cyber and physical aspects of IDCs interact with each other, and brings unprecedented challenges in power management. While most existing research focuses on reducing power consumptions of IDCs, this paper studies the problem of minimizing the total electricity cost geared to quality of service constraint as well as the location diversity and time diversity of electricity price under multiple electricity markets. We jointly consider both the cyber and physical management capabilities of IDCs, and exploit both the center-level load balancing, and the server-level power control in a unified scheme. We model the problem as a constrained mixed integer programming based on Generalized Benders Decomposition (GBD) technique. Extensive evaluations based on real-life electricity price data for multiple IDC locations demonstrates the effectiveness of our scheme.","PeriodicalId":6619,"journal":{"name":"2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)","volume":"17 5","pages":"188-197"},"PeriodicalIF":0.0,"publicationDate":"2010-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91468736","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}

引用次数: 46

Synthesizing switching logic for safety and dwell-time requirements 综合开关逻辑的安全性和停留时间要求

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2010-04-13 DOI: 10.1145/1795194.1795198

Susmit Jha, Sumit Gulwani, S. Seshia, A. Tiwari

{"title":"Synthesizing switching logic for safety and dwell-time requirements","authors":"Susmit Jha, Sumit Gulwani, S. Seshia, A. Tiwari","doi":"10.1145/1795194.1795198","DOIUrl":"https://doi.org/10.1145/1795194.1795198","url":null,"abstract":"Cyber-physical systems (CPS) can be usefully modeled as hybrid automata combining the physical dynamics within modes with discrete switching behavior between modes. CPS designs must satisfy safety and performance requirements. While the dynamics within each mode is usually defined by the physical plant, the tricky design problem often involves getting the switching logic right. In this paper, we present a new approach to assist designers by synthesizing the switching logic, given a partial system model, using a combination of fixpoint computation, numerical simulation, and machine learning. Our technique begins with an over-approximation of the guards on transitions between modes. In successive iterations, the over-approximations are refined by eliminating points that will cause the system to reach unsafe states, and such refinement is performed using numerical simulation and machine learning. In addition to safety requirements, we synthesize models to satisfy dwell-time constraints, which impose upper and/or lower bounds on the amount of time spent within a mode. We demonstrate using case studies that our technique quickly generates intuitive system models and that dwell-time constraints can help to tune the performance of a design.","PeriodicalId":6619,"journal":{"name":"2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)","volume":"9 1","pages":"22-31"},"PeriodicalIF":0.0,"publicationDate":"2010-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83355548","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