• Recent Publications (Full Publications)

Secure & Safe Reinforcement Learning in CPS:

1. [EMSOFT'24] Shixiong Jiang, Mengyu Liu, and Fanxin Kong, "Backdoor Attacks on Safe Reinforcement Learning-Enabled Cyber-Physical Systems", in the ACM SIGBED International Conference on Embedded Software, part of  Embedded Systems Week (ESWEEK) 2024.

2. [ICCPS'24] Shixiong Jiang, Mengyu Liu, and Fanxin Kong, "Vulnerability Analysis for Safe Reinforcement Learning in Cyber-Physical Systems", in the 15th ACM/IEEE International Conference on Cyber-Physical Systems, part of CPS-IoT Week 2024.

LLM-Enabled CPS:

1. [ICCPS'24] Weizhe Xu, Mengyu Liu, Steven Drager, Matthew Anderson, and Fanxin Kong, "Assuring LLM-Enabled Cyber-Physical Systems", in the 15th ACM/IEEE International Conference on Cyber-Physical Systems, Poster/Demo Track, part of CPS-IoT Week 2024.

2. [FMSys'24] Weizhe Xu, Mengyu Liu, Oleg Sokolsky, Insup Lee, and Fanxin Kong, "LLM-enabled Cyber-Physical Systems: Survey, Research Opportunities, and Challenges", International Workshop on Foundation Models for Cyber-Physical Systems & Internet of Things (FMSys), co-located with CPS-IoT Week 2024.

Timing-Safe Learning Enabled CPS:

1. [RTSS'24] Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, and Fanxin Kong, "Deadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning", in the 45th IEEE Real-Time Systems Symposium (RTSS) 2024.

2. [MEMCODE'24] Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee and Fanxin Kong, "Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning", in the 22nd International Symposium on Formal Methods and Models for System Design, colocate with Embedded Systems Week (ESWEEK) 2024.

CPS Attack Recovery:

1. [RTAS'24] Lin Zhang, Luis Burbano, Xin Chen, Alvaro A. Cardenas, Steve Drager, Matthew Adderson, and Fanxin Kong, "Fast Attack Recovery for Stochastic Cyber-Physical Systems", in the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024.

2. [RTSS'23] Mengyu Liu, Lin Zhang, Vir Phoha, and Fanxin Kong, "Learn-to-Respond: Sequence-Predictive Recovery from Sensor Attacks in Cyber-Physical Systems", in the 44th IEEE Real-Time Systems Symposium, 2023.

3. [RTAS'23] Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky and Insup Lee, "Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems", in the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023.

4. [EMSOFT'21] Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky and Insup Lee, "Real-Time Attack-Recovery for Cyber-Physical Systems using Linear-Quadratic Regulator", in the 21st ACM SIGBED International Conference on Embedded Software, 2021.

5. [RTSS'20] Lin Zhang, Xin Chen, Fanxin Kong, and Alvaro A. Cardenas, "Real-Time Recovery for Cyber-Physical Systems using Linear Approximations", in the 41st IEEE Real-Time Systems Symposium, 2020.

6. [ICCPS'18] Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky and Insup Lee, "Cyber-Physical System Checkpointing and Recovery", in the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018.

CPS Attack Detection & Diagnosis: 

1. [RTSS'23] Zifan Wang, Lin Zhang, Qinru Qiu, and Fanxin Kong, "Catch You If Pay Attention: Temporal Sensor Attack Diagnosis Using Attention Mechanisms for Cyber-Physical Systems", in the 44th IEEE Real-Time Systems Symposium, 2023.

2. [DAC'22] Lin Zhang, ZifanWang, Mengyu Liu, and Fanxin Kong, "Adaptive Window-Based Sensor Attack Detection for Cyber-Physical Systems", in the 59th Design Automation Conference (DAC), 2022.

3. [RTAS'21] Francis Akowuah and Fanxin Kong, "Real-Time Adaptive Sensor Attack Detection in Autonomous Cyber-Physical Systems", in the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021.

4. [DAC'20] Tianjia He, Lin Zhang, Fanxin Kong, and Asif Salekin, "Exploring Inherent Sensor Redundancy for Automotive Anomaly Detection", in the 57th Design Automation Conference, 2020.