CPS-IOT WEEK 2025: CYBER-PHYSICAL SYSTEMS AND INTERNET-OF-THINGS WEEK
PROGRAM FOR FRIDAY, MAY 9TH
Days:
previous day
all days

View: session overviewtalk overview

10:30-12:00 Session S6 - HSCC: Learning and Optimization for Safe Control
Location: Emerald Bay A
10:30
Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
10:55
A learning-based approach to stochastic optimal control under reach-avoid constraint
11:20
Inverse-Optimal Safety Control for Hybrid Systems
11:45
TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory
10:30-12:00 Session S6 - ICCPS: Electric Vehicles, Smart Grids, Industrial Automation
Location: Emerald Bay B
10:30
eFlx: Energy Flexibility Provisioning for E-taxi Fleets
10:52
Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems
11:14
SEQUIN: A Network Science and Physics-based Approach to Identify Sequential N-k Attacks in Electric Power Grids
11:36
Pay Attention to Network: Reliability-Aware Spatial-Temporal-Frequential Scheduling for TSN-WiFi Networks
10:30-12:00 Session S6 - RTAS: Testing and Evaluation
Location: Emerald Bay CDE
10:30
Handling System Overloads: An Empirical Evaluation of Deadline-Miss Handling Strategies
10:52
Arm DynamIQ Shared Unit and Real-Time: An Empirical Evaluation
11:14
LiME: The Linux Real-Time Task Model Extractor
11:36
ConvolutionalFixedSum: Uniformly Generating Random Values with a Fixed Sum Subject to Arbitrary Constraints
10:30-12:00 Session S6 - SenSys: Edge AI, Neural Models, & Optimization
10:30
Responsive DNN Adaptation for Video Analytics against Environment Shift via Hierarchical Mobile-Cloud Collaborations
10:45
JumpQ: Stochastic Scheduling to Accelerating Object-detection-driven Mobile Sensing on Object-sparse Video Data
11:00
Stochastic Differential Equation Networks for Time Series at Edge
11:15
Lupe: Integrating the Top-down Approach with DNN Execution on Ultra-Low-Power Devices
11:30
Orbis: Redesigning Neural-enhanced Video Streaming for Live Immersive Viewing
11:45
E3: Early Exiting with Explainable AI for Real-Time and Accurate DNN Inference in Edge-Cloud Systems
13:30-15:00 Session S7 - HSCC: Abstractions and Planning for Complex Control Systems
Location: Emerald Bay A
13:30
Scalable control synthesis for stochastic systems via structural IMDP abstractions
13:55
Memory-dependent abstractions of stochastic systems through the lens of transfer operators
14:20
Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
14:45
Robust Aggregation of Electric Vehicle Flexibility
13:30-15:00 Session S7 - ICCPS: Privacy, Trust, Honeypots
Location: Emerald Bay B
13:30
PLCpot: Application Dialogue Replay based Scalable PLC Honeypot for Industrial Control Systems
13:52
Atlas: Ensuring Accuracy for Privacy-Preserving Federated IoT Applications
14:14
Trust-Based Assured Sensor Fusion in Distributed Aerial Autonomy
14:36
Synthesis of Dynamic Masks for Information-Theoretic Opacity in Stochastic Systems
13:30-15:00 Session S7 - RTAS: Security and Safety
Location: Emerald Bay CDE
13:30
A Design Flow to Securely Isolate FPGA Bus Transactions in Heterogeneous SoCs
13:52
Janus: OS Support for a Secure, Fast Control-Plane
14:14
Integrated Real-Time Control and Scheduling for Safety Critical Cyber-Physical Systems
14:36
Recovery-Guaranteed Sensor Attack Detection for Cyber-Physical Systems
13:30-15:00 Session S7 - SenSys: Advanced Wireless and Networked Sensing Systems
13:30
SARLink: Satellite Backscatter Connectivity using Synthetic Aperture Radar
13:45
I4C... Improving I2C’s Dynamism and Efficiency
14:00
MoLoRa: Intelligent Mobile Antenna System for Enhanced LoRa Reception in Urban Environments
14:15
FlexiFly: Interfacing the Physical World with Foundation Models Empowered by Reconfigurable
14:30
Offload Rethinking by Cloud Assistance for Efficient Environmental on LPWANs
14:45
Mitigating In-Transit Vision Noise for Enhanced Vehicle Safety
15:30-17:30 Session S8 - HSCC: Behavioral Verification and Synthesis for Hybrid and Learning Systems
Location: Emerald Bay A
15:30
Distributionally Robust Statistical Verification with Imprecise Neural Networks
15:54
ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems
16:18
BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis
16:42
Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals
17:06
Explaining Control Policies through Predicate Decision Diagrams
15:30-17:30 Session S8 - ICCPS: Robotic and Autonomous Systems
Location: Emerald Bay B
15:30
Optimal Integrated Task and Path Planning for Collaborative Multi-Robot Systems
15:52
RLS3: RL-Based Synthetic Sample Selection to Enhance Spatial Reasoning in Vision-Language Models for Indoor Autonomous Perception
16:14
Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation

ABSTRACT. Neural network (NN)-based control policies have been widely adopted in cyber-physical systems (CPS). When a NN-based policy fail to fulfill a formally specified task, researchers leverage NN repair algorithms to fix it. A recent literature raises the problem of Repair with Preservation (RwP), which asks for preservation of existing correct behaviors while repairing the incorrect ones --- a corresponding solution is given, known as Incremental Simulated Annealing Repair (ISAR). In this paper, we tackle the computational efficiency issue of ISAR, which involves expensive log-barriered objective functions and wastes computational efforts rolling back when a repaired NN breaks correct behaviors. With our analysis, we reduce the RwP problem to a stability-plasticity (S-P) trade-off interpolation problem, which has been studied in continual learning (CL). Then, we propose our method, ISAR with Interpolation (ISAR-I), which majorly improves ISAR. ISAR-I abandons the expensive log barriers and rolling back to allow intermediate policies to compromise correct behaviors for repair. Then, an interpolation of the S-P trade-off between the original NN and the intermediate NN is kicked off in the Bayesian space, searching for a final NN that both repairs and preserves. Case studies on OpenAI Gym mountain car and an unmanned underwater vehicle show that ISAR-I is able to preserve all verified trajectories while repairing 81.7\% and 21.3\% of the broken ones, respectively, achieving the same performance as ISAR, with runtime cost of only 6.5\% and 19.6\%, on average.

15:30-17:30 Session S8 - RTAS: Cloud and Edge Computing
Location: Emerald Bay CDE
15:30
Scheduling Job Streams on Uniprocessors with Cold Start Delays
15:52
MATCH: Real-Time Scheduling of Multiple and Parallel Data Copies in Heterogeneous Architectures
16:14
Scheduling Processing Graphs of Gang Tasks on Heterogeneous Platforms
16:36
A Framework for Managing Edge-Cloud Distributed Embedded Systems
16:58
HARD: Hardening Real-Time Scheduling and Analysis for Accelerator Enabled Computing
17:20
Closing Remarks
15:30-17:30 Session S8 - SenSys: Multi-modal Human & Environmental Sensing
15:30
MMBind: Unleashing the Potential of Distributed and Heterogeneous Data for Multimodal Learning in IoT
15:45
BioQ: Towards Context-Aware Multi-Device Collaboration with Bio-cues
16:00
PIPE: Privacy-preserving 6DoF Pose Estimation for Immersive Applications
16:15
ThermoHands: A Benchmark for 3D Hand Pose Estimation from Egocentric Thermal Images
16:30
Geoduck: Nanosatellite Constellation Scheduling for Low Latency Event Detection
16:45
CaphandAuth: Robust and Anti-spoofing Hand Authentication via COTS Capacitive Touchscreens
17:00
Matching Skeleton-based Activity Representations with Heterogeneous Signals for HAR
17:15
RetroLiDAR: A Liquid-crystal Fiducial Marker System for High-fidelity Perception of Embodied AI