ICCPS 2025 ACCEPTED PAPERS

  • Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation, Pengyuan Lu, Oleg Sokolsky, Insup Lee and Ivan Ruchkin
  • Stealthy Computational Delay Attacks on Control Systems, Talitha Nauta, Henrik Sandberg and Martina Maggio
  • Certified Inductive Synthesis for Online Mixed-Integer Optimization, Marco Zamponi, Emilio Incerto, Daniele Masti and Mirco Tribastone
  • Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale, Xia Wang, Matthew Nice, Matt Bunting, Fangyu Wu, Maria Laura Delle Monache, Jonathan Lee, Benedetto Piccoli, Benjamin Seibold, Alexandre Bayen, Daniel Work and Jonathan Sprinkle
  • T-Tex: Timed Threaded Execution in Real-Time OpenMP, Swastik Mittal and Frank Mueller
  • Atlas: Ensuring Accuracy for Privacy-Preserving Federated IoT Applications, Jiechao Gao, Mingyue Tang, Wenpeng Wang, Tushar Routh and Brad Campbell
  • Pay Attention to Network: Reliability-aware Spatial-Temporal-Frequential Scheduling for TSN-WiFi Networks, Miao Guo, Yichuan Yang, Shibo He, Jianping Pan, Chaojie Gu and Jiming Chen
  • Psychophysiology-aided Perceptually Fluent Speech Analysis of Children Who Stutter, Yi Xiao, Harshit Sharma, Victoria Tumanova and Asif Salekin
  • Breaking the Latency Barrier: Practical Haptic Bilateral Teleoperation over 5G, Herman Kroep, Stijn Coppens, Koen Wรถsten, Anup Bhattacharjee and R.R. Venkatesha Prasad
  • Mining Specifications for Predictive Safety Monitoring, Eleonora Nesterini, Ezio Bartocci, Alessio Gambi, Dejan Nickovic, Sanjit Seshia and Hazem Torfah
  • Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios, Vivian Lin, Ramneet Kaur, Yahan Yang, Souradeep Dutta, Yiannis Kantaros, Anirban Roy, Susmit Jha, Oleg Sokolsky and Insup Lee
  • Uncertainty Quantification for Physics-Informed Traffic Graph Networks, Tianshu Bao, Xiaoou Liu, Meiyi Ma, Taylor T Johnson and Hua Wei
  • Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems, Rishav Sen, Yunuo Zhang, Fangqi Liu, Jose Paolo Talusan, Ava Pettet, Yoshinori Suzue, Ayan Mukhopadhyay and Abhishek Dubey
  • Ethics by Design in Autonomous Driving: Developing a Model-Based Liability Determination Framework, Yichuan Yu, Chenyang Mao and Zhihao Jiang
  • eFlx: Energy Flexibility Provisioning for E-Taxi Fleets, Liangkai Zhou, Yue Zhao, Yukun Yuan, Ce Xu and Shan Lin
  • EXACT: A Meta-Learning Framework for Precise Exercise Segmentation in Physical Therapy, Hanchen David Wang, Siwoo Bae, Xutong Sun, Yashvitha Thatigotla and Meiyi Ma
  • Optimal Integrated Task and Path Planning for Collaborative Multi-Robot Systems, Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar and Swarup Mohalik
  • SEQUIN: A Network Science and Physics-based Approach to Identify Sequential N-k Attacks in Electric Power Grids, Andrew Chio, Russell Bent, Kaarthik Sundar and Nalini Venkatasubramanian
  • MAARS: Multi-Rate Attack-Aware Randomized Scheduling for Securing Real-time Systems, Arkaprava Sain, Sunandan Adhikary, Ipsita Koley and Soumyajit Dey
  • Perception-based Quantitative Runtime Verification for Learning-enabled Cyber-Physical Systems, Ryan Brown, Luan Nguyen, Weiming Xiang, Marilyn Wolf and Hoang-Dung Tran
  • PLCpot: Application Dialogue Replay based Scalable PLC Honeypot for Industrial Control Systems, Syed Ali Qasim, Taqi Raza and Irfan Ahmed
  • RLS3: RL-Based Synthetic Sample Selection to Enhance Spatial Reasoning in Vision-Language Models for Indoor Autonomous Perception, Joshua R. Waite, Md Zahid Hasan, Qisai Liu, Zhanhong Jiang, Chinmay Hegde and Soumik Sarkar
  • Can control barrier functions keep automated vehicles safe in live freeway traffic?, George Gunte, Mattew Nice, Matt Bunting, Jonathan Sprinkle and Daniel Work
  • Repairing Control Safety Violations via Scheduler Patch Synthesis, Anand Yeolekar, Supratik Chakraborty, Venkatesh R and Samarjit Chakraborty
  • Synthesis of Dynamic Masks for Information-Theoretic Opacity in Stochastic Systems, Sumukha Udupa, Chongyang Shi and Jie Fu
  • Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles, Aditya Parameshwaran and Yue Wang
  • Trust-Based Assured Sensor Fusion in Distributed Aerial Autonomy, R. Spencer Hallyburton and Miroslav Pajic
  • JOIN: Optimized Light Source Activation for Deep Tissue Optical Sensing, Kourosh Vali, Begum Kasap, Ata Vafi and Soheil Ghiasi
  • Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic, Tanmay Khandait, Christian Abou-Mrad, Houssam Abbas and Giulia Pedrielli