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 Explainable 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