ICCPS2019: 10TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS)

A
Abbas, Houssam	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
Agumbe Suresh, Mahima	Augmenting In-situ with Mobile Sensing for Adaptive Monitoring of Water Distribution Networks
Ahn, Heejin	Optimal Dynamic Scheduling of Wireless Networked Control Systems
Akbari, Ali	Tagging Wearable Accelerometers in Camera Frames through Information Translation between Vision Sensors and Accelerometers
Alexandru, Andreea	Encrypted LQG using Labeled Homomorphic Encryption
Ayan, Onur	Age-of-Information vs. Value-of-Information Scheduling for Cellular Networked Control Systems
B
Banus̆ić, Gregor	PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics
Baumann, Dominik	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
Bayen, Alexandre	Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles
Beaver, Logan	Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles
Belta, Calin	Decentralized Optimal Merging at an Intersection: a Control Barrier Function Approach
Bernhardsson, Bo	Cyber-Physical Modeling of GPS Receivers for Power Efficient Localization Systems
Bernieri, Giuseppe	TACAN: Transmitter Authentication through Covert Channels in Controller Area Networks
Bhadani, Rahul	Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves
Bogdan, Paul	Data-driven Perception of Neuron Point Process with Unknown Unknowns
Bonakdarpour, Borzoo	Managing the Security-Energy Tradeoff in Distributed Cyber-physical Systems
Buevich, Maxim	Localizing Loads in Microgrids Using High-Precision Voltage Phase
Bunting, Matt	Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves
C
Cassandras, Christos	Decentralized Optimal Merging at an Intersection: a Control Barrier Function Approach
Chakrabarty, Ankush	Optimal Dynamic Scheduling of Wireless Networked Control Systems
Chalaki, Behdad	Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles
Chung, Keywhan	Availability Attacks on Computing Systems through Alteration of Environmental Control: Smart Malware Approach
Conti, Mauro	TACAN: Transmitter Authentication through Covert Channels in Controller Area Networks
Cui, Shumo	Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves
D
Dubey, Abhishek	An Online Decision-Theoretic Pipeline for Responder Dispatch
E
Easwaran, Arvind	Towards Safe Machine Learning for CPS : Infer Uncertainty from Training Data
Eun, Yongsoon	Sampling Rate Optimization for IEEE 802.11 Wireless Control Systems
F
Fang, Song	Two-Way Coding in Control Systems Under Injection Attacks: From Attack Detection to Attack Correction
Fischer, Jeffrey	Programming Event Processors with ThingFlow
G
Gao, Qitong	Reduced Variance Deep Reinforcement Learning with Temporal Logic Specifications
Garcia, Luis	HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
Gruber, Zachary	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
Gu, Xiaozhe	Towards Safe Machine Learning for CPS : Infer Uncertainty from Training Data
Guo, Jianlin	Optimal Dynamic Scheduling of Wireless Networked Control Systems
Gupta, Gaurav	Data-driven Perception of Neuron Point Process with Unknown Unknowns
H
Hajinezhad, Davood	Reduced Variance Deep Reinforcement Learning with Temporal Logic Specifications
He, Liang	Environment-Aware Estimation of Battery State-of-Charge for Mobile Devices
Hirche, Sandra	Age-of-Information vs. Value-of-Information Scheduling for Cellular Networked Control Systems
I
Ishii, Hideaki	Two-Way Coding in Control Systems Under Injection Attacks: From Attack Detection to Attack Correction
Islam, Md Ariful	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
Iyer, Ravishankar	Availability Attacks on Computing Systems through Alteration of Environmental Control: Smart Malware Approach
J
Jacob, Romain	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
Jafari, Roozbeh	Tagging Wearable Accelerometers in Camera Frames through Information Translation between Vision Sensors and Accelerometers
Jang, Kathy	Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles
Jang, Kuk Jin	Robustness Evaluation of Computer-aided Clinical trials for Medical Devices
Jiang, Zhihao	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
Johansson, Karl H.	Sampling Rate Optimization for IEEE 802.11 Wireless Control Systems Two-Way Coding in Control Systems Under Injection Attacks: From Attack Detection to Attack Correction
K
Kalbarczyk, Zbigniew	Availability Attacks on Computing Systems through Alteration of Environmental Control: Smart Malware Approach Assessing and Mitigating Impact of Time Delay Attack: A Case Study for Power Grid Frequency Control
Kang, Liuwang	Preventing Battery Attacks on Electrical Vehicles based on Data-Driven Behavior Modeling
Kantaros, Yiannis	Reduced Variance Deep Reinforcement Learning with Temporal Logic Specifications
Kellerer, Wolfgang	Age-of-Information vs. Value-of-Information Scheduling for Cellular Networked Control Systems
Kim, Dohwan	Sampling Rate Optimization for IEEE 802.11 Wireless Control Systems
Kim, Eugene	Environment-Aware Estimation of Battery State-of-Charge for Mobile Devices
Kim, Seunghyeon	Sampling Rate Optimization for IEEE 802.11 Wireless Control Systems
Klügel, Markus	Age-of-Information vs. Value-of-Information Scheduling for Cellular Networked Control Systems
L
Lee, Youngmoon	Environment-Aware Estimation of Battery State-of-Charge for Mobile Devices
Leva, Alberto	Cyber-Physical Modeling of GPS Receivers for Power Efficient Localization Systems
Lin, Shan	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
Liu, Peiming	Tagging Wearable Accelerometers in Camera Frames through Information Translation between Vision Sensors and Accelerometers
Lou, Xin	Assessing and Mitigating Impact of Time Delay Attack: A Case Study for Power Grid Frequency Control
Lu, Chenyang	Optimal Dynamic Scheduling of Wireless Networked Control Systems
M
Ma, Yehan	Optimal Dynamic Scheduling of Wireless Networked Control Systems
Mager, Fabian	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
Maggio, Martina	Cyber-Physical Modeling of GPS Receivers for Power Efficient Localization Systems
Majumdar, Rupak	PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics Programming Event Processors with ThingFlow
Malikopoulos, Andreas	Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles
Mandrioli, Claudio	Cyber-Physical Modeling of GPS Receivers for Power Efficient Localization Systems
Mangharam, Rahul	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices Robustness Evaluation of Computer-aided Clinical trials for Medical Devices
Medhat, Ramy	Managing the Security-Energy Tradeoff in Distributed Cyber-physical Systems
Mitsch, Stefan	HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
Mortazavi, Bobak J.	Tagging Wearable Accelerometers in Camera Frames through Information Translation between Vision Sensors and Accelerometers
Mukhopadhyay, Ayan	An Online Decision-Theoretic Pipeline for Responder Dispatch
O
Orlik, Philip	Optimal Dynamic Scheduling of Wireless Networked Control Systems
P
Pant, Yash Vardhan	Robustness Evaluation of Computer-aided Clinical trials for Medical Devices
Paoletti, Nicola	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
Pappas, George	Encrypted LQG using Labeled Homomorphic Encryption
Park, Kyung-Joon	Sampling Rate Optimization for IEEE 802.11 Wireless Control Systems
Pettet, Geoffrey	An Online Decision-Theoretic Pipeline for Responder Dispatch
Piccoli, Benedetto	Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves
Pirron, Marcus	PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics
Platzer, Andre	HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
Poovendran, Radha	TACAN: Transmitter Authentication through Covert Channels in Controller Area Networks
R
Remer, Ben	Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles
Rowe, Anthony	Localizing Loads in Microgrids Using High-Precision Voltage Phase
S
Samal, Chinmaya	An Online Decision-Theoretic Pipeline for Responder Dispatch
Sandberg, Henrik	Two-Way Coding in Control Systems Under Injection Attacks: From Attack Detection to Attack Correction
Schmuck, Anne-Kathrin	PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics
Seibold, Benjamin	Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves
Shen, Haiying	Preventing Battery Attacks on Electrical Vehicles based on Data-Driven Behavior Modeling
Shin, Kang	Environment-Aware Estimation of Battery State-of-Charge for Mobile Devices
Skoglund, Mikael	Two-Way Coding in Control Systems Under Injection Attacks: From Attack Detection to Attack Correction
Smolka, Scott	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
Sprinkle, Jonathan	Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves
Stern, Raphael	Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves
T
Tan, Rui	Assessing and Mitigating Impact of Time Delay Attack: A Case Study for Power Grid Frequency Control
Thiele, Lothar	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
Tran, Cuong	Assessing and Mitigating Impact of Time Delay Attack: A Case Study for Power Grid Frequency Control
Trimpe, Sebastian	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
V
Venkatasubramanian, Nalini	Augmenting In-situ with Mobile Sensing for Adaptive Monitoring of Water Distribution Networks
Venkateswaran, Praveen	Augmenting In-situ with Mobile Sensing for Adaptive Monitoring of Water Distribution Networks
Vilgelm, Mikhail	Age-of-Information vs. Value-of-Information Scheduling for Cellular Networked Control Systems
Vinitsky, Eugene	Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles
Vorobeychik, Yevgeniy Vorobeychik	An Online Decision-Theoretic Pipeline for Responder Dispatch
Vu, Anh-Duy	Managing the Security-Energy Tradeoff in Distributed Cyber-physical Systems
W
Wang, Yebin	Optimal Dynamic Scheduling of Wireless Networked Control Systems
Weimer, James	Robustness Evaluation of Computer-aided Clinical trials for Medical Devices
Won, Yuchang	Sampling Rate Optimization for IEEE 802.11 Wireless Control Systems
Work, Dan	Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves
X
Xiao, Wei	Decentralized Optimal Merging at an Intersection: a Control Barrier Function Approach
Y
Yang, Ruochen	Data-driven Perception of Neuron Point Process with Unknown Unknowns
Yau, David K.Y.	Assessing and Mitigating Impact of Time Delay Attack: A Case Study for Power Grid Frequency Control
Ying, Xuhang	TACAN: Transmitter Authentication through Covert Channels in Controller Area Networks
Z
Zavlanos, Michael	Reduced Variance Deep Reinforcement Learning with Temporal Logic Specifications
Zhang, Bo	Robustness Evaluation of Computer-aided Clinical trials for Medical Devices
Zhang, Yan	Reduced Variance Deep Reinforcement Learning with Temporal Logic Specifications
Zimmerling, Marco	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
Zufferey, Damien	PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics

Disclaimer | Powered by EasyChair Smart Program