ICCPS

Publications

2024

Rohit Singh, Indranil Saha
An Online Planning Framework for Multi-Robot Systems with LTL Specification. ICCPS (2024)
Anjana Balabhaskara, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey, Ashish R. Hota
Adaptive Protection of Power Grids against Stealthy Load Alterations. ICCPS (2024)
Shuling Wang, Zekun Ji, Xiong Xu, Bohua Zhan, Qiang Gao, Naijun Zhan
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes. ICCPS (2024)
15th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2024, Hong Kong, May 13-16, 2024 ICCPS (2024)
Tushar Dilip Kurne, Manas Sashank Juvvi, Vaishnavi J, Pushpak Jagtap
Poster Abstract: Signal Temporal Logic Compliant Motion Planning using Reinforcement Learning. ICCPS (2024)
Maria A. Cardei, Afsaneh Doryab
Multi-Agent System for Optimizing Victim Tagging in Human/Autonomous Responder Teams. ICCPS (2024)
Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS (2024)
Ipsita Koley, Sunandan Adhikary, Soumyajit Dey
Thinking Beyond Bus-off: Targeted Control Falsification in CAN. ICCPS (2024)
Aakriti Jain, Prashant P. Modekurthy, Abusayeed Saifullah
Control over Low-Power Wide-Area Networks. ICCPS (2024)
Shixiong Jiang, Mengyu Liu, Fanxin Kong
Vulnerability Analysis for Safe Reinforcement Learning in Cyber-Physical Systems. ICCPS (2024)
Xiaohan Fu, Yihao Liu, Jason Koh, Dezhi Hong, Rajesh Gupta, Gabe Fierro
Playground: A Safe Building Operating System. ICCPS (2024)
Weizhe Xu, Mengyu Liu, Steven Drager, Matthew Anderson, Fanxin Kong
Poster Abstract: Assuring LLM-Enabled Cyber-Physical Systems. ICCPS (2024)
Giulio Rossolini, Alessandro Biondi, Giorgio C. Buttazzo
Attention-Based Real-Time Defenses for Physical Adversarial Attacks in Vision Applications. ICCPS (2024)
Tianyu Zhao, Mojtaba Taherisadr, Salma Elmalaki
FAIRO: Fairness-aware Sequential Decision Making for Human-in-the-Loop CPS. ICCPS (2024)
Matthew Walter Nice, George Gunter, Junyi Ji, Yuhang Zhang, Matthew R. Bunting, William Barbour, Jonathan Sprinkle, Daniel B. Work
A Middle Way to Traffic Enlightenment. ICCPS (2024)
Clara Hobbs, Shengjie Xu, Bineet Ghosh, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty
Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations. ICCPS (2024)
Hao-Lun Hsu, Qitong Gao, Miroslav Pajic
ϵ-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment. ICCPS (2024)
Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Veena Krish, Andrew Mata, Amir Rahmati
Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations. ICCPS (2024)
Mingbo Zhang, Saman A. Zonouz
Control Corruption without Firmware Infection: Stealthy Supply Chain Attacks via PLC Hardware Implants (MalTag). ICCPS (2024)
Yilun Chen, Zhuo Jian, Yixi Wang, Zhihao Jiang
Poster Abstract of Digital-twin-based Decision Support During Personalized Robotic Rehabilitation. ICCPS (2024)
Cailani Lemieux Mack, Kevin Leach, Kevin Angstadt
Sensor Data Transplantation for Redundant Hardware Switchover in Micro Autonomous Vehicles. ICCPS (2024)
Tianyu Zhao, Salma Elmalaki
FinA: Fairness of Adverse Effects in Decision-Making of Human-Cyber-Physical-System. ICCPS (2024)
Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee
Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. ICCPS (2024)
Do Van Minh, Meiqing Wu, Siew-Kei Lam, Thambipillai Srikanthan
Achieving Real-time Visual Tracking with Low-Cost Edge AI. ICCPS (2024)
Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry
Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection. ICCPS (2024)
Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra
Optimal Runtime Assurance via Reinforcement Learning. ICCPS (2024)
Ayanfeoluwa Oluyomi, Sahar Abedzadeh, Shameek Bhattacharjee, Sajal K. Das
Unsafe Events Detection in Smart Water Meter Infrastructure via Noise-Resilient Learning. ICCPS (2024)
Jose Paolo Talusan, Chaeeun Han, Ayan Mukhopadhyay, Aron Laszka, Daniel Freudberg, Abhishek Dubey
An Online Approach to Solving Public Transit Stationing and Dispatch Problem. ICCPS (2024)
Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty
Poster Abstract: Neural Architecture Sizing for Autonomous Systems. ICCPS (2024)
Guangyao Chen, Zhihao Jiang
Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems. ICCPS (2024)
Soham Sinha, Shekhar Dwivedi, Mahdi Azizian
Towards Deterministic End-to-end Latency for Medical AI Systems in NVIDIA Holoscan. ICCPS (2024)
Xiaohan Fu, Yihao Liu, Jason Koh, Dezhi Hong, Rajesh Gupta, Gabe Fierro
Demo Abstract: Playground, A Safe Building Operating System. ICCPS (2024)
JiHyun Kwon, BaekGyu Kim, Yi-Ying Chen, Chung-Wei Lin
Poster Abstract: Landing-Type Aware Multi-Drone Route Generation for Last-Mile Delivery Service. ICCPS (2024)
Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. ICCPS (2024)
Vineet Jagadeesan Nair, Priyank Srivastava, Anuradha Annaswamy
Enhancing power grid resilience to cyber-physical attacks using distributed retail electricity markets. ICCPS (2024)

2023