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

This page contains an index consisting of author-provided keywords.

A
Adaptive Monitoring	Augmenting In-situ with Mobile Sensing for Adaptive Monitoring of Water Distribution Networks
Autonomous Vehicles	Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles
B
Battery Attack	Preventing Battery Attacks on Electrical Vehicles based on Data-Driven Behavior Modeling
Battery Authentication	Preventing Battery Attacks on Electrical Vehicles based on Data-Driven Behavior Modeling
battery state-of-charge	Environment-Aware Estimation of Battery State-of-Charge for Mobile Devices
C
Camera	Tagging Wearable Accelerometers in Camera Frames through Information Translation between Vision Sensors and Accelerometers
Clinical Trials	Robustness Evaluation of Computer-aided Clinical trials for Medical Devices
Closed-Loop Stability	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
communication	PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics
Community Impact	Augmenting In-situ with Mobile Sensing for Adaptive Monitoring of Water Distribution Networks
Computer-aided clinical trials	Robustness Evaluation of Computer-aided Clinical trials for Medical Devices
concurrency	PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics
connected vehicles	Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves
Control Barrier Function	Decentralized Optimal Merging at an Intersection: a Control Barrier Function Approach
Control Lyapunov Function	Decentralized Optimal Merging at an Intersection: a Control Barrier Function Approach
Controller Area Network (CAN)	TACAN: Transmitter Authentication through Covert Channels in Controller Area Networks
cooling system	Availability Attacks on Computing Systems through Alteration of Environmental Control: Smart Malware Approach
covert channel	TACAN: Transmitter Authentication through Covert Channels in Controller Area Networks
CPS	Availability Attacks on Computing Systems through Alteration of Environmental Control: Smart Malware Approach Towards Safe Machine Learning for CPS : Infer Uncertainty from Training Data
Cyber-Physical Modeling	Cyber-Physical Modeling of GPS Receivers for Power Efficient Localization Systems
Cyber-Physical Networking	Age-of-Information vs. Value-of-Information Scheduling for Cellular Networked Control Systems
Cyber-physical security	Two-Way Coding in Control Systems Under Injection Attacks: From Attack Detection to Attack Correction
Cyber-physical system	Two-Way Coding in Control Systems Under Injection Attacks: From Attack Detection to Attack Correction Optimal Dynamic Scheduling of Wireless Networked Control Systems
cyber-physical system (CPS) security	TACAN: Transmitter Authentication through Covert Channels in Controller Area Networks
Cyber-physical systems	Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves Managing the Security-Energy Tradeoff in Distributed Cyber-physical Systems Sampling Rate Optimization for IEEE 802.11 Wireless Control Systems Assessing and Mitigating Impact of Time Delay Attack: A Case Study for Power Grid Frequency Control HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
D
data center	Availability Attacks on Computing Systems through Alteration of Environmental Control: Smart Malware Approach
Data-driven Behavior Model	Preventing Battery Attacks on Electrical Vehicles based on Data-Driven Behavior Modeling
Dataflow programming	Programming Event Processors with ThingFlow
Decentralized Control	Decentralized Optimal Merging at an Intersection: a Control Barrier Function Approach
Delay attack	Assessing and Mitigating Impact of Time Delay Attack: A Case Study for Power Grid Frequency Control
digital filter design	Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves
discrete time-series	Data-driven Perception of Neuron Point Process with Unknown Unknowns
Distributed Control	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
domain specific language	PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics
Drones	Managing the Security-Energy Tradeoff in Distributed Cyber-physical Systems
Dynamic Optimization	An Online Decision-Theoretic Pipeline for Responder Dispatch
dynamic scheduling	Optimal Dynamic Scheduling of Wireless Networked Control Systems
E
Encrypted Control	Encrypted LQG using Labeled Homomorphic Encryption
Energy consumption	Managing the Security-Energy Tradeoff in Distributed Cyber-physical Systems
environment awareness	Environment-Aware Estimation of Battery State-of-Charge for Mobile Devices
Event Detection	Augmenting In-situ with Mobile Sensing for Adaptive Monitoring of Water Distribution Networks
Event processing	Programming Event Processors with ThingFlow
F
Feedback Control	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
formal verification	HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
G
geometry	PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics
GPS Receiver	Cyber-Physical Modeling of GPS Receivers for Power Efficient Localization Systems
H
hybrid systems	HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
I
IEEE 802.11	Sampling Rate Optimization for IEEE 802.11 Wireless Control Systems
Implantable Cardioverter Defibrillator	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
Inverted Pendulum	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
iterative optimization	Data-driven Perception of Neuron Point Process with Unknown Unknowns
L
Linear Control	Encrypted LQG using Labeled Homomorphic Encryption
Linear Temporal Logic	Reduced Variance Deep Reinforcement Learning with Temporal Logic Specifications
link quality	Optimal Dynamic Scheduling of Wireless Networked Control Systems
load localization	Localizing Loads in Microgrids Using High-Precision Voltage Phase
Localization Systems	Cyber-Physical Modeling of GPS Receivers for Power Efficient Localization Systems
M
Machine Learning	Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles Towards Safe Machine Learning for CPS : Infer Uncertainty from Training Data
malware	Availability Attacks on Computing Systems through Alteration of Environmental Control: Smart Malware Approach
Medical device cybersecurity	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
Medical devices	Robustness Evaluation of Computer-aided Clinical trials for Medical Devices
microgrid	Localizing Loads in Microgrids Using High-Precision Voltage Phase
Mobile and In-situ sensing	Augmenting In-situ with Mobile Sensing for Adaptive Monitoring of Water Distribution Networks
mobile devices	Environment-Aware Estimation of Battery State-of-Charge for Mobile Devices
Multi-Agent Coordination	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
Multi-Hop Low-Power Wireless Network	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
multi-loop control system	Optimal Dynamic Scheduling of Wireless Networked Control Systems
N
Networked control system	Two-Way Coding in Control Systems Under Injection Attacks: From Attack Detection to Attack Correction
Networked Control Systems	Age-of-Information vs. Value-of-Information Scheduling for Cellular Networked Control Systems
neuron spike trains	Data-driven Perception of Neuron Point Process with Unknown Unknowns
non-technical loss	Localizing Loads in Microgrids Using High-Precision Voltage Phase
O
Optimal Control	Decentralized Optimal Merging at an Intersection: a Control Barrier Function Approach
optimization	Managing the Security-Energy Tradeoff in Distributed Cyber-physical Systems Optimal Dynamic Scheduling of Wireless Networked Control Systems
Optimization Modulo Theories	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
P
Parameter synthesis	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
PLCs	HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
Policy Transfer	Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles
Power-Aware Computing	Cyber-Physical Modeling of GPS Receivers for Power Efficient Localization Systems
Predictive Analytics	An Online Decision-Theoretic Pipeline for Responder Dispatch
Privacy and Security	Encrypted LQG using Labeled Homomorphic Encryption
programming languages	HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
Programming models for IoT	Programming Event Processors with ThingFlow
R
real-time applications	Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves
Real-World Validation	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
Reduced Variance Stochastic Optimization	Reduced Variance Deep Reinforcement Learning with Temporal Logic Specifications
Reinforcement Learning	Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles Reduced Variance Deep Reinforcement Learning with Temporal Logic Specifications Preventing Battery Attacks on Electrical Vehicles based on Data-Driven Behavior Modeling
Reliability	Towards Safe Machine Learning for CPS : Infer Uncertainty from Training Data
Reprogramming attacks	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
robotic system	PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics
Robustness	Robustness Evaluation of Computer-aided Clinical trials for Medical Devices
S
Safety	Assessing and Mitigating Impact of Time Delay Attack: A Case Study for Power Grid Frequency Control Towards Safe Machine Learning for CPS : Infer Uncertainty from Training Data
Sampling rate assignment	Sampling Rate Optimization for IEEE 802.11 Wireless Control Systems
Satisfiability Modulo Theories	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
security	Managing the Security-Energy Tradeoff in Distributed Cyber-physical Systems Availability Attacks on Computing Systems through Alteration of Environmental Control: Smart Malware Approach
self-learning	Availability Attacks on Computing Systems through Alteration of Environmental Control: Smart Malware Approach
Sensor Deployment	Augmenting In-situ with Mobile Sensing for Adaptive Monitoring of Water Distribution Networks
sensors	Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves
Signal Fusion	Tagging Wearable Accelerometers in Camera Frames through Information Translation between Vision Sensors and Accelerometers
Smart Cities	An Online Decision-Theoretic Pipeline for Responder Dispatch
Smart City	Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles
Stability	Assessing and Mitigating Impact of Time Delay Attack: A Case Study for Power Grid Frequency Control
Statistical guarantees	Robustness Evaluation of Computer-aided Clinical trials for Medical Devices
statistical inference	Data-driven Perception of Neuron Point Process with Unknown Unknowns
Stealthy attacks	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
T
Testbed Experiments	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
Traffic Merging	Decentralized Optimal Merging at an Intersection: a Control Barrier Function Approach
Transmitter authentication	TACAN: Transmitter Authentication through Covert Channels in Controller Area Networks
U
UAVs	Managing the Security-Energy Tradeoff in Distributed Cyber-physical Systems
Uncertainty	Towards Safe Machine Learning for CPS : Infer Uncertainty from Training Data
unknown unknowns	Data-driven Perception of Neuron Point Process with Unknown Unknowns
V
Value-of-Information	Age-of-Information vs. Value-of-Information Scheduling for Cellular Networked Control Systems
verification	PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics
W
Water Distribution Networks	Augmenting In-situ with Mobile Sensing for Adaptive Monitoring of Water Distribution Networks
Wearable Sensors	Tagging Wearable Accelerometers in Camera Frames through Information Translation between Vision Sensors and Accelerometers
Wireless control systems	Sampling Rate Optimization for IEEE 802.11 Wireless Control Systems
Wireless CPS	Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
wireless network	Optimal Dynamic Scheduling of Wireless Networked Control Systems
Z
Zero-dynamics attack	Two-Way Coding in Control Systems Under Injection Attacks: From Attack Detection to Attack Correction

Disclaimer | Powered by EasyChair Smart Program