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

UrbanCPS: a cyber-physical system based on multi-source big infrastructure data for heterogeneous model integration UrbanCPS:基于多源大基础设施数据的异构模型集成网络物理系统

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

Desheng Zhang, Juanjuan Zhao, Fan Zhang, T. He

引用次数: 75

A model-based synthesis flow for automotive CPS 基于模型的汽车CPS综合流程

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

Peng Deng, Fabio Cremona, Qi Zhu, M. Natale, Haibo Zeng

引用次数: 21

Analysis of the coupling of communication network and safety application in cooperative collision warning systems 协同碰撞预警系统中通信网络耦合与安全应用分析

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

Y. P. Fallah, Masoumeh Kalantari Khandani

{"title":"Analysis of the coupling of communication network and safety application in cooperative collision warning systems","authors":"Y. P. Fallah, Masoumeh Kalantari Khandani","doi":"10.1145/2735960.2735975","DOIUrl":"https://doi.org/10.1145/2735960.2735975","url":null,"abstract":"Cooperative collision avoidance systems rely on communication between vehicles to achieve the objective of automated or human-dependent crash avoidance. In this paper we investigate the mutual coupling of communication component and the safety application in cooperative collision warning systems. These systems are warning based collision avoidance systems that are currently under field test. We present a comprehensive co-simulation modeling framework which allows modeling and study of the entire system including vehicle dynamics, communication protocols, and collision detection/warning algorithms. Using this model, we show that in designs where the safety application and communication components are designed separately and agnostic to each other, system performance requires significantly higher network resources. Alternate content- and network-aware design strategies are shown to significantly reduce the required resources, resulting in significant reliability improvements. However, the cost of such strategies is mutual coupling of the performance of safety application and communication components. We show that such coupling can be effectively controlled in desired operation ranges for each component, leading to robust systems. The presented framework introduces a method for the study of a wide spectrum of communication dependent vehicular cyber-physical systems.","PeriodicalId":344612,"journal":{"name":"Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems","volume":"12 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":"129307209","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

A quadcopter swarm for active monitoring of smog propagation 用于烟雾传播主动监测的四轴飞行器群

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

Zhijian He, Shuai Li, Zhaoyan Shen, Muhammad Umer Khan, Z. Shao, Qixin Wang

{"title":"A quadcopter swarm for active monitoring of smog propagation","authors":"Zhijian He, Shuai Li, Zhaoyan Shen, Muhammad Umer Khan, Z. Shao, Qixin Wang","doi":"10.1145/2735960.2735988","DOIUrl":"https://doi.org/10.1145/2735960.2735988","url":null,"abstract":"Cyber-physical system (CPS) features the interaction between embedded systems and the physical world. In this paper, we focus on a CPS using unmanned quadcopters to interact with the environment to monitor smog propagation. Our quadcopters shall be equipped with various sensors including smog sensor, wind speed sensor, and GPS; and shall be able to fly omni-directionally in open air space. Compared to ground sensing, our approach shall enable 3D monitoring of smog propagation. Compared to conventional balloon based aerial sensing, the vast number of cheap quadcopters and high mobile speed shall enable better monitoring granularity and adaptability. In our preliminary study [1], we start with modeling and optimizing the control of a single quadcopter, taking into consideration partial differential equations governing the smog propagation, and nonlinear dynamic model of the quadcopter. The optimized single quadcopter control strategy is then extended for multiple quadcopters, under an additional formation control constraint. The strategy is validated with simulation. Effort is now underway to implement the preliminary study strategy in Arduino based quadcopters. Through this study, we aim not only to realize a novel CPS application, but also to build a experiment test-bed, to explore insights on how to exploit prior-knowledge to optimize interactions between embedded robotic systems and physical world in CPS.","PeriodicalId":344612,"journal":{"name":"Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems","volume":"116 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":"131902115","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}

引用次数: 2

Exploring power-voltage relationship for distributed peak demand flattening in microgrids 探索微电网中分布式峰值需求扁平化的功率-电压关系

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

Zhichuan Huang, David Corrigan, Ting Zhu, Hongyao Luo, X. Zhan, Y. Gu

{"title":"Exploring power-voltage relationship for distributed peak demand flattening in microgrids","authors":"Zhichuan Huang, David Corrigan, Ting Zhu, Hongyao Luo, X. Zhan, Y. Gu","doi":"10.1145/2735960.2735968","DOIUrl":"https://doi.org/10.1145/2735960.2735968","url":null,"abstract":"Due to limited energy storage units in microgrids, how to regulate peak demand is one of the main challenges. Thus, researchers propose different techniques to flatten peak demand in individual residential buildings. However, if each home in the grid flattens peak demand only with its own power consumption information, it is possible that peak demand of the microgrid would not be flattened but only shifted to another period. Therefore, it is critical for homes to cooperate with each other to flatten peak demand. In this paper, we utilize the power-voltage relationship in individual homes to enable that each home can infer the information of power consumption in the community by locally monitoring the voltage value on the common power line. The inferred information is then used for homes to flatten peak demand of the microgrids in a distributed manner. Furthermore, we leverage existing thermal appliances (e.g., water heaters) as thermal \"batteries\" in individual homes instead of purchasing batteries to flatten peak demand. We evaluate our system's performance by conducting experiments and extensive empirical data driven simulations. Evaluation results indicate that our design enables homes to effectively flatten peak demand by more than 29% without affecting homeowners' behaviors.","PeriodicalId":344612,"journal":{"name":"Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems","volume":"18 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":"126654588","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}

引用次数: 8

REST: a reliable estimation of stopping time algorithm for social game experiments REST:社交游戏实验中可靠的停止时间估计算法

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

Ming Jin, L. Ratliff, Ioannis C. Konstantakopoulos, C. Spanos, S. Sastry

引用次数: 6

Distributed fault detection of nonlinear large-scale dynamic systems 非线性大动态系统的分布式故障检测

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

E. Noursadeghi, I. Raptis

引用次数: 4

Cyber-physical specification mismatch identification with dynamic analysis 基于动态分析的信息物理规格不匹配识别

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

Taylor T. Johnson, Stanley Bak, S. Drager

{"title":"Cyber-physical specification mismatch identification with dynamic analysis","authors":"Taylor T. Johnson, Stanley Bak, S. Drager","doi":"10.1145/2735960.2735979","DOIUrl":"https://doi.org/10.1145/2735960.2735979","url":null,"abstract":"Embedded systems use increasingly complex software and are evolving into cyber-physical systems (CPS) with sophisticated interaction and coupling between physical and computational processes. Many CPS operate in safety-critical environments and have stringent certification, reliability, and correctness requirements. These systems undergo changes throughout their lifetimes, where either the software or physical hardware is updated in subsequent design iterations. One source of failure in safety-critical CPS is when there are unstated assumptions in either the physical or cyber parts of the system, and new components do not match those assumptions. In this work, we present an automated method towards identifying unstated assumptions in CPS. Dynamic specifications in the form of candidate invariants of both the software and physical components are identified using dynamic analysis (executing and/or simulating the system implementation or model thereof). A prototype tool called Hynger (for HYbrid iNvariant GEneratoR) was developed that instruments Simulink/Stateflow (SLSF) model diagrams to generate traces in the input format compatible with the Daikon invariant inference tool, which has been extensively applied to software systems. Hynger, in conjunction with Daikon, is able to detect candidate invariants of several CPS case studies. We use the running example of a DC-to-DC power converter, and demonstrate that Hynger can detect a specification mismatch where a tolerance assumed by the software is violated due to a plant change.","PeriodicalId":344612,"journal":{"name":"Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems","volume":"85 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":"123532418","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}

引用次数: 21

Uniprocessor EDF scheduling of AVR task systems AVR任务系统的单处理器EDF调度

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

Zhishan Guo, Sanjoy Baruah

引用次数: 27

CPS approach to checking norm operation of a brake-by-wire system 检查线控制动系统规范操作的CPS方法

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

Kyong-Tak Cho, K. Shin, Taejoon Park

引用次数: 19