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

Toward multi-task support and security analyses in PLC program translation for verification: poster abstract 面向PLC程序翻译验证的多任务支持和安全性分析:海报摘要

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems Pub Date : 2019-04-16 DOI: 10.1145/3302509.3313335

Luis Garcia, Stefan Mitsch, André Platzer

引用次数: 1

Robustness evaluation of computer-aided clinical trials for medical devices 医疗器械计算机辅助临床试验的稳健性评价

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems Pub Date : 2019-04-16 DOI: 10.1145/3302509.3311058

Kuk Jin Jang, Y. Pant, Bo Zhang, James Weimer, R. Mangharam

{"title":"Robustness evaluation of computer-aided clinical trials for medical devices","authors":"Kuk Jin Jang, Y. Pant, Bo Zhang, James Weimer, R. Mangharam","doi":"10.1145/3302509.3311058","DOIUrl":"https://doi.org/10.1145/3302509.3311058","url":null,"abstract":"Medical cyber-physical systems, such as the implantable cardioverter defibrillator (ICD), require evaluation of safety and efficacy in the context of a patient population in a clinical trial. Advances in computer modeling and simulation allow for generation of a simulated cohort or virtual cohort which mimics a patient population and can be used as a source of prior information. A major obstacle to acceptance of simulation results as a source of prior information is the lack of a framework for explicitly modeling sources of uncertainty in simulation results and quantifying the effect on trial outcomes. In this work, we formulate the Computer-Aided Clinical Trial (CACT) within a Bayesian statistical framework allowing explicit modeling of assumptions and utilization of simulation results at all stages of a clinical trial. To quantify the robustness of the CACT outcome with respect to a simulation assumption, we define δ-robustness as the minimum perturbation of the base prior distribution resulting in a change of the CACT outcome and provide a method to estimate the δ-robustness. We demonstrate the utility of the framework and how the results of δ-robustness evaluation can be utilized at various stages of a clinical trial through an application to the Rhythm ID Goes Head-to-head Trial (RIGHT), which was a comparative evaluation of the safety and efficacy of specific software algorithms across different implantable cardiac devices. Finally, we introduce a hardware interface that allows for direct interaction with the physical device in order to validate and confirm the results of a CACT for implantable cardiac devices.","PeriodicalId":413733,"journal":{"name":"Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116226975","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}

引用次数: 3

Deep intelligent network for device-free people tracking: WIP abstract 无设备人员跟踪的深度智能网络:WIP摘要

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems Pub Date : 2019-04-16 DOI: 10.1145/3302509.3313312

Yang Zhao, Ming-Ching Chang, P. Tu

引用次数: 3

Incident management and analysis dashboard for fire departments: ICCPS demo 用于消防部门的事件管理和分析仪表板:ICCPS演示

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems Pub Date : 2019-04-16 DOI: 10.1145/3302509.3313329

Geoffrey Pettet, Ayan Mukhopadhyay, Chinmaya Samal, A. Dubey, Yevgeniy Vorobeychik

引用次数: 1

Availability attacks on computing systems through alteration of environmental control: smart malware approach 通过改变环境控制对计算系统的可用性攻击:智能恶意软件方法

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems Pub Date : 2019-04-16 DOI: 10.1145/3302509.3311041

Key-whan Chung, Z. Kalbarczyk, R. Iyer

引用次数: 14

Sampling rate optimization for IEEE 802.11 wireless control systems IEEE 802.11无线控制系统的采样率优化

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems Pub Date : 2019-04-16 DOI: 10.1145/3302509.3311045

Dohwan Kim, Yuchang Won, Seunghyeon Kim, Y. Eun, Kyung-Joon Park, K. Johansson

{"title":"Sampling rate optimization for IEEE 802.11 wireless control systems","authors":"Dohwan Kim, Yuchang Won, Seunghyeon Kim, Y. Eun, Kyung-Joon Park, K. Johansson","doi":"10.1145/3302509.3311045","DOIUrl":"https://doi.org/10.1145/3302509.3311045","url":null,"abstract":"Design of wireless control systems has been extensively studied, which is one of the fundamental issues in cyber-physical systems. In this paper, we empirically investigate heterogeneous sampling rate assignment with a testbed when multiple physical systems are controlled through an IEEE 802.11 network. Among the critical design variables in wireless control systems, we focus on the sampling rates because they are always key control knobs regardless of network protocols. There has been little experimental research on heterogeneous sampling rate optimization for IEEE 802.11 wireless control systems, where the sampling rates of each control loop may have different values. We first formulate the co-design problem in an optimization framework with respect to the heterogeneous sampling rates by explicitly taking into account the relations of the sampling rates with the control cost, network energy consumption, and network delay. We further relax the problem as convex optimization, which is provably solved in polynomial time. Our empirical study ensures that the approximate solution is tightly close to the original optimum. To validate the proposed optimization framework, we build a disk-levitation tube testbed, which wirelessly controls the height of 20 disks at the same time. Our empirical study confirms that our optimization formulation is highly effective in practice.","PeriodicalId":413733,"journal":{"name":"Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems","volume":"149 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126915877","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}

引用次数: 11

String stability of commercial adaptive cruise control vehicles: WIP abstract 商用自适应巡航控制车辆的串稳定性:WIP摘要

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems Pub Date : 2019-04-16 DOI: 10.1145/3302509.3313325

George Gunter, Yanbing Wang, Derek Gloudemans, Raphael E. Stern, D. Work, M. D. Monache, R. Bhadani, Matt Bunting, Roman L. Lysecky, J. Sprinkle, Benjamin Seibold, B. Piccoli

引用次数: 2

Hierarchical taxi dispatch system with local coordination among micro-level components: WIP abstract 微级部件局部协调的分层出租车调度系统:WIP抽象

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems Pub Date : 2019-04-16 DOI: 10.1145/3302509.3313314

Sota Takashima, Naomi Kuze, T. Ushio

{"title":"Hierarchical taxi dispatch system with local coordination among micro-level components: WIP abstract","authors":"Sota Takashima, Naomi Kuze, T. Ushio","doi":"10.1145/3302509.3313314","DOIUrl":"https://doi.org/10.1145/3302509.3313314","url":null,"abstract":"Taxi drivers face to poor working conditions such as low wages and long working hours. To improve the conditions, a taxi dispatch system is very important. F. Miao et al. proposed a method for calculating an optimal taxi cruising path based on the model predictive control and the new parameter of supply demand ratio [1]. T. Ushio et al. proposed a method for calculating an optimal taxi cruising path based on a mixed logical dynamical model [2]. X. Chen et al. proposed a hierarchical taxi-dispatch system consisting of global and regional decision-makers [3]. The global decision-maker calculates the optimal taxi dispatch in a longer time period, while the regional ones determine schedules of taxis in the corresponding regions in a shorter time period. However, these previous mechanisms have lower scalability and real-time properties. To tackle these problems, we propose a novel hierarchical support system for a taxi dispatch system. In our proposal, a macro level component calculates the optimal taxi movement by using a taxi flow model, whereas micro level components determine the optimal taxi cruising in the corresponding regions. Both of them are conducted in the same time period.","PeriodicalId":413733,"journal":{"name":"Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134280828","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}

引用次数: 3

Reduced variance deep reinforcement learning with temporal logic specifications 基于时间逻辑规范的减少方差深度强化学习

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems Pub Date : 2019-04-16 DOI: 10.1145/3302509.3311053

Qitong Gao, Davood Hajinezhad, Yan Zhang, Y. Kantaros, M. Zavlanos

{"title":"Reduced variance deep reinforcement learning with temporal logic specifications","authors":"Qitong Gao, Davood Hajinezhad, Yan Zhang, Y. Kantaros, M. Zavlanos","doi":"10.1145/3302509.3311053","DOIUrl":"https://doi.org/10.1145/3302509.3311053","url":null,"abstract":"In this paper, we propose a model-free reinforcement learning method to synthesize control policies for mobile robots modeled as Markov Decision Process (MDP) with unknown transition probabilities that satisfy Linear Temporal Logic (LTL) specifications. Specifically, we develop a reduced variance deep Q-Learning technique that relies on Neural Networks (NN) to approximate the state-action values of the MDP and employs a reward function that depends on the accepting condition of the Deterministic Rabin Automaton (DRA) that captures the LTL specification. The key idea is to convert the deep Q-Learning problem into a nonconvex max-min optimization problem with a finite-sum structure, and develop an Arrow-Hurwicz-Uzawa type stochastic reduced variance algorithm with constant stepsize to solve it. Unlike Stochastic Gradient Descent (SGD) methods that are often used in deep reinforcement learning, our method can estimate the gradients of an unknown loss function more accurately and can improve the stability of the training process. Moreover, our method does not require learning the transition probabilities in the MDP, constructing a product MDP, or computing Accepting Maximal End Components (AMECs). This allows the robot to learn an optimal policy even if the environment cannot be modeled accurately or if AMECs do not exist. In the latter case, the resulting control policies minimize the frequency with which the system enters bad states in the DRA that violate the task specifications. To the best of our knowledge, this is the first model-free deep reinforcement learning algorithm that can synthesize policies that maximize the probability of satisfying an LTL specification even if AMECs do not exist. Rigorous convergence analysis and rate of convergence are provided for the proposed algorithm as well as numerical experiments that validate our method.","PeriodicalId":413733,"journal":{"name":"Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems","volume":"2 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123562373","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}

引用次数: 48

Decentralized merging control in traffic networks: a control barrier function approach 交通网络中的分散合并控制:一种控制障碍函数方法

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems Pub Date : 2019-04-16 DOI: 10.1145/3302509.3311054

Wei Xiao, C. Belta, C. Cassandras

引用次数: 39