首页>外文会议>IEEE/ACM International Conference on Cyber-Physical Systems

IEEE/ACM International Conference on Cyber-Physical Systems

召开年：2018
召开地：Porto(PT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Data-Driven Approach to Artificial Pancreas Verification and Synthesis

机译：一种数据驱动的人工胰腺验证和综合方法
- 作者：Taisa Kushner;David Bortz;David M. Maahs;Sriram Sankaranarayanan
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Insulin;
- Predictive models;
- Sugar;
- Data models;
- Pancreas;
- Prediction algorithms;
- Tuning;
2.Autoware on Board: Enabling Autonomous Vehicles with Embedded Systems

机译：车载自动软件：使自动驾驶汽车具有嵌入式系统
- 作者：Shinpei Kato;Shota Tokunaga;Yuya Maruyama;Seiya Maeda;Manato Hirabayashi;Yuki Kitsukawa;Abraham Monrroy;Tomohito Ando;Yusuke Fujii;Takuya Azumi
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Autonomous vehicles;
- Three-dimensional displays;
- Sensors;
- Laser radar;
- Software;
- Planning;
- Cameras;
3.CityResolver: A Decision Support System for Conflict Resolution in Smart Cities

机译：CityResolver：智慧城市中解决冲突的决策支持系统
- 作者：Meiyi Ma;John A. Stankovic;Lu Feng
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Smart cities;
- Signal resolution;
- Decision support systems;
- Safety;
- Noise level;
- Uncertainty;
4.Cloaking the Clock: Emulating Clock Skew in Controller Area Networks

机译：掩盖时钟：在控制器局域网中模拟时钟偏移
- 作者：Sang Uk Sagong;Xuhang Ying;Andrew Clark;Linda Bushnell;Radha Poovendran
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Clocks;
- Protocols;
- Hardware;
- Timing;
- Transmitters;
- Suspensions;
- Fabrication;
5.Co-Regulation of Computational and Physical Effectors in a Quadrotor Unmanned Aircraft System

机译：四旋翼无人机系统中计算和物理效应器的共同调节
- 作者：Xinkai Zhang;Seth Doebbeling;Justin Bradley
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Task analysis;
- Computational modeling;
- Control systems;
- Vehicle dynamics;
- Mathematical model;
- Real-time systems;
- Resource management;
6.CoDrive: Cooperative Driving Scheme for Vehicles in Urban Signalized Intersections

机译：CoDrive：城市信号交叉口中车辆的协同驾驶方案
- 作者：Yiran Zhao;Shuochao Yao;Huajie Shao;Tarek Abdelzaher
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Fuels;
- Timing;
- Smart phones;
- Acceleration;
- Safety;
- Roads;
- Vehicular ad hoc networks;
7.Context-Aware Detection in Medical Cyber-Physical Systems

机译：医学网络物理系统中的上下文感知检测
- 作者：Radoslav Ivanov;James Weimer;Insup Lee
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Detectors;
- Pain;
- Noise measurement;
- Atmospheric measurements;
- Particle measurements;
- Time measurement;
- Cyber-physical systems;
8.Cooperative Key Generation for Data Dissemination in Cyber-Physical Systems

机译：网络物理系统中用于数据分发的协作密钥生成
- 作者：Kai Li;Harrison Kurunathan;Ricardo Severino;Eduardo Tovar
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
9.Cyber-Physical System Checkpointing and Recovery

机译：网络物理系统检查点和恢复
- 作者：Fanxin Kong;Meng Xu;James Weimer;Oleg Sokolsky;Insup Lee
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Task analysis;
- Checkpointing;
- Cyber-physical systems;
- Protocols;
- Synchronization;
- Delays;
- Security;
10.Demo Abstract: An Industrial Control System Testbed for the Encrypted Controller

机译：演示摘要：用于加密控制器的工业控制系统测试平台
- 作者：Xing Li;Mengxiang Liu;Rui Zhang;Peng Cheng;Jiming Chen
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Industrial control;
- Encryption;
- Intrusion detection;
- Cyber-physical systems;
- Control systems;
11.Distributed Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks

机译：全局时间任务下多机器人系统的分布式最优控制综合
- 作者：Yiannis Kantaros;Michael M. Zavlanos
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Automata;
- Task analysis;
- Optimal control;
- Multi-robot systems;
- Approximation algorithms;
- Probabilistic logic;
12.Dynamic Integration of Heterogeneous Transportation Modes under Disruptive Events

机译：破坏性事件下异构运输方式的动态整合
- 作者：Yukun Yuan;Desheng Zhang;Fei Miao;John A. Stankovic;Tian He;George Pappas;Shan Lin
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Public transportation;
- Urban areas;
- Schedules;
- Real-time systems;
- Delays;
- Vehicle dynamics;
13.Dynamic Intersections and Self-Driving Vehicles

机译：动态交叉口和自动驾驶车辆
- 作者：Shunsuke Aoki;Ragunathan Rajkumar
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Vehicle dynamics;
- Protocols;
- Roads;
- Databases;
- Safety;
- Navigation;
- Throughput;
14.Efficient Verification for Stochastic Mixed Monotone Systems

机译：随机混合单调系统的有效验证
- 作者：Maxence Dutreix;Samuel Coogan
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Stochastic systems;
- Markov processes;
- Probabilistic logic;
- Upper bound;
- Model checking;
- Integral equations;
15.Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives

机译：逻辑飞行：具有时间逻辑目标的多无人机舰队的控制
- 作者：Yash Vardhan Pant;Houssam Abbas;Rhudii A. Quaye;Rahul Mangharam
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Trajectory;
- Robustness;
- Drones;
- Planning;
- Real-time systems;
- Optimization;
- Task analysis;
16.Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VO

机译：NSF CPS-VO上的OpenUAV群仿真器中的编队控制和持续监视
- 作者：Anna Lukina;Arjun Kumar;Matt Schmittle;Abhijeet Singh;Jnaneshwar Das;Stephen Rees;Christopher P. Buskirk;Janos Sztipanovits;Radu Grosu;Vijay Kumar
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Unmanned aerial vehicles;
- Computational modeling;
- Tools;
- Robots;
- Education;
- Monitoring;
- Computers;
17.Guaranteed Physical Security with Restart-Based Design for Cyber-Physical Systems

机译：通过基于重启的网络物理系统设计来保证物理安全性
- 作者：Fardin Abdi;Chien-Ying Chen;Monowar Hasan;Songran Liu;Sibin Mohan;Marco Caccamo
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Safety;
- Software;
- Drones;
- Hardware;
- Control systems;
- Image restoration;
- Security;
18.ICCPS 2018 Conference Organizers

机译：ICCPS 2018会议组织者
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
19.ICCPS 2018 Technical Program Committee

机译：ICCPS 2018技术计划委员会
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
20.Impact Driven Sensor Placement for Leak Detection in Community Water Networks

机译：冲击驱动传感器放置，用于社区供水网络中的泄漏检测
- 作者：Praveen Venkateswaran;Qing Han;Ronald T. Eguchi;Nalini Venkatasubramanian
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Instruments;
- Sociology;
- Statistics;
- Water resources;
- Junctions;
- Leak detection;
- Monitoring;
21.Message from the ICCPS 2018 General and Program Co-Chairs

机译：ICCPS 2018大会和计划联席主席致辞
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
22.Learning and Control Using Gaussian Processes

机译：使用高斯过程进行学习和控制
- 作者：Achin Jain;Truong Nghiem;Manfred Morari;Rahul Mangharam
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Buildings;
- Data models;
- Adaptation models;
- Machine learning;
- Predictive models;
- Gaussian processes;
- Atmospheric modeling;
23.Learning-Based Control Design for Deep Brain Stimulation

机译：基于学习的深部脑刺激控制设计
- 作者：Ilija Jovanov;Michael Nauman;Karthik Kumaravelu;Vuk Lesi;Aditya Zutshi;Warren M. Grill;Miroslav Pajic
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Satellite broadcasting;
- Brain modeling;
- Real-time systems;
- Field programmable gate arrays;
- Indexes;
- Basal ganglia;
- Physiology;
24.Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models

机译：在可验证的正确可执行医疗最佳实践指南模型中对医疗资源的可用时间和关系进行建模和集成
- 作者：Chunhui Guo;Zhicheng Fu;Zhenyu Zhang;Shangping Ren;Lui Sha
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Guidelines;
- Computed tomography;
- Safety;
- Medical diagnostic imaging;
- Computational modeling;
- Best practices;
25.OpenUAV: A UAV Testbed for the CPS and Robotics Community

机译：OpenUAV：适用于CPS和机器人技术社区的无人机测试平台
- 作者：Matt Schmittle;Anna Lukina;Lukas Vacek;Jnaneshwar Das;Christopher P. Buskirk;Stephen Rees;Janos Sztipanovits;Radu Grosu;Vijay Kumar
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Tools;
- Computational modeling;
- Education;
- Cloud computing;
- Servers;
- Robot sensing systems;
26.Optimal Input Design for Affine Model Discrimination with Applications in Intention-Aware Vehicles

机译：仿射模型识别的最佳输入设计及其在意图感知车辆中的应用
- 作者：Yuhao Ding;Farshad Harirchi;Sze Zheng Yong;Emil Jacobsen;Necmiye Ozay
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Optimization;
- Vehicles;
- Noise measurement;
- Mathematical model;
- Computational modeling;
- Electronic mail;
- Cyber-physical systems;
27.Ordering Events Based on Intentionality in Cyber-Physical Systems

机译：在网络物理系统中基于意图的订购事件
- 作者：Wajeb Saab;Maaz Mohiuddin;Simon Bliudze;Jean-Yves Le Boudec
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Clocks;
- Software agents;
- Process control;
- Delays;
- Actuators;
- Sensors;
- Labeling;
28.Parameter Optimization in Control Software Using Statistical Fault Localization Techniques

机译：使用统计故障定位技术的控制软件参数优化
- 作者：Jyotirmoy Deshmukh;Xiaoqing Jin;Rupak Majumdar;Vinayak Prabhu
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Software;
- Interpolation;
- Tools;
- Robustness;
- Optimization;
- Control systems;
- Tuning;
29.Platform for Model-Based Design and Testing for Deep Brain Stimulation

机译：用于深层脑刺激的基于模型的设计和测试平台
- 作者：Ilija Jovanov;Michael Naumann;Karthik Kumaravelu;Warren M. Grill;Miroslav Pajic
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Satellite broadcasting;
- Neurons;
- Testing;
- Monitoring;
- Basal ganglia;
- Medical treatment;
- Brain modeling;
30.Predicting Malicious Intention in CPS under Cyber-Attack

机译：预测网络攻击下CPS中的恶意意图
- 作者：Nicola Bezzo
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
31.SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems

机译：电子物理控制系统中基于SAT的欺骗攻击综合
- 作者：Omar Inverso;Alberto Bemporad;Mirco Tribastone
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Control systems;
- Software;
- Mathematical model;
- Encoding;
- Security;
- Sensor systems;
32.Re-Thinking EEG-Based Non-Invasive Brain Interfaces: Modeling and Analysis

机译：重新思考基于脑电图的非侵入性脑接口：建模和分析
- 作者：Gaurav Gupta;Sergio Pequito;Paul Bogdan
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
33.Rhocop: Receding Horizon Multi-Robot Coverage

机译：Rhocop：逐步淘汰Horizon多机器人覆盖范围
- 作者：Sankar Narayan Das;Indranil Saha
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Robot kinematics;
- Planning;
- Trajectory;
- Robot sensing systems;
- Multi-robot systems;
- Agriculture;
34.ROS-Based Support System for Supervision of Multiple UAVs by a Single Operator

机译：基于ROS的支持系统，由一个操作员监控多个无人机
- 作者：Hiroki Hayakawa;Takuya Azumi;Akinori Sakaguchi;Toshimitsu Ushio
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Trajectory;
- Position measurement;
- Unmanned aerial vehicles;
- Motion measurement;
- Generators;
- Sensors;
- Cyber-physical systems;
35.SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems

机译：SDCWorks：智能制造系统的软件定义控制的正式框架
- 作者：Matthew Potok;Chien-Ying Chen;Sayan Mitra;Sibin Mohan
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Manufacturing systems;
- Adaptation models;
- Analytical models;
- Cost accounting;
- Smart manufacturing;
- Computer architecture;
36.Secure Kalman Filter State Estimation by Partially Homomorphic Encryption

机译：部分同态加密的安全卡尔曼滤波器状态估计
- 作者：Zhenyong Zhang;Junfeng Wu;David Yau;Peng Cheng;Jiming Chen
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Encryption;
- State estimation;
- Kalman filters;
- Sensors;
- Smart grids;
37.SoH Aware Battery Management Optimization on Decentralized Energy Network

机译：分布式能源网络上的SoH感知电池管理优化
- 作者：Daichi Watari;Ittetsu Taniguchi;Takao Onoye
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Batteries;
- Degradation;
- Power distribution;
- Aging;
- Minimization;
- Optimization;
- Linear programming;
38.Sound Mixed-Precision Optimization with Rewriting

机译：具有重写功能的声音混合精度优化
- 作者：Eva Darulova;Einar Horn;Saksham Sharma
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Roundoff errors;
- Tuning;
- Tools;
- Kernel;
- Cost function;
- Hardware;
39.Sybil Attack Resilient Traffic Networks: A Physics-Based Trust Propagation Approach

机译：Sybil攻击弹性交通网络：一种基于物理的信任传播方法
- 作者：Yasser Shoukry;Shaunak Mishra;Zutian Luo;Suhas Diggavi
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Automobiles;
- Routing;
- Roads;
- Heuristic algorithms;
- Estimation;
- Intelligent sensors;
40.The Impact of Packet Dropouts on the Reachability Energy

机译：丢包对可达能量的影响
- 作者：A. Sanand Amita Dilip;Nikolaos Athanasopoulos;Raphael M. Jungers
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Controllability;
- Linear systems;
- Switches;
- Automata;
- Eigenvalues and eigenfunctions;
- Packet loss;
41.Towards a Cognitive Assistant System for Emergency Response

机译：建立认知应急系统
- 作者：Sarah Masud Preum;Sile Shu;Jonathan Ting;Vincent Lin;Ronald Williams;John Stankovic;Homa Alemzadeh
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Real-time systems;
- Tools;
- Data mining;
- Natural language processing;
- Decision making;
- Pipelines;
- Emergency services;
42.Towards a Framework for Realizable Safety Critical Control through Active Set Invariance

机译：通过主动集不变性实现可实现的安全关键控制框架
- 作者：Thomas Gurriet;Andrew Singletary;Jacob Reher;Laurent Ciarletta;Eric Feron;Aaron Ames
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Safety;
- Kernel;
- Uncertainty;
- Optimization;
- Control systems;
- Lyapunov methods;
- Cyber-physical systems;
43.Towards a Green and Secure Architecture for Reconfigurable IoT End-Devices

机译：面向可重构IoT终端设备的绿色安全架构
- 作者：Daniel Oliveira;Tiago Gomes;Sandro Pinto
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Computer architecture;
- Security;
- Internet of Things;
- Hardware;
- Program processors;
- Power system management;
- Virtualization;
44.WiP Abstract: KRS-DGIST: A Resilient CPS Testbed for Radio-Based Train Control

机译：WiP摘要：KRS-DGIST：基于无线电的列车控制的弹性CPS测试平台
- 作者：Yuchang Won;Buyeon Yu;Jaegeun Park;In-Hee Park;Haegeon Jeong;Jeanseong Baik;Kyungtae Kang;Insup Lee;Kyung-Joon Park;Yongsoon Eun
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Computer architecture;
- Embedded systems;
- Control systems;
- Resilience;
- Sensor systems;
- Cyber-physical systems;
45.WiP Abstract: Underwater AUV Localization with Refraction Consideration

机译：WiP摘要：考虑折射的水下AUV定位
- 作者：Jiajun Shen;Xueli Fan;Qixin Wang
- 会议名称：《IEEE/ACM International Conference on Cyber-Physical Systems》 | 2018年
- Underwater acoustics;
- Acoustic measurements;
- Estimation;
- Global Positioning System;
- Clocks;
- Transforms;