ICCPS Program

AI - Quest for Deep Learning

Safe Autonomy with Deep Learning in Feedback Loop

Temporally Discounted Differential Privacy for Evolving Datasets on an Infinite Horizon

Quickest Detection of Advanced Persistent Threats: A Semi-Markov Game Approach

A Game-Theoretic Approach to Secure Estimation and Control for Cyber-Physical Systems with a Digital Twin

Control Behavior Integrity for Distributed Cyber-Physical Systems

Formalizing traffic rules for uncontrolled intersections

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities

Reputation-based Fair Power Allocation to Plug-in Electric Vehicles in the Smart Grid

Transfer Reinforcement Learning under Unobserved Contextual

Mining Environment Assumptions for Cyber-Physical System Models

Formal Controller Synthesis for Unknown Continuous-Space MDPs via Model-Free Reinforcement Learning

Model-based Design of Closed-Loop Deep Brain Stimulation Controllers using Reinforcement Learning

Contextually-aware Fetal Sensing in Transabdominal Fetal Pulse Oximetry

Dynamic Network Slicing for the Tactile Internet

Autonomous WiFi Fingerprinting for Indoor Localization

Investigating Controller Evolution and Divergence through Mining and Mutation

Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks

Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems

Paper #1: A Reliable Wireless Smart Vehicle Highway On-Ramp Merging Protocol with Constant Time Headway Safety Guarantee
By: Xueli Fan, Qixin Wang, and Jie Liu

Paper #2: Acoustic side channel attack against DNA synthesis machines: Poster Abstract
By: Sina Faezi, Sujit Rokka Chhetri, Arnav Vaibhav Malawade, John C. Chapu, William Grover, Philip Brisk, and Mohammad A. Al Faruque

Paper #3: Hierarchical Temporal Memory Based Machine Learning for Real-Time, Unsupervised Anomaly Detection in Smart Grid
By: Anomadarshi Barua, Deepan Muthirayan, Pramod P. Khargonekar, and Mohammad Abdullah Al Faruque

Paper #4: On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications
By: Ami Sakakibara and Toshimitsu Ushio

Paper #5: Mobility-based Load Balancing for IoT enabled Devices in Smart Grids
By: Nitin Shivaraman, Jakob Fittler, Saravanan Ramanathan, Arvind Easwaran, and Sebastian Steinhorst

Paper #6: Detection of False Injection Attacks Based on LTL for Fallback Control
By: Naomi Kuze, Ami Sakakibara and Toshimitsu Ushio

Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems

Event-Triggered Diffusion Kalman Filters

Socially-Aware Robot Planning via Bandit Human Feedback

Control Reconfiguration of Cyber-physical Systems for Improved Performance via Reverse-engineering and Accelerated First-order Algorithms

SCRaM – State-Consistent Replication Management for Networked Control Systems

SIMPLE: A Remote Attestation Approach for Resource-constrained IoT devices

Semantics-Directed Hardware Generation of Hybrid Systems